Announcing Support for Complex Attribute Types in OTel
opentelemetry.io·20h·
Discuss: Hacker News
📋Format Specification
Flag this post
Handbook of Satisfiability (2021)
iospress.com·4d·
Discuss: Hacker News
🔗Combinatory Logic
Flag this post
Training: Postgres Performance and Maintenance
postgresconf.org·2d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
PostgreSQL 18 – Virtual Generated Columns
hashrocket.com·1d·
Discuss: Hacker News
🗄️Database Internals
Flag this post
Think for Yourself
kevlinhenney.medium.com·1d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Bikeshedding `Handle` and other follow-up thoughts
smallcultfollowing.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Our newest model: Chandra (OCR)
datalab.to·4d·
Discuss: Hacker News
🤖Advanced OCR
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·1d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
What is Web3?
dev.to·1d·
Discuss: DEV
🌐Web Standards
Flag this post
Preserving Legislative Records: Why they matter and what the Nairobi City County Assembly can teach us
dpconline.org·8h
📋records management
Flag this post
Physics-driven self-supervised learning for 3D light-field microscopy
nature.com·12h·
Discuss: Hacker News
🔬Optical Physics
Flag this post
We Tested 6 AI Models on 3 Common Security Exploits
blog.kilocode.ai·16h·
Discuss: Hacker News
🌳Archive Merkle Trees
Flag this post
Composer-1 vs SWE-1.5: A detailed Comparison
dev.to·1d·
Discuss: DEV
🎯Emulator Accuracy
Flag this post
Show HN: AI Coding Agents: Intent-Driven Development Guidelines
github.com·2h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·3d
💻Local LLMs
Flag this post
Between Myths and Metaphors: Rethinking LLMs for SRH in Conservative Contexts
arxiv.org·1d
💻Programming languages
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·2d
⚡Proof Automation
Flag this post
Optimizing Native Sparse Attention with Latent Attention and Local Global Alternating Strategies
arxiv.org·2d
🧮Vector Embeddings
Flag this post
Building & Integrating a Microservice Text Transformer Agent for HNG + Telex.im
dev.to·1d·
Discuss: DEV
🎙️Whisper
Flag this post