Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

Google Summer of Code 2025 Reports: Enhancing Support for NAT64 Protocol Translation in NetBSD, part 2
blog.netbsd.org·1d
📝ABNF Parsing
Flag this post
Risky Bulletin: Clever worm hits the DevOps scene
news.risky.biz·5h
🔓Hacking
Flag this post
You can poison AI with just 250 dodgy documents
malwarebytes.com·18h
🔍Vector Forensics
Flag this post
Minecraft servers can track you across accounts and IPs using resource packs
alaggydev.github.io·1h·
🏺ZIP Archaeology
Flag this post
Just Use Curl
justuse.org·16h·
📡Feed Archaeology
Flag this post
How to update community health files with AI
github.blog·13h
🔓Open Source Software
Flag this post
Do we need to see to gesture? How blind people express concepts without vision
phys.org·9h
Tactile Computing
Flag this post
Should Designers Prompt?
philip.design·1d·
Discuss: Hacker News
🎨Nordic Design
Flag this post
Bloomberg: OpenAI trains AI to take on junior banking tasks
the-decoder.com·13h
🤖AI Curation
Flag this post
My 6-Week Dev.to Plan for Building Authority as an AI Writer
dev.to·22h·
Discuss: DEV
📊Feed Optimization
Flag this post
How To Get Bare-Metal GPU Performance in Confidential VMs
thenewstack.io·18h·
Discuss: Hacker News
🖥️Terminal Renaissance
Flag this post
Responsible use of AI for developers: Ethics and prompting with purpose
dev.to·1d·
Discuss: DEV
📜Proof Carrying Code
Flag this post
Unlocking Efficiency: Streamlining AI Planning Through Axiom Optimization
dev.to·2d·
Discuss: DEV
Z3 Optimization
Flag this post
Subverting Flexible Multiuser Communications via Movable Antenna-Enabled Jammer
arxiv.org·2d
Sphere Packing
Flag this post
Tech With Tim: ULTIMATE AI Coding Tutorial with Warp Code
dev.to·1d·
Discuss: DEV
🎬WebCodecs
Flag this post
BioMedSearch: A Multi-Source Biomedical Retrieval Framework Based on LLMs
arxiv.org·5d
🔍Information Retrieval
Flag this post
Build Your Own ChatGPT for $100: Introducing nanochat, the Hackable LLM Blueprint
dev.to·3d·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
Tech With Tim: ULTIMATE AI Coding Tutorial with Warp Code
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Flag this post
Krish Naik: What Is LLM Poisoning? Interesting Break Through
dev.to·2d·
Discuss: DEV
💻Local LLMs
Flag this post
Stumbling block for AI: UTF\-8
dev.to·5d·
Discuss: DEV
🧪Binary Fuzzing
Flag this post