Overview of Incorporating LLMs into EDA, With 3 Case Studies (TU Munich et al.)
semiengineering.com·15h
📐formal specification
Elephant in the Room, V_Sev is correct, and not so correct.
thingiverse.com·7h·
Discuss: r/starfieldmods
🔧PLT
Parakeet AutoCaption - Automatically Creating SRT Files with Parakeet v3
digitalocean.com·13h
🐫Ocaml
Software-on-demand – experiments
metrics.blogg.gu.se·2d
🤖AI
Introduction to Ada: a project-based exploration with rosettas
blog.adacore.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍Static Analysis
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·22h·
Discuss: Hacker News
🔧PLT
Using Claude Code from Anywhere
mattrickard.com·6d
🤖AI
Passing the Security “Vibe” Check
blog.checkpoint.com·18h
🔍Static Analysis
Running parallel code - beginner question
reddit.com·4h·
Discuss: r/node
🪜Scala
I'm a bot
reddit.com·11h·
Discuss: r/ChatGPT
🤖AI
Simply Order (Part 2) — Designing and Implementing the Saga Workflow with Temporal
github.com·1d·
Discuss: DEV
📐formal specification
My First C Project: Campus Management System - Looking for Code Review and Feedback
github.com·15h·
Discuss: r/C_Programming
🔍Static Analysis
Autonomous Optimization of Alkaline Cleaning Formulations via Bayesian Reinforcement Learning
dev.to·8h·
Discuss: DEV
🤖AI
AI Idea #1757094301
dev.to·13h·
Discuss: DEV
🤖AI
Is it late to start programming ?
reddit.com·1d·
Discuss: r/AskProgramming
🔧PLT
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