Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.devยท2dยท
Discuss: Hacker News
๐Ÿฆ€Rust
Flag this post
Inception raises $50 million to build diffusion models for code and text
techcrunch.comยท5d
๐Ÿง unified memory
Flag this post
I'm taking a three-week LLM fast!
cekrem.github.ioยท1dยท
๐ŸŒmaud mash web development
Flag this post
original โ†—
gurudas.devยท4d
๐Ÿฆ€Rust
Flag this post
Good Code Is Like a Good Joke: It Needs No Explanation
codecurious.devยท3dยท
Discuss: r/programming
๐Ÿฆ€Rust
Flag this post
Best AI Tools for Business Owners in 2025: Your Secret Weapon for Super Productivity & More Free...
tecworms.blogspot.comยท2d
๐Ÿ’ผai-run businesses
Flag this post
Optimizing Predictive Maintenance in Intelligent Manufacturing: An Integrated FNO-DAE-GNN-PPO MDP Framework
arxiv.orgยท19h
๐Ÿ’ผai-run businesses
Flag this post
Avatar Identity Drift Mitigation via Multi-Modal Behavioral Alignment
dev.toยท5hยท
Discuss: DEV
๐Ÿ› agentic web development
Flag this post
Decided to release my prototype publically - performant realistic lighting model
reddit.comยท1dยท
Discuss: r/godot
๐Ÿ› agentic web development
Flag this post
AI Agent Revolution: How Anthropic Cut Token Usage by 98% with Code Execution
pub.towardsai.netยท1d
๐Ÿ’ผai-run businesses
Flag this post
SmartPair - An Agent first freelancing platform.
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ผai-run businesses
Flag this post
Can an AI Teach Itself? MITโ€™s New SEAL Framework Says Yes
pub.towardsai.netยท1d
๐Ÿ’ผai-run businesses
Flag this post
Stop Coding. Start Directing: The Unspoken Rules of Vibe Coding
pub.towardsai.netยท2d
๐Ÿ’ผai-run businesses
Flag this post
Adaptive Gradient-Free Optimization via High-Dimensional Feature Space Mapping & Ensemble Learning
dev.toยท18hยท
Discuss: DEV
๐Ÿง unified memory
Flag this post
After a year building an open-source AI framework, Iโ€™m starting to wonder what actually gets attention
reddit.comยท1dยท
Discuss: r/LocalLLaMA
๐Ÿ› agentic web development
Flag this post
CSGaze: Context-aware Social Gaze Prediction
arxiv.orgยท19h
๐Ÿง unified memory
Flag this post
How I Utilized AI to Refactor a 2000-Line Monolithic Component
dev.toยท3dยท
Discuss: DEV
๐Ÿ› agentic web development
Flag this post
DecompSR: A dataset for decomposed analyses of compositional multihop spatial reasoning
arxiv.orgยท6d
๐Ÿ› agentic web development
Flag this post
How to ship apps faster with full-stack Claude Code setup (Skills, MCP, Plugins)
dev.toยท2dยท
Discuss: DEV
๐Ÿ’ผai-run businesses
Flag this post