Fully-Specified Algorithms for JOSE and COSE is now RFC 9864
self-issued.info·3d
🔑Cryptographic Protocols
Flag this post
7 Prompt Engineering Tricks to Mitigate Hallucinations in LLMs
machinelearningmastery.com·4h
Proof Automation
Flag this post
Security Affairs newsletter Round 548 by Pierluigi Paganini – INTERNATIONAL EDITION
securityaffairs.com·1d
🛡Cybersecurity
Flag this post
Nimony v0.2 – early preview of Nim 3.0's compiler
nim-lang.github.io·4h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Implementing MQTT 5 in Go : a deep dive into client design ( Part I )
reddit.com·23h·
Discuss: r/golang
📋Format Specification
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·4d·
Discuss: Hacker News
📊Static Analysis
Flag this post
Day 22: Python Even-Odd Counter – Count Even and Odd Integers in a List with Type Checks
dev.to·20h·
Discuss: DEV
🧮Algebraic Datatypes
Flag this post
The APM paradox
honeybadger.io·15h·
👁️System Observability
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·2d
🦀Rust Macros
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·2d·
Discuss: Hacker News
🔗Network Calculi
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·3d·
🌐WASI
Flag this post
Show HN: KeyLeak Detector – Scan websites for exposed API keys and secrets
github.com·1d·
Discuss: Hacker News
🦠Malware Analysis
Flag this post
What's new in Swift: October 2025 Edition
swift.org·2d·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·1h·
Discuss: Hacker News
Effect Handlers
Flag this post
🚀 Exploring Go’s Core Features in Depth
dev.to·1d·
Discuss: DEV
🏗️Compiler Archaeology
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·3d·
🔗Functional Compilers
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·10h
🔗Concatenative Languages
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·3d·
Discuss: Hacker News
λLambda Formalization
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·2d·
🖥️Game Emulation
Flag this post
Drawn to Danger: Windows Graphics Vulnerabilities Lead to Remote Code Execution and Memory Exposure
research.checkpoint.com·1d
💣ZIP Vulnerabilities
Flag this post