#16 Pronic, oblong, rectangular numbers.... Etymology and History of Math Terms
pballew.blogspot.comยท1hยท
Discuss: www.blogger.com
ฮปLambda Encodings
Prime Portraits
archive.bridgesmathart.orgยท1d
๐Ÿ“Mathematical Art
SonicWall investigation shows hackers gained wide access to customer backup files
cybersecuritydive.comยท16h
๐Ÿ”NTLM Forensics
A taxonomy of Mac stealers: Distinguishing Atomic, Odyssey, and Poseidon
redcanary.comยท1d
๐ŸบKerberos Archaeology
Cache smuggling: When a picture isn't a thousand words
expel.comยท2dยท
Discuss: Hacker News
๐Ÿ’ฃZIP Vulnerabilities
Three ways formally verified code can go wrong in practice
buttondown.comยท14h
๐Ÿ“œProof Carrying Code
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.comยท2d
๐Ÿ“บVT100
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.caยท8hยท
Discuss: Hacker News
โšกProof Automation
A gentle introduction to Generative AI: Historical perspective
medium.comยท6hยท
Discuss: Hacker News
๐Ÿง Learned Codecs
Att&Df: Update the Operating System's "Dead Drop"
zenodo.orgยท2dยท
Discuss: Hacker News
๐Ÿ›ก๏ธeBPF Security
A small number of samples can poison LLMs of any size
anthropic.comยท1dยท
Discuss: Lobsters, Hacker News, r/50501
๐Ÿ”Vector Forensics
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท1dยท
Discuss: Hacker News, r/programming
โœ…Format Verification
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.orgยท1d
๐ŸงฎTheorem Proving
OpenAIโ€™s internal Slack messages could cost them billions in copyright suit
sherwood.newsยท13hยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
Automated Spectral Anomaly Detection via Hyperdimensional Pattern Mapping in Transient Absorption Spectroscopy
dev.toยท1dยท
Discuss: DEV
๐ŸŒˆSpectroscopy
Printing Petscii Faster
retrogamecoders.comยท9hยท
Discuss: Hacker News
๐Ÿ“บVT100
Python 3.12.12, 3.11.14, 3.10.19 and 3.9.24 are now available!
pythoninsider.blogspot.comยท1d
๐Ÿ”Z3 Parsing
Show HN: 1M retail interior image dataset for computer vision (UK/US/EU)
groceryinsight.comยท19hยท
Discuss: Hacker News
๐ŸบCompression Museums
[R] How to retrieve instructions given to annotators - RLHF
reddit.comยท23hยท
Discuss: r/MachineLearning
๐Ÿ“šDocumentation Archaeology
The Language of the Black Parade
blambot.comยท1hยท
Discuss: Hacker News
๐Ÿ” Terminal Fonts