How the Lean language brings math to coding and coding to math (2024) (amazon.science)

1 points by danabramov 3m ago 0 comments

Happy 70th Birthday, Artificial Intelligence [pdf] (jmc.stanford.edu)

1 points by mindcrime 3m ago 0 comments

Against Platforms (kirkhamilton.substack.com)

1 points by chr15m 4m ago 0 comments

Free from the Weight (freefromtheweight.com)

1 points by tasshin 8m ago 0 comments

SF hackathon where the winner gets to take a shower (showerhacks.org)

4 points by JohnLins 9m ago 0 comments

Nintendo Switch 2 Dock USB-C Compatibility (lttlabs.com)

2 points by croes 9m ago 0 comments

Ask HN: What are your views on using AI in software engineering?

1 points by FunnyGunther 11m ago 0 comments

A streamlined base editor engineering strategy to reduce bystander editing (nature.com)

1 points by bookofjoe 11m ago 0 comments

Exposing the Monsanto Conspiracy [video] (youtube.com)

1 points by mgh2 17m ago 0 comments

Who eats seaweed? Barriers and motivations in Japan versus the United Kingdom (sciencedirect.com)

1 points by PaulHoule 20m ago 0 comments

Lively Linear Lisp (1992) [pdf] (cs.utexas.edu)

3 points by todsacerdoti 20m ago 0 comments

Damn son now you can flex with Spotify lyrics inside VS Code (github.com)

1 points by therepanic 21m ago 0 comments

We tested which AI gave the best answers without making stuff up 1 beat ChatGPT (washingtonpost.com)

2 points by 1vuio0pswjnm7 28m ago 0 comments

Cognitive Disengagement Syndrome (en.wikipedia.org)

2 points by beacon473 29m ago 0 comments

33 Minutes from Venice-–Is it safe? (lightcapai.medium.com)

1 points by WASDAai 29m ago 0 comments

The Governance of the Root of the DNS (potaroo.net)

1 points by marcusb 31m ago 0 comments

C1ick and C⊗LLec⊥: Interactive linear logic prover (click-and-collect.linear-logic.org)

1 points by abathologist 33m ago 1 comments

China Is Building a Brain-Computer Interface Industry (wired.com)

2 points by aspenmayer 33m ago 2 comments

The First 15 Minutes of Skyblivion Oblivion Remake Gameplay 2025 [video] (youtube.com)

2 points by agluszak 35m ago 0 comments

Lewis and Clark marked their trail with laxatives (offbeatoregon.com)

3 points by toomuchtodo 36m ago 0 comments

Safe Aliasable Mutability via Stable References in Ante (antelang.org)

1 points by jfecher 36m ago 0 comments

Java build tooling could be better Java User Group Switzerland (youtube.com)

1 points by lihaoyi 37m ago 0 comments

Reverse engineering Solos smart glasses (jfloren.net)

1 points by floren 38m ago 0 comments

Turning Point: 10-day Vipassana meditation and its impact on focus and ego (thawani.substack.com)

1 points by pt7even 39m ago 1 comments

Why enterprises lag in adopting AI (and why this time is different) (ai4enterprise.substack.com)

1 points by pt7even 40m ago 1 comments

Chuck E. Cheese's Annual Report For Kids (1982) [pdf] (showbizpizza.com)

1 points by xxr 41m ago 0 comments

Water as Medicine (williamjbarry.substack.com)

3 points by wjb3 45m ago 0 comments

Show HN: Omoshiro – Private Pinterest/Instagram for Couples (hello.omoshiro.app)

1 points by ashaney 46m ago 0 comments

Show HN: Local-HTML – A hack to share .html as GUI's with R/w permissions (github.com)

1 points by athrowaway3z 46m ago 0 comments

Altair 8800: The Most Powerful Minicomputer Ever Presented (1975) (archive.org)

2 points by glimshe 46m ago 0 comments

AI can't solve these puzzles that take humans only seconds (scientificamerican.com)

1 points by mikhael 47m ago 0 comments

A Linux version of the Procmon Sysinternals tool (github.com)

3 points by LelouBil 47m ago 0 comments

Efrit: Giving Claude Full Access to 50 Years of Emacs Capabilities [video] (youtube.com)

4 points by pizza 56m ago 0 comments

Social connections matter for the well-being of neurodivergent workers (theconversation.com)

1 points by supriyo-biswas 59m ago 0 comments

Show HN: I built a tool to create art work (pencilart.app)

1 points by samuelaidoo45 1h ago 0 comments

The Super-Rich 'Preppers' Planning To Save Themselves From The Apocalypse (2022) (theguardian.com)

2 points by optimalsolver 1h ago 1 comments

Curl Project Status Dashboard (curl.se)

2 points by jacques_chester 1h ago 1 comments

Introduction to Writing Good Puzzle Hunt Puzzles (mit.edu)

2 points by ntnbr 1h ago 0 comments

Journaling with Terminal and Plaintext Files (njbrown.com)

4 points by ntnbr 1h ago 1 comments

AI and Jobs: The Final Word (Until the Next One) (eig.org)

1 points by bikenaga 1h ago 0 comments

Chatbots can be manipulated through flattery and peer pressure (theverge.com)

2 points by alwillis 1h ago 0 comments

Upgraded catalyst system achieves low-temperature oxidation (phys.org)

1 points by PaulHoule 1h ago 0 comments

Uvicorn (uvicorn.org)

2 points by tosh 1h ago 0 comments

A story about an obsolete PC, an old library book, and one version of MS-DOS (arstechnica.com)

1 points by mariuz 1h ago 0 comments

What Every Argument About Sideloading Gets Wrong (hugotunius.se)

2 points by K0nserv 1h ago 0 comments

Early noradrenergic axon loss drives olfactory dysfunction in Alzheimer's (nature.com)

2 points by bookofjoe 1h ago 0 comments

Frustrated by failing ID checks, migrants change names to fit databases (abc.net.au)

1 points by decimalenough 1h ago 0 comments

Show HN: Super simple file transfer utility (file.guru)

1 points by brianush1 1h ago 0 comments

NetSurf on ReMarkable 2 (akselmo.dev)

3 points by Fudgel 1h ago 0 comments

Aimentor Global – find the right mentor (aimentorglobal.eu)

1 points by surkhailazhar 1h ago 0 comments

What Is Algebra? (2011)

3 FromTheArchives 0 8/31/2025, 6:33:12 PM profkeithdevlin.org ↗

Comments (0)

No comments yet