Overview of Incorporating LLMs into EDA, With 3 Case Studies (TU Munich et al.)
semiengineering.com·19h
📐formal specification
Elephant in the Room, V_Sev is correct, and not so correct.
thingiverse.com·10h·
Discuss: r/starfieldmods
🔧PLT
Parakeet AutoCaption - Automatically Creating SRT Files with Parakeet v3
digitalocean.com·17h
🐫Ocaml
We built an interpreter for Swift (a compiled language)
bitrig.app·1d·
Discuss: Hacker News, r/programming
🪜Scala
Sphinx Translation Tutorial: Localize Your Docs Like a Pro
documatt.com·1d·
Discuss: Hacker News
🔧PLT
Using Claude Code from Anywhere
mattrickard.com·6d
🤖AI
Passing the Security “Vibe” Check
blog.checkpoint.com·22h
🔍Static Analysis
Running parallel code - beginner question
reddit.com·8h·
Discuss: r/node
🪜Scala
can't figure out shader
github.com·2h·
Discuss: r/godot
🦀Rust
Just started Python – built a 5-choice Rock-Paper-Scissors AI, looking for help😊
reddit.com·1h·
Discuss: r/AskProgramming
🤖AI
Fil's Unbelievable Garbage Collector
fil-c.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍Static Analysis
Control Claude Code via Telegram – ClaudeOnTheBeach
github.com·4d·
Discuss: Hacker News
🤖AI
I Put Claude AI in Jail
dev.to·2d·
Discuss: DEV
🤖AI
I Made a $7k/m app with Claude Code in 2 months as a solo dev with no formal dev experience AMA
reddit.com·3d·
Discuss: r/ClaudeAI
🤖AI
Built a CLI tool to help manage code review feedback - thoughts?
dev.to·8h·
Discuss: DEV
📐formal specification
Gemini-cli & TDM w/ Obsidian
reddit.com·15h·
Discuss: r/ObsidianMD
🤖AI
Building a High-Performance Concurrent Live Leaderboard in Go
github.com·19h·
Discuss: DEV
🪜Scala
ContraGS: Codebook-Condensed and Trainable Gaussian Splatting for Fast, Memory-Efficient Reconstruction
arxiv.org·1d
🔧PLT
Show HN: PlugBrain block distracting apps with math challenges
github.com·16h·
Discuss: Hacker News
🤖AI
Day One Expectations
reddit.com·1d·
Discuss: r/devops
📐formal specification