Opportunistically Parallel Lambda Calculus
dl.acm.org·6h·
Discuss: Hacker News
☁️Serverless Rust
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.org·1d
🗃️database engineering
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·10h·
Discuss: Hacker News
📊Database Monitoring
Flag this post
Advances In Formal Verification Technology
semiengineering.com·21h
🔍Chip Verification
Flag this post
Data Modeling for OLAP with AI Ft. District Cannabis (MooseStack, ClickHouse)
fiveonefour.com·9h·
Discuss: Hacker News
📊ClickHouse
Flag this post
How to Eliminate GraphQL N+1 Query Problem in Golang with DataLoader Batching
dev.to·2d·
Discuss: DEV
⏱️Time-series Optimization
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·1d·
Discuss: Hacker News
🔍Static Analysis
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·11h
λFunctional Programming
Flag this post
How We Train Models at Clado
blog.ericmao.com·1d
🧠AI
Flag this post
Tencent/WeKnora
github.com·3h
☁️Serverless Rust
Flag this post
The top 4 JVM languages and why developers love them
infoworld.com·1d
λFunctional Programming
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·1d·
Discuss: Hacker News
📱Edge AI
Flag this post
My Wishlist for PHP in 2026
stitcher.io·19h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Ajla Tutorial
ajla-lang.cz·4h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Text2SQL is dead – long live text2SQL
exasol.com·2d·
Discuss: Hacker News
📐Data Modeling
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·44m
💻Local LLMs
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·3h·
λFunctional Programming
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·15h
λFunctional Programming
Flag this post
Faster Database Queries: Practical Techniques
kapillamba4.medium.com·2d·
🔧Database Engines
Flag this post
GraphQL Data Mocking at Scale with LLMs and @generateMock
medium.com·11h·
Discuss: Hacker News
☁️Serverless Rust
Flag this post