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
Binary Breadcrumbs: Correlating Malware Samples with Honeypot Logs Using PowerShell [Guest Diary], (Wed, Nov 5th)
isc.sans.eduยท2h
๐Network Programming
Flag this post
Why Nonparametric Models Deserve a Second Look
towardsdatascience.comยท10h
๐ฒProbabilistic 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.
๐คProtocol Design
Flag this post
Show HN: I'm making an Open-source Japanese learning App inspired by Monkeytype
๐๏ธ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
๐งฉ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
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
๐งฉTheorem Proving
Flag this post
Loading...Loading more...