🔢 lambda calculus - abnv · Scour

Towards Weak Stratification for Logics of Definitions

arxiv.org·5d

⚖️Inference Rules

On the Summability Problem of Multivariate Rational Functions in the Mixed Case

arxiv.org·5d

⚡Partial Evaluation

Learning Terms in Java

dev.to·6d·

Discuss: DEV

💬Interactive REPLs

🧠 Building an ML-Powered BMI Risk Prediction App in Python (Step-by-Step)

dev.to·6d·

Discuss: DEV

🎮Language Ergonomics

Ruta 32 continues closed due to persistent adverse weather conditions

qcostarica.com·12m

🚂Error Propagation

Sprint, Don’t Relax: Brief Bursts of Intense Exercise Outperformed Relaxation for Panic Disorder

studyfinds.org·14m

✨Effect Inference

The New ‘Poor Door’: Amenity Fees Are Too High for Affordable Housing Tenants

citylimits.org·18m

🏗️Hash Tables

Japan election win improves Takaichi's foreign-policy hand

dw.com·7m

Spider Maze 2 - Collect Diamonds and avoid Spiders in this new C64 game by The New Dimension in co-op with Blazon

indieretronews.com·19m·

Discuss: indieretronews.com

🚪Escape Hatch

Pirates of the Caribbean director Gore Verbinski says his BioShock movie would've included "both endings" of the original game

eurogamer.net·11m

🔄Continuations

Yakuza Kiwami 3 & Dark Ties review - a stuffed remake defined by its own grim connections

rockpapershotgun.com·8m

📝Rope Editors

A Parent’s Guide to Body-Focused Repetitive Behaviors

psychologytoday.com·20m

🌊Gradual Effects

BREAKING DOWN THE #UGC EQUITY REGULATIONS CONTROVERSY: Why the protests against anti-discrimination rules reveal deep casteist resistance to constitutional equa...

threadreaderapp.com·26m

⚖️Inference Rules

BMW’s Newest “Innovation” is a Logo-Shaped Middle Finger to Right to Repair

fr.ifixit.com·23m·

Discuss: Hacker News

🏷️Symbol Mangling

MAGA-friendly Logan Paul knocks brother for criticizing Bad Bunny

thehill.com·27m

🏷️Memory Tagging

UFC White House event set to have ‘six to seven fights’ despite Donald Trump claim

independent.co.uk·16m

🔀SSA Construction

Tearful Kirsty Muir rues agonising fourth place in Winter Olympics slopestyle

theguardian.com·26m

A long-lost Soviet spacecraft: AI could finally solve the mystery of Luna 9's landing site

phys.org·8m

Think twice before saying your favorite manga is One Piece. CyberConnect2 CEO on how Japanese game company interviews work

automaton-media.com·7m

💬Error Message Design

Esteta Script Font Duo by Letter Fresh Studio

weandthecolor.com·9m

✨Code Formatting

Loading more...