Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·18h
📊Static Analysis
The Amaranth hardware description language
amaranth-lang.org·18h·
Discuss: Hacker News
🔍FPGA Verification
Transpiling a Forth dialect to LLVM IR
onirom.fr·4d
🚀Compiler Optimizations
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·22h·
Discuss: Lobsters
🔗Functional Compilers
Talk Highlights: Documenting the Design of the Linux Kernel – Chuck Wolber, The Boeing Company; Kate Stewart, The Linux Foundaiton; Gabriele Paoloni, Red Hat
elisa.tech·15h
📜Proof Carrying Code
C and VLAs (Variable Length Arrays)
subethasoftware.com·4h
🔩Systems Programming
How far can we push AI autonomy in code generation?
martinfowler.com·1d·
Discuss: Hacker News
⚡Proof Automation
Congatec Board Controller support into the upstream Linux Kernel
bootlin.com·6h
⚡Homebrew CPUs
Claude Code IDE Integration for Emacs
github.com·9h·
Discuss: Hacker News
🔩Systems Programming
Intel Upstreams libsycl SYCL Runtime Library Into LLVM
phoronix.com·1d
🧲RISC-V Preservation
Learning About Threads: An Essential Guide for Developers
hackernoon.com·1d
🔩Systems Programming
Build a Mini-FastAPI from Scratch: Learn ASGI & Routing Internals
dev.to·6h·
Discuss: DEV
⚡gRPC
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🔬Lean
Industrial LLM-based Code Optimization under Regulation: A Mixture-of-Agents Approach
arxiv.org·18h
🧩WASM Components
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com·1d·
Discuss: Hacker News
🦀Rust Macros
GPT-OSS 120B Writes a Lisp in Go Fast
elite-ai-assisted-coding.dev·5h·
Discuss: Hacker News
🤖Lisp Machines
Challenges of Pseudocode Expansion
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🔗Lisp
Beginner’s Guide to Gemini CLI: Install, Setup, and Use It Like a Pro
kdnuggets.com·10h
⚡Proof Automation
YC Startups Use AI: Agents, OCR, and Prompt Engineering with Mercoa (YC W23)
aiengineering.report·5h·
Discuss: Hacker News
⚡Proof Automation
Estimating Worst-Case Frontier Risks of Open-Weight LLMs
arxiv.org·18h
💻Local LLMs