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

https://arxiv.org/abs/2105.10822

1•pizza•49s ago•0 comments

Ask HN: What product should the new Commodore release?

1•amichail•1m ago•0 comments

DiffuCoder-7B-CpGRPO: A code generation LLM developed by Apple

https://huggingface.co/apple/DiffuCoder-7B-cpGRPO

1•maxloh•7m ago•0 comments

Show HN: Tinykv – minimal file-backed key-value store for Rust

https://crates.io/crates/tinykv

1•hasanyildiz•14m ago•0 comments

The Knot Atlas

https://katlas.org/wiki/Main_Page

2•gone35•14m ago•0 comments

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

4•NotAnOtter•15m ago•1 comments

Why is grid-wide battery storage capacity measured in power instead of energy?

https://physics.stackexchange.com/questions/854999/why-is-grid-wide-battery-storage-capacity-measured-in-units-of-power-instead-of

2•azeemba•17m ago•0 comments

'Elon has woken up': Musk battles to save Tesla from Trump

https://www.ft.com/content/aaf1a903-1936-4807-9fa0-6fbbe2485edb

3•bookofjoe•21m ago•7 comments

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

https://treefort.piusbird.space/blog/btrfs-freebsd/

1•networked•23m ago•0 comments

Show HN: Go-nagini fluent wrapper for Cobra

https://github.com/neiser/go-nagini

1•grubinator•34m ago•0 comments

Nvidia Is Full of Shit

https://blog.sebin-nyshkim.net/posts/nvidia-is-full-of-shit/

7•todsacerdoti•37m ago•2 comments

Original Text of North Korea's Act on Rejecting Reactionary Ideology and Culture

https://nktimes.kr/en/exclusive-original-text-of-north-koreas-act-on-rejecting-reactionary-ideology-and-culture-obtained/

1•austinallegro•37m ago•0 comments

Show HN: Code Cause – Online community building solutions for the greater good

https://codecause.dev/

1•Brysonbw•37m ago•0 comments

Show HN: I Turned PG's "How to Get Startup Ideas" into an Interactive Course

https://mythosgym.com/courses/startup-ideas/

1•hedayet•41m ago•0 comments

Why Juggle 3 Platforms for Your Event? Meet Demfati

1•demfati•42m ago•0 comments

I Left Quantum Computing Research [video]

https://www.youtube.com/watch?v=pDj1QhPOVBo

2•doener•46m ago•0 comments

The messy reality of SIMD (vector) functions

https://johnnysswlab.com/the-messy-reality-of-simd-vector-functions/

1•ingve•47m ago•0 comments

Tesla's Cybertruck flop is historic. The brand collapse is even worse

https://www.dailykos.com/stories/2025/7/3/2331384/-Tesla-s-Cybertruck-flop-is-historic-The-brand-collapse-is-even-worse

35•01-_-•53m ago•35 comments

AmigaLive: Front-end for FS-UAE emulator

https://www.amigalive.com/

2•doener•56m ago•0 comments

The new digital banking startup from Anduril CEO Palmer Luckey, and its value

https://www.businessinsider.com/palmer-luckeys-new-digital-bank-erebor-valuation-2025-7

1•01-_-•57m ago•0 comments

Prompting LLMs is not engineering

https://dmitriid.com/prompting-llms-is-not-engineering

52•Bluestein•58m ago•32 comments

The Tech Layoff Tracker

https://www.trueup.io/layoffs

2•skadamat•58m ago•0 comments

Unmute: Speak with a text LLM in real time

https://github.com/kyutai-labs/unmute

1•cranium•58m ago•1 comments

Built: A tool to score kids' movies scene-by-scene using subtitles and LLMs

https://tinyviewers.vercel.app/

3•kpolevoy•1h ago•2 comments

Aardvark'd: 12 Weeks With Geeks [video]

https://www.youtube.com/watch?v=YbrkZ07LKbk

1•jstanley•1h ago•0 comments

Ex-Tesla and Google Engineers Raise $4M for AI-Text Detection Startup Pangram

https://www.reuters.com/business/media-telecom/former-tesla-google-engineers-raise-4-million-ai-text-detection-startup-pangram-2025-06-24/

5•liquid99•1h ago•0 comments

Memstop: Use LD_PRELOAD to delay process execution when low on memory

https://github.com/surban/memstop

1•ingve•1h ago•3 comments

Invent provides an easy way to explore and use different AI assistants together

https://agnamihira.medium.com/why-ai-assistants-matter-more-than-ever-and-why-using-them-together-changes-the-game-d1f3ebb13752

2•agnamihira•1h ago•0 comments

The Agentic Software Engineer

https://www.dolthub.com/blog/2025-07-02-the-agentic-software-engineer/

3•ghuntley•1h ago•0 comments

300k-year-old wooden tools from southwest China

https://www.science.org/doi/10.1126/science.adr8540

1•geox•1h ago•0 comments

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

Ask HN: What product should the new Commodore release?

DiffuCoder-7B-CpGRPO: A code generation LLM developed by Apple

Show HN: Tinykv – minimal file-backed key-value store for Rust

The Knot Atlas

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

Why is grid-wide battery storage capacity measured in power instead of energy?

'Elon has woken up': Musk battles to save Tesla from Trump

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

Show HN: Go-nagini fluent wrapper for Cobra

Nvidia Is Full of Shit

Original Text of North Korea's Act on Rejecting Reactionary Ideology and Culture

Show HN: Code Cause – Online community building solutions for the greater good

Show HN: I Turned PG's "How to Get Startup Ideas" into an Interactive Course

Why Juggle 3 Platforms for Your Event? Meet Demfati

I Left Quantum Computing Research [video]

The messy reality of SIMD (vector) functions

Tesla's Cybertruck flop is historic. The brand collapse is even worse

AmigaLive: Front-end for FS-UAE emulator

The new digital banking startup from Anduril CEO Palmer Luckey, and its value

Prompting LLMs is not engineering

The Tech Layoff Tracker

Unmute: Speak with a text LLM in real time

Built: A tool to score kids' movies scene-by-scene using subtitles and LLMs

Aardvark'd: 12 Weeks With Geeks [video]

Ex-Tesla and Google Engineers Raise $4M for AI-Text Detection Startup Pangram

Memstop: Use LD_PRELOAD to delay process execution when low on memory

Invent provides an easy way to explore and use different AI assistants together

The Agentic Software Engineer

300k-year-old wooden tools from southwest China

Kevin Kelly: 25 Bits of Excellent Advice for Living a Life Full of Adventure

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

Ask HN: What product should the new Commodore release?

DiffuCoder-7B-CpGRPO: A code generation LLM developed by Apple

Show HN: Tinykv – minimal file-backed key-value store for Rust

The Knot Atlas

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

Why is grid-wide battery storage capacity measured in power instead of energy?

'Elon has woken up': Musk battles to save Tesla from Trump

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

Show HN: Go-nagini fluent wrapper for Cobra

Nvidia Is Full of Shit

Original Text of North Korea's Act on Rejecting Reactionary Ideology and Culture

Show HN: Code Cause – Online community building solutions for the greater good

Show HN: I Turned PG's "How to Get Startup Ideas" into an Interactive Course

Why Juggle 3 Platforms for Your Event? Meet Demfati

I Left Quantum Computing Research [video]

The messy reality of SIMD (vector) functions

Tesla's Cybertruck flop is historic. The brand collapse is even worse

AmigaLive: Front-end for FS-UAE emulator

The new digital banking startup from Anduril CEO Palmer Luckey, and its value

Prompting LLMs is not engineering

The Tech Layoff Tracker

Unmute: Speak with a text LLM in real time

Built: A tool to score kids' movies scene-by-scene using subtitles and LLMs

Aardvark'd: 12 Weeks With Geeks [video]

Ex-Tesla and Google Engineers Raise $4M for AI-Text Detection Startup Pangram

Memstop: Use LD_PRELOAD to delay process execution when low on memory

Invent provides an easy way to explore and use different AI assistants together

The Agentic Software Engineer

300k-year-old wooden tools from southwest China