Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·18h·
Discuss: Hacker News
🐍Python
Flag this post
What do noise functions sound like?
aabiji.github.io·17h·
Discuss: Hacker News, r/programming
🦀Rust
Flag this post
Ubuntu Blog: Generating color palettes for design systems … inspired by APCA!
ubuntu.com·1h
🦀Rust
Flag this post
Show HN: Spine AI – Visual workspace to think across multiple AI models
app.getspine.ai·20h·
Discuss: Hacker News
🦀Rust
Flag this post
Will the AI bubble burst as investors grow wary of returns?
dw.com·14h
🦀Rust
Flag this post
Agentic AI in Cybersecurity: Beyond Triage to Strategic Threat Hunting
securityaffairs.com·2h
🦀Rust
Flag this post
AI Assisted Website Navigation
willvincentparrone.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
🎲 AI requires resetting the frame
olivergilan.com·20h
🦀Rust
Flag this post
Using Claude Code heavily for 6+ months: Why faster code generation hasn't improved our team velocity (and what we learned)
medium.com·16h·
Discuss: r/ClaudeAI
🦀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
I found the best use case for AI
ounapuu.ee·10h
🐍Python
Flag this post
Critical AI Infrastructure Security Threat: Reproducing and Detecting the NVIDIA Triton Critical Vulnerability(CVE-2025-23316)
dev.to·10h·
Discuss: DEV
🦀Rust
Flag this post
PixelPal: My First Production-Ready AI Project
dev.to·3h·
Discuss: DEV
🦀Rust
Flag this post
Can an AI Teach Itself? MIT’s New SEAL Framework Says Yes
pub.towardsai.net·10h
🦀Rust
Flag this post
AI Debugging in Action: Real-World Examples from Laravel, React, and Python
dev.to·6h·
Discuss: DEV
🦀Rust
Flag this post
"I Like That You Have to Poke Around": Instructors on How Experiential Approaches to AI Literacy Spark Inquiry and Critical Thinking
arxiv.org·9h
🦀Rust
Flag this post
Sentence Transformers for Natural Language Voice Assistants
dev.to·1h·
Discuss: DEV
🦀Rust
Flag this post
Taming Time Lags: Predicting the Unpredictable with AI by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🦀Rust
Flag this post
Citable
producthunt.com·1d
🦀Rust
Flag this post