Travels, 10
cameroncounts.wordpress.com·3d
🎯Performance Proofs
Context engineering
simonwillison.net·1d
🔍Archive Semantics
Using LLMs in CI/CD for semantic testing of web content
plo.ug·2d·
Discuss: Hacker News
⚡Proof Automation
What it means to build local AI
gulf-times.com·10h·
Discuss: Hacker News
🎙️Whisper
imgui-go v5
reddit.com·5h·
Discuss: r/golang
📺Terminal UI
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·5d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Automated Plan Refinement for Improving Efficiency of Robotic Layup of Composite Sheets
arxiv.org·4d
🚀Compiler Optimizations
Deep Dive into Databend UDF, implementing your data solutions with python, WASM and beyond
dev.to·3d·
Discuss: DEV
📋DFDL
True or False Game by AmazonQ
dev.to·1d·
Discuss: DEV
📐Proof Assistants
Learning Lineage Constraints for Data Science Operations
arxiv.org·4d
🏺Database Archaeology
Working with an AI Pair Programmer: Top Tips for Solo Developers and Teams
dev.to·14h·
Discuss: DEV
🔄Language Evolution
Learning to Be a Transformer to Pinpoint Anomalies
arxiv.org·1d
🤖Grammar Induction
😎 What Every Developer Should Learn Before 2026
dev.to·4h·
Discuss: DEV
🪟Awesome windows command-line
How Language Models Work: From Attention to Human Feedback
dev.to·54m·
Discuss: DEV
🤖Grammar Induction
Running External Commands in C# and Wait Until They Finish
dev.to·5h·
Discuss: DEV
🐚Shell Calculus
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.org·2d
📃Manuscript Tokenization
Deep Learning Framework Testing via Model Mutation: How Far Are We?
arxiv.org·4d
🧪Property-Based Testing
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·4d
⚖️Hoare Logic
Zero-Cost Abstractions: What It Really Means in Rust
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Lipschitz Bounds for Persistent Laplacian Eigenvalues under One-Simplex Insertions
arxiv.org·1d
🕳️Persistent Homology