Trademark Application for V VERISK Filed by Insurance Services Office , Inc .: Insurance Services Office Inc . - Insurance News
insurancenewsnet.com·1d
🎲Probabilistic Programming
You could have invented CuTe hierarchical layout (but maybe not the rest of it?)
blog.ezyang.com·1d·
Discuss: blog.ezyang.com
🧫Cellular Automata
Posit introduces Positron: New IDE for Data Science with Python and R
heise.de·3d
🎲Probabilistic Programming
Dev snapshot: Godot 4.5 beta 6
godotengine.org·2d·
Discuss: r/godot
👐Open Source Software
Ultra-fast random numbers: New generator boosts security and speed
techxplore.com·3d
🔐Cryptography
For which cases does AI help with classification (medical diagnosis example)?
statmodeling.stat.columbia.edu·2d
🔢Mathematical Logic
Tech skills are cheap. Legal knowledge is priceless. Mindset is everything.
brettshavers.com·3d
🗄️Database Theory
Implementing Gist Memory: Summarizing and Searching Long Docs with a ReadAgent
inference-docs.cerebras.ai·3d·
Discuss: Hacker News
🔗Parser Combinators
My experiences while writing the first part of ARLIZ
dev.to·1h·
Discuss: DEV
🧩Theorem Proving
Tired of Converting Hours to Years? Here’s a Two-in-One Tool That’ll Save Your Sanity
hackernoon.com·1d
🎲Probabilistic Programming
I Tried Amazon's Kiro.dev For 5 Days—It's a Below mid-level Dev
hackernoon.com·3d
🏗️Software Architecture
Monitoring Infrastructure with Prometheus and Grafana: A Practical Guide
dev.to·2d·
Discuss: DEV
🦀Rust
NLSTseg: A Pixel-level Lung Cancer Dataset Based on NLST LDCT Images
nature.com·1h
🎲Probabilistic Programming
Master Arduino Programming - Lesson #6
hackster.io·3d
🔧Compiler Design
CMake Made Simple: A Reusable Template for Your First C++ Project
dev.to·3d·
Discuss: DEV
👐Open Source Software
Why 2 Lines of Code Can Be Worse Than 100
dev.to·6d·
Discuss: DEV
🧮Programming Language Theory
Local LLMs, No API Keys, No BS: Build Your Own Waifubot Terminal Chat in Python
dev.to·23h·
Discuss: DEV
🧩Theorem Proving
Lets See What We Can do! with F# Computation Expressions • Andrew Browne • YOW! 2015
youtube.com·5d
⚙Functional Programming
Dual-key cooperatively activated DNA regulator for controlling mitochondria-lysosome interactions
nature.com·1d
🧫Cellular Automata
Automated Risk Mitigation Protocol Generation & Validation via Multi-Modal Data Fusion
dev.to·5d·
Discuss: DEV
🎲Probabilistic Programming