Hacktivate: Capture the Flag
🎮Verification Games
Flag this post
Handbook of Biological Statistics
🕸️Graph Theory
Flag this post
AI Tools that I've Seen in the Wild
💻CLI Tools
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
⚙️Compiler Design
Flag this post
LinuxPlay, open-source ultra-low-latency remote desktop for Linux (now with GitHub Sponsors!)
🔧Unikernel Development
Flag this post
Gen AI Grows Up: Building Production-Ready Agents on the JVM • Rod Johnson • GOTO 2025
youtube.com·3d
🔄Reproducible Builds
Flag this post
Tactics to End Dark Patterns in App and Web Development
thenewstack.io·1d
🛡️Privacy Engineering
Flag this post
Rapid-eks – Production EKS in 13 minutes with Terraform + Python
hackernoon.com·3d
🔧DevOps
Flag this post
Are We Aligned? A Preliminary Investigation of the Alignment of Responsible AI Values between LLMs and Human Judgment
arxiv.org·2d
🔤Language Design
Flag this post
Gain Control of Your Innovation With Low Code Technologies
devops.com·3d
🔧DevOps
Flag this post
Schaltwerk – The IDE Without Editor
💻CLI Tools
Flag this post
REMIND: Input Loss Landscapes Reveal Residual Memorization in Post-Unlearning LLMs
arxiv.org·2d
📚Automata Learning
Flag this post
A 2032 Takeoff Story
lesswrong.com·3d
🔲Cellular Automata
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
💎Refinement Types
Flag this post
Agent Foundations: Paradigmatizing in Math and Science
lesswrong.com·1d
🧠Automated Reasoning
Flag this post
SORTeD Rashomon Sets of Sparse Decision Trees: Anytime Enumeration
arxiv.org·3d
🎯Complexity Classes
Flag this post
Beyond the App
🌐ActivityPub
Flag this post
Loading...Loading more...