PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·15h
⚗️Algebraic Coding
Building a Real Estate Tokenization dApp with Flare's Zero-Fee Oracles
dev.to·12h·
Discuss: DEV
🚚Data Migration
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
pdfRest Launches New Sign PDF API Tool for Legally Compliant Digital Signatures
pdfa.org·12h
📄PDF Archaeology
OWASP ASVS 5.0.0 is here!
scotthelme.ghost.io·15h
🛡️WASM Sandboxing
Automating Boundary Filling in Cubical Type Theories
arxiv.org·21h
🔶Cubical Type Theory
Question - Cost Effective Storage Expansion - The right way?
preview.redd.it·10h·
Discuss: r/homelab
💰Archive Economics
Extensions and Shadows (9)
sites.psu.edu·12h
✨Effect Handlers
Org Workbench
irreal.org·1d
🔄Archival Workflows
Lessons from Amazon S3 Vector Store and the Nuances of Hybrid Vector Storage
caylent.com·11h·
Discuss: Hacker News
🗂️Vector Databases
How we made JSON.stringify more than twice as fast
v8.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
The 5 Best Scanners We Tested and Researched for Archiving Documents and Photos
popularmechanics.com·5h
📄Document Digitization
Using Dspy to Detect Document Boundaries
kmad.ai·1d·
Discuss: Hacker News
📄Document Digitization
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·12h
📝Concrete Syntax
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
os-test has been funded by NGI Zero Commons
sortix.org·14h
🔓Open Source Software
Josh Lockhart & Phil Sturgeon
deprogrammaticaipsum.com·22h
🦀Rusty Databases
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·9h·
Discuss: blog.computationalcomplexity.org, Hacker News
🎯Performance Proofs
Trends in LLM-Generated Citations on ArXiv
spylab.ai·7h·
Discuss: Hacker News
🎯Gradual Typing
AI judging AI: Scaling unstructured text analysis with Amazon Nova
aws.amazon.com·8h
🤖AI Curation