👑 Dependent Haskell - matmat · Scour

Berlin Flashback: Wim Wenders’ First Date With His Hometown Film Festival

hollywoodreporter.com

·15m

📦Digital Cinema Package

Starmer ‘knew ex-comms chief Lord Doyle supported paedophile councillor’

the-independent.com·9m

🔬Archive Forensics

Read more: US questions UN presence in ‘expensive’ cities, like Geneva

swissinfo.ch·16m

💻Local first

Teen charged with attempted murder after double school stabbing in London

the-independent.com·17m

⚖️Digital Evidence

Siemens Aktiengesellschaft (SIEGY) Q1 2026 Earnings Call Transcript

seekingalpha.com·11m

🎛️Cassette DSP

Growing evidence points to link between autism and wildfire smoke

grist.org·15m

📰RSS Archaeology

Understanding the valuation of intangible assets in tech deals

thenextweb.com·8m

🔐Capability Systems

Apple’s AI-notification exhibits racial and gender bias, researchers find

euobserver.com·15m

🎛️Feed Filtering

Does Apple’s AI Opportunity Outweigh Component Cost Inflation?

asymco.com·10m

🍎Apple Computing

S - Glossary (Python)

dev.to·5d·

Discuss: DEV

🧠Lisp Dialects

Unlocking the Power of Python Generators: A Comprehensive Guide

dev.to·3d·

Discuss: DEV

⚙️Parser Generators

Static Analysis Under Non-Deterministic Program Assumptions

arxiv.org·2d

🧪Property-Based Testing

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version

arxiv.org·2d

🔗Functional Compilers

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·4d

📝Concrete Syntax

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·5d

🤝Consensus Protocols

Deep dive into Hierarchical Navigable Small Worlds

amandeepsp.github.io·4d·

Discuss: Hacker News, r/Zig, r/programming

🔶Voronoi Diagrams

C and C++ dependencies, don't dream it, be it!

nibblestew.blogspot.com·4d·

Discuss: Hacker News, nibblestew.blogspot.com, r/cpp

🔗Dependency Resolution

Recursive Deductive Verification: A framework for reducing AI hallucinations

news.ycombinator.com·3d·

Discuss: Hacker News

⚖️Hoare Logic

An attempt at a First-Proof AI challenge

abhvio.us·3d·

Discuss: Hacker News

🎯Performance Proofs

Show HN: ShapeGuard – Shape Contracts for NumPy and Jax

news.ycombinator.com·3d·

Discuss: Hacker News

🧮Algebraic Datatypes

Loading more...