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

1 points by nabla9 24s ago 0 comments

Technical Issues of Separation in Function Cells and Value Cells (1988) (dreamsongs.com)

1 points by Jtsummers 59s ago 0 comments

Skynet: LLMs controlling real robots and drones with Bash (hackster.io)

1 points by deadprogram 4m ago 0 comments

Gleam v1.12.0 Released (gleam.run)

3 points by todsacerdoti 4m ago 0 comments

Ubuntu-Fastest-Mirror (github.com)

1 points by indigodaddy 5m ago 0 comments

Building Income Through LibrePCB: A Personal Story (librepcb.org)

2 points by dbrgn 7m ago 0 comments

Flourishing chemosynthetic life at the greatest depths of hadal trenches (nature.com)

1 points by gmays 7m ago 0 comments

NeuralMorse – Reinventing Morse Code with Neural Networks (masatohagiwara.net)

1 points by mhagiwara 8m ago 1 comments

EU Age Verification App Sparks Ban on Non Google Licensed Android Apps (talkandroid.com)

3 points by WhyNotHugo 9m ago 1 comments

Show HN: Optimize and launch a travel-planning AI application in minutes (gensee.ai)

2 points by yiyingzhang 10m ago 0 comments

X Developer Portal Rate Limiting Itself (twitter.com)

1 points by ajd555 10m ago 2 comments

Show HN: A technique for better Claude Code results (github.com)

1 points by barbinbrad 10m ago 0 comments

Tired of cookie banners? So are we. ACCEPTCEPTION.js (github.com)

1 points by mcreed 13m ago 0 comments

We're making data centers more flexible to benefit power grids (blog.google)

1 points by ChrisArchitect 14m ago 0 comments

Amazon Elastic VMware Service for Running VMware Cloud Foundation on AWS (aws.amazon.com)

1 points by HieronymusBosch 14m ago 0 comments

Study finds humans not useless at malware detection (theregister.com)

1 points by beardyw 16m ago 0 comments

The 'Contrarian Friend' Is Real, and They're Driving Everyone Crazy (self.com)

2 points by tbrake 16m ago 0 comments

A simple C project scaffolder (github.com)

1 points by claeusdev 17m ago 0 comments

Prediction markets create harmful outcomes: a case study (bobjacobs.substack.com)

1 points by Zipzip 18m ago 1 comments

Show HN: Built a fast, no-fluff CRM built for startups who want to close (leadchee.com)

1 points by CeresBroker 18m ago 0 comments

Show HN: GPT-reviewer – Simple AI code reviewer for GH Actions (github.com)

1 points by justanotherunit 20m ago 0 comments

When does the body start aging? The answer may surprise you (usatoday.com)

1 points by brandonb 21m ago 0 comments

Attacker could defeat Dell firmware flaws with a vegetable (computerweekly.com)

1 points by beardyw 22m ago 1 comments

Mark Zuckerberg Just Declared War on the iPhone (wsj.com)

1 points by personjerry 23m ago 0 comments

Kaggle AI Chess Exhibition Quarterfinals - GM Hikaru watches LLM's play [video] (youtube.com)

1 points by timetraveller26 23m ago 0 comments

EPA, DHS, and GSA CIOs fail to implement critical cybersecurity recommendations (theregister.com)

2 points by rntn 23m ago 0 comments

SpinLaunch, the Space Industry's Best Kept Secret (wired.com)

1 points by xrayarx 24m ago 0 comments

Research: The Penalty of Using AI at Work (hbr.org)

2 points by jay-barronville 24m ago 0 comments

We saved $13,000 per month by fixing indentation (develeap.com)

1 points by meblum 24m ago 0 comments

Is a Billion Dollar AI Company Possible? (andycarnevale.com)

1 points by carnevalem 25m ago 0 comments

Show HN: Chrome extension that adds topic/description notes to LinkedIn posts (chromewebstore.google.com)

1 points by VladLunachev 26m ago 0 comments

US reportedly forcing TSMC to buy 49% stake in Intel to secure tariff relief (notebookcheck.net)

51 points by voxadam 30m ago 29 comments

Trusting the Science: Do Diet Researchers Know What's in Diets They Research? (mindandmatter.substack.com)

1 points by Michelangelo11 31m ago 0 comments

The Rise of Silicon Valley's Techno-Religion (Gift Link) (nytimes.com)

1 points by SLHamlet 32m ago 1 comments

LLVM optimizes power sums with scalar evolution (kristerw.blogspot.com)

1 points by fanf2 32m ago 0 comments

Estimating Worst-Case Frontier Risks of Open-Weight LLMs [pdf] (cdn.openai.com)

1 points by ksec 32m ago 0 comments

OpenAI open weight models available today on AWS (aboutamazon.com)

1 points by jaredwiener 32m ago 0 comments

LLMs Anchor Too (substack.com)

1 points by mathattack 33m ago 0 comments

Ask HN: Long computer routine after work. Am I overdoing it?

1 points by levysoft 33m ago 1 comments

The Supreme Court Has Finally Found a President It Likes (nytimes.com)

3 points by mitchbob 35m ago 2 comments

Show HN: Whittle – A Shrinking Word Game (playwhittle.com)

11 points by babel16 35m ago 1 comments

Representing Python notebooks as dataflow graphs (marimo.io)

1 points by akshayka 35m ago 0 comments

Neanderthals likely ate fermented meat with a side of maggots (theconversation.com)

1 points by gmays 35m ago 0 comments

Watch Out for Vishing

1 points by titusblair 37m ago 0 comments

Debugging a mysterious HTTP streaming issue (mintlify.com)

1 points by skeptrune 37m ago 0 comments

GPT-OSS-120B Lisp interpreter in Go (gist.github.com)

1 points by intellectronica 37m ago 0 comments

D-Wave's open-source toolkit integrates quantum computing into AI training (siliconangle.com)

1 points by giuliomagnifico 39m ago 0 comments

Hedge Funds Meet with Companies (bloomberg.com)

2 points by ioblomov 41m ago 1 comments

What can India do to industrialize? (noahpinion.blog)

1 points by PaulHoule 41m ago 0 comments

OpenAI releases its first open source models since 2019 (arstechnica.com)

2 points by m463 42m ago 1 comments

Gleam v1.12.0 Released

3 todsacerdoti 0 8/5/2025, 6:09:50 PM gleam.run ↗

Comments (0)

No comments yet