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

Dependent Haskell, GADTs, Type Families, Kind System

Monotonic and Wall Clock Time in the Go time package
victoriametrics.comยท2dยท
Discuss: Hacker News
๐ŸŽXNU Internals
Simple Way to Find Co-Founders โ€“ Business Partner Finder App
findpartner.appยท2dยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Gren 25S: Easier interop, concurrent tasks and zero-install packages
gren-lang.orgยท5dยท
Discuss: Lobsters, Hacker News
๐Ÿ”„Reproducible Builds
Can TikTok Revive Classic Songs? A Statistical Analysis of Social Media Virality
statsignificant.comยท2dยท
Discuss: Hacker News
๐ŸŽApple
Linux Budgie Desktop: A Perfect Blend of Aesthetics and Power
thenewstack.ioยท18h
๐Ÿ’พRetro Computing
McKinsey Technology Trends Outlook 2025
mckinsey.comยท3dยท
Discuss: Hacker News
๐Ÿง—Climbing Tech
Iโ€™ve had it with Microsoft
disconnect.blogยท1dยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
This Week in Security: Sharepoint, Initramfs, and More
hackaday.comยท1d
๐Ÿ›ก๏ธseL4
DeepMind and OpenAI models solve maths problems at level of top students
nature.comยท2dยท
Discuss: Hacker News
๐ŸŽฎVerification Games
Clarifying "AI First" โ€“ What It Means for Rsyslog
rsyslog.comยท2dยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
Turn email into events โ€“ Scheduling straight from your inbox
github.comยท2dยท
Discuss: Hacker News
๐ŸŒNetworkProtocols
User Invariant Preference Learning for Multi-Behavior Recommendation
arxiv.orgยท5d
๐Ÿ”ฌUnikernels
Buggy rule diagnosis for combined steps through final answer evaluation in stepwise tasks
arxiv.orgยท6d
โœ“Automated Theorem Proving
On Pre-training of Multimodal Language Models Customized for Chart Understanding
arxiv.orgยท6d
๐Ÿ”„Finite State Machines
DARE: Diverse Visual Question Answering with Robustness Evaluation
arxiv.orgยท5d
๐ŸŽฎVerification Games
Optimizing Canaries for Privacy Auditing with Metagradient Descent
arxiv.orgยท5d
โœ“Automated Theorem Proving
Major Quantum Computing Advance Made Obsolete by Teenager
quantamagazine.orgยท2dยท
Discuss: Hacker News
๐Ÿ”ฌUnikernels
Automated Design of Structured Variational Quantum Circuits with Reinforcement Learning
arxiv.orgยท4d
๐ŸนEffect Systems
A new data-driven energy-stable Evolve-Filter-Relax model for turbulent flow simulation
arxiv.orgยท3d
๐ŸซOCaml
UniSegDiff: Boosting Unified Lesion Segmentation via a Staged Diffusion Model
arxiv.orgยท2d
๐Ÿ’ปCS
Loading...Loading more...
AboutBlogChangelogRoadmap