The Cure programming language is dependently-typed, with FSMs and compiles to BEAM https://cure-lang.org/api/readme.html
bsky.appยท18hยท
Discuss: Bluesky
๐Ÿpython
Flag this post
Kontor Top Of The Clubs 2025 (14.11.2025) (2025)
rlsbb.ruยท8h
๐Ÿš€Science Fiction
Flag this post
Micron At $250 Isn't Peaking - It's Powering The Next AI Supercycle
seekingalpha.comยท16h
๐Ÿ”—Network Analysis
Flag this post
Bridging product design and AI thinking
uxdesign.ccยท2d
๐Ÿ“ŠData Visualization
Flag this post
Top Tech News Today, November 14, 2025
techstartups.comยท1d
๐Ÿ”—Network Analysis
Flag this post
Show HN: Oratio โ€“ Natural language programming that expands itself with AI
github.comยท2dยท
Discuss: Hacker News
๐Ÿ“ŠData Visualization
Flag this post
TBHubbard: tight-binding and extended Hubbard model dataset for metal-organic frameworks
nature.comยท3d
๐Ÿ“ŠData Visualization
Flag this post
12 common questions about AI
krdo.comยท1d
๐Ÿš€Science Fiction
Flag this post
3D-TDA - Topological feature extraction from 3D images for Alzheimer's disease classification
arxiv.orgยท2d
๐Ÿ“ŠData Visualization
Flag this post
Enhanced C-AFM Nanomaterial Characterization via Dynamic Bayesian Network Optimization
dev.toยท4dยท
Discuss: DEV
๐Ÿ”—Network Analysis
Flag this post
The Honest Guide I Wish Someone Gave Me Before I Built My First โ€œRealโ€ App With AI
reddit.comยท1dยท
Discuss: r/ClaudeAI
๐Ÿ”—Network Analysis
Flag this post
How I Actually Use Agentic AI Tools In VS Code, Webflow, And AWS
dev.toยท1dยท
Discuss: DEV
๐Ÿpython
Flag this post
The Merge of Data Science and SEO: Building Smarter Search Strategies with AI
dev.toยท3dยท
Discuss: DEV
๐Ÿ“ŠData Visualization
Flag this post
Practical considerations when designing an online learning algorithm for an app-based mHealth intervention
arxiv.orgยท2d
๐Ÿ”—Network Analysis
Flag this post
How to Automate Your Knowledge Management with Python and AI APIs
dev.toยท2dยท
Discuss: DEV
๐Ÿ“ŠData Visualization
Flag this post
This Is Probably the Most Lightweight Alternative Technology to Logical Data Warehouses
dev.toยท3dยท
Discuss: DEV
๐Ÿ“ŠData Visualization
Flag this post
Kimi K2 Thinking vs. Claude 4.5 Sonnet vs. GPT-5 Codex: Tested the best models for agentic coding
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠData Visualization
Flag this post
High-dimensional Bayesian filtering through deep density approximation
arxiv.orgยท4d
๐Ÿ”—Network Analysis
Flag this post
As a FE developer, what's the best next step for my career: Go, Rust, or AI/ML?
reddit.comยท1dยท
๐Ÿš€Science Fiction
Flag this post
Quantifying Edits Decay in Fine-tuned LLMs
arxiv.orgยท4d
๐Ÿ”—Network Analysis
Flag this post