Emacs: Open URLs or search the web, plus browse-url-handlers
sachachua.com·12h
🐧FOSS
実務で使っているClaude Codeの開発環境の紹介
zenn.dev·2d
🇯🇵Japanese Computing
There are exponentially many vectors with small inner product
lmao.bearblog.dev·1d·
Discuss: Hacker News
⚽Sphere Packing
Going on the Offensive with Creative Strategy
rogermartin.medium.com·15h·
Discuss: Hacker News
🎯Proof Tactics
How to Build Agents Users Can Trust
builders.ramp.com·1d·
Discuss: Hacker News
🔗Constraint Handling
Stop Converting Your REST APIs to MCP
jlowin.dev·16h·
Discuss: Hacker News
📞Session Types
Read my list of the AI coding tools I will be using this summer for all my new projects. What are some other tools missing from this list?
dev.to·20h·
Discuss: DEV
⚡Proof Automation
Crunching The News For Fun And Little Profit
hackaday.com·2d
📰RSS Archaeology
Argumentative Characterizations of (Extended) Disjunctive Logic Programs
arxiv.org·3d
🧠Computational Logic
On the Effect of Uncertainty on Layer-wise Inference Dynamics
arxiv.org·2d
🧮Kolmogorov Bounds
[R] Temporal Logic as a means to guarantee safety and efficiency in LLMs
reddit.com·4d·
Discuss: r/MachineLearning
📏Linear Logic
LLMs are telepathy. We just don't know it yet
monarchwadia.com·1d·
Discuss: Hacker News
🏛Digital humanities
(Attempting to) Engineer the chaos out of AI agents
dev.to·15h·
Discuss: DEV
⚔️Lean Tactics
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·3d
⚔️Lean Tactics
DpDNet: An Dual-Prompt-Driven Network for Universal PET-CT Segmentation
arxiv.org·1d
🧠Machine Learning
Why C and C++ Still Matter in the Age of Python and AI
dev.to·12h·
Discuss: DEV
🔩Systems Programming
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.org·3d
🧮Datalog Engines
Expediting data extraction using a large language model (LLM) and scoping review protocol: a methodological study within a complex scoping review
arxiv.org·2d
🔄Archival Workflows
Machine Learning Fundamentals: cross validation tutorial
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Basic To-Do List App
dev.to·19h·
Discuss: DEV
🌳Incremental Parsing