๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”„ Session Type Inference

Protocol Synthesis, Communication Safety, Type Reconstruction, Multiparty Sessions

Smartphones and the cave
thefoggiest.devยท7h
๐ŸงฒMagnetic Philosophy
A pretty decent retry, and not a library
notes.billmill.orgยท1d
๐ŸŒณIncremental Parsing
Immediately-Invoked Function Expression (2010)
benalman.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Tips for Writing Clean Code in TensorFlow 2
hackernoon.comยท22h
๐Ÿ“ŠQuantization
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.ilยท5dยท
Discuss: Hacker News
๐ŸŽฏInteractive Provers
My Ultimate Self-hosting Setup
codecaptured.comยท2dยท
Discuss: Lobsters, Hacker News, r/selfhosted
๐Ÿ Homelab Federation
Vibe coding a Greek learning app without knowing Gree
mikeborozdin.comยท19hยท
Discuss: Hacker News
๐ŸŒ€Brotli Dictionary
Show HN: Posthuman Framework for AI Consciousness Thresholds and VR Emancipation
kanarya.groupยท13hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Fully Homomorphic Encryption and the Dawn of a Truly Private Internet
bozmen.ioยท3dยท
Discuss: Hacker News
๐Ÿ”Homomorphic Encryption
Building an Open Floor Parrot Agent in Python
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ABNF Parsing
Show HN: Duende: Web UX for guiding Gemini as it improves your source code
github.comยท10hยท
Discuss: Hacker News
โšกProof Automation
Generative AI-Driven High-Fidelity Human Motion Simulation
arxiv.orgยท3h
๐Ÿง Neural Codecs
Symbolic faultlines - Beyond Ai Design (ChatGPT)
dev.toยท2hยท
Discuss: DEV
๐Ÿ“Mathematical Art
Persona-Based Synthetic Data Generation Using Multi-Stage Conditioning with Large Language Models for Emotion Recognition
arxiv.orgยท3h
โš™๏ธCompression Benchmarking
[D] Is transfer learning and fine-tuning still necessary with modern zero-shot models?
reddit.comยท8hยท
Discuss: r/MachineLearning
๐Ÿ’ปLocal LLMs
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.orgยท4d
๐Ÿ”Quantum Security
Uncertainty Quantification Framework for Aerial and UAV Photogrammetry through Error Propagation
arxiv.orgยท3h
๐Ÿ“Projective Geometry
Extracting and Cracking NTLMv1 Hashes
infosecwriteups.comยท1d
๐ŸŽฏNTLM Attacks
Show HN: 1.5B LLM routing model that aligns to preferences, not leaderboards
huggingface.coยท3dยท
Discuss: Hacker News, Hacker News
๐Ÿ“ABNF Parsing
State of the Art of Prompt Engineering โ€ข Mike Taylor โ€ข GOTO 2025
youtube.comยท3d
๐Ÿ–ฅ๏ธTerminal Renaissance
Loading...Loading more...
AboutBlogChangelogRoadmap