📐 Quotient Types - abnv · Scour

ByteDance's AI Video Generation Powerhouse

seedance.fast·35m·

Discuss: Hacker News

🌊Streaming Lexers

Sudan’s latest peace plan: what’s in it and does it stand a chance?

theconversation.com·31m

Open Stack standalone 4G LTE IoT board runs RTOS on Quectel EC200 LTE module (Crowdfunding)

cnx-software.com·37m

🤖Embedded Go

Nest Cam footage recovered in kidnap case sparks privacy fears

androidauthority.com·37m

🔐Security Types

Morning Call: Labour’s stealth leftism

morningcall.substack.com·43m·

Discuss: Substack

⚙️Async State Machines

Top battery makers' market share in China in Jan 2026: CATL 49.79%, BYD 17.43%

cnevpost.com·37m

📈Query Optimization

Galaxy Unpacked 2026: Samsung confirms launch date for its latest Galaxy flagship

neowin.net·41m

🔌Microcontrollers

Seismocardiography Pig Hypovolemia Dataset for Signal Quality Indexing and Validated Cardiac Timings

nature.com·28m

✨Effect Inference

Why Y Combinator and Aaron Epstein Are Betting on AI-Native Agencies

ai-native-agency.com·44m·

Discuss: Hacker News

🎭Program Synthesis

Let′s make a programming language. Part 1. Intro

pvs-studio.com·50m·

Discuss: Hacker News

🔬programming language theory

Ask HN: What conventions exist for declaring AI content online?

news.ycombinator.com·30m·

Discuss: Hacker News

💬Interactive REPLs

‘It still feels incredibly relevant’: the groundbreaking art of Theresa Hak Kyung Cha

theguardian.com·55m

Meritage Homes Corporation: Demand Is Still The Problem

seekingalpha.com

·34m

📮Message Queues

The London Company FY Income Equity – 2025 Vs R1000V Q4 2025 Commentary

seekingalpha.com

·39m

Show HN: Chroma Master A premium Flutter color suite with 7 integrated games

news.ycombinator.com·48m·

Discuss: Hacker News

💬Error Messages

Russia plays prideful, but there’s no doubt the Olympics ban is hurting

theguardian.com·58m

🌊Gradual Typing

Will Plug Power Stock Double in Price to $4 Per Share in 2026?

finance.yahoo.com·38m

📈Query Optimization

Concode0/Versor: Versor: Stop Projecting, Start Rotating. GBN (Geometric Blade Network) - A new era of AI beyond Linear Algebra.

github.com·3d·

Discuss: Hacker News

🔍Lens Libraries

🤕 Raphinha, Rashford out for Copa semi-final first leg v Atleti

sports.yahoo.com·25m

🚂Error Propagation

The Fisher score on the closed simplex

arxiv.org·1d

🔢Algebraic Datatypes

Loading more...