🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🐫 OCaml

MirageOS, dune, functional

How do Rails/Golang/Python handle canceling a HTTP request mid transaction?
sent-hil.com·18h·
Discuss: Hacker News
🌐NetworkProtocols
Yeri: JavaScript library for graphing timeseries data into an SVG
code.lag.net·10h·
Discuss: Hacker News
🔄Finite State Machines
AI Is the Answer to Everything
banagale.com·23h·
Discuss: Hacker News
🤖Program Synthesis
Why Dictionaries Still Define Us
nytimes.com·1d·
Discuss: Hacker News
🔬Unikernels
A multisensor signaling framework for thermomorphogenesis in Arabidopsis
nature.com·8h·
Discuss: Hacker News
⚙️Operating System Design
MagSafe Monday: KraftGeek’s JustTap Tripod is perfect for Continuity Camera
9to5mac.com·1h
🍎Apple
This Number System Beats Binary, But Most Computers Can't Use It
scientificamerican.com·3d·
Discuss: Hacker News
🏹Effect Systems
Actual, Current, Real-World Cuts to NASA Planetary R&A
research.ssl.berkeley.edu·1d·
Discuss: Hacker News
⎈Kubernetes
How Did Elon Musk Turn Grok into MechaHitler?
prospect.org·4d·
Discuss: Hacker News
🔬Unikernels
Why evaluating the impact of AI needs to start now
nature.com·11h·
Discuss: Hacker News
✓Automated Theorem Proving
Comparing Claude Code vs OpenCode (and testing different models)
andreagrandi.it·4d·
Discuss: Hacker News
🔄Reproducible Builds
Some notes on project management
andrewpwheeler.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Imperative vs declarative
github.com·5d·
Discuss: r/programming
🔬Static Analysis
RegCL: Continual Adaptation of Segment Anything Model via Model Merging
arxiv.org·4d
🔍Formal Verification
AirLLM: Diffusion Policy-based Adaptive LoRA for Remote Fine-Tuning of LLM over the Air
arxiv.org·5d
🛡️seL4
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·4d
🔍Formal Verification
Can We Predict Alignment Before Models Finish Thinking? Towards Monitoring Misaligned Reasoning Models
arxiv.org·4d
✓Automated Theorem Proving
ELI5: What is Domain Driven Design really?
lukasniessen.medium.com·4d·
Discuss: r/compsci, r/devops, r/programming
🔤DSLs
Funnel-HOI: Top-Down Perception for Zero-Shot HOI Detection
arxiv.org·3d
🔠Type-Level Programming
Show HN: Fluent-state: a new fresh take on local React state
github.com·3d·
Discuss: Hacker News
🔄Finite State Machines
Loading...Loading more...
AboutBlogChangelogRoadmap