Concurrent Linguistic Error Detection (CLED): a New Methodology for Error Detection in Large Language Models
arxiv.orgยท21h
๐Ÿ”Z3 Parsing
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.comยท2dยท
๐Ÿ”—Concatenative Programming
Google Summer of Code 2025 Reports: Enhancing Support for NAT64 Protocol Translation in NetBSD
blog.netbsd.orgยท2d
๐Ÿ›ก๏ธeBPF Security
WebSocket Turbo Intruder: Unearthing the WebSocket Goldmine
portswigger.netยท13h
๐ŸงชProtocol Fuzzing
System Instruction Fixed Point
funcall.blogspot.comยท1dยท
โšกProof Automation
Building Web Servers from First Principles (Part 6)
dev.toยท2hยท
Discuss: DEV
โšกgRPC
A better future for JavaScript that wonโ€™t happen
jmason.ieยท14h
๐Ÿ”„Language Evolution
How we built a flywheel to steadily improve security for Amazon RDS
aws.amazon.comยท6h
๐Ÿ‘๏ธObservatory Systems
RAG Explained: Understanding Embeddings, Similarity, and Retrieval
towardsdatascience.comยท6h
๐Ÿ“ŠMulti-vector RAG
The Ternary Manifesto
homepage.cs.uiowa.eduยท15h
๐Ÿ“Concrete Syntax
Such a Classic
blog.hermesloom.orgยท6hยท
Discuss: Hacker News
๐Ÿง Intelligence Compression
Reading Between the Lines: Satisfaction Analysis from Untagged Chatbot Conversations
blog.checkpoint.comยท12h
๐ŸŽ™๏ธWhisper
Semantic Dictionary Encoding
falvotech.comยท2dยท
Discuss: Hacker News
๐ŸŒ€Brotli Dictionary
3 Weeks Left Until The Start Of The OpenSSL Conference 2025
hackernoon.comยท16h
๐Ÿ›กCybersecurity
FreeBSD Errata Notice FreeBSD-EN-25:17.bnxt
bsdsec.netยท1d
๐ŸกOpenBSD
Compiling with Continuations
swatson555.github.ioยท21hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Show HN: Semlib โ€“ Semantic Data Processing
github.comยท2dยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
Secure and Efficient Out-of-band Call Metadata Transmission
arxiv.orgยท21h
๐ŸŒNetworkProtocols
The Next Evolution of Code Agents is Coming
dev.toยท11hยท
Discuss: DEV
๐Ÿ—ฃ๏ธDomain-Specific Languages
DeepSeek-R1 incentivizes reasoning in LLMs through reinforcement learning
nature.comยท9hยท
๐Ÿ’ปLocal LLMs