FHE@PDX 2025
jeremykun.com·1d
🔐Homomorphic Encryption
<p>I&rsquo;ve said this before and I&rsquo;ll say it again: the ability to make a lambda from a method, a la Java&rsquo;s double colon operator (e.g. <code>obj:...
lmika.org·3d
λLambda Formalization
The Java Programming Language: A Silent Powerhouse
discoverbsd.com·1d
🔌Operating system internals
Signals for Python – Reactive State Management Inspired by SolidJS and Angular
reaktiv.bui.app·1d·
Discuss: Hacker News
⚡Effectful Programming
A Different Way to Think about Plane Fitting
tangramvision.com·3d·
Discuss: Hacker News
📐Projective Geometry
Remembering Descent, the once-popular, fully 3D 6DOF shooter
arstechnica.com·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
Political-bias benchmark for Grok 4, GPT-4.1, Gemini 2.5 Pro and Claude Opus 4
promptfoo.dev·1d·
Discuss: Hacker News
🎛️Feed Filtering
Is Space Pixelated?(2021)
magazine.caltech.edu·4d·
Discuss: Hacker News
⏰Time Crystals
Show HN: Scaling up robotic data collection with AI enhanced teleoperation
news.ycombinator.com·13h·
Discuss: Hacker News
🤖Tape Automation
Zahlen, bitte! Solomon W. Golomb and an octillion IT systems
heise.de·4d
🇷🇺Russian Computing
Vibecoding a High Performance System
andrewkchan.dev·4d·
Discuss: Hacker News
👁️System Observability
LLMs must evolve from scaling to full orchestration
victorwynne.com·4d·
Discuss: Hacker News, r/LLM
💻Local LLMs
C# Packages Find a New Home in .NET 8 - Godot Engine
hackernoon.com·6h
🔓Open Source Software
I'm rewriting the V8 engine in Rust
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
Strategically Robust Game Theory via Optimal Transport
arxiv.org·4d
🔲Cellular Automata
Scientists create an artificial cell capable of navigating its environment using chemistry alone
phys.org·1d
🔲Cellular Automata
Can One Domain Help Others? A Data-Centric Study on Multi-Domain Reasoning via Reinforcement Learning
arxiv.org·2d
⚔️Lean Tactics
An Empirical Study of Complexity, Heterogeneity, and Compliance of GitHub Actions Workflows
arxiv.org·1d
📏Code Metrics
Comparison of Optimised Geometric Deep Learning Architectures, over Varying Toxicological Assay Data Environments
arxiv.org·1d
🧠Machine Learning
I created a motivational AI life coach with Character.ai – here’s what happened
techradar.com·7h
🎙️Whisper