Ola Electric faces tech leak allegations from LG Energy Solutions
thehindubusinessline.com·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
Detection of two anomalies behind the Eastern face of the Menkaure Pyramid
sciencedirect.com·2h·
Discuss: Hacker News
🔌Embedded
Flag this post
Kruskal's Tree Theorem
en.wikipedia.org·1d·
Discuss: Hacker News
✓Formal verification
Flag this post
Stray Cats and Bitcoin: A Costly Incident at a Bitcoin Mine in Mongolia
ifeg.info·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
How much does it cost to make a video game?
hushcrasher.substack.com·1h·
Discuss: Substack
🤖AI
Flag this post
The Ungame
en.wikipedia.org·1d·
Discuss: Hacker News
🤖AI
Flag this post
Coding Assistant wiped my Mac
decisional.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Leland Stanford: Silicon Valley's Original Disruptor
stanfordmag.org·8h·
Discuss: Hacker News
🤖AI
Flag this post
In Support of Richard Stallman
stallmansupport.org·9h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
I Created a Spare Monitor
blog.ianturton.com·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
Can consulting become a conscious resonance between humans and AI?
dotnetone.com·19h·
Discuss: Hacker News
🤖AI
Flag this post
Happy Eyeballs Version 3: Better Connectivity Using Concurrency
datatracker.ietf.org·6d·
Discuss: Hacker News
🔌Embedded
Flag this post
Ruby Solved My Problem
newsletter.masilotti.com·5d·
Discuss: Hacker News
🤖AI
Flag this post
The social contract of open source
snarky.ca·2d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
I Gave Our First Employees the Same Stock Structure I Got as Founder
blog.matterbeam.com·7h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Steering Committee Election Results
kubernetes.dev·2d·
Discuss: Hacker News
✓Formal verification
Flag this post
Chromosome 24 (with luck, a YC W26 company)
supernaturalselection.substack.com·3d·
Discuss: Substack
🤖AI
Flag this post
Code research projects with async coding agents like Claude Code and Codex
simonwillison.net·6d·
Discuss: Lobsters, Hacker News
🤝Using AI for programming
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·6d·
Discuss: Hacker News
✓Formal verification
Flag this post
I've been trying to make a real production service that uses LLM and it turned into a pure agony. Here are some of my "experiences".
reddit.com·4d·
Discuss: r/LocalLLaMA
✓Formal verification
Flag this post