Qt for MOSA: FACE Conformant Qt for Aerospace and Defense Software
qt.io·1h
⚡SMT Applications
Using pprint.saferepr() for string comparisons in Python
chipx86.blog·10h
✅Format Verification
Using Chrome Dev Tools AI Assitance to Automate UI from Javascript Console
dev.to·20h·
Discuss: DEV
⚡Proof Automation
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·1d·
Discuss: Hacker News
🔐Homomorphic Encryption
Shelling Out Is Selling Out
petersobot.com·1d·
Discuss: Hacker News
🎞️MKV Forensics
Rust for JavaScript Engineers – Intro
afloat.boats·3d·
Discuss: Hacker News
🦀Rust Macros
Learning Perl in one day and the importance of building strong foundations
guilhermenl.dev·1h·
Discuss: Hacker News
🔗Concatenative Programming
Show HN: Chrome Extension to Preview Escaped Strings
github.com·6h·
Discuss: Hacker News
📜TEI Encoding
Deception in Depth: PRC-Nexus Espionage Campaign Hijacks Web Traffic to Target Diplomats
cloud.google.com·1d·
Discuss: Hacker News
🎫Kerberos Exploitation
Why did dlclose not unload the library?
kishoreganesh.com·12h·
Discuss: Hacker News
🦀Rust Verification
Ask HN: How do you deal with the fear of installing potentially risky tools?
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️CLI Security
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·18h·
Discuss: Hacker News
🧮Algebraic Datatypes
TypeScript: Enable Strict Mode by Default
github.com·1d·
Discuss: Hacker News
🎯Gradual Typing
QEMU 10.1.0
wiki.qemu.org·2h·
Discuss: Hacker News
🕸️WASM Archives
Sotasearch.ai – privacy-first research assistant (100% local)
sotasearch.ai·4h·
Discuss: Hacker News
🤖Archive Automation
Building your own CLI Coding Agent with Pydantic-AI
martinfowler.com·1h
⚡Proof Automation
Show HN: SecretMemoryLocker – File Encryption Without Static Passwords
news.ycombinator.com·1d·
Discuss: Hacker News
🔐Archive Encryption
Chez Scheme vs. SBCL: a comparison (2019)
elmord.org·15h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
aria - Event Driven websocket framework
dev.to·8h·
Discuss: DEV
🔌Interface Evolution
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·1d·
Discuss: Hacker News
⚔️Lean Tactics