๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿซ OCaml

MirageOS, dune, functional

Court decides "Pay or Okay" on DerStandard.at is illegal
noyb.euยท1dยท
Discuss: Hacker News
๐ŸŽApple
Qalculate โ€“ The Ultimate Desktop Calculator
qalculate.github.ioยท6dยท
Discuss: Hacker News
๐ŸŽXNU Internals
PostgreSQL 17.6, 16.10, 15.14, 14.19, 13.22, and 18 Beta 3 Released!
postgresql.orgยท6dยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
"Stop children using VPNs to watch porn", UK politicians told
bbc.co.ukยท22hยท
Discuss: Hacker News, r/news
๐Ÿ“กNetwork Protocol Design
What would happen if USA started faking its economic data? Lessons from others
cnn.comยท1dยท
Discuss: Hacker News
๐ŸงชProperty-Based Testing
Young chatty workers disturbing older ones โ€˜not age harassmentโ€™, tribunal rules
theguardian.comยท19hยท
Discuss: Hacker News
๐Ÿ›ก๏ธseL4
How your solar rooftop became a national security issue
techcrunch.comยท4dยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Immune Attack on Smell Pathways May Signal Early Alzheimerโ€™s
neurosciencenews.comยท2dยท
Discuss: Hacker News
๐Ÿ’พRetro Computing
Create a digital twin that joins meetings for you
joinly.aiยท5dยท
Discuss: Hacker News
โœ“Automated Theorem Proving
Inside the Biden Administration's Gamble to Freeze Chinaโ€™s AI Future
wired.comยท5dยท
Discuss: Hacker News, r/China
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
How Sleep Cleans the Brain and Keeps You Healthy
scientificamerican.comยท20hยท
Discuss: Hacker News
๐Ÿ’พRetro Computing
Want to save your old computer? Try one of these 8 Linux distros for free
zdnet.comยท5dยท
Discuss: Hacker News
๐Ÿ”ฌUnikernels
Bench-Top Wireless Power Transmission
hackaday.comยท5d
๐Ÿ“กNetwork Protocol Design
whats a good lightweight distro for tiny sandbox machines
reddit.comยท6dยท
Discuss: r/homelab
๐Ÿ”ฌUnikernels
Vision-Only Gaussian Splatting for Collaborative Semantic Occupancy Prediction
arxiv.orgยท2d
๐Ÿ” Type-Level Programming
Improving ARDS Diagnosis Through Context-Aware Concept Bottleneck Models
arxiv.orgยท6d
โœ“Automated Theorem Proving
Foqos: Block Distracting Apps
github.comยท5dยท
Discuss: Hacker News
๐ŸŽApple
Implemented the algorithm that finally beats Dijkstra after 65 years - 26% faster on real graphs
reddit.comยท5dยท
Discuss: r/programming
๐Ÿ”„Finite State Machines
Help with securing Proxmox in OPNsense VM network
reddit.comยท13hยท
Discuss: r/homelab
๐Ÿ“กNetwork Protocol Design
A Cooperative Game-Based Multi-Criteria Weighted Ensemble Approach for Multi-Class Classification
arxiv.orgยท2d
๐ŸŽฎVerification Games
Loading...Loading more...
AboutBlogChangelogRoadmap