🎯 Dependent Types - matmat · Scour

‘Severance,’ ‘Bon Appétit, Your Majesty’ Among Winners at CJ ENM Visionary Awards

variety.com·12m

🎬Cinema Projection

What 'Disco Brits' Fear and Gibson must do to win Olympic medal

bbc.com·32m

🇸🇪Nordic Algorithms

Advanced Energy Industries, Inc. 2025 Q4 - Results - Earnings Call Presentation (NASDAQ:AEIS) 2026-02-11

seekingalpha.com

·34m

🔧RISC-V Assembler

Which PS3 Models Play PS2 Discs? (Complete Backwards Compatibility List)

obsoletesony.substack.com·19m·

Discuss: Substack

🏺Gaming Archaeology

Method dressing: nine actors who stayed wildly in character on the red carpet

theguardian.com·35m

🌈Color Archaeology

Anil Kapoor Action-Drama ‘Subedaar’ Sets Prime Video Bow, Unveils Teaser (EXCLUSIVE)

variety.com·9m

📦Digital Cinema Package

China's CPI Inflation Slowed In January Amid Lunar New Year Effect

seekingalpha.com

·40m

🇨🇳Chinese Computing

Netanyahu to meet Trump as Iran nuclear talks reach critical stage

bbc.com·40m

⚛️Quantum Channels

Freezing on the front line: The Ukrainians struggling to survive in -26C cold with scarce food and no power

the-independent.com·22m

🇵🇱Polish Assembly

Game of Trees 0.122 released

undeadly.org·19m

🔓Open Source Software

Russian oil revenue plummets as sanctions target Putin’s cash cow

the-independent.com·26m

🇷🇺Russian Computing

Aeon: A Zero-Allocation Go Time Library That Treats Time as "Containers" Rather Than "Offsets"

dev.to·4d·

Discuss: DEV

🐚Shell Calculus

[AWS] Parallel execution of tasks using Kiro's custom subagents [Kiro]

dev.to·3d·

Discuss: DEV

🌊Stream Processing

Grounding Generative Planners in Verifiable Logic: A Hybrid Architecture for Trustworthy Embodied AI

arxiv.org·1d

📏Linear Logic

Dynamical sequences: closure properties and automatic identity proving

arxiv.org·1d

🎯Performance Proofs

How to Program Computers (KOS)

fall.tr·5d·

Discuss: Lobsters, Hacker News

🔩Systems Programming

Multi-Paxos – Consensus in Distributed Databases

arpitbhayani.me·4d·

Discuss: Hacker News

🤝Paxos Consensus

I Built a 6 BIPS JIT in Five Months

unlikelyemphasis.substack.com·4d·

Discuss: Substack

⚙️RISC-V Microcode

barakber/busted: eBPF-based LLM/AI Communication Monitoring and Identity Management

github.com·1d·

Discuss: Hacker News

🛡️eBPF Security

Show HN: Pincer-MCP – Stop AI agents from reading their own credentials

github.com·1d·

Discuss: Hacker News, r/selfhosted

🏺Kerberos Archaeology

Loading more...