❓
page 5 of top
light mode
Introduction to Formal Verification with Lean Part 1
(hashcloak.com)
Ⓒ
·
234 points
·
51 comments
·
4 days ago 
by badcryptobitch
⏱️ 16 minutes
one chatgpt link could smuggle a rogue ai agent into your company
One ChatGPT link could smuggle a rogue AI agent into your company
(theregister.com)
Ⓝ
·
3 points
·
0 comments
·
48 minutes ago 
by sbulaev
⏱️ 2 minutes
eu fines google 890m for competition breaches over search and apps
EU fines Google €890M for competition breaches over search and apps
(theguardian.com)
Ⓝ
Ⓑ
Ⓐ
Ⓒ
·
143 points
·
150 comments
·
5¾ hours ago 
by Stevvo
⏱️ 1 minute
launch hn unlayer yc w22 add email and document builders to your app
Launch HN: Unlayer (YC W22) – Add email and document builders to your app
(unlayer.com)
Ⓑ
Ⓐ
Ⓒ
·
54 points
·
38 comments
·
23¾ hours ago 
by adeelraza
intel starts shipping highna euv silicon
Intel Starts Shipping High-​NA EUV Silicon
(substack.com)
Ⓒ
·
243 points
·
112 comments
·
4½ days ago 
by zdw
⏱️ 6 minutes
A Rust-​based time-​series DB for quant workloads (4.5x faster than DuckDB/​Polars)
(reddit.com)
Ⓝ
·
2 points
·
0 comments
·
53 minutes ago 
by syumei
openai and hugging face address security incident during model evaluation
OpenAI and Hugging Face address security incident during model evaluation
(openai.com)
Ⓑ
Ⓒ
·
1593 points
·
1120 comments
·
1½ days ago 
by mfiguiere
⏱️ 3 minutes
OpenAI and Anthropic unite against open-​weight AI risks to their bottom line
(axios.com)
Ⓝ
Ⓑ
Ⓐ
Ⓒ
·
239 points
·
274 comments
·
2¾ hours ago 
by yogthos
screenwall turn old phones into synced widgets for your space
ScreenWall – Turn old phones into synced widgets for your space
(screenwall.app)
Ⓒ
·
141 points
·
51 comments
·
6 days ago 
by buibuibui
⏱️ 1 minute
10 REM"_(C2SLFF4
(beej.us)
Ⓑ
Ⓒ
·
173 points
·
50 comments
·
1 day ago 
by ingve
⏱️ 9 minutes
Ask HN: If OpenAI hacked HuggingFace, why aren't OpenAI prosecuted?
Ⓝ
Ⓑ
Ⓐ
·
16 points
·
24 comments
·
4¾ hours ago 
by sam_lowry_
California's Privacy Obstacle Course
(pluralistic.net)
Ⓝ
·
1 point
·
0 comments
·
1 hour ago 
by hn_acker
⏱️ 10 minutes
Making
(beej.us)
Ⓑ
Ⓐ
Ⓒ
·
418 points
·
172 comments
·
1 day ago 
by erikschoster
⏱️ 8 minutes
Ask HN: Why are US tech workers so pro open borders?
Ⓝ
Ⓐ
·
4 points
·
3 comments
·
1¾ hours ago 
by TorontoTheGood
Publishers consider opting out of Google as search traffic declines
(niemanlab.org)
Ⓝ
Ⓑ
Ⓐ
·
27 points
·
17 comments
·
4¼ hours ago 
by giuliomagnifico
Taking OCaml and Eio for a Spin
(mattjhall.co.uk)
Ⓒ
·
57 points
·
6 comments
·
3½ days ago 
by mattjhall
⏱️ 4 minutes
Computing Camera Rays
(momentsingraphics​.de)
9 points
·
2 comments
·
1 week ago 
by ibobev
⏱️ 10 minutes
the startupx27s postgres survival guide
The startup's Postgres survival guide
(hatchet.run)
Ⓑ
Ⓒ
·
474 points
·
206 comments
·
1 day ago 
by abelanger
⏱️ 10 minutes
stop pretending billionaires built the future
Stop pretending billionaires built the future
(elysian.press)
Ⓝ
·
9 points
·
0 comments
·
27 minutes ago 
by aard
⏱️ 7 minutes
wenfeng liang fourhour investor meeting transcript
Wenfeng Liang: Four-​Hour Investor Meeting Transcript
(elsewhere.news)
10 points
·
0 comments
·
9¼ hours ago 
by mefengl
⏱️ 8 minutes
page 6
new best active classic
This page was generated in 7.773 seconds at 2026-07-23T15:55:04Z.