📐 Quotient Types - abnv · Scour

Notre Dame, Villanova to open next season in Rome

zagsblog.com·37m

Dubai International Airport handled a record 95.2 million passengers in 2025

the-independent.com·21m

Tyler Tanner scores 25 points to help No. 19 Vanderbilt outlast Auburn 84-76

nbcsports.com·34m

🧩SAT Solvers

5,300-year-old ‘bow drill’ rewrites story of ancient Egyptian tools

ncl.ac.uk·10m·

Discuss: Hacker News

🏺Code Archeology

Shanaya Kapoor: In 50 Shades Of Green

rediff.com·23m

Lovish launch trailer – 8-bit action-adventure game comes to Nintendo Switch

nintendoeverything.com·10m

🤖Embedded Go

The New Laser That Can Take Down Aircraft | Russian strikes have forced Ukraine to build high-tech air defense on the cheap.

lemmy.world·9m

🔍Lens Libraries

'Bangladeshi Hindus Hope Jamaat Does Not Come To Power'

rediff.com·20m

🧱WASM Components

'Could be the nail in the coffin': Omaha Steaks ends foodservice operations, leaving local restaurants concerned

ketv.com·10m

📮Message Queues

Apr 25 (Sat): DAMSF

dnalounge.com·7m

📊Dataflow Analysis

Become a GameChat pro with this guide!

nintendo.com·12m

Check out this zine about plants in Skyrim

blog.lauramichet.com·6m

Risky Business #824 -- Microsoft's Secure Future is looking a bit wobbly

risky.biz·32m

🛡️Capability Security

Structure groupoids of quiver-theoretic Yang-Baxter maps

arxiv.org·1d

🔗Category Theory

Miami never trails in 75-66 win over No. 11 North Carolina

nbcsports.com·43m

Deciding the Satisfiability of Combined Qualitative Constraint Networks

arxiv.org·23h

🎯Constraint Solving

Kotlin Symbol Processing: создаём свой процессор

habr.com·4d

📋Template Compilers

Fix and regression-test integer arithmetic and comparison by PeterFidelman · Pull Request #9

github.com·2d

🧪Compiler Testing

The Two-Board Problem: Training Environment for Research Agents

lesswrong.com·2d

∫Mathematical DSLs

Private Data Space Model

privatedata.space·5d

🪢Rope Data Structures

Loading more...