Quiz: Python MarkItDown: Convert Documents Into LLM-Ready Markdown
realpython.comยท16h
๐Ÿ“Text Editors
Flag this post
Limitations of a two-pass assembler
boston.conman.orgยท2d
๐Ÿ“Lisp
Flag this post
Benchmarking Large Language Models and Privacy Protection
priv.gc.caยท2d
๐Ÿ”—Parser Combinators
Flag this post
Understanding multi GPU Parallelism paradigms
datta0.github.ioยท10hยท
Discuss: Hacker News
โšกConcurrency
Flag this post
Why Nonparametric Models Deserve a Second Look
towardsdatascience.comยท10h
๐ŸŽฒProbabilistic Programming
Flag this post
Recent research in Relational Adversarial Generation (RAG) s
dev.toยท10hยท
Discuss: DEV
โš–๏ธLogic Programming
Flag this post
LLMs Broke the SRE Runbook. Now What?
thenewstack.ioยท10h
๐ŸŽฒProbabilistic Programming
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
Show HN: I'm making an Open-source Japanese learning App inspired by Monkeytype
github.comยท11hยท
Discuss: Hacker News
๐Ÿ—๏ธSoftware Architecture
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.orgยท1d
๐Ÿ”Cryptography
Flag this post
Anthropic Commits To Model Weight Preservation
lesswrong.comยท6h
๐ŸŽฒProbabilistic Programming
Flag this post
Advances In Formal Verification Technology
semiengineering.comยท6d
๐ŸงฉTheorem Proving
Flag this post
I Use AI
ben.stolovitz.comยท1dยท
Discuss: Hacker News
๐ŸงฉTheorem Proving
Flag this post
Bitcoin Core now has an interface for its consensus code - TheCharlatan
github.comยท1d
๐ŸคProtocol Design
Flag this post
Geometric Data Valuation via Leverage Scores
arxiv.orgยท23h
๐ŸŽฒProbabilistic Programming
Flag this post
100 Techniques for Writing Readable Rust Code
reddit.comยท1dยท
Discuss: r/rust
๐Ÿฆ€Rust
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.orgยท1d
๐ŸŽฒProbabilistic Programming
Flag this post
The Art of the Do-Over: Designing Idempotent Jobs as a Journey to Peace of Mind
dev.toยท2dยท
Discuss: DEV
๐ŸงฉTheorem Proving
Flag this post
Automated Cost-Benefit Analysis for Synthetic Biology Gene Synthesis Services
dev.toยท10hยท
Discuss: DEV
๐Ÿ“ˆComplexity Theory
Flag this post