🔬 Logic in Computer Science - matmat · Scour

JET Games USA Launches Giga Shot, Cyber Punch & More

arcadeheroes.com·3h

📺Retrogaming

Physicists Unlock a New Way To Detect Tiny Fluctuations in Spacetime

scitechdaily.com·3h

⏰Time Crystals

The Mortuary Assistant director Jeremiah Kipp says the game's developer was ‘enormously supportive’ of the movie — and teases a surprise cameo

techradar.com

·3h

🏺Gaming Archaeology

Superloop’s new NBN Super Speed Sale just slashed the price of its 1Gbps plan to AU$79 a month

techradar.com

·3h

🕸️Mesh Networking

Russia moves to block WhatsApp in messaging app crackdown

bbc.com·3h

🔐Soviet Cryptography

James Van Der Beek’s Family Earns $1 Million From GoFundMe in Hours After His Death

variety.com·3h

⚙Backus-Naur Form

Porch Group, Inc. 2025 Q4 - Results - Earnings Call Presentation (NASDAQ:PRCH) 2026-02-11

seekingalpha.com

·3h

BYU standout receiver Parker Kingston charged with first-degree rape in Utah

the-independent.com·3h

🏴‍☠️Piracy

Bain Capital Specialty Finance Stock: Remains A Sleeper Within The BDC Sector (NYSE:BCSF)

seekingalpha.com

·3h

📇Indexing Strategies

Oklahoma set to execute man convicted of double killing in 2006 drive-by shooting

the-independent.com·2h

⚖️Digital Evidence

Building Hybrid Search for RAG: Combining pgvector and Full-Text Search with Reciprocal Rank Fusion

dev.to·3h·

Discuss: DEV

🔍Semantic Search

On the Expressive Power of GNNs for Boolean Satisfiability

arxiv.org·2d

🧮Constraint SMT

Definability and Interpolation in Philosophy

arxiv.org·2d

🔲Proof Irrelevance

The Best Conversations Happen in Cars

oedmethod.substack.com·3h·

Discuss: Substack

📡Information theory

GLM-5 | Zhipu AI's Next-Generation Large Language Model

glm5.net·3h·

Discuss: Hacker News

🧮Z3 Applications

Ask HN: How do you deal with long Covid?

news.ycombinator.com·2h·

Discuss: Hacker News

🏠Personal Archives

Skills in OpenAI API

developers.openai.com·3h·

Discuss: Hacker News

🔄Archival Workflows

OpenClaw but Running on My iPhone

news.ycombinator.com·2h·

Discuss: Hacker News

🖥️Modern Terminals

Reflections on Using Claude Code

ternarysearch.blogspot.com·3h·

Discuss: Hacker News

🔩Systems Programming

rsaxvc/jFloaty: Render JPEGs direct to 32-bit RGB pixels

github.com·3h·

Discuss: Hacker News

Loading more...