Arti 1.6.0 released: Circuit padding, side-channel attack mitigations, OpenTelemetry, and more.
blog.torproject.orgยท2d
๐Ÿท๏ธMemory Tagging
Gabriele Bartolini: CNPG Recipe 22 - Leveraging the New Supply Chain and Image Catalogs
gabrielebartolini.itยท2d
๐Ÿ—‘๏ธStack Scanning GC
Mastodon comments for Zola
failsafe.monsterยท1dยท
Discuss: r/webdev
โšกIncremental Parsing
built a full java desktop app with claude 4 sonnet + cursor in one sitting
teamdev.comยท2dยท
Discuss: r/programming
โšกLive Coding
Serverless: Fast to Market, Faster to the Future โ€ข Srushith Repakula โ€ข GOTO 2025
youtube.comยท1h
๐ŸŒฑForth Kernels
Candlezip: Rusty Lossless Agentic Text Compressor
github.comยท12hยท
Discuss: r/rust
๐Ÿ“ฆCompression Algorithms
Intertemporal Pricing of Time-Bound Stablecoins: Measuring and Controlling the Liquidity-of-Time Premium
arxiv.orgยท9h
๐Ÿ“ฎMessage Queues
Android in the Browser
404wolf.comยท2d
๐Ÿค–Embedded Go
OSD600 Lab 4
dev.toยท4dยท
Discuss: DEV
โš™๏ธTOML Parsers
Unsupervised Active Learning via Natural Feature Progressive Framework
arxiv.orgยท1d
๐Ÿ—บ๏ธRegion Inference
StaMo: Unsupervised Learning of Generalizable Robot Motion from Compact State Representation
arxiv.orgยท1d
๐ŸŒฑMinimal ML
Context Length Alone Hurts LLM Performance Despite Perfect Retrieval
arxiv.orgยท9h
๐ŸŒฑMinimal ML
The Hidden Risk of Letting ChatGPT Touch Your Code
dev.toยท10hยท
Discuss: DEV
โšกLive Coding
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.toยท3dยท
Discuss: DEV
๐ŸงฎTheorem Provers
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.orgยท2d
๐Ÿ“‹Souffle Datalog
A Low-Resource Speech-Driven NLP Pipeline for Sinhala Dyslexia Assistance
arxiv.orgยท1d
๐Ÿ“ŠLR Parsing
Stop-Guessing-Start-Measuring-A-Pragmatic-Guide-to-Web-Performance
dev.toยท1dยท
Discuss: DEV
๐ŸŒช๏ธV8 TurboFan
InstaGeo: Compute-Efficient Geospatial Machine Learning from Data to Deployment
arxiv.orgยท9h
๐Ÿ“ˆEarley Parsing
Your-Projects-a-Mess-Its-Not-You-Its-Your-Frameworks-Fault
dev.toยท18hยท
Discuss: DEV
๐Ÿ“ฆMonorepos
Prompting Techniques for Specialised LLMs
dev.toยท2dยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics