Getting Started with Quectel EC200U 4G LTE Cat 1 IoT board using the QNavigator and the QuecOpen SDK
cnx-software.com·2d
📺VT100 Emulation
Status Week 34
blogs.gnome.org·5h
❄️Nix Flakes
Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming
Google will require developer verification to install Android apps, including sideloading
9to5google.com·14h·
Discuss: Hacker News, r/singapore
🛡️ARM TrustZone
How far is Rust lagging Zig regarding const eval?
reddit.com·12h·
Discuss: r/rust
🦀Rust Macros
Refactoring 032 - Apply Consistent Style Rules
dev.to·1d·
Discuss: DEV
📐Delta Encoding
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·6h·
Discuss: Hacker News
🦀Rusty Databases
OpenAI: Building the "Everything Platform" in AI
leoniscap.com·12h·
Discuss: Hacker News
🤖AI Curation
How do you handle status code on a simple api?
reddit.com·6h·
Discuss: r/golang
⚡gRPC
Rust for JavaScript Engineers – Intro
afloat.boats·2d·
Discuss: Hacker News
🦀Rust Macros
ImageIO, the Infamous iOS Zero Click Attack Vector (2024)
r00tkitsmm.github.io·3d·
Discuss: Hacker News
🧪Binary Fuzzing
Evaluation of Hashing Algorithms Ascon, SHA256, SHA512 and BLAKE3 on a Cortex M7
aa55.dev·1d·
Discuss: Hacker News
🦾ARM Cortex-M
Breaking the Architecture Bottleneck • Andrew Harmel-Law & Marit van Dijk • GOTO 2025
youtube.com·18h
🔗Topological Sorting
This is an excellent patch review by an expert, i.e., Thomas :) And it should be like this. Oh, a few days back I saw one from Greg too, a similar kind.... in t...
lore.kernel.org·1d·
Discuss: r/linux
🔌Operating system internals
A chatbot that builds Rails apps
kodykendall.com·13h·
Discuss: Hacker News
🦋Format Metamorphosis
Sets & Heaps in Haskell and Rust
mmhaskell.com·22h
🔒Type Safety
Safe Is What We Call Things Later: Some Software Engineering Folklore
worksonmymachine.ai·1d·
Discuss: Hacker News
⚙️Proof Engineering
ISACL: Internal State Analyzer for Copyrighted Training Data Leakage
arxiv.org·3h
💻Local LLMs
Reliable
catherinejue.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·17h·
Discuss: Hacker News
⚡Proof Automation