🔵 Clojure - kqr · Scour

dev.to·3d·

Discuss: DEV

Creating a new programming language - Draig

dev.to·5d·

Discuss: DEV

🔮Lisp Macros

i built a "stateless" data vault (180 lines of code) disguised as a fishing log. had 41 clones yesterday!

github.com·4d·

Discuss: r/SideProject

🐛Fuzz Testing

Groverkss/mlir-tutor: Exercises for Learning MLIR (Originally written for PPoPP 2026)

github.com·4d·

Discuss: Hacker News, r/Compilers

🤖Scikit-learn

Conformal Thinking: Risk Control for Reasoning on a Compute Budget

arxiv.org·5d

🐛Fuzz Testing

A Single Revision Step Improves Token-Efficient LLM Reasoning

arxiv.org·5d

🚫Branch-Free Programming

Three Rules for Writing Better Swift

troz.net·6d

🔄Common Lisp

Integrating Coverity static analysis with Bazel

tweag.io·4d·

Discuss: Lobsters

🐛Fuzz Testing

**Abstract:** This research proposes a novel methodology for accelerating theorem proving within the Lean 4 proof assistant by directly optimizing the formal...

freederia.com·4d

🚫Branch-Free Programming

**Abstract:** This paper introduces a novel approach to automated theorem proving (ATP) by dynamically generating and optimizing theorem statements within a ...

freederia.com·3d

🔗Parser Combinators

B.C. Greens not renewing deal to support governing NDP

cowichanvalleycitizen.com·4m

😴Lazy Evaluation

T20 World Cup: Australia strong contenders despite injury concerns, says Ellis

rediff.com·15m

⚖Kelly criterion

Report: Liverpool have joined the race to sign talented Bundesliga star

sports.yahoo.com·14m

⚖Kelly criterion

Should You Buy Pfizer's Stock for Its 6.3%-Yielding Dividend?

fool.com·34m

💳personal finance

DLP candidate, Damien Fanus, more determined after accident

cbc.bb·6m

Diljit Dosanjh Announces 2026 “Aura World Tour”: How to Get Tickets

consequence.net·12m

🗺️Flight Management Systems

Clamshell Lighting for Portraits: Soft, Glamorous Results

diyphotography.net·4m

🤖Scikit-learn

The NFL Told You Why It Booked Bad Bunny

readtpa.com

·14m

🐛Fuzz Testing

Customs strike to slow arrivals at Schiphol Airport on Tuesday; Long lines likely

nltimes.nl·52s

✈️Air Traffic Control

Movement To Remove Voice Actor Who Has Admitted To Sexual Assault Has Yakuza Fans At Breaking Point

aftermath.site·44m

⚡lean product development

Loading more...