Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.devยท18hยท
Discuss: Hacker News
๐Ÿ”Macro
Flag this post
What do noise functions sound like?
aabiji.github.ioยท17hยท
๐Ÿ”Macro
Flag this post
Ubuntu Blog: Generating color palettes for design systems โ€ฆ inspired by APCA!
ubuntu.comยท1h
๐Ÿ”Macro
Flag this post
Show HN: Spine AI โ€“ Visual workspace to think across multiple AI models
app.getspine.aiยท20hยท
Discuss: Hacker News
๐Ÿ“ˆTrading
Flag this post
Will the AI bubble burst as investors grow wary of returns?
dw.comยท14h
๐Ÿ“ˆTrading
Flag this post
Agentic AI in Cybersecurity: Beyond Triage to Strategic Threat Hunting
securityaffairs.comยท2h
๐Ÿ“ˆTrading
Flag this post
AI Assisted Website Navigation
willvincentparrone.comยท1dยท
Discuss: Hacker News
๐Ÿ“ˆTrading
Flag this post
๐ŸŽฒ AI requires resetting the frame
olivergilan.comยท20h
๐Ÿ“ˆTrading
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
๐Ÿ”Macro
Flag this post
I have created a portable local AI ability project call any local AI with ease.
reddit.comยท2dยท
Discuss: r/rust
๐Ÿ“ˆTrading
Flag this post
The Agentic Leap: Key Announcements and Demos from the Google I/O 2025 Developer Keynote
io.googleยท1dยท
Discuss: DEV
๐Ÿ“ˆTrading
Flag this post
I found the best use case for AI
ounapuu.eeยท10h
๐Ÿ”Macro
Flag this post
Critical AI Infrastructure Security Threat: Reproducing and Detecting the NVIDIA Triton Critical Vulnerability(CVE-2025-23316)
dev.toยท10hยท
Discuss: DEV
๐Ÿ“ˆTrading
Flag this post
PixelPal: My First Production-Ready AI Project
dev.toยท3hยท
Discuss: DEV
๐Ÿ“ˆTrading
Flag this post
Can an AI Teach Itself? MITโ€™s New SEAL Framework Says Yes
pub.towardsai.netยท10h
๐Ÿ“ˆTrading
Flag this post
AI Debugging in Action: Real-World Examples from Laravel, React, and Python
dev.toยท6hยท
Discuss: DEV
๐Ÿ“ˆTrading
Flag this post
Sentence Transformers for Natural Language Voice Assistants
dev.toยท1hยท
Discuss: DEV
๐Ÿ”Macro
Flag this post
Taming Time Lags: Predicting the Unpredictable with AI by Arvind Sundararajan
dev.toยท2dยท
Discuss: DEV
๐Ÿ”Macro
Flag this post
Citable
producthunt.comยท1d
๐Ÿ“ˆTrading
Flag this post