📐 Quotient Types - abnv · Scour

‘Lunchbox,’ ‘Manto’ Producers Back Anshuman Jha, Devashish Makhija EFM Thriller ‘But First, The Burning’ (EXCLUSIVE)

variety.com·25m

🎪Actor Frameworks

first 'bed day' in a long while

s0ykaf.bearblog.dev·27m

🔗Concatenative

The Latest OST to Come to Nintendo Music is Paper Mario: The Origami King

nintendojo.com·28m

Relooted's New Release on Xbox Game Pass Sparks Controversy Before Launch

ixbt.games·22m

🛡️Capability Security

Southeast Asia Streaming Surges With 19% Growth, Indonesian Content Rivals K-Dramas, Report Finds

variety.com·25m

🕸️P2P Protocols

After Another Boat Bombing, House Progressives Demand End to ‘Donroe Doctrine’

lemmy.world·35m

Mark Karpeles has agreed to an interview with Bruce Fenton about Mt. Gox

stacker.news·16m

🌐Browser REPLs

Taiwan president urges parliament to pass stalled US$40 billion special defence budget

channelnewsasia.com·34m

Jigglypuff and Dragapult

blog.curiousquail.com·25m

🔍Fuzzy Matching

Story level QC: Ion Traps

shashvatshukla.com·55m

🧠Memory Ordering

Mark’s 93/KHJ 1972 MixTape #51

newsfromme.com·14m

🕸️P2P Protocols

So, my soul is still intact

scholarch.bearblog.dev·43m

🔧Error Recovery

Why I Don't Think AI is the Devil

louplummer.lol·55m

💬Smalltalk VMs

Tel Aviv-based Backslash Security, which safeguards enterprise software development from vibe coding risks, raised a $19M Series A, taking total funding to $27M...

techmeme.com·29m

Building a Reliable AI Analytics Agent with BigQuery, a Semantic Layer, and Google ADK

pub.towardsai.net

·35m

🔍Query Engines

Uncloneable encryption from decoupling

nature.com·4d

Grand jury fails to indict 6 Congressional Democrats, rebuking DOJ

thehill.com·20m

🔗Concatenative

(Early Stage) Heterodox Analytical Processing Engine Utilizing Tinygrad

github.com·2d·

Discuss: Hacker News

🌱Forth Kernels

Oracle: Shares A Hold Even As Upside Potential Exists (NYSE:ORCL)

seekingalpha.com

·32m

🔐Ownership Types

**Abstract:** This paper proposes a novel framework for quantifying the inherent logical incompleteness present in Gödelian systems by dynamically mapping ax...

freederia.com·4d

📜Proof Languages

Loading more...