๐Ÿฟ๏ธ 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

OmniOS: The Open Source Enterprise Server OS with just the features you need
omnios.orgยท4hยท
Discuss: Hacker News
๐Ÿ”ฌUnikernels
Using Apple Shortcuts to generate social image for blog post
peterspath.netยท5hยท
Discuss: Hacker News
๐ŸŽApple
Show HN: Raspberry Pi with portable touch monitor with a single USB-C cable
getubo.comยท18hยท
Discuss: Hacker News
๐ŸŽXNU Internals
Show HN: Mirroranimage.com โ€“ Flip or Mirror Any Image in Seconds
mirroranimage.comยท11hยท
Discuss: Hacker News
๐ŸŽApple
Conversations remotely detected from cell phone vibrations, researchers report
psu.eduยท2dยท
Discuss: Hacker News
๐ŸŒNetworkProtocols
The iHost โ€“ Thoughts about the future of Self-Hosting
kiranet.orgยท2dยท
Discuss: Hacker News
๐ŸŽApple
The biggest loss of the modern internet, and how we let it happen
tenscores.comยท19hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Egalitarianism Requires Quantification
andymasley.substack.comยท2dยท
Discuss: Substack
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Herasight Embryo Screening Tool
herasight.comยท3dยท
Discuss: Hacker News
๐ŸงชProperty-Based Testing
A Kentucky Town Experimented With AI. The Results Were Stunning
gizmodo.comยท2dยท
Discuss: Hacker News
๐ŸงชProperty-Based Testing
Enhancing Vision-Language Model Training with Reinforcement Learning in Synthetic Worlds for Real-World Success
arxiv.orgยท6d
๐Ÿ”„Finite State Machines
Can Large Multimodal Models Actively Recognize Faulty Inputs? A Systematic Evaluation Framework of Their Input Scrutiny Ability
arxiv.orgยท6d
โœ“Automated Theorem Proving
CAP-LLM: Context-Augmented Personalized Large Language Models for News Headline Generation
arxiv.orgยท6d
๐ŸซOCaml
Fabricating Holiness: Characterizing Religious Misinformation Circulators on Arabic Social Media
arxiv.orgยท1d
โžก๏ธCategory Theory
Learning AI Auditing: A Case Study of Teenagers Auditing a Generative AI Model
arxiv.orgยท5d
๐ŸŽฎVerification Games
Uncertainty-aware Predict-Then-Optimize Framework for Equitable Post-Disaster Power Restoration
arxiv.orgยท5d
๐ŸนEffect Systems
I Made An Encrypted, Security Optimized Gentoo on the Raspberry Pi 5 That's Easy
github.comยท5dยท
Discuss: Hacker News
๐Ÿ”ฌUnikernels
Claude just learned a useful ChatGPT trick
9to5mac.comยท1d
๐ŸŽApple
Perplexity offers to buy Chrome for billions more than itโ€™s raised
techcrunch.comยท19hยท
Discuss: Hacker News
๐ŸŽApple
Hugging Face AI Sheets, open-source tool to vibe test models on your datasets
github.comยท4dยท
Discuss: Hacker News
๐ŸซOCaml
Loading...Loading more...
AboutBlogChangelogRoadmap