Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·14h·
Discuss: Hacker News
🔤type system theory and implementation
Flag this post
Show HN: Spine AI – Visual workspace to think across multiple AI models
app.getspine.ai·16h·
Discuss: Hacker News
🔤type system theory and implementation
Flag this post
Taurus Database: How to be Fast, Available, and Frugal in the Cloud
muratbuffalo.blogspot.com·1d·
🐘PostgreSQL
Flag this post
SORTeD Rashomon Sets of Sparse Decision Trees: Anytime Enumeration
arxiv.org·4d
🔤type system theory and implementation
Flag this post
Complete Guide to Web Scraping with Nodejs and Puppeteer
dev.to·1h·
Discuss: DEV
🐘PostgreSQL
Flag this post
Weekly #45-2025: PHP Tricks, LLM Collaboration, SQL Speedups, and the Future of Web Payments
dev.to·1d·
Discuss: DEV
🐘PostgreSQL
Flag this post
1 billion JSON records, 1-second query response: Apache Doris vs. ClickHouse, Elasticsearch, and PostgreSQL
dev.to·5d·
Discuss: DEV
🐘PostgreSQL
Flag this post
Learning SQL: The Language Behind Your Data
dev.to·1d·
Discuss: DEV
🐘PostgreSQL
Flag this post
Tableau Data Connectivity: From Sheets to Web Data Connectors
dev.to·28m·
Discuss: DEV
🐘PostgreSQL
Flag this post
Automated Defect Clustering and Root Cause Analysis in Advanced Wafer Fabrication via Graph Neural Networks
dev.to·7h·
Discuss: DEV
🐘PostgreSQL
Flag this post
Need some help optimizing for an academic research use case
reddit.com·2d·
Discuss: r/homelab
🐘PostgreSQL
Flag this post
Enhancing your .NET API with query language
dev.to·4d·
Discuss: DEV
🐘PostgreSQL
Flag this post
Unlocking Out-of-Distribution Generalization in Transformers via RecursiveLatent Space Reasoning
paperium.net·1d·
Discuss: DEV
🔤type system theory and implementation
Flag this post
Series Week 7/52 - Optimizing Bussiness Performance with a Managed Model for Performance
dev.to·1d·
Discuss: DEV
🐘PostgreSQL
Flag this post
SmartPair - An Agent first freelancing platform.
dev.to·3h·
Discuss: DEV
🐘PostgreSQL
Flag this post
Leveraging Synthetic Data for Enhanced AI Agent Evaluation
dev.to·22h·
Discuss: DEV
🔤type system theory and implementation
Flag this post
RAG vs Fine‑Tuning: A Simple, Practical Guide for Beginners
dev.to·12h·
Discuss: DEV
🔤type system theory and implementation
Flag this post
Experiments in Autonomous AI Development
kenforthewin.github.io·11h·
Discuss: Hacker News
🔤type system theory and implementation
Flag this post