Soft-banned from LINE
boussejra.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Google 8.8.8.8 is getting 27M ping requests per second
lists.nanog.org·3d·
Discuss: Hacker News
🛡️seL4
The real serverless compute to database connection problem, solved
vercel.com·3d·
Discuss: Hacker News
⎈Kubernetes
Gerrit Code Review
gerritcodereview.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
People can exploit your social media pictures and so I've made a tool
news.ycombinator.com·3d·
Discuss: Hacker News
🍎Apple
The Replication Engine
ifp.org·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Why might it be necessary for Coalton to be a language in itself?
gist.github.com·4d·
Discuss: Hacker News
🔠Type-Level Programming
RustDesk Client Install Generator with Encrypted Credentials and Email Functionality
github.com·5d·
Discuss: r/homelab
❄️Nixified Development
Classifier Language Models: Unifying Sparse Finetuning and Adaptive Tokenization for Specialized Classification Tasks
arxiv.org·3d
➡️Category Theory
A Risk Taxonomy and Reflection Tool for Large Language Model Adoption in Public Health
arxiv.org·3d
🔍Formal Verification
Evaluating Imputation Techniques for Short-Term Gaps in Heart Rate Data
arxiv.org·3d
🏹Effect Systems
How Does a Virtual Agent Decide Where to Look? - Symbolic Cognitive Reasoning for Embodied Head Rotation
arxiv.org·3d
🔄Finite State Machines
Improving Diversity in Language Models: When Temperature Fails, Change the Loss
arxiv.org·2d
🔠Type-Level Programming
Integrated Learning and Optimization to Control Load Demand and Wind Generation for Minimizing Ramping Cost in Real-Time Electricity Market
arxiv.org·2d
🏹Effect Systems
Fast and Generalizable parameter-embedded Neural Operators for Lithium-Ion Battery Simulation
arxiv.org·4d
🐫Embedded OCaml
Who pays the RENT? Implications of Spatial Inequality for Prediction-Based Allocation Policies
arxiv.org·3d
🔠Type-Level Programming
HiFACTMix: A Code-Mixed Benchmark and Graph-Aware Model for EvidenceBased Political Claim Verification in Hinglish
arxiv.org·1d
✓Automated Theorem Proving
CognitiveArm: Enabling Real-Time EEG-Controlled Prosthetic Arm Using Embodied Machine Learning
arxiv.org·4d
🏹Effect Systems
Democratizing Diplomacy: A Harness for Evaluating Any Large Language Model on Full-Press Diplomacy
arxiv.org·4d
🐫OCaml
SharpXR: Structure-Aware Denoising for Pediatric Chest X-Rays
arxiv.org·3d
🔠Type-Level Programming