How I think about Emacs after using it for twenty years
logicgrimoire.wordpress.com·31m
🔬Static Analysis
Flag this post
Code Project – Auto-Sharing Micro-blog
lameazoid.com·22h
λFunctional Programming
Flag this post
🧵 THREAD:
threadreaderapp.com·2h
🔢mathmemathics
Flag this post
Key learnings from the State of Containers and Serverless report
datadoghq.com·22h
λFunctional Programming
Flag this post
Testing Cursor's New Model: Composer
shuttle.dev·1d
🔬Static Analysis
Flag this post
AI bridges data-sharing gaps for faster disaster response
fedscoop.com·2h
⏱️Computational Complexity
Flag this post
Integrating Design Verification To Approach Zero Defects
semiengineering.com·14h
🔬Static Analysis
Flag this post
A Unified Experience for all Coding Agents
💻programming
Flag this post
AI-Driven Predictive Hazard Mitigation via Dynamic Structural Health Monitoring
📈Optimization
Flag this post
The Most Underrated Project You Should Know About! (And Probably Have Not!)
💣Binary Exploitation
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·2d
λFunctional Programming
Flag this post
Predicting & Mitigating Data Corruption in Pure Storage Flash Arrays via Adaptive Bit Error Rate Modeling
💣Binary Exploitation
Flag this post
The 2-hour upgrade: coder engineer
🔬Static Analysis
Flag this post
Show HN: JermCAD – A YAML-powered, vibe-coded, browser-based CAD software
🎨Computer Graphics
Flag this post
Help with AI Fatigue
🎯A* Search
Flag this post
Loading...Loading more...