🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🤖 Program Synthesis

Automated Programming, Formal Specifications, Code Generation, Proof Search

Would the DSi App Petit Computer be a decent way to practice programming on an unfamiliar system?
en.m.wikipedia.org·2d·
Discuss: r/programming
💾Retro Computing
Observable Notebooks 2.0 Technology Preview
observablehq.com·2d·
Discuss: Lobsters, Hacker News
🧱Immutable Infrastructure
Anaconda Raises 150M Series C
anaconda.com·2h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
You know what: Microsoft became miserably incompetent in IT
mikekaganski.wordpress.com·14h·
Discuss: Hacker News
📦Unikernel Systems
We Raised $21M to Give Fortune 100 Cloud for AI Agents
e2b.dev·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A new programming language that compiles to JavaScript (concept stage)
github.com·5d·
Discuss: r/javascript, r/programming
🐫Embedded OCaml
Overview of ADoBo at IberLEF 2025: Automatic Detection of Anglicisms in Spanish
arxiv.org·1d
🐫OCaml
A Deep Learning-Driven Autonomous System for Retinal Vein Cannulation: Validation Using a Chicken Embryo Model
arxiv.org·1d
🐫Embedded OCaml
Improving SpGEMM Performance Through Matrix Reordering and Cluster-wise Computation
arxiv.org·1d
💻CS
SeeDiff: Off-the-Shelf Seeded Mask Generation from Diffusion Models
arxiv.org·2d
🐫OCaml
Boost Self-Supervised Dataset Distillation via Parameterization, Predefined Augmentation, and Approximation
arxiv.org·1d
🔠Type-Level Programming
Dialogic Social Learning for Artificial Agents: Enhancing LLM Ontology Acquisition through Mixed-Initiative Educational Interactions
arxiv.org·1d
🎮Verification Games
Polar Coding and Linear Decoding
arxiv.org·2d
🌐NetworkProtocols
Convergent Weight and Activation Dynamics in Memristor Neural Networks
arxiv.org·2d
🏹Effect Systems
Locally Controlled Face Aging with Latent Diffusion Models
arxiv.org·1d
🏹Effect Systems
Observe $156M Series C as Enterprises Shift to AI-Powered Observability at Scale
observeinc.com·20h·
Discuss: Hacker News
👁️System Observability
Hierarchical Game-Based Multi-Agent Decision-Making for Autonomous Vehicles
arxiv.org·1d
🔄Finite State Machines
Self-Propelled Agents and Group Social Force
arxiv.org·2d
🎮Verification Games
Solar Photovoltaic Assessment with Large Language Model
arxiv.org·3d
🐫OCaml
Solving Boundary Handling Analytically in Two Dimensions for Smoothed Particle Hydrodynamics
arxiv.org·1d
🐫OCaml
Loading...Loading more...
AboutBlogChangelogRoadmap