📐 Quotient Types - abnv · Scour

At least 1,200 Ubisoft workers strike in response to recent restructuring

gamesindustry.biz·32m

📋Task Queues

What Happened to the Fort Knox Gold Audit?

realcleardefense.com·37m

🔬Code Analysis

BIA Issues Key Ruling on ‘Expert Witness’ Opinions in Removal Cases

cis.org·32m

⚖️Inference Rules

Stryker launches T2 Alpha Humerus Nailing System, supporting surgical workflow and care for complex fractures

prnewswire.com·31m

🌐Portable Assembly

Energy Transfer Is Undervalued Heading Into Q4, With A Growing Distribution (NYSE:ET)

seekingalpha.com

·19m

🌊Gradual Typing

From Brasil: Man City ready to submit €50 million for Wesley

sports.yahoo.com·34m

AMFA REVIEWING POTENTIAL IMPACT OF ALLEGIANT AND SUN COUNTRY MERGER ON FRONT-LINE PROFESSIONALS

prnewswire.com·25m

AMD: Something Doesn't Add Up (NASDAQ:AMD)

seekingalpha.com

·21m

🔮Speculative Execution

Lewis Hamilton says new F1 rules 'ridiculously complex' and 'none of the fans are going to understand it'

bbc.com·26m

⚡Algebraic Effects

Brandix India Apparel City: Building a Scalable, Integrated Apparel Ecosystem

finance.yahoo.com·13m

🛠programming language development

AntonVoronezh/viewport-truth: Tiny zero‑config VisualViewport-first store for accurate visible viewport size in CSS pixels. Detects virtual keyboard, stabilizes resize/scroll jitter, and is SSR-safe across frameworks.

github.com·27m·

Discuss: DEV

💬Smalltalk VMs

Prediction: Edge Computing Will Define Tech Winners in 2026

finance.yahoo.com·13m

💾IoT Allocators

ci: reindent duplicate issue workflow

github.com·26m

🔄Copy Propagation

Disney ordered to pull gruesome poster from circulation

independent.co.uk·13m

Weisfeiler and Lehman Go Categorical

arxiv.org·2d

🔢Algebraic Datatypes

**Abstract:** This paper introduces a novel system for significantly accelerating the formalization of dependent type theories—a critical bottleneck in the d...

freederia.com·6d

🔍ML Language

Braidings for Non-Split Tambara-Yamagami Categories over the Reals

arxiv.org·1d

🔗Category Theory

Former MI6 chief gives insight into vetting process after Mandelson scandal

independent.co.uk·20m

🔐Capability Protocols

Why the FAA closed El Paso airport as airspace reopens after 8 hours

the-independent.com·16m

🔗Lexical Scoping

Olympian ‘deeply regrets’ confessing to cheating on his girlfriend in TV interview

the-independent.com·14m

🔓Decompilers

Loading more...