The Cure programming language is dependently-typed, with FSMs and compiles to BEAM https://cure-lang.org/api/readme.html
๐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
๐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
๐Network Analysis
Flag this post
The Honest Guide I Wish Someone Gave Me Before I Built My First โRealโ App With AI
๐Network Analysis
Flag this post
The Merge of Data Science and SEO: Building Smarter Search Strategies with AI
๐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
๐Data Visualization
Flag this post
This Is Probably the Most Lightweight Alternative Technology to Logical Data Warehouses
๐Data Visualization
Flag this post
Kimi K2 Thinking vs. Claude 4.5 Sonnet vs. GPT-5 Codex: Tested the best models for agentic coding
๐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?
๐Science Fiction
Flag this post
Quantifying Edits Decay in Fine-tuned LLMs
arxiv.orgยท4d
๐Network Analysis
Flag this post
Loading...Loading more...