Some thoughts on UBPorts
thefoggiest.dev·8h
🕸️WASM Archives
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·3d
λLambda Formalization
Flag this post
Speedrunning an RL Environment
⚔️Lean Tactics
Flag this post
From Lossy to Lossless Reasoning
🔨Compilers
Flag this post
China tweets satellite photos of Taiwan's critical Hsinchu chip hub in pressure-ratcheting political stunt — 'where all the world’s advanced foundry IP is creat...
tomshardware.com·16h
🇨🇳Chinese Computing
Flag this post
macOS HyprSpace – Enhanced AeroSpace Fork
📺Terminal UI
Flag this post
Open Source Is Our Operating System
🔓Open Source Software
Flag this post
Nirvana: A Specialized Generalist Model With Task-Aware Memory Mechanism
arxiv.org·3d
💻Local LLMs
Flag this post
What hardware should I get?
🇳🇱Dutch Computing
Flag this post
Told myself I'd switch back to Windows after I get my RAM back... Now I don't think I'm ever going back to Windows
🔌Operating system internals
Flag this post
DC4GS: Directional Consistency-Driven Adaptive Density Control for 3D Gaussian Splatting
arxiv.org·3h
💎Information Crystallography
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·3d
💻Programming languages
Flag this post
Tech With Tim: Blitzy vs Devin vs Factory: Which AI Platform is The Best?
⚡Proof Automation
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🦀Rust Borrowing
Flag this post
Massive storage expansion potential meets ultra‑fast transfer in the Beelink Mate SE - I tested it out to see how it delivers on its promise of speed
techradar.com·1d
🔄Sync Engine
Flag this post
Enhancing Workflow Efficiency via Dynamic Task Prioritization & Adaptive Resource Allocation
🌊Stream Processing
Flag this post
DARTS: A Drone-Based AI-Powered Real-Time Traffic Incident Detection System
arxiv.org·3d
🌊Stream Processing
Flag this post
Loading...Loading more...