Technology

Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT

Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT

2 days ago 1
Show HN: Selecta – Natural language analytics for BigQuery

Show HN: Selecta – Natural language analytics for BigQuery

2 days ago 1
Unlocking Free WiFi on British Airways

Unlocking Free WiFi on British Airways

2 days ago 1
Resiliency and Scale

Resiliency and Scale

2 days ago 1
Show HN: I built a pixel art app where you evolve a dinosaur by not drinking

Show HN: I built a pixel art app where you evolve a dinosaur by not drinking

2 days ago 1
The Rari SSR Breakthrough: 12x Faster, 10x Higher Throughput Than Next.js

The Rari SSR Breakthrough: 12x Faster, 10x Higher Throughput Than Next.js

2 days ago 1
Ask HN: What skills are worth obsessive focus for an unshakable future?

Ask HN: What skills are worth obsessive focus for an unshakable future?

2 days ago 1
Seven Thoughts on "AI Scientists"

Seven Thoughts on "AI Scientists"

2 days ago 1
Zero Framework Cognition: A Way to Build Resilient AI Applications

Zero Framework Cognition: A Way to Build Resilient AI Applications

2 days ago 2
I've built an hyprland shortcuts window clone for Mac

I've built an hyprland shortcuts window clone for Mac

2 days ago 2
Why AI Coding Still Fails in Enterprise Teams

Why AI Coding Still Fails in Enterprise Teams

2 days ago 1
Basecamp have closed their AWS account

Basecamp have closed their AWS account

2 days ago 1
One startup's quest to store electricity in the ocean

One startup's quest to store electricity in the ocean

2 days ago 2
Oracle AI Database 26ai Free Release now avaliable on sqlize.online

Oracle AI Database 26ai Free Release now avaliable on sqlize.online

2 days ago 1
A Word on Omarchy

A Word on Omarchy

2 days ago 1
Is there _any_ US/UK remote web/dev job portal out there?

Is there _any_ US/UK remote web/dev job portal out there?

2 days ago 1
How much prices are rising across the fashion industry: $17

How much prices are rising across the fashion industry: $17

2 days ago 2
Prompt injection to RCE in AI agents

Prompt injection to RCE in AI agents

2 days ago 3
Best Kitchen Composters and Food Recyclers (2025)

Best Kitchen Composters and Food Recyclers (2025)

2 days ago 2
Airbnb Host Accused of Using AI to Fake $16K in Damage

Airbnb Host Accused of Using AI to Fake $16K in Damage

2 days ago 2
Mosquitoes found in Iceland for first time after record heat

Mosquitoes found in Iceland for first time after record heat

2 days ago 2
When Models Manipulate Manifolds: The Geometry of a Counting Task

When Models Manipulate Manifolds: The Geometry of a Counting Task

2 days ago 1
When Face Recognition Doesn't Know Your Face Is a Face

When Face Recognition Doesn't Know Your Face Is a Face

2 days ago 1
What's new in C# 14: overview

What's new in C# 14: overview

2 days ago 1
Female bonobos kill a male, challenging beliefs about species' peaceful nature

Female bonobos kill a male, challenging beliefs about species' peaceful nature

2 days ago 1
Starcloud

Starcloud

2 days ago 1
HarmonyOS 6 Full Overview: New Design, AI Features and Privacy Upgrades [video]

HarmonyOS 6 Full Overview: New Design, AI Features and Privacy Upgrades [video]

2 days ago 2
Why so little love for the patent grant in the MIT License? (2018)

Why so little love for the patent grant in the MIT License? (2018)

2 days ago 3
Memelang – query language optimized for LLM RAG token efficiency

Memelang – query language optimized for LLM RAG token efficiency

2 days ago 3
The Fed Might Be More Dovish Than Powell Thinks

The Fed Might Be More Dovish Than Powell Thinks

2 days ago 1
A GKR Tutorial

A GKR Tutorial

2 days ago 1
Study: poor sleep linked to faster brain aging

Study: poor sleep linked to faster brain aging

2 days ago 1
The Burning House

The Burning House

2 days ago 1
'Virtually No Demand' for iPhone Air

'Virtually No Demand' for iPhone Air

2 days ago 2
What processor architecture in microcontrollers do you use most often?

What processor architecture in microcontrollers do you use most often?

2 days ago 1
Civilian Massacres Follow Syrian Leaders' Promises of Peace

Civilian Massacres Follow Syrian Leaders' Promises of Peace

2 days ago 1
Data Centers Look to Old Airplane Engines for Power

Data Centers Look to Old Airplane Engines for Power

2 days ago 1
Real-Time Audio Deepfakes Have Arrived

Real-Time Audio Deepfakes Have Arrived

2 days ago 1
Form Follows Function

Form Follows Function

2 days ago 1
NativePHP for Mobile now with native UI components [video]

NativePHP for Mobile now with native UI components [video]

2 days ago 1
Ask HN: How do you convince people to use privacy respecting technologies

Ask HN: How do you convince people to use privacy respecting technologies

2 days ago 1
News Integrity in AI Assistants [pdf]

News Integrity in AI Assistants [pdf]

2 days ago 2
Ask HN: What failed in the AWS outage that should have worked offline?

Ask HN: What failed in the AWS outage that should have worked offline?

2 days ago 2
The Innovations in DeepSeek OCR (Reddit LocalLLaMA)

The Innovations in DeepSeek OCR (Reddit LocalLLaMA)

2 days ago 2
Things Stephanie Arnett Is Into

Things Stephanie Arnett Is Into

2 days ago 1
Ways to Improve Node.js Loader Performance

Ways to Improve Node.js Loader Performance

2 days ago 1
AI assistants make widespread errors about the news, new research shows

AI assistants make widespread errors about the news, new research shows

2 days ago 1
India proposes strict rules to label AI content citing growing risks

India proposes strict rules to label AI content citing growing risks

2 days ago 1
Obamify

Obamify

2 days ago 1
Karpathy is wrong. Write that post, build that slide deck

Karpathy is wrong. Write that post, build that slide deck

2 days ago 1

Trending

1. senate government shutdown
2. dahbia benkired
3. nv energy
4. alexander bublik
5. liberia
6. germany vs france
7. roy wood jr
8. tj pizzitola
9. halo
10. harvard shooting

Popular

Experte Crypto Rover: Bitcoin wird crashen!

Experte Crypto Rover: Bitcoin wird crashen!

3 days ago 17
L1 is the new battleground, and the playing field isn’t even

L1 is the new battleground, and the playing field isn’t even...

6 days ago 16
Greenlane raises $110 M to build BERA crypto treasury

Greenlane raises $110 M to build BERA crypto treasury

4 days ago 15
Arthur Hayes’ Maelstrom To Raise $250 Million For Crypto Equity Fund

Arthur Hayes’ Maelstrom To Raise $250 Million For Crypto Equ...

5 days ago 15
Bitcoin surges to $107k as markets eye Trump-Xi meeting

Bitcoin surges to $107k as markets eye Trump-Xi meeting

6 days ago 14
Reimagining market-neutral vaults without prime brokers | Opinion

Reimagining market-neutral vaults without prime brokers | Op...

4 days ago 13
Jupiter launches beta version of new prediction market

Jupiter launches beta version of new prediction market

2 days ago 13
Shiba Ina price targets $0.000069 as weakness increase, why price can reject lower

Shiba Ina price targets $0.000069 as weakness increase, why ...

6 days ago 12
Over $1 Billion Liquidated in 24 Hours as Bitcoin and Altcoins Plunge Amid Market Meltdown

Over $1 Billion Liquidated in 24 Hours as Bitcoin and Altcoi...

6 days ago 12
From Bitcoin to AI: 5 crypto miners leaping into HPC

From Bitcoin to AI: 5 crypto miners leaping into HPC

5 days ago 5
English (US) English (US) ·
About Us · Contact Us · Terms & Conditions ·

© News Najib Digital 2025. All rights are reserved