Professional Meets Personal: Archivists and Their Family Archives
medium.comยท8h
๐Ÿ Personal Archiving
Functional Abstract Interpretation
simon.peytonjones.orgยท6hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Application of CARE-SD text classifier tools to assess distribution of stigmatizing and doubt-marking language features in EHR
arxiv.orgยท3h
๐Ÿ”Text Forensics
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.orgยท1d
๐ŸŒDNS Security
Semantic drift versus ethical drift
doctorow.medium.comยท18h
๐ŸงฒMagnetic Philosophy
Two Types of Data Privacy Controls
cacm.acm.orgยท15h
๐Ÿ•ณ๏ธInformation Leakage
Forensic journey: Breaking down the UserAssist artifact structure
securelist.comยท21h
๐Ÿ”NTLM Archaeology
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.itยท6hยท
Discuss: Hacker News
๐Ÿ”Type Inference
What can we expect of LLMs as Software Engineers?
chelseatroy.comยท10h
๐Ÿ“Text Parsing
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.ioยท8h
๐Ÿ›ก๏ธPreservation Proofs
Extensions and Shadows (6)
sites.psu.eduยท13h
๐ŸŽฏProof Tactics
Stop Saying RAG Is Dead
hamel.devยท12hยท
Discuss: Hacker News
๐Ÿ“ŠMulti-vector RAG
Machine Code Isn't Scary
jimmyhmiller.github.ioยท14h
๐Ÿ”คCharacter Encoding
Ilion Framework: A Public Layer for Semantic Alignment with Truth
zenodo.orgยท1dยท
Discuss: Hacker News
๐Ÿ’พBinary Linguistics
Where Does All the Data Go? Unveiling the Magic of Databases! ๐Ÿ’พ
dev.toยท22hยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Internals
Using DuckDB for Embeddings and Vector Search โ€“ Random Thoughts
blog.brunk.ioยท1d
๐Ÿ—‚๏ธVector Databases
Can the Law Compile? Legal Speech as Machine Code
hackernoon.comยท1d
๐Ÿ’ปProgramming languages
The great misunderstanding of the DRY principle
pmatteo.comยท16hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Song recommendations with pipes and filters
blog.ploeh.dkยท16h
ฮปLambda Formalization
Can I Walk Out?
brajeshwar.comยท7h
๐Ÿ Personal Archives