Reverse Vibe Coding
blog.za3k.com·1d·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Hybrid-Attention models are the future for SLMs
inference.net·2d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Application architecture design template
reddit.com·1d·
Discuss: r/programming
🔤Language Design
Flag this post
Intentionality
lesswrong.com·1d
📵Digital Minimalism
Flag this post
NASA releases robotic / flight app generation tool Ogma under Apache license
github.com·1d·
Discuss: Hacker News
📦Opam
Flag this post
How AI Coding Agents Are Reshaping Developer Workflows
dev.to·15h·
Discuss: DEV
🔧DevOps
Flag this post
AI Safety at the Frontier: Paper Highlights of October 2025
lesswrong.com·15h
🧠Automated Reasoning
Flag this post
Spiking Neural Networks: The Future of Brain-Inspired Computing
arxiv.org·3d
🔲Cellular Automata
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·2d
🎯Hindley-Milner
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·6d
🔲Cellular Automata
Flag this post
Managing long contexts in agentic coding systems
cto.new·13h·
Discuss: Hacker News
🔤Language Design
Flag this post
Do Androids Dream of Unseen Puppeteers? Probing for a Conspiracy Mindset in Large Language Models
arxiv.org·29m
🐫OCaml
Flag this post
Digital Twin-Driven Pavement Health Monitoring and Maintenance Optimization Using Graph Neural Networks
arxiv.org·29m
🕸️Graph Theory
Flag this post
Online Learning to Rank under Corruption: A Robust Cascading Bandits Approach
arxiv.org·29m
🕸️Graph Theory
Flag this post
Building Your Own LLM-Powered Sports Analyst: A RAG Approach with Fine-tuning
dev.to·18h·
Discuss: DEV
🎯Hindley-Milner
Flag this post
Recording My Experiments in Spec-Driven Development
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·2d
🧠Automated Reasoning
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
dev.to·1d·
Discuss: DEV
Automated Theorem Proving
Flag this post
Why agents do not write most of our code – a reality check
octomind.dev·2d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Deep Value Benchmark: Measuring Whether Models Generalize Deep values or Shallow Preferences
arxiv.org·1d
⏱️Computational Complexity
Flag this post