samhza's Feed · Scour

Logic Puzzles: Why the Liar Is the Helpful One

blog.szczepan.org·1d·

Discuss: Hacker News

λFunctional Programming

Easy 6502 by skilldrick

skilldrick.github.io·3d

Sign up or login to customize your feed and get personalized topic recommendations

LISP: Symbolic Architecture and the Evolution of Agentic Systems

notebooklm.google.com·3d

λFunctional Programming

Quarterback cadences: Why do they shout ‘Blue 42’ and ‘White 80’ for play calls?

nytimes.com

·1d

hsu.cy·1d

Using Microvm.nix to Sandbox OpenClaw

buduroiu.com·2d·

Discuss: Lobsters, Hacker News

Digest #200: Kubernetes in Container, Git Shitstorm, $5M Data Centers and SDLC Threat Framework

devopsbulletin.com·2d

10 AI Automation Workflows That Save 10+ Hours/Week

dev.to·2d·

Discuss: DEV

I Built a Full-Stack F1 Fantasy Platform in 4 Weeks

dev.to·21h·

Discuss: DEV

🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes

gavinhoward.com·3d

λFunctional Programming

daemon-notes.com

web.archive.org·2d

rcrowley/certified: Generate and manage an internal CA for your company

github.com·2d

Part 2: Why Context Is Everything

linkedin.com·3d·

Discuss: DEV

BhashaSetu: Cross-Lingual Knowledge Transfer from High-Resource to Extreme Low-Resource Languages

arxiv.org·2d

🕸️Knowledge Graphs

Mechanized Undecidability of Higher-order beta-Matching (Extended Version)

arxiv.org·5d

λFunctional Programming

Show HN: SnipKey

github.com·2d·

Discuss: Hacker News

Build Systems and Build Philosophy

abseil.io·3d·

Discuss: Lobsters

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

freederia.com·2d

λFunctional Programming

Tip of the Week #182: Initialize Your Ints!

abseil.io·1d

λFunctional Programming

Microsoft Introduces LiteBox, a New Security-Focused Library OS

linuxiac.com·2d

Loading more...