🎭 Racket - 2601 · Scour

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 🔗Dependent Types

jointhefreeworld.org·2h·Lobsters, Hacker News

Probabilistic Language Tries: A Unified Framework for Compression, Decision Policies, and Execution Reuse 🎲Probabilistic Programming

arxiv.org·1d

Clojure on Fennel part one: Persistent Data Structures 🌙Lua

andreyor.st·3d·Lobsters, Hacker News

South Korea introduces universal basic mobile data access 🕸️Service Mesh

theregister.com·9h·Hacker News

aelaguiz/doctrine: Python-like DSL and compiler for reusable AI agent instructions, workflows, and contracts that compile to AGENTS.md. 📋Tablegen

github.com·1d·Hacker News

Oakbeam Pictures ✨Gleam

oakbeampictures.co.uk·21h

Pedagogical Safety in Educational Reinforcement Learning: Formalizing and Detecting Reward Hacking in AI Tutoring Systems 🌱Minimal ML

arxiv.org·3d

Predict and Profit, automated Kalshi bots for weather and CPI/PCE 🔄Subinterpreters

predictandprofit.io·2d·Hacker News

Afterchain/afterchain-protocol-public: On-chain execution rail of the Afterchain Protocol — public review edition. Contains Solidity contracts, Foundry regression tests, and security model documentation. 🛡️Security Type Systems

github.com·1d·Hacker News

How do you stop important decisions getting buried in chat? 💬Prompt Engineering

getsquad.app·6d·Hacker News

The Ultimate Map Quiz Site 🌍Geopolitics

geoguessr.com·2d

Demo on landing page top of fold ✍️Markdown

renttix.com·4d·Hacker News

EduIllustrate: Towards Scalable Automated Generation Of Multimodal Educational Content 🌱Minimal ML

arxiv.org·2d

scan-for-secrets 0.1.1 🔓Binary Exploitation

simonwillison.net·5d

ARIA: Adaptive Retrieval Intelligence Assistant -- A Multimodal RAG Framework for Domain-Specific Engineering Education 🔍RAG

arxiv.org·1d

Former US air force master sergeant pleads guilty to defrauding military out of $37m 🚩CTF

theguardian.com·5d·Hacker News

Designing Safe and Accountable GenAI as a Learning Companion with Women Banned from Formal Education ✨Gleam

arxiv.org·1d

AI Company Clones Musician’s Voice, Then Copyright-Strikes Her Own Songs 💬Prompt Engineering

rudevulture.com·4d·Hacker News

Detecting and Explaining (In-)equivalence of Context-Free Grammars 🔍Type Inference

arxiv.org·1d

Bukit mertajam 🧱WASM Components

facebook.com·4d

Loading more...