Experimenting with Apple’s AI models inside Shortcuts
sixcolors.com·6h
⚡Proof Automation
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·1d·
Discuss: Hacker News
🐛Fuzzing
Python Fundamentals: assertions
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Why Dyad?: A Perspective for Modelica Users
juliahub.com·7h·
Discuss: Hacker News
💧Liquid Types
From Zero to One: A Complete Guide to Implementing WeChat Sharing in HarmonyOS
dev.to·14h·
Discuss: DEV
⚡Modern Compression
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: r/golang
⬆️Lambda Lifting
OpenAI Is Ditching TypeScript to Rebuild Codex CLI with Rust
quiz.businessexplain.com·4h·
Discuss: Hacker News
🦀Rust Macros
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Is Your Automated Software Engineer Trustworthy?
arxiv.org·1d
⚡Proof Automation
A New Era of Code Quality: Beyond bugs to supply chain security and dependency health
dev.to·4h·
Discuss: DEV
🔒WASM Capabilities
VFArch\=e: A Dual-Mode Framework for Locating Vulnerable Functions in Open-Source Software
arxiv.org·1d
🛡️eBPF Security
LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.org·1d
🔍FPGA Verification
CodeCompanion: AI-powered coding, seamlessly in Neovim
github.com·2d·
Discuss: Hacker News
🔓Open Source Software
Rust Web Framework Analysis Deep Dive Safety Features（1750734074777000）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
BNFGen: A random text generator based on context-free grammars
baturin.org·4h·
Discuss: Hacker News
🌳Context free grammars
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·13h·
Discuss: Hacker News
🌀Brotli Internals
Counter Service: How we rewrote it in Rust
engineering.grab.com·2d
🔒Linear Types
Do AI Code Review Tools Work, or Just Pretend?
redmonk.com·4h·
Discuss: Hacker News
📏Code Metrics
Is this the Go way, or am I writing cursed code on purpose?
reddit.com·1d·
Discuss: r/golang
🔧KAITAI