Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·15h·
Discuss: Hacker News
🧩WASM Modules
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1750830996145900）
dev.to·17h·
Discuss: DEV
🌐Network Protocols
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·6h
🔒Linear Types
My AI Workflow for Understanding Any Codebase
steipete.me·13h
⚡Proof Automation
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·2h·
Discuss: DEV
🦀Rust Borrowing
[D] Applying COCONUT continuous reasoning into a learnt linear layer that produces sampling parameters (temp, top-k, top-p, etc.) for the current token?
reddit.com·2d·
Discuss: r/MachineLearning
💻Local LLMs
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Keynote: Fine-tuning our way towards openness in AI - DevConf.CZ 2025
youtube.com·8h
🔌Interface Evolution
simplex-chat/simplexmq
github.com·22h
🔌Interface Evolution
Conversational Intent-Driven GraphRAG: Enhancing Multi-Turn Dialogue Systems through Adaptive Dual-Retrieval of Flow Patterns and Context Semantics
arxiv.org·19h
🧮Prolog Parsing
Understand MCP (Model Context Protocol) with example
dev.to·19h·
Discuss: DEV
🎙️Whisper
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·19h
🌀Fractal Compression
The Guide to the Foundation Models Framework
azamsharp.com·10h·
Discuss: Hacker News
λLambda Formalization
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
Signal Use and Emergent Cooperation
arxiv.org·19h
🔲Cellular Automata
MCP Demystified: What Actually Goes Over the Wire??
hackernoon.com·3d
📟Vintage Protocols
Creating Truly Custom Events for Web Components
dev.to·10h·
Discuss: DEV
📞Session Types
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·8h·
Discuss: DEV
🌊Stream Processing