fp.

Image Recognition with Lean 4

https://github.com/brettkoonce/lean4-mlir/

1•asparagui•34s ago•0 comments

France Launches Government Linux Desktop Plan as Windows Exit Begins

https://linuxiac.com/france-launches-government-linux-desktop-plan-as-windows-exit-begins/

1•LelouBil•57s ago•0 comments

Sam Altman's response to Molotov cocktail incident

https://blog.samaltman.com/2279512

3•jack_hanford•1m ago•0 comments

Show HN: Sash – tiny macOS utility to reliably cycle through app windows

https://github.com/tacomanator/sash

1•dwg•4m ago•0 comments

Cisco got hacked through a security scanner

https://vaultproof.dev/blog/cisco-trivy-hack

1•Rial_Labs•9m ago•1 comments

DOE explains spacetime

https://www.energy.gov/science/doe-explainsspacetime

1•hhs•10m ago•0 comments

GCC Translation Validation Part 6: Uninitialized Memory

https://kristerw.github.io/2026/04/10/uninitialized-memory/

1•matt_d•10m ago•0 comments

Show HN: The Universe in One Chart

https://saminloes.com/one-chart/

1•atleastoptimal•11m ago•0 comments

How RL Reward Hacking Made Claude Mythos a Zero-Day Hunter

https://uberdavid.substack.com/p/from-code-completion-to-zero-day

1•uberdavid•12m ago•1 comments

Peer Review Does Private, Elite Gatekeeping

https://criticalfallibilism.com/peer-review-does-private-elite-gatekeeping/

2•paulpauper•14m ago•2 comments

Meta Banks on AI to Clear the Smoke of Social-Media Lawsuits

https://www.wsj.com/tech/meta-banks-on-ai-to-clear-the-smoke-of-social-media-lawsuits-902263dc

2•1vuio0pswjnm7•14m ago•0 comments

Show HN: A free study guide for the AWS DVA-C02, built from my own exam notes

https://tofl.github.io

2•tomflitt•15m ago•0 comments

Women are getting most of the new jobs. What's going on with men?

https://www.npr.org/2026/04/10/nx-s1-5773327/women-men-jobs-health-care-manufacturing

2•harambae•16m ago•2 comments

SWE-Bench Verified Leaderboard March 2026 – Independent vs. Self-Reported Scores

https://www.marc0.dev/en/leaderboard

3•chenglin97•19m ago•0 comments

TruffleHog now finds all Deleted and Private Commits on GitHub (2024)

https://trufflesecurity.com/blog/trufflehog-now-finds-all-deleted-and-private-commits-on-github

1•password4321•19m ago•0 comments

Live Halftime Timer for NBA, NFL

https://thehalftimer.com/

1•LeviBL•20m ago•0 comments

A large-scale look at the exposome

https://hms.harvard.edu/news/large-scale-look-exposome

2•hhs•20m ago•0 comments

Artemis II Flight Day 10: Re-Entry Live Updates

https://www.nasa.gov/blogs/missions/2026/04/10/artemis-ii-flight-day-10-re-entry-live-updates/

2•layer8•20m ago•0 comments

Beware, fellow plutocrats, the pitchforks are coming [video]

https://www.youtube.com/watch?v=q2gO4DKVpa8

2•jyounker•23m ago•1 comments

Under the hood of MDN's new front end

https://developer.mozilla.org/en-US/blog/mdn-front-end-deep-dive/

2•0xedb•24m ago•0 comments

Honda's EV Reversal Just Killed Sony's Electric Car: TDS

https://www.thedrive.com/news/hondas-ev-reversal-just-killed-sonys-electric-car-tds

1•PaulHoule•25m ago•0 comments

Poll: Majority of voters say risks of AI outweigh the benefits

https://www.nbcnews.com/politics/politics-news/poll-majority-voters-say-risks-ai-outweigh-benefit...

3•cdrnsf•25m ago•0 comments

A public Agent Sandbox with Hermes inside

https://sandbox-sba1ad15f841c32f2f.treadstone-ai.dev/

4•earayu•28m ago•2 comments

A New Case Exposed the Clever Workaround the FBI Uses to Read Secure Messages

https://www.inc.com/chloe-aiello/a-new-case-exposed-the-clever-workaround-the-fbi-uses-to-read-se...

1•daft_pink•29m ago•0 comments

Blockchain.com bug causing wrong data to be displayed

https://www.blockchain.com/explorer/addresses/btc/1PWo3JeB9jrGwfHDNpdGK54CRas7fsVzXU

1•867-5309•30m ago•2 comments

A Communist Apple II and Fourteen Years of Not Knowing What You're Testing

https://llama.gs/blog/index.php/2026/04/10/friday-archaeology-a-communist-apple-ii-and-fourteen-y...

1•major4x•31m ago•0 comments

Password Manager Angst

https://www.tbray.org/ongoing/When/202x/2026/04/09/Password-Manager-Angst

1•timbray•32m ago•0 comments

Sigbovik 2026

https://sigbovik.org/2026/

1•blmayer•32m ago•1 comments

NASA's Artemis II Crew Comes Home [video]

https://www.youtube.com/watch?v=nfhDuOHMp0A

1•meetpateltech•34m ago•0 comments

AI and Cybersecurity: A Glass Half-Empty/Half-Full of Nitroglycerin

https://www.techdirt.com/2026/04/10/ai-and-cybersecurity-a-glass-half-empty-half-full-proposition...

2•hn_acker•36m ago•1 comments

Image Recognition with Lean 4

France Launches Government Linux Desktop Plan as Windows Exit Begins

Sam Altman's response to Molotov cocktail incident

Show HN: Sash – tiny macOS utility to reliably cycle through app windows

Cisco got hacked through a security scanner

DOE explains spacetime

GCC Translation Validation Part 6: Uninitialized Memory

Show HN: The Universe in One Chart

How RL Reward Hacking Made Claude Mythos a Zero-Day Hunter

Peer Review Does Private, Elite Gatekeeping

Meta Banks on AI to Clear the Smoke of Social-Media Lawsuits

Show HN: A free study guide for the AWS DVA-C02, built from my own exam notes

Women are getting most of the new jobs. What's going on with men?

SWE-Bench Verified Leaderboard March 2026 – Independent vs. Self-Reported Scores

TruffleHog now finds all Deleted and Private Commits on GitHub (2024)

Live Halftime Timer for NBA, NFL

A large-scale look at the exposome

Artemis II Flight Day 10: Re-Entry Live Updates

Beware, fellow plutocrats, the pitchforks are coming [video]

Under the hood of MDN's new front end

Honda's EV Reversal Just Killed Sony's Electric Car: TDS

Poll: Majority of voters say risks of AI outweigh the benefits

A public Agent Sandbox with Hermes inside

A New Case Exposed the Clever Workaround the FBI Uses to Read Secure Messages

Blockchain.com bug causing wrong data to be displayed

A Communist Apple II and Fourteen Years of Not Knowing What You're Testing

Password Manager Angst

Sigbovik 2026

NASA's Artemis II Crew Comes Home [video]

AI and Cybersecurity: A Glass Half-Empty/Half-Full of Nitroglycerin

In defense of GitHub's poor uptime

Image Recognition with Lean 4

France Launches Government Linux Desktop Plan as Windows Exit Begins

Sam Altman's response to Molotov cocktail incident

Show HN: Sash – tiny macOS utility to reliably cycle through app windows

Cisco got hacked through a security scanner

DOE explains spacetime

GCC Translation Validation Part 6: Uninitialized Memory

Show HN: The Universe in One Chart

How RL Reward Hacking Made Claude Mythos a Zero-Day Hunter

Peer Review Does Private, Elite Gatekeeping

Meta Banks on AI to Clear the Smoke of Social-Media Lawsuits

Show HN: A free study guide for the AWS DVA-C02, built from my own exam notes

Women are getting most of the new jobs. What's going on with men?

SWE-Bench Verified Leaderboard March 2026 – Independent vs. Self-Reported Scores

TruffleHog now finds all Deleted and Private Commits on GitHub (2024)

Live Halftime Timer for NBA, NFL

A large-scale look at the exposome

Artemis II Flight Day 10: Re-Entry Live Updates

Beware, fellow plutocrats, the pitchforks are coming [video]

Under the hood of MDN's new front end

Honda's EV Reversal Just Killed Sony's Electric Car: TDS

Poll: Majority of voters say risks of AI outweigh the benefits

A public Agent Sandbox with Hermes inside

A New Case Exposed the Clever Workaround the FBI Uses to Read Secure Messages

Blockchain.com bug causing wrong data to be displayed

A Communist Apple II and Fourteen Years of Not Knowing What You're Testing

Password Manager Angst

Sigbovik 2026

NASA's Artemis II Crew Comes Home [video]

AI and Cybersecurity: A Glass Half-Empty/Half-Full of Nitroglycerin