RP2040 Assembly Language Mix and Match
hackaday.com·1d
🔧RISC-V Assembler
Saleae Analyzer for the BDM protocol
zetier.com·5d
🔬Binary Analysis
Evaluation of Hashing Algorithms Ascon, SHA256, SHA512 and BLAKE3 on a Cortex M7
aa55.dev·1d·
Discuss: Hacker News
🦾ARM Cortex-M
Grok: Thousands LOC a day in C is a big deal even if the "coder" uses LLM?
news.ycombinator.com·12h·
Discuss: Hacker News
📏Code Metrics
Morgan Stanley Open Sources CALM: The Architecture as Code Solution Transforming Enterprise DevOps
devops.com·12h
🔗Dependency Resolution
Nullable vs. Nullable in C#
einarwh.no·16h·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
JNI Obfuscation, Reverse Engineering, and Android Security
hackernoon.com·23h
🎮Game Decompilation
How I Approach Performance Investigations – By Rico Mariani
ricomariani.medium.com·1d·
Discuss: Hacker News
🎯Performance Forensics
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·6h
🔧Hardware Verification
Using Copilot with Legacy PHP: Lessons from Refactoring, Database Migration, and AI Hallucinations
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Case Study: Migrating a Rush.js Monorepo to Node Type Stripping
blog.calm.com·4d·
Discuss: Hacker News
🎯Gradual Typing
Stable, Mutable References for Ante
antelang.org·21h·
Discuss: Hacker News, r/programming
🔒Type Safety
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·10h·
Discuss: Hacker News
🦀Rusty Databases
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·22h
🌊Stream Processing
Builder Pattern in CDK
medium.com·15h·
Discuss: Hacker News
🧱Immutable Infrastructure
On systematic construction of correct logic programs
arxiv.org·6h
⚖️Hoare Logic
Meson 1.9 Released With New Rust Features, Adds Swift/C++ Interoperability
phoronix.com·1d
🦀Rust Borrowing
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·1d·
Discuss: Hacker News
🔗Concatenative Languages
TypeScript: Enable Strict Mode by Default
github.com·18h·
Discuss: Hacker News
🎯Gradual Typing
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·6h
🎯Performance Proofs