Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·1d·
Discuss: Hacker News
🤖ai
Flag this post
Ossa: Towards the Next Generation Web
jamesparker.me·7h·
Discuss: Hacker News
🍳cooking
Flag this post
How Point Cloud to BIM Helps Surveyors Reduce Costs and Save Time
scantobim.online·17h·
Discuss: DEV
🤖ai
Flag this post
Show HN: Steadykey – Deterministic Idempotency Keys with Pluggable Stores
npmjs.com·1d·
Discuss: Hacker News
🤖ai
Flag this post
What I learned building a language-learning app
chadnauseam.com·6h·
Discuss: Hacker News
🤖ai
Flag this post
Beyond Chat: Scaling Operations, Not Conversations
reddit.com·2h·
Discuss: r/LLM
🤖ai
Flag this post
Resilient AI: Making Imperfect Hardware Smarter
dev.to·14h·
Discuss: DEV
🤖ai
Flag this post
SmartPair - An Agent first freelancing platform.
dev.to·20h·
Discuss: DEV
🤖ai
Flag this post
A collection of type-safe, async friendly, and un-opinionated enhancements to SQLAlchemy Core
reddit.com·1h·
Discuss: r/programming
🤖ai
Flag this post
Taurus MM: A Cloud-Native Shared-Storage Multi-Master Database
muratbuffalo.blogspot.com·6h·
Discuss: Hacker News
🦀rust
Flag this post
Fast‑Track Knowledge Bases: How to Build Semantic AI Search by Andriy Burkov
dev.to·16h·
Discuss: DEV
🤖ai
Flag this post
Automated Protocol Synthesis for Robust Hyperparameter Optimization in Materials Informatics
dev.to·10h·
Discuss: DEV
🤖ai
Flag this post
How We Cut LLM Batch Inference Time in Half with Dynamic Prefix Bucketing
dev.to·4h·
Discuss: DEV
🤖ai
Flag this post
QuAnTS: Question Answering on Time Series
arxiv.org·22h
🤖ai
Flag this post
A SQLite extension for the crazy ones because everything could be a database
kruzenshtern.org·4d·
Discuss: Hacker News
🦀rust
Flag this post
Power high performance RAG for GenAI with HPE Alletra Storage MP + Milvus
milvus.io·1d
🤖ai
Flag this post
Designing smarter caches with Valkey 9.0's numbered databases
dev.to·3d·
Discuss: DEV
🍳cooking
Flag this post
Predictive Maintenance Optimization for Cryogenic Distillation Columns via Digital Twin Integration
dev.to·18h·
Discuss: DEV
🤖ai
Flag this post
Building a Producer–Consumer Pipeline in Go Using Goroutines and Channels
dev.to·9h·
Discuss: DEV
🦀rust
Flag this post
AI is all about inference now
infoworld.com·18h·
Discuss: Hacker News
🤖ai
Flag this post