Maybe Everything is OSS Now (but Not F)
jeffwofford.com·7h·
Discuss: Hacker News
📦Unikernel Systems
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com·2d·
Discuss: Hacker News
🏹Effect Systems
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·5d·
Discuss: Hacker News
🧮Lambda Calculus
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·2d·
Discuss: Hacker News
❄️Nixified Development
Working in Groups
internet.place·2d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Examining Vision Language Models through Multi-dimensional Experiments with Vision and Text Features
arxiv.org·1d
📚Automata Learning
NPM debug and chalk packages compromised
aikido.dev·4d·
Discuss: Hacker News, r/linux, r/node, r/programming, r/webdev
🍎Apple
Comparison of Signed Number Representations in Computers
en.wikipedia.org·3d·
Discuss: Hacker News
🏹Effect Systems
Show HN: SARE, a Hybrid Quantum-Safe Encryption System Implemented in Rust
github.com·1d·
Discuss: Hacker News
📦Unikernel Systems
The CRITICAL Records Integrated Standardization Pipeline (CRISP): End-to-End Processing of Large-scale Multi-institutional OMOP CDM Data
arxiv.org·1d
🔄Reproducible Builds
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·3d
🧮Lambda Calculus
OTESGN:Optimal Transport Enhanced Syntactic-Semantic Graph Networks for Aspect-Based Sentiment Analysis
arxiv.org·1d
🧩Parser Combinators
MasconCube: Fast and Accurate Gravity Modeling with an Explicit Representation
arxiv.org·1d
🐫OCaml
Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·3d
🌐NetworkProtocols
How the TI-99/4A Home Computer Worked
hackaday.com·12h
💾Retro Computing
Algebraic Effects in Practice with Flix
relax.software·5d·
Discuss: Lobsters, Hacker News, r/programming
🏹Effect Systems
Massively Parallel Agentic Simulations with Ray
anyscale.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Confusion over Backplane and RAID Controller Requirements
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Deploying AI to the Balkans
hapseer.com·3d·
Discuss: Hacker News
🩹Self-Healing Systems
Moving from 3 x m920q to an Epyc server - Looking for advice/experiences
reddit.com·1d·
Discuss: r/homelab
🔧Unikernel Development