Generation of antigen-specific paired-chain antibodies using large language models
sciencedirect.com·24m
🔗Parser Combinators
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·1d·
Discuss: Hacker News
🤝Protocol Design
Flag this post
Think for Yourself
kevlinhenney.medium.com·14h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
Maps of Meaningness
meaningness.substack.com·20h·
Discuss: Substack
🔄Category Theory
Flag this post
Best tool for measuring lots of source code
shape-of-code.com·2d
🔍Static Analysis
Flag this post
Tool Expressions: The Next Evolution in Agent Intelligence
blog.nishantjosh.dev·3h·
Discuss: r/programming
🧩Theorem Proving
Flag this post
News for October 2025
ptreview.sublinear.info·1d
📈Complexity Theory
Flag this post
Books/articles for theoretical reference.
reddit.com·2h·
Discuss: r/computers
🎲Probabilistic Programming
Flag this post
I am torn about using Lo
reddit.com·19h·
Discuss: r/golang
📝Lisp
Flag this post
Autark: Rethinking build systems – Integrate, Don’t Outsource
dev.to·2h·
Discuss: DEV
👐Open Source Software
Flag this post
Imperfect Language, Artificial Intelligence, and the Human Mind: An Interdisciplinary Approach to Linguistic Errors in Native Spanish Speakers
arxiv.org·1d
🔗Parser Combinators
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·1d
🧩Theorem Proving
Flag this post
I Got Tired of Deceptive Casino Bonuses, So I Built a "Truth Calculator" with Vanilla JavaScript. Here's How You Can Too.
dev.to·17h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
EDL - a JIT-compiled scripting language for certain performance critical workloads with high compatibility with Rust; written in Rust
reddit.com·1d·
Discuss: r/rust
🦀Rust
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·1d·
Discuss: Hacker News
⚖️Logic Programming
Flag this post
Natural Building Blocks for Structured World Models: Theory, Evidence, and Scaling
arxiv.org·5h
🎲Probabilistic Programming
Flag this post
I just created go-picker: a small Go library for picking values from maps, typically parsed JSON.
github.com·12h·
Discuss: r/golang
🤝Protocol Design
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
Show HN: A new language for COBOL workloads, built on Go
github.com·1h·
Discuss: Hacker News
📝Lisp
Flag this post
Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
dev.to·15h·
Discuss: DEV
🦀Rust
Flag this post