My AI skeptic friends are all nuts

https://fly.io/blog/youre-all-nuts/

844•tabletcorry•5h ago•1145 comments

Ask HN: Who is hiring? (June 2025)

275•whoishiring•11h ago•263 comments

Conformance checking at MongoDB: Testing that our code matches our TLA+ specs

https://www.mongodb.com/blog/post/engineering/conformance-checking-at-mongodb-testing-our-code-matches-our-tla-specs

51•todsacerdoti•5h ago•20 comments

Show HN: I build one absurd web project every month

https://absurd.website

142•absurdwebsite•7h ago•30 comments

Show HN: A toy version of Wireshark (student project)

https://github.com/lixiasky/vanta

192•lixiasky•11h ago•64 comments

Show HN: Kan.bn – An open-source alterative to Trello

https://github.com/kanbn/kan

354•henryball•17h ago•163 comments

Teaching Program Verification in Dafny at Amazon (2023)

https://dafny.org/blog/2023/12/15/teaching-program-verification-in-dafny-at-amazon/

22•Jtsummers•4h ago•4 comments

Ask HN: How do I learn practical electronic repair?

39•juanse•2d ago•34 comments

How to post when no one is reading

https://www.jeetmehta.com/posts/thrive-in-obscurity

514•j4mehta•23h ago•228 comments

Japanese Scientists Develop Artificial Blood Compatible with All Blood Types

https://www.tokyoweekender.com/entertainment/tech-trends/japanese-scientists-develop-artificial-blood/

109•Geekette•5h ago•26 comments

Show HN: Onlook – Open-source, visual-first Cursor for designers

https://github.com/onlook-dev/onlook

331•hoakiet98•4d ago•74 comments

CVE 2025 31200

https://blog.noahhw.dev/posts/cve-2025-31200/

94•todsacerdoti•8h ago•23 comments

ThorVG: Super Lightweight Vector Graphics Engine

https://www.thorvg.org/about

100•elcritch•16h ago•22 comments

Typing 118 WPM broke my brain in the right ways

http://balaji-amg.surge.sh/blog/typing-118-wpm-brain-rewiring

105•b0a04gl•7h ago•149 comments

Show HN: Penny-1.7B Irish Penny Journal style transfer

https://huggingface.co/dleemiller/Penny-1.7B

128•deepsquirrelnet•11h ago•71 comments

Arcol simplifies building design with browser-based modeling

https://www.arcol.io/

45•joeld42•10h ago•24 comments

Younger generations less likely to have dementia, study suggests

https://www.theguardian.com/society/2025/jun/02/younger-generations-less-likely-dementia-study

71•robaato•11h ago•62 comments

Snowflake to buy Crunchy Data for $250M

https://www.wsj.com/articles/snowflake-to-buy-crunchy-data-for-250-million-233543ab

119•mfiguiere•6h ago•50 comments

Ask HN: Who wants to be hired? (June 2025)

99•whoishiring•11h ago•249 comments

Ask HN: How do I learn robotics in 2025?

289•srijansriv•14h ago•82 comments

I made a chair

https://milofultz.com/2025-05-27-i-made-a-chair.html

328•surprisetalk•2d ago•126 comments

The Princeton INTERCAL Compiler's source code

https://esoteric.codes/blog/published-for-the-first-time-the-original-intercal72-compiler-code

131•surprisetalk•1d ago•36 comments

Piramidal (YC W24) Is Hiring a Senior Full Stack Engineer

https://www.ycombinator.com/companies/piramidal/jobs/1a1PgE9-senior-full-stack-engineer

1•dsacellarius•10h ago

Mesh Edge Construction

https://maxliani.wordpress.com/2025/03/01/mesh-edge-construction/

38•atomlib•11h ago•1 comments

A Hidden Weakness

https://serge-sans-paille.github.io/pythran-stories/a-hidden-weakness.html

29•serge-ss-paille•12h ago•1 comments

If you are useful, it doesn't mean you are valued

https://betterthanrandom.substack.com/p/if-you-are-useful-it-doesnt-mean

747•weltview•18h ago•333 comments

Intelligent Agent Technology: Open Sesame! (1993)

https://blog.gingerbeardman.com/2025/05/31/intelligent-agent-technology-open-sesame-1993/

40•msephton•2d ago•3 comments

Can I stop drone delivery companies flying over my property?

https://www.rte.ie/brainstorm/2025/0602/1481005-drone-delivery-companies-property-legal-rights-airspace/

88•austinallegro•7h ago•191 comments

TradeExpert, a trading framework that employs Mixture of Expert LLMs

https://arxiv.org/abs/2411.00782

107•wertyk•16h ago•101 comments

Reducing Cargo target directory size with -Zno-embed-metadata

https://kobzol.github.io/rust/rustc/2025/06/02/reduce-cargo-target-dir-size-with-z-no-embed-metadata.html

48•todsacerdoti•13h ago•13 comments

My AI skeptic friends are all nuts

Ask HN: Who is hiring? (June 2025)

Conformance checking at MongoDB: Testing that our code matches our TLA+ specs

Show HN: I build one absurd web project every month

Show HN: A toy version of Wireshark (student project)

Show HN: Kan.bn – An open-source alterative to Trello

Teaching Program Verification in Dafny at Amazon (2023)

Ask HN: How do I learn practical electronic repair?

How to post when no one is reading

Japanese Scientists Develop Artificial Blood Compatible with All Blood Types

Show HN: Onlook – Open-source, visual-first Cursor for designers

CVE 2025 31200

ThorVG: Super Lightweight Vector Graphics Engine

Typing 118 WPM broke my brain in the right ways

Show HN: Penny-1.7B Irish Penny Journal style transfer

Arcol simplifies building design with browser-based modeling

Younger generations less likely to have dementia, study suggests

Snowflake to buy Crunchy Data for $250M

Ask HN: Who wants to be hired? (June 2025)

Ask HN: How do I learn robotics in 2025?

I made a chair

The Princeton INTERCAL Compiler's source code

Piramidal (YC W24) Is Hiring a Senior Full Stack Engineer

Mesh Edge Construction

A Hidden Weakness

If you are useful, it doesn't mean you are valued

Intelligent Agent Technology: Open Sesame! (1993)

Can I stop drone delivery companies flying over my property?

TradeExpert, a trading framework that employs Mixture of Expert LLMs

Reducing Cargo target directory size with -Zno-embed-metadata

How I like to install NixOS (declaratively)

Comments

My AI skeptic friends are all nuts

Ask HN: Who is hiring? (June 2025)

Conformance checking at MongoDB: Testing that our code matches our TLA+ specs

Show HN: I build one absurd web project every month

Show HN: A toy version of Wireshark (student project)

Show HN: Kan.bn – An open-source alterative to Trello

Teaching Program Verification in Dafny at Amazon (2023)

Ask HN: How do I learn practical electronic repair?

How to post when no one is reading

Japanese Scientists Develop Artificial Blood Compatible with All Blood Types

Show HN: Onlook – Open-source, visual-first Cursor for designers

CVE 2025 31200

ThorVG: Super Lightweight Vector Graphics Engine

Typing 118 WPM broke my brain in the right ways

Show HN: Penny-1.7B Irish Penny Journal style transfer

Arcol simplifies building design with browser-based modeling

Younger generations less likely to have dementia, study suggests

Snowflake to buy Crunchy Data for $250M

Ask HN: Who wants to be hired? (June 2025)

Ask HN: How do I learn robotics in 2025?

I made a chair

The Princeton INTERCAL Compiler's source code

Piramidal (YC W24) Is Hiring a Senior Full Stack Engineer

Mesh Edge Construction

A Hidden Weakness

If you are useful, it doesn't mean you are valued

Intelligent Agent Technology: Open Sesame! (1993)

Can I stop drone delivery companies flying over my property?

TradeExpert, a trading framework that employs Mixture of Expert LLMs

Reducing Cargo target directory size with -Zno-embed-metadata