progscrape: www.philipzucker.com/telescope

Telescopes Are Tries: A Dependent Type Shellac on SQLite

27 days ago philipzucker.com database formalmethods plt

Inequality Union Finds: Baby Steps to Refinement E-graphs

18 days ago philipzucker.com formalmethods plt

James Webb, Hubble space telescopes face reduction in operations

6 days ago astronomy.com

rookie question on type assertion, going through k8s docs interface

4 days ago reddit.com go

Ireland Tries Kites Instead of Windmills To Generate Electricity

2 days ago rte.ie ireland power

Tuple type hints?

19 days ago reddit.com python

Music Pioneer Napster Tries Again, This Time With AI Chatbots

12 days ago fastcompany.com ai music

Pbf2sqlite: Reading OpenStreetMap into a SQLite Database

19 days ago github.com database

Rust-Geo: Dependent select/dropdown options for Earth → Countries → States/Regions → Cities/Towns

10 days ago github.com earth rust

Fsyncgate: errors on fsync are unrecoverable

9 days ago danluu.com

Type safe row sql

15 days ago reddit.com go sql

Microlib for Type Constraints

45 hours ago reddit.com zig

SQLite async connection pool for high-performance

9 days ago github.com

Tesla Tries to Save the Cybertruck With Its Most Desperate Offer Yet

7 hours ago gizmodo.com tesla

Designing Kotlin Beyond Type Inference

46 hours ago youtu.be

aiosqlitepool - SQLite async connection pool for high-performance

9 days ago reddit.com python

GPUHammer: Rowhammer attacks on GPU memories are practical

4 days ago gpuhammer.com gpu hardware security

Importing purely for a type hint?

13 days ago reddit.com python

Type hints helped my job interview

5 days ago reddit.com python

Poor man's bitemporal data system in SQLite and Clojure

5 days ago evalapply.org clojure database lisp

Conspiracy theorists unaware their beliefs are on the fringe

9 days ago news.cornell.edu

How to do type erasure in Zig?

18 days ago reddit.com zig

The first alpha of Turso: The next evolution of SQLite

18 days ago turso.tech

Build your own SQLite in Rust, Part 6: Overflow pages

12 days ago blog.sylver.dev rust

Introducing the first alpha of Turso: The next evolution of SQLite

17 days ago turso.tech rust

Building a map of the whole history using Wikidata and SQLite.

13 days ago github.com

Method call resolution in Rust for type parameters

14 days ago gist.github.com rust

How would you name a private singleton type/object?

2 days ago reddit.com go

Type annotated parser combinator package with dataclass integration (Parmancer)

40 hours ago reddit.com parser python

Checking if 20K URLs are indexed on Google (Python + proxies not working)

10 days ago reddit.com google python

Low-quality papers based on public health data are flood scientific literature

5 days ago nature.com

>progscrape ▒

All the news that's fit to scrape