Recapping our inaugural Axe-con Mini event
deque.com·3h
⚙️Proof Engineering
Flag this post
Thoughts by a non-economist on AI and economics
windowsontheory.org·3h
🔲Cellular Automata
Flag this post
To write secure code, be less gullible than your AI
stackoverflow.blog·12h
📏Code Metrics
Flag this post
NetHack4 Philosophy
🔲Cellular Automata
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·5d
λLambda Formalization
Flag this post
The AI-Powered Evolution of Software Development
devops.com·10h
🔄Language Evolution
Flag this post
Calibrating and Rotating: A Unified Framework for Weight Conditioning in PEFT
arxiv.org·15h
✨Effect Handlers
Flag this post
3 Experiments That Reveal the Shocking Inner Life of AI Introduction: Is Anybody Home?
hackernoon.com·22h
🚀Indie Hacking
Flag this post
Prog8
🔩Systems Programming
Flag this post
Building an AI-Powered E-Shopping Platform with Intelligent Product Recommendations
🤖AI Curation
Flag this post
EP-HDC: Hyperdimensional Computing with Encrypted Parameters for High-Throughput Privacy-Preserving Inference
arxiv.org·15h
🔐Homomorphic Encryption
Flag this post
The Riddle of Reflection: Evaluating Reasoning and Self-Awareness in Multilingual LLMs using Indian Riddles
arxiv.org·15h
💻Local LLMs
Flag this post
The Hardest Bug to Fix Is Ambiguity
⚖️Hoare Logic
Flag this post
Open Character Training: Shaping the Persona of AI Assistants through Constitutional AI
arxiv.org·15h
🎙️Whisper
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.org·15h
🤖Grammar Induction
Flag this post
Can Your AI Blackmail You? Inside the Security Risk of Agentic Misalignment
🎯Threat Hunting
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·15h
⚡Proof Automation
Flag this post
What a diff makes: automating code migration with large language models
arxiv.org·15h
🔄Language Evolution
Flag this post
Loading...Loading more...