Embedded records - extracting data from classes
blogger.comยท19h
โš™Functional Programming
Flag this post
Think DSP second edition
allendowney.comยท1d
โš™Functional Programming
Flag this post
RedCodeAgent: Automatic red-teaming agent against diverse code agents
microsoft.comยท1d
๐Ÿ”Static Analysis
Flag this post
Field notes from making a living without writing a line of code
ag404labs.comยท17hยท
Discuss: Hacker News
๐Ÿ”ŒNetwork Programming
Flag this post
Tool Expressions: The Next Evolution in Agent Intelligence
blog.nishantjosh.devยท19hยท
Discuss: r/programming
๐ŸงฉTheorem Proving
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.orgยท2d
๐ŸŽฒProbabilistic Programming
Flag this post
Prog8
github.comยท1dยท
Discuss: Hacker News
๐Ÿ—Computer Architecture
Flag this post
Unsupervised Learning for Industrial Defect Detection: A Case Study on Shearographic Data
arxiv.orgยท21h
๐ŸŽฒProbabilistic Programming
Flag this post
When One Modality Sabotages the Others: A Diagnostic Lens on Multimodal Reasoning
arxiv.orgยท21h
๐ŸงญSMT Solvers
Flag this post
I just created go-picker: a small Go library for picking values from maps, typically parsed JSON.
github.comยท1dยท
Discuss: r/golang
๐ŸคProtocol Design
Flag this post
๐Ÿง  How We Built an AI Code Reviewer That Understands Intent โ€” Not Just Syntax
dev.toยท13hยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
Neural Green's Functions
arxiv.orgยท21h
๐ŸŽฒProbabilistic Programming
Flag this post
Atomically accurate de novo design of antibodies with RFdiffusion
nature.comยท8hยท
Discuss: Hacker News
โš™Functional Programming
Flag this post
How Serde Transforms Rust Data Serialization: Complete Performance and Safety Guide
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust
Flag this post
How Hidden Code Decides Who's in Charge: The Silent Governance of AI Through Function-Calling Schemas
dev.toยท12hยท
Discuss: DEV
๐ŸงฎProgramming Language Theory
Flag this post
How Self-Attention Actually Works (Simple Explanation)
dev.toยท15hยท
Discuss: DEV
๐Ÿ“ŠInformation Theory
Flag this post
Training Convolutional Neural Networks with the Forward-Forward algorithm
arxiv.orgยท21h
๐ŸŽฒProbabilistic Programming
Flag this post
Advancing Cognitive Science with LLMs
arxiv.orgยท1d
๐ŸงฎProgramming Language Theory
Flag this post