🔬 Logic in Computer Science - matmat · Scour

Migration Agency ethics board member resigns over teen deportations

sverigesradio.se·1h

🎯Gradual Typing

Read more: Crans-Montana bar owners confronted by fire victim relatives

swissinfo.ch·1h

🚨Incident Response

“Films are the opposite of politics” says Wim Wenders at Berlinale opening press conference

screendaily.com·1h

🎭Cinema Acoustics

France proposes bold measures to boost birth rate

france24.com·1h

🇫🇷French Computing

Swedish pet insurtech Lassie raises $75M Series C after hitting $100M ARR

thenextweb.com·1h

🏛️Swedish Tech History

These are the most Gen Z Olympics yet. Oversharing, activism, and AI are all on the podium.

businessinsider.com

·1h

🇸🇪Nordic Algorithms

Read more: Swiss home electronics market resumes growth

swissinfo.ch·1h

🇳🇱Dutch Computing

France's Duplomb law debate reignites over controversial pesticides

france24.com·1h

⚗️Polynomial Codes

U.S lawmakers demand sales ban on chipmaking tools to China — bipartisan group targets ASML's Dutch exports of lithography machines used to create advanced chip...

tomshardware.com

·53m

⚙️DIY Electronics

The US Air Force needs to buy hundreds of sixth-gen fighters and bombers to be ready for a China fight, airpower experts say

businessinsider.com

·57m

⚙️systems theory

Here’s a key task for the new boss at the BBC: solve the mystery of all the disappearing women

theguardian.com·1h

📰RSS Reading Practices

Tri Ponte Homes: Q4 May Represent A Bottom, But Valuations Still Look Concerning (NYSE:TPH)

seekingalpha.com

·1h

We escaped to the country for idyllic village life – now we face being imprisoned by sea of solar panels

the-independent.com·13m

🧊Arctic Storage

Syndax Pharmaceuticals' Early Launch Success Signals Continued Growth Into 2026 (NASDAQ:SNDX)

seekingalpha.com

·58m

🔍Information Retrieval

Man Utd supporters blast Sir Jim Ratcliffe for ‘marginalising’ fanbase after immigration comments

the-independent.com·8m

🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing

On the Expressive Power of GNNs for Boolean Satisfiability

arxiv.org·2d

🧮Constraint SMT

Definability and Interpolation in Philosophy

arxiv.org·2d

🔲Proof Irrelevance

Building a 3D Elevation Photo Diary with deck.gl

geeksta.net·41m·

Discuss: Hacker News

📐Projective Geometry

A daily updated database of startup investments in Europe Newsider.com

newsider.com·56m·

Discuss: Hacker News

📰Feed Readers

EloqDoc vs MongoDB - Part 1: Architecture and Design Overview

devtoolsacademy.com·43m·

Discuss: Hacker News

🌐Edge Preservation

Loading more...