rasgaard's Top FindsLoading...
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·2d·
Discuss: Hacker News
🤖AI
Flag this post
AI controls satellite in orbit for first time
semafor.com·7h
🤖AI
Flag this post
Cursor CEO on Scaling and the Coming 'iPhone Moment' for AI Coding
founderboat.com·14m·
Discuss: Hacker News
Flag this post
Show HN: I benchmarked our AI tool from 30% to 100% success
plotly.com·5h·
Discuss: Hacker News
Flag this post
GSoC Wrap Up - Adding Witness Generation to cargo-semver-checks
glitchlesscode.ca·13h·
Discuss: r/rust
Flag this post
Spider-Man: The Movie Game dissection project Checkpoint - November 2025
krystalgamer.github.io·19h·
Discuss: r/programming
Flag this post
tracel-ai/burn v0.20.0-pre.1
github.com·4h
🤖AI
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Ternary plots are underrated
lesswrong.com·17h
Flag this post
Yet another redundant workflow engine
github.com·1h·
Discuss: Hacker News
Flag this post
Programming principles for self taught front-end developers
piccalil.li·8h·
Discuss: Hacker News
Flag this post
Artificial intelligence and the Gulf Cooperation Council workforce adapting to the future of work
arxiv.org·14h
🤖AI
Flag this post
I Built an App That Makes Learning Algorithms Way Easier
dev.to·1d·
Discuss: DEV
🤖AI
Flag this post
I built a CLI tool to stop copy-pasting the same prompts to LLMs
reddit.com·11h·
Discuss: r/commandline
Flag this post
Build a Spring AI MCP Server With MongoDB
dev.to·5h·
Discuss: DEV
🤖AI
Flag this post
From Jupyter Notebook to Production: Complete Guide to ML Model Deployment
dev.to·2d·
Discuss: DEV
🤖AI
Flag this post
DARN: Dynamic Adaptive Regularization Networks for Efficient and Robust Foundation Model Adaptation
arxiv.org·1d
🤖AI
Flag this post
Beyond Redundancy: Diverse and Specialized Multi-Expert Sparse Autoencoder
arxiv.org·14h
🤖AI
Flag this post
How to Integrate AI into Your App with Momen
dev.to·2d·
Discuss: DEV
🤖AI
Flag this post
Why are so many software engineers still ignoring AI tools?
reddit.com·1d·
Discuss: r/ClaudeAI
🤖AI
Flag this post
CAMP-HiVe: Cyclic Pair Merging based Efficient DNN Pruning with Hessian-Vector Approximation for Resource-Constrained Systems
arxiv.org·14h
🤖AI
Flag this post