Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·1d
🤝Paxos Consensus
Some recent project milestones
markjgsmith.com·2d
🔌Interface Evolution
Barking Up The Ratchet Tree – MLS Is Neither Royal Nor Nude
soatok.blog·1d·
Discuss: Lobsters, Hacker News, r/programming
🔑Cryptographic Protocols
How Many Paths of Length K Are There Between a and B?
horace.io·2d·
Discuss: Hacker News
🕸️Graph Algorithms
Fine-Tuning and Deploying GPT Models Using Hugging Face Transformers
blog.jetbrains.com·1d
🤖Grammar Induction
The Great Inversion: Why Everything You Know About Software Is Now Wrong
medium.com·57m·
Discuss: Hacker News
🔄Language Evolution
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Show HN: Prompttest – Pytest for LLMs
github.com·1d·
Discuss: Hacker News
⚡Proof Automation
Sapir-Whorf does not apply to Programming Languages
buttondown.com·5d·
Discuss: Hacker News
💻Programming languages
Do What? Teaching Vision-Language-Action Models to Reject the Impossible
arxiv.org·1d
⚖️RISC-V Formal
Context Engineering: Bringing Engineering Discipline to Prompts—Part 3
oreilly.com·1d
🔄Archival Workflows
MMTok: Multimodal Coverage Maximization for Efficient Inference of VLMs
arxiv.org·23h
🧮Kolmogorov Complexity
The Science of Intelligent Exploration: Why We Need Exploration in AI
richardcsuwandi.github.io·2d·
Discuss: Hacker News
🔲Cellular Automata
Don’t Marry an LLM, Date Many
dev.to·4h·
Discuss: DEV
🔒Linear Types
On the Algorithmic Bias of Aligning Large Language Models with RLHF: Preference Collapse and Matching Regularization
arxiv.org·23h
🧮Kolmogorov Bounds
Hierarchical Contextual Grounding LVLM: Enhancing Fine-Grained Visual-Language Understanding with Robust Grounding
arxiv.org·23h
🤖Advanced OCR
Legacy Learning Strategy Based on Few-Shot Font Generation Models for Automatic Text Design in Metaverse Content
arxiv.org·23h
🔤Font Archaeology
Build a Smart Search App with LangChain and PostgreSQL on Google Cloud
blog.devops.dev·1d
🌀Brotli Dictionary
I Supercharged My Browser GPT with Rust and WebAssembly: The Journey to a Dual-Engine AI
dev.to·18h·
Discuss: DEV
🦀Rust Macros
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·23h
✨Algebraic Effects