Mathematical Typesetting in TeXmacs (texmacs.github.io)

1 points by amichail 1m ago 0 comments

Thoughts on using experts (humans) to unblock vibe coders when AI fails? (old.reddit.com)

1 points by cratermoon 2m ago 0 comments

Ask HN: Where is a local (no cloud audio) voice assistant useful?

1 points by takuya_h 3m ago 1 comments

The Driver of Apple's Exploding Valuation Is Under Threat (wsj.com)

1 points by ViktorRay 4m ago 0 comments

Show HN: Xorq – open compute catalog for AI (github.com)

1 points by mousematrix 5m ago 0 comments

Peacock feathers can be lasers (science.org)

3 points by ohjeez 8m ago 0 comments

Show HN: LocallyTools – A privacy-first free local toolbox, supports offline use (locallytools.com)

1 points by sukechris 9m ago 0 comments

Take It Down Kills Parody (techdirt.com)

1 points by perihelions 9m ago 0 comments

How Turso made connections to SQLite databases 575x faster (turso.tech)

2 points by SchwKatze 11m ago 0 comments

Beyond CDN Wars (azion.com)

3 points by gabriel_mad 11m ago 0 comments

I analyzed 1500 tech jobs that offer relocation support (2025) (relocateme.substack.com)

3 points by andrewstetsenko 12m ago 0 comments

Interview with the US military's chief orbital traffic cop (arstechnica.com)

2 points by xrayarx 13m ago 0 comments

E-Democracy (en.wikipedia.org)

2 points by 1970-01-01 15m ago 0 comments

Security pros drowning in threat-Intel data (theregister.com)

2 points by speckx 16m ago 0 comments

Project Zero – Policy and Disclosure: 2025 Edition (googleprojectzero.blogspot.com)

4 points by esnard 17m ago 1 comments

Now on Wall Street, JBS eyes growth amid scrutiny on deforestation and graft (news.mongabay.com)

1 points by PaulHoule 18m ago 0 comments

How I Built a Full-Stack React Framework 4x Faster Than Next.js (ryanskinner.com)

2 points by skiniks 18m ago 1 comments

How Does AI Disrupt Accountability in Code Reviews? (rdel.substack.com)

1 points by gpi 18m ago 0 comments

Why Women Are Weary of the Emotional Labor of 'Mankeeping' (nytimes.com)

3 points by ryan_j_naughton 18m ago 0 comments

How Hyper Built a 1m-Accurate Indoor GPS (andrewhart.me)

1 points by AndrewHart 20m ago 0 comments

Show HN: ELF Injector (github.com)

5 points by dillstead 21m ago 1 comments

Irrelevant facts about cats added to math problems increase LLM errors by 300% (science.org)

4 points by sxv 22m ago 1 comments

The tax of 'almost right' AI code (venturebeat.com)

1 points by mathattack 23m ago 0 comments

Attention is your scarcest resource (benkuhn.net)

2 points by jxmorris12 23m ago 0 comments

AI Coding Assistants Are the New Compilers (marmelab.com)

2 points by fzaninotto 25m ago 0 comments

Show HN: I made this Markdown journaling app you can use in the browser for free (htmlsync.io)

1 points by meistertigran 25m ago 0 comments

Prompts Are Design Documents (mechanicalsurvival.com)

1 points by duncanjbrown 27m ago 0 comments

Ask HN: "You are absolutely right! But first, a word from our sponsors"

4 points by Bluestein 31m ago 1 comments

Claude Finds Contradictions in My Thinking (angadh.com)

19 points by speckx 35m ago 13 comments

iOS App Distribution Guide – App Store, TestFlight and Enterprise Options (foresightmobile.com)

1 points by gazreese 35m ago 0 comments

Vibe coding platform allowed access to private apps (wiz.io)

3 points by talhof8 36m ago 0 comments

Go's race detector has a mutex blind spot (doublefree.dev)

3 points by GarethX 37m ago 0 comments

Observable Notebooks 2.0 Technology Preview (observablehq.com)

12 points by mbostock 37m ago 1 comments

Open source collection of and50 UI components (ui.shadcn.com)

2 points by noashavit 37m ago 0 comments

Types of types in Lean: common → exotic (stephendiehl.com)

2 points by fanf2 39m ago 0 comments

Signs That AI Wrote a Paper, According to an English Composition Professor (gizmodo.com)

2 points by rntn 41m ago 1 comments

Show HN: Alexandria, a New Way to Read the Classics (alexandria.wiki)

2 points by bobbyjgeorge 43m ago 1 comments

Tightsqueeze, Virginia (en.wikipedia.org)

1 points by softwaredoug 43m ago 0 comments

Show HN: I created an AI writing app that helps you write books (bookswriter.xyz)

1 points by playsong 44m ago 0 comments

DockerWakeUp: Automatically start containers and stop after configured timeouts (github.com)

1 points by thunderbong 45m ago 0 comments

Site Runs on Laravel (coryd.dev)

1 points by bridtle 45m ago 0 comments

How to Deploy DltHub, SQLMesh, DBT Core, or Any Python Project to Tower (tower.dev)

3 points by bradhe 47m ago 0 comments

JPMorgan Chase Nears a Deal to Take over Apple's Credit-Card Program (wsj.com)

1 points by jmsflknr 47m ago 0 comments

Show HN: Tool to track audiobook deals on your TBR (github.com)

1 points by will_beasley 48m ago 0 comments

2025 Stack Overflow Developer Survey Results (survey.stackoverflow.co)

16 points by colingw 50m ago 6 comments

Spilling the Tea (thezvi.wordpress.com)

1 points by speckx 51m ago 1 comments

Combining macro photography with Gaussian splatting (superspl.at)

2 points by ovenchips 52m ago 1 comments

George Lucas Offers a Peek into His New Museum: 'A Temple to the People's Art' (news.artnet.com)

2 points by andsoitis 52m ago 1 comments

Reading the Book (natemeyvis.com)

2 points by harperlee 53m ago 0 comments

China reins in the spiralling construction costs of nuclear power (nature.com)

2 points by hunglee2 53m ago 0 comments

Personal Software in the Age of LLM's

1 trackspike 0 7/29/2025, 10:47:08 AM hexdev.blog ↗

Comments (0)

No comments yet