Typechecking is undecideable when 'type' is a type
dspace.mit.edu·4h·
Discuss: Lobsters
λFunctional Programming
Flag this post
[D] Help! AAAI camera-ready upload keeps failing due to “template error”
reddit.com·8h·
Discuss: r/MachineLearning
🎨Design Systems
Flag this post
Firebase vs. Supabase vs. Appwrite: We Built the Same App Three Times
simpletechguides.com·5d·
Discuss: Hacker News
🌱BonsaiDb
Flag this post
Javascript Fatigue: HTMX is all you need to build ChatGPT — Part 1
towardsdatascience.com·6h
⚡HTMX
Flag this post
Getting Started with Services in Pagerduty
blog.devops.dev·8h
📬Message Queues
Flag this post
The Opportunities and Risks of Foundation Models
crfm.stanford.edu·8h·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
SEO Company in Egypt: Advanced Insights for 2025 – imsolutionz
dev.to·4h·
Discuss: DEV
🔎Information Retrieval
Flag this post
Tissue Activation Calculation in Dual-lead Deep Brain Stimulation
arxiv.org·13h
⚛️Quantum Computing
Flag this post
Decoding Startup Success: Understanding Burn Rate, Runway, and Churn Metrics
dev.to·8h·
Discuss: DEV
📊VictoriaMetrics
Flag this post
Battle-Tested Architectures: Databricks vs Snowflake for Scalable Enterprise AI
dev.to·3d·
Discuss: DEV
💧Materialize
Flag this post
Tech With Tim: Finally, an AI Database That Actually Makes Sense
dev.to·6h·
Discuss: DEV
💰TigerBeetle
Flag this post
Tech With Tim: Finally, an AI Database That Actually Makes Sense
dev.to·6h·
Discuss: DEV
💰TigerBeetle
Flag this post
Fork This: The Open-Source B2B Marketing Plan for Developers
dev.to·6h·
Discuss: DEV
📡Content Syndication
Flag this post
Lessons from building a model organism testbed
lesswrong.com·1h
🛡️AI Security
Flag this post
10 Best AI Plugins for WordPress and WooCommerce Sites
dev.to·8h·
Discuss: DEV
⌨️Text Editors
Flag this post
From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models
arxiv.org·13h
🌳Tree-sitter
Flag this post
Weekly Challenge: The one about formatting
dev.to·1d·
Discuss: DEV
📝Suffix Arrays
Flag this post
Educational Byte: What Hardware Devices Do You Need to Use Crypto?
hackernoon.com·9h
🔐Hardware Security
Flag this post
Tech With Tim: Finally, an AI Database That Actually Makes Sense
dev.to·1d·
Discuss: DEV
💰TigerBeetle
Flag this post
Tech With Tim: Finally, an AI Database That Actually Makes Sense
dev.to·20h·
Discuss: DEV
💬Prompt Engineering
Flag this post