NVIDIA Accelerated IO (XLIO)
docs.nvidia.com·1d·
Discuss: Hacker News
🍎XNU Internals
Show HN: Free AI Business Name Generator and Domain Avalibility
namegator.lovable.app·1d·
Discuss: Hacker News
📦Unikernel Systems
Old norse roots of English words
en.wikipedia.org·19h·
Discuss: Hacker News
🧮Lambda Calculus
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com·3d·
Discuss: Hacker News
🏹Effect Systems
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·6d·
Discuss: Hacker News
🧮Lambda Calculus
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·3d·
Discuss: Hacker News
❄️Nixified Development
Seedream 4.0 – Professional AI Image Generator and Editor
seedream-4.app·7h·
Discuss: Hacker News
⚙️Operating System Design
The CRITICAL Records Integrated Standardization Pipeline (CRISP): End-to-End Processing of Large-scale Multi-institutional OMOP CDM Data
arxiv.org·2d
🔄Reproducible Builds
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·4d
🧮Lambda Calculus
Show HN: Open Source Deal Flow Monitoring Infrastructure Built for VCs
github.com·35m·
Discuss: Hacker News
🔄Reproducible Builds
Journey starts here
i.redd.it·1d·
Discuss: r/homelab
🍎Apple
OTESGN:Optimal Transport Enhanced Syntactic-Semantic Graph Networks for Aspect-Based Sentiment Analysis
arxiv.org·2d
🧩Parser Combinators
Algebraic Effects in Practice with Flix
relax.software·6d·
Discuss: Lobsters, Hacker News, r/programming
🏹Effect Systems
How to tell your co-workers that they suck at InfoSec and actually get away with it (mrmcd25)
cdn.media.ccc.de·20h
🛡️seL4
MasconCube: Fast and Accurate Gravity Modeling with an Explicit Representation
arxiv.org·2d
🐫OCaml
The HackberryPi CM5 handheld computer
github.com·4d·
Discuss: Hacker News
💾Retro Computing
Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·4d
🌐NetworkProtocols
Show HN: Forked styled-components with optimizations (40% faster for Linear)
github.com·2d·
Discuss: Hacker News
💎Refinement Types
How the TI-99/4A Home Computer Worked
hackaday.com·1d
💾Retro Computing
Massively Parallel Agentic Simulations with Ray
anyscale.com·2d·
Discuss: Hacker News
⚙️Operating System Design