Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·16h·
Discuss: Hacker News
🐍Python
Flag this post
What do noise functions sound like?
aabiji.github.io·15h·
Discuss: Hacker News, r/programming
🦀Rust
Flag this post
An introduction to computer algebra (2018)
corywalker.me·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Show HN: Spine AI – Visual workspace to think across multiple AI models
app.getspine.ai·17h·
Discuss: Hacker News
🦀Rust
Flag this post
Will the AI bubble burst as investors grow wary of returns?
dw.com·12h
🦀Rust
Flag this post
r/SillyTavernAI
reddit.com·1d·
Discuss: r/SillyTavernAI
🦀Rust
Flag this post
Seeing Shapes: Unveiling Neural Network Vision with Fourier Geometry by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
🦀Rust
Flag this post
DARN: Dynamic Adaptive Regularization Networks for Efficient and Robust Foundation Model Adaptation
arxiv.org·7h
🦀Rust
Flag this post
AI Can Now See, Hear, Talk, Taste, and Act
psychologytoday.com·20h
🦀Rust
Flag this post
AI Assisted Website Navigation
willvincentparrone.com·22h·
Discuss: Hacker News
🦀Rust
Flag this post
Preventing AI Project Failures Through Effective Prompt Engineering
launchdarkly.com·1d·
Discuss: DEV
🦀Rust
Flag this post
AI is all about inference now
infoworld.com·3h
🦀Rust
Flag this post
Understanding AI: From LLMs to MCP
dev.to·17h·
Discuss: DEV
🦀Rust
Flag this post
How to build agentic apps with Flutter and Firebase AI Logic
dev.to·2h·
Discuss: DEV
🦀Rust
Flag this post
DeepEyesV2: Toward Agentic Multimodal Model
arxiv.org·7h
🦀Rust
Flag this post
Tech With Tim: OpenAI’s New Agent Builder is Insane - Full Tutorial
dev.to·7h·
Discuss: DEV
🦀Rust
Flag this post
Predictive Maintenance Optimization for Cryogenic Distillation Columns via Digital Twin Integration
dev.to·3h·
Discuss: DEV
🦀Rust
Flag this post
🎲 AI requires resetting the frame
olivergilan.com·18h
🦀Rust
Flag this post
I have created a portable local AI ability project call any local AI with ease.
reddit.com·2d·
Discuss: r/rust
🦀Rust
Flag this post
The Agentic Leap: Key Announcements and Demos from the Google I/O 2025 Developer Keynote
io.google·1d·
Discuss: DEV
🐍Python
Flag this post