tiferrei's Top FindsLoading...
Understanding Protein Language Models Series
chrishayduk.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Converting a Pristine ThinkPad to a Linux Laptop Was a Ride
medium.com·1d·
Discuss: Hacker News
💾Retro Computing
Show HN: Understanding the Spatial Web Browser Engine
m-creativelab.github.io·20h·
Discuss: Hacker News, r/webdev
Tensorflow.js Typosquatting Attack: Malicious Package Targeting AI/ML Developers
safedep.io·15h·
Discuss: Hacker News, r/programming
Parallelizing Linux Writeback
blog.linuxnews.dev·2d·
Discuss: Hacker News
⚙️Operating System Design
81% of people more wary of dependencies due to AI
tosbourn.com·1d·
Discuss: Hacker News, r/programming
❄️Nixified Development
Transforming Cybersecurity: The Kintsugi Paradox-Loop CAPTCHA System
github.com·2d·
Discuss: r/programming
🎮Verification Games
Pico3D: Open World 3D Game Engine for the RP2040 Microcontroller
github.com·16h·
Discuss: Hacker News
📦Unikernel Systems
This iPad-MacBook Air mod is either cursed or genius, depending on who you ask
9to5mac.com·1d
🍎Apple
Block encoding the 3D heterogeneous Poisson equation with application to fracture flow
arxiv.org·1d
🐫OCaml
Artificial Intelligence Software Structured to Simulate Human Working Memory, Mental Imagery, and Mental Continuity
arxiv.org·5h
Unequal Uncertainty: Rethinking Algorithmic Interventions for Mitigating Discrimination from AI
arxiv.org·1d
🎮Verification Games
Effective and Efficient Attributed Hypergraph Embedding on Nodes and Hyperedges
arxiv.org·5h
Apple applies for patent on that ‘single slab of glass’ iPhone
9to5mac.com·1d
🍎Apple
FNBT: Full Negation Belief Transformation for Open-World Information Fusion Based on Dempster-Shafer Theory of Evidence
arxiv.org·1d
✓Automated Theorem Proving
It's Not 10x. It's 36x – This Is What It Looks Like to Kill a $30k Meeting
cameronwestland.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
CountQA: How Well Do MLLMs Count in the Wild?
arxiv.org·1d
🐫OCaml
Anatomy of a Machine Learning Ecosystem: 2 Million Models on Hugging Face
arxiv.org·1d
✓Automated Theorem Proving
Cut2Next: Generating Next Shot via In-Context Tuning
arxiv.org·1d
➡️Category Theory
Between Fear and Desire, the Monster Artificial Intelligence (AI): Analysis through the Lenses of Monster Theory
arxiv.org·5h