Not to go all Hobonichi BuJo but highlighters!
thomasrigby.com·17h
🖋Typography
CatVector Demo Website
tanelpoder.com·1d
🗂️Vector Databases
We will soon be able to talk with other species. Which will be first?
newscientist.com·8h
🔲Cellular Automata
Show HN: Compress-san, simple batch video compression and SRT subtitle creation
apps.apple.com·9h·
Discuss: Hacker News
🧠Learned Compression
Joy & Curiosity #51
registerspill.thorstenball.com·1d
🔗Topological Sorting
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·12h
🌊Stream Processing
My Journey with Sentence Transformers, OpenAI Embeddings, and Vector Databases
dev.to·16h·
Discuss: DEV
🗂️Vector Databases
Snowflake Cortex Completion API + LaunchDarkly SDK Integration
dev.to·6h·
Discuss: DEV
🔌Interface Evolution
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·10h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Build a baby Claude Code using Python
siddharthbharath.com·10h·
Discuss: Hacker News
⚡Proof Automation
Tinker with LLMs in the privacy of your own home using Llama.cpp
theregister.com·1d·
Discuss: Hacker News
💻Local LLMs
Exhaustive Generation of Pattern-Avoiding s-Words
arxiv.org·20h
💾Binary Linguistics
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
How much power does gzip save on IoT web access?
bitbanksoftware.blogspot.com·12h·
Discuss: Lobsters, Hacker News
📦Deflate
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·20h
💻CS
How to Build a ChatGPT Clone in Go: Cost, Context, and Lessons
nleiva.medium.com·6h·
Discuss: Hacker News
⚡gRPC
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·8h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Automate the Testing of Your LLM Prompts
dev.to·1d·
Discuss: DEV
⚡Proof Automation
OpenAI: Building the "Everything Platform" in AI
leoniscap.com·5h·
Discuss: Hacker News
🤖AI Curation
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·10h·
Discuss: Hacker News
✅Format Verification