Should you opt-in to Swift 6.2's Main Actor isolation?
donnywals.com·14h·
Discuss: Hacker News
🔧MLIR
New VS Code extension to run all frontier open models
marketplace.visualstudio.com·7h·
Discuss: Hacker News
🔧MLIR
How to calibrate a large-scale agent-based model?
mcrcsm.substack.com·20h·
Discuss: Substack
🤖AI
AngularJS with Jessica Janiuk
softwareengineeringdaily.com·19h
🔧MLIR
RUSTSEC-2025-0000: Vulnerability in matrix-sdk-base
rustsec.org·16h
🧮Homomorphic Encryption
Show HN: Carimbo now have a better stack trace and Sentry integration
nullonerror.org·16h·
Discuss: Hacker News
🔧MLIR
DDD Studies: Between Fishermen and Developers Reflections on my initial studies in Domain-Driven Design
blog.codeminer42.com·1d
✅Formal Verification
‘There is a limit’: Rising materials costs test construction’s breaking point
constructiondive.com·9h
🔗Crypto
🔗 Interoperability in 2025: beyond the Erlang VM
yellowduck.be·3d
🔧MLIR
Learning Rust & shipping crates: how I built my first CLI tool (auto-bin) in the first 3 weeks 🚀
crates.io·4d·
Discuss: r/rust
✅Formal Verification
Authentication with TanStack Router + openapi-fetch
github.com·11h·
Discuss: r/reactjs
🔗Crypto
The Swift Android Setup I Always Wanted
dev.to·3h·
Discuss: DEV
🔧MLIR
[Initial Release] LRCLib Fetcher - Add synchronized lyrics to your self-hosted music collection
reddit.com·12h·
Discuss: r/selfhosted
🔧MLIR
Stop Writing SQL by Hand: Building My MVP to Chat With Databases
dev.to·8h·
Discuss: DEV
🔧MLIR
Rust compiler performance survey 2025 results
blog.rust-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔧MLIR
Some things I would like to see added to bases
reddit.com·10h·
Discuss: r/ObsidianMD
🔧MLIR
python: printing, variables and data types
dev.to·1d·
Discuss: DEV
✅Formal Verification
Introdution post
dev.to·1d·
Discuss: DEV
🤖AI
Dicio: Open-Source Voice Assistant for Android
github.com·10h·
Discuss: Hacker News
🤖AI
Auto-Magic: Generating Function Stubs with Evolutionary Algorithms
dev.to·22h·
Discuss: DEV
✅Formal Verification