Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.devยท16hยท
Discuss: Hacker News
๐Ÿ”Macro
Flag this post
What do noise functions sound like?
aabiji.github.ioยท15hยท
๐Ÿ”Macro
Flag this post
Show HN: Spine AI โ€“ Visual workspace to think across multiple AI models
app.getspine.aiยท17hยท
Discuss: Hacker News
๐Ÿ“ˆTrading
Flag this post
Will the AI bubble burst as investors grow wary of returns?
dw.comยท12h
๐Ÿ“ˆTrading
Flag this post
AI Decoded : BBCNEWS : November 9, 2025 2:30am-3:01am GMT
archive.orgยท1d
๐Ÿ“ˆTrading
Flag this post
r/SillyTavernAI
reddit.comยท1dยท
๐Ÿ”Macro
Flag this post
Seeing Shapes: Unveiling Neural Network Vision with Fourier Geometry by Arvind Sundararajan
dev.toยท4hยท
Discuss: DEV
๐Ÿ“ˆTrading
Flag this post
DARN: Dynamic Adaptive Regularization Networks for Efficient and Robust Foundation Model Adaptation
arxiv.orgยท7h
๐Ÿ”Macro
Flag this post
AI Can Now See, Hear, Talk, Taste, and Act
psychologytoday.comยท20h
๐Ÿ“ˆTrading
Flag this post
AI Assisted Website Navigation
willvincentparrone.comยท22hยท
Discuss: Hacker News
๐Ÿ“ˆTrading
Flag this post
Preventing AI Project Failures Through Effective Prompt Engineering
launchdarkly.comยท1dยท
Discuss: DEV
๐Ÿ”Macro
Flag this post
AI is all about inference now
infoworld.comยท3h
๐Ÿ“ˆTrading
Flag this post
Understanding AI: From LLMs to MCP
dev.toยท17hยท
Discuss: DEV
๐Ÿ“ˆTrading
Flag this post
How to build agentic apps with Flutter and Firebase AI Logic
dev.toยท2hยท
Discuss: DEV
๐Ÿ“ˆTrading
Flag this post
DeepEyesV2: Toward Agentic Multimodal Model
arxiv.orgยท7h
๐Ÿ“ˆTrading
Flag this post
Tech With Tim: OpenAIโ€™s New Agent Builder is Insane - Full Tutorial
dev.toยท7hยท
Discuss: DEV
๐Ÿ“ˆTrading
Flag this post
Predictive Maintenance Optimization for Cryogenic Distillation Columns via Digital Twin Integration
dev.toยท3hยท
Discuss: DEV
๐Ÿ“ˆTrading
Flag this post
๐ŸŽฒ AI requires resetting the frame
olivergilan.comยท18h
๐Ÿ“ˆTrading
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