Homotopies in multiway (nondeterministic) rewriting systems as n-fold categories (arxiv.org)

1 points by pizza 1m ago 0 comments

Ask HN: What product should the new Commodore release?

1 points by amichail 1m ago 0 comments

DiffuCoder-7B-CpGRPO: A code generation LLM developed by Apple (huggingface.co)

1 points by maxloh 7m ago 0 comments

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

1 points by hasanyildiz 15m ago 0 comments

The Knot Atlas (katlas.org)

2 points by gone35 15m ago 0 comments

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

4 points by NotAnOtter 15m ago 1 comments

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

2 points by azeemba 17m ago 0 comments

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

3 points by bookofjoe 21m ago 7 comments

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

1 points by networked 23m ago 0 comments

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

1 points by grubinator 35m ago 0 comments

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

7 points by todsacerdoti 37m ago 2 comments

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

1 points by austinallegro 38m ago 0 comments

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

1 points by Brysonbw 38m ago 0 comments

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

1 points by hedayet 41m ago 0 comments

Why Juggle 3 Platforms for Your Event? Meet Demfati

1 points by demfati 42m ago 0 comments

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

2 points by doener 46m ago 0 comments

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

1 points by ingve 47m ago 0 comments

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

35 points by 01-_- 53m ago 35 comments

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

2 points by doener 56m ago 0 comments

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

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

Prompting LLMs is not engineering (dmitriid.com)

52 points by Bluestein 58m ago 32 comments

The Tech Layoff Tracker (trueup.io)

2 points by skadamat 58m ago 0 comments

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

1 points by cranium 58m ago 1 comments

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

3 points by kpolevoy 1h ago 2 comments

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

1 points by jstanley 1h ago 0 comments

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

5 points by liquid99 1h ago 0 comments

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

1 points by ingve 1h ago 3 comments

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

2 points by agnamihira 1h ago 0 comments

The Agentic Software Engineer (dolthub.com)

3 points by ghuntley 1h 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)

96 points by troupo 1h ago 102 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)

27 points by alihm 1h ago 9 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)

18 points by voxleone 1h ago 9 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

Show HN: Quick and Simple A11y Checker

4 beledev 0 7/4/2025, 3:50:56 PM github.com ↗

Comments (0)

No comments yet