Show HN: Tinykv – minimal file-backed key-value store for Rust (crates.io)

1 points by hasanyildiz 5m ago 0 comments

The Knot Atlas (katlas.org)

1 points by gone35 5m ago 0 comments

Ask HN: Worth leaving position over push to adopt vibe coding?

3 points by NotAnOtter 5m ago 0 comments

Why is grid-wide battery storage capacity measured in power instead of energy? (physics.stackexchange.com)

2 points by azeemba 7m ago 0 comments

'Elon has woken up': Musk battles to save Tesla from Trump (ft.com)

2 points by bookofjoe 11m ago 5 comments

Btrfs read-write on FreeBSD: It is possible and works well (2024) (treefort.piusbird.space)

1 points by networked 13m ago 0 comments

Show HN: Go-nagini fluent wrapper for Cobra (github.com)

1 points by grubinator 25m ago 0 comments

Nvidia Is Full of Shit (blog.sebin-nyshkim.net)

7 points by todsacerdoti 28m ago 2 comments

Original Text of North Korea's Act on Rejecting Reactionary Ideology and Culture (nktimes.kr)

1 points by austinallegro 28m ago 0 comments

Show HN: Code Cause – Online community building solutions for the greater good (codecause.dev)

1 points by Brysonbw 28m ago 0 comments

Show HN: I Turned PG's "How to Get Startup Ideas" into an Interactive Course (mythosgym.com)

1 points by hedayet 31m ago 0 comments

Why Juggle 3 Platforms for Your Event? Meet Demfati

1 points by demfati 32m ago 0 comments

I Left Quantum Computing Research [video] (youtube.com)

2 points by doener 36m ago 0 comments

The messy reality of SIMD (vector) functions (johnnysswlab.com)

1 points by ingve 37m ago 0 comments

Tesla's Cybertruck flop is historic. The brand collapse is even worse (dailykos.com)

32 points by 01-_- 43m ago 26 comments

AmigaLive: Front-end for FS-UAE emulator (amigalive.com)

2 points by doener 46m ago 0 comments

The new digital banking startup from Anduril CEO Palmer Luckey, and its value (businessinsider.com)

1 points by 01-_- 47m ago 0 comments

Prompting LLMs is not engineering (dmitriid.com)

46 points by Bluestein 48m ago 22 comments

The Tech Layoff Tracker (trueup.io)

2 points by skadamat 48m ago 0 comments

Unmute: Speak with a text LLM in real time (github.com)

1 points by cranium 48m ago 1 comments

Built: A tool to score kids' movies scene-by-scene using subtitles and LLMs (tinyviewers.vercel.app)

3 points by kpolevoy 51m ago 2 comments

Aardvark'd: 12 Weeks With Geeks [video] (youtube.com)

1 points by jstanley 52m ago 0 comments

Ex-Tesla and Google Engineers Raise $4M for AI-Text Detection Startup Pangram (reuters.com)

5 points by liquid99 53m ago 0 comments

Memstop: Use LD_PRELOAD to delay process execution when low on memory (github.com)

1 points by ingve 54m ago 3 comments

Invent provides an easy way to explore and use different AI assistants together (agnamihira.medium.com)

2 points by agnamihira 54m ago 0 comments

The Agentic Software Engineer (dolthub.com)

3 points by ghuntley 59m ago 0 comments

300k-year-old wooden tools from southwest China (science.org)

1 points by geox 1h ago 0 comments

The Inviolable Principles of NuttX (2019) (nuttx.apache.org)

1 points by unleaded 1h ago 0 comments

Everything around LLMs is still magical and wishful thinking (dmitriid.com)

89 points by troupo 1h ago 94 comments

Show HN: Dumb STT/diction script for sway-Linux (github.com)

1 points by csunoser 1h ago 0 comments

Iris: A neurosymbolic framework for vulnerability detection in code (github.com)

3 points by todsacerdoti 1h ago 0 comments

Using pragma Shared_Passive for data persistence in Ada (adacore.com)

1 points by ajdude 1h ago 0 comments

The Amiga 3000 Unix and Sun Microsystems: Deal or No Deal? (datagubbe.se)

3 points by wicket 1h ago 1 comments

Being too ambitious is a clever form of self-sabotage (maalvika.substack.com)

22 points by alihm 1h ago 5 comments

Cross-Compiling 10k Rust CLI Crates Statically (blog.pkgforge.dev)

1 points by lukastyrychtr 1h ago 0 comments

Lenovo Bios Simulator Center (download.lenovo.com)

4 points by znpy 1h ago 0 comments

Playing Snake with water with OpenDrop [video] (youtube.com)

1 points by xqcgrek2 1h ago 0 comments

From Chatbots to AI Agents: Understanding Modern Agentic Architectures (vmayakumar.wordpress.com)

3 points by mayakumar 1h ago 0 comments

Show HN: Piano Trainer – Learn piano scales, chords and more using MIDI (github.com)

1 points by FinalDestiny 1h ago 0 comments

Analysing Roman itineraries using GIS tooling (link.springer.com)

1 points by diodorus 1h ago 0 comments

Islam, Israel, and the Tragedy of Gaza (samharris.substack.com)

4 points by mhb 1h ago 1 comments

Ask HN: Should AIs make errors on purpose to keep human minds sharp?

1 points by amichail 1h ago 0 comments

America Is Killing Its Chance to Find Alien Life (theatlantic.com)

17 points by voxleone 1h ago 7 comments

Riff: LLMs Are Software Diamonds (evalapply.org)

1 points by Bogdanp 1h ago 0 comments

A client wants to buy old SaaS app – smart move or risk?

3 points by AbbeyRoadRunner 1h ago 2 comments

Leaktracer: a Rust allocator to trace memory allocations (blog.veeso.dev)

1 points by lukastyrychtr 1h ago 0 comments

NebulaStream: High-Performance Streaming Engine for Multi-Modal Edge Apps (dl.acm.org)

2 points by gnabgib 1h ago 0 comments

Ask HN: Section 174 will be Restored to Normality. How is Everyone Feeling?

3 points by idontwantthis 1h ago 3 comments

People Power: Revisiting the origins of American democracy (2005) (newyorker.com)

1 points by mitchbob 1h ago 1 comments

First robot football match happened in China, it's like watching drunk toddlers (pcgamer.com)

1 points by rmason 1h ago 0 comments

A path from autonomy V&V to AGI alignment?

1 yoav_hollander 0 7/4/2025, 2:35:28 PM lesswrong.com ↗

Comments (0)

No comments yet