Programming in Martin-Lof's Type Theory: An Introduction (1990)

https://www.cse.chalmers.se/research/group/logic/book/

1•todsacerdoti•1m ago•0 comments

France is tackling a crypto kidnapping wave denting its image

https://apnews.com/article/france-cryptocurrencies-technology-kidnappings-bitcoin-police-270a8786c987a43a5729e29f1471d42a

1•rawgabbit•26m ago•1 comments

Crossroads: When Succession Gaps Turn into M&A Opportunities

https://www.dealflowiq.com/p/crossroads-when-succession-gaps-turn

1•koolhead17•44m ago•0 comments

Firesky – The Bluesky Firehose

https://firesky.tv/

1•OuterVale•45m ago•0 comments

Wooden Gear Clock Plans

https://www.lisaboyer.com/Claytonsite/Claytonsite1.htm

1•Tomte•45m ago•0 comments

WordPerfect for DOS Updated (2024)

https://mendelson.org/wpdos/

1•Tomte•45m ago•0 comments

`This Printer company served you malware for months, called them false positives

https://www.neowin.net/news/this-printer-company-served-you-malware-for-months-and-dismissed-it-as-false-positives/

2•bundie•47m ago•0 comments

Show HN: Thirdpen.app – An AI Interactive Leaning Platform

1•abdulmuminyqn•49m ago•0 comments

FCC approves Verizon's $20B merger after it commits to 'ending' DEI

https://www.theverge.com/news/668614/verizon-frontier-acquisition-fcc-approval

2•NeverBehave•52m ago•0 comments

Modern Android Client for Hacker News

https://github.com/SimonHalvdansson/Harmonic-HN

2•flashblaze•1h ago•0 comments

IBM Open SDK for Rust on AIX

https://www.ibm.com/products/open-sdk-for-rust-aix

1•pjmlp•1h ago•0 comments

JavaScript's New Superpower: Explicit Resource Management

https://v8.dev/features/explicit-resource-management

2•olalonde•1h ago•0 comments

Spatial Speech Translation: Translating Across Space with Binaural Hearables

https://babelfish.cs.washington.edu/

3•taubek•1h ago•0 comments

Photon Re-Coupling, Black Hole Bombs, and the Quantum Engine of the Cosmos

https://medium.com/@dominicjanlin/photon-re-coupling-black-hole-bombs-and-the-quantum-engine-of-the-cosmos-a-manifesto-for-35bcb8cbf0b7

2•Bad_Risk•1h ago•1 comments

CarPlay Ultra's first trial reveals a deeply integrated, Apple-like experience

https://appleinsider.com/articles/25/05/15/carplay-ultras-first-trial-reveals-a-deeply-integrated-apple-like-experience

1•taubek•1h ago•0 comments

Narwhals

https://narwhals-dev.github.io/narwhals/

1•m0nhawk•1h ago•0 comments

Braid and HTTP Sync

https://replicated.wiki/blog/braid.html

1•gritzko•1h ago•0 comments

Pointblank

https://posit-dev.github.io/pointblank/

2•m0nhawk•1h ago•0 comments

Vibe-coded a professional C99 compiler with a broken hand (then threw it away)

https://old.reddit.com/r/rust/comments/1kol4z1/vibecoded_a_professional_c99_compiler_with_a/

6•jgarzik•1h ago•0 comments

The West's shameful silence on Ğaza

https://www.ft.com/content/f5fd6f8d-06a7-4d1f-b842-752e3aca9272

5•lyu07282•1h ago•3 comments

The Market Making Game

https://thiccythot.substack.com/p/the-market-making-game

4•synsynack•1h ago•0 comments

Maze: Solve the Most Challenging Puzzle (1985)

https://archive.org/details/mazesolvetheworldsmostchallengingpuzzle1985

1•cjohnson318•1h ago•1 comments

Airbnb Detective – listing analyzer using AI

https://chromewebstore.google.com/detail/airbnb-detective/bpghicmepjokmoljmnlaeojacgpgcdmp

1•drisw•1h ago•0 comments

Can we just call AI something else for a little bit

2•ChaseRensberger•1h ago•4 comments

Niallia tiangongensis sp. nov., isolated from the China Space Station

https://www.microbiologyresearch.org/content/journal/ijsem/10.1099/ijsem.0.006693

1•fernvenue•1h ago•0 comments

Baumol's Cost Disease, AI and Economic Growth

https://dominiccoey.github.io/essays/baumol/

2•paulpauper•1h ago•0 comments

Federal Reserve to slash staff by 10% over several years

https://www.ft.com/content/927ba69e-3037-4e0f-b9a6-1eeaac8b03b7

2•paulpauper•1h ago•0 comments

Show HN: Fahmatrix – A Lightweight, Pandas-Like DataFrame Library for Java

https://github.com/moustafa-nasr/fahmatrix

16•mousomashakel•1h ago•3 comments

Ask HN: Revert OneUI 7 changes on Samsung phone

2•raydenvm•1h ago•2 comments

Open Problems in Mechanistic Interpretability

https://arxiv.org/abs/2501.16496

1•nill0•1h ago•0 comments

Programming in Martin-Lof's Type Theory: An Introduction (1990)

France is tackling a crypto kidnapping wave denting its image

Crossroads: When Succession Gaps Turn into M&A Opportunities

Firesky – The Bluesky Firehose

Wooden Gear Clock Plans

WordPerfect for DOS Updated (2024)

`This Printer company served you malware for months, called them false positives

Show HN: Thirdpen.app – An AI Interactive Leaning Platform

FCC approves Verizon's $20B merger after it commits to 'ending' DEI

Modern Android Client for Hacker News

IBM Open SDK for Rust on AIX

JavaScript's New Superpower: Explicit Resource Management

Spatial Speech Translation: Translating Across Space with Binaural Hearables

Photon Re-Coupling, Black Hole Bombs, and the Quantum Engine of the Cosmos

CarPlay Ultra's first trial reveals a deeply integrated, Apple-like experience

Narwhals

Braid and HTTP Sync

Pointblank

Vibe-coded a professional C99 compiler with a broken hand (then threw it away)

The West's shameful silence on Ğaza

The Market Making Game

Maze: Solve the Most Challenging Puzzle (1985)

Airbnb Detective – listing analyzer using AI

Can we just call AI something else for a little bit

Niallia tiangongensis sp. nov., isolated from the China Space Station

Baumol's Cost Disease, AI and Economic Growth

Federal Reserve to slash staff by 10% over several years

Show HN: Fahmatrix – A Lightweight, Pandas-Like DataFrame Library for Java

Ask HN: Revert OneUI 7 changes on Samsung phone

Open Problems in Mechanistic Interpretability

Perfect Recession Predictors

Comments

Programming in Martin-Lof's Type Theory: An Introduction (1990)

France is tackling a crypto kidnapping wave denting its image

Crossroads: When Succession Gaps Turn into M&A Opportunities

Firesky – The Bluesky Firehose

Wooden Gear Clock Plans

WordPerfect for DOS Updated (2024)

`This Printer company served you malware for months, called them false positives

Show HN: Thirdpen.app – An AI Interactive Leaning Platform

FCC approves Verizon's $20B merger after it commits to 'ending' DEI

Modern Android Client for Hacker News

IBM Open SDK for Rust on AIX

JavaScript's New Superpower: Explicit Resource Management

Spatial Speech Translation: Translating Across Space with Binaural Hearables

Photon Re-Coupling, Black Hole Bombs, and the Quantum Engine of the Cosmos

CarPlay Ultra's first trial reveals a deeply integrated, Apple-like experience

Narwhals

Braid and HTTP Sync

Pointblank

Vibe-coded a professional C99 compiler with a broken hand (then threw it away)

The West's shameful silence on Ğaza

The Market Making Game

Maze: Solve the Most Challenging Puzzle (1985)

Airbnb Detective – listing analyzer using AI

Can we just call AI something else for a little bit

Niallia tiangongensis sp. nov., isolated from the China Space Station

Baumol's Cost Disease, AI and Economic Growth

Federal Reserve to slash staff by 10% over several years

Show HN: Fahmatrix – A Lightweight, Pandas-Like DataFrame Library for Java

Ask HN: Revert OneUI 7 changes on Samsung phone

Open Problems in Mechanistic Interpretability