It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·3d
🧪Binary Fuzzing
It’s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blog·12h
🌳Archive Merkle Trees
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
How AI Retrieves Anatomical Structures Using Vector Databases
hackernoon.com·15h
🗂️Vector Search
Dependent types I › Universes, or types of types
jonmsterling.com·17h·
Discuss: Hacker News
🔤Type Theory
Urn Modeling of Random Graphs Across Granularity Scales: A Framework for Origin-Destination Human Mobility Networks
arxiv.org·20h
📡BGP Archaeology
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·13h·
Discuss: Lobsters, Hacker News, r/programming
🚀Compiler Optimizations
Heartbreak as a Service?
syntheticauth.ai·5h·
Discuss: Hacker News
🏛Digital humanities
Introduction to Artificial Neural Networks – Part 1 (2013)
theprojectspot.com·20h·
Discuss: Hacker News
🧠Machine Learning
nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
arxiv.org·1d
🕸️Network Topology
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Student-Teacher Distillation: A Complete Guide for Model Compression
dev.to·1d·
Discuss: DEV
📊Quantization
Why Relying on LLMs for Code Can Be a Security Nightmare
blog.himanshuanand.com·9h·
Discuss: Hacker News
🛡️WASM Security
SWiFT: Soft-Mask Weight Fine-tuning for Bias Mitigation
arxiv.org·20h
📊Rate-Distortion Theory
Feature-Refined Unsupervised Model for Loanword Detection
arxiv.org·1d
📏Manuscript Metrics
CPU Branch Prediction – Earliest Forms of Machine Learning
medium.com·7h·
Discuss: Hacker News
⚡CPU Microarchitecture
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·22h·
Discuss: Hacker News
👑Isabelle
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·2d·
Discuss: Hacker News
🔱Galois Cryptography
Effective Clustering for Large Multi-Relational Graphs
arxiv.org·1d
🌊Spectral Clustering
Paying attention to feature distribution alignment (pun intended)
alexshtf.github.io·2d·
Discuss: Hacker News
📐Linear Algebra