- 31
Z3 Internals (Draft)(z3prover.github.io)
2 points by vismit2000 58 minutes ago
- 32
Ukraine Claims Naval First with Underwater Drone Strike on Russian Submarine(wsj.com)
2 points by JumpCrisscross 59 minutes ago | 2 comments
- 33
Online Sourcerer, my personal tech club(onlinesourcerer.org)
1 points by altugnet 60 minutes ago | 1 comments
- 34
Bare metal A100s for $0.38/HR (aggregating idle capacity)(neocloudx.com)
13 points by zyzzxroad 60 minutes ago
- 35
Creating custom yellow handshake emojis with zero-width joiners(blog.alexbeals.com)
2 points by dado3212 1 hour ago
- 36
2025 Word of the Year: Slop(simonwillison.net)
2 points by vismit2000 1 hour ago
- 37
Quill OS – an open-source, fully-functional standalone OS for Kobo eReaders(quill-os.org)
48 points by Curiositry 1 hour ago | 6 comments
- 38
Is it worth emulating Oracle built-in routines in Snowflake and BigQuery(hexacluster.ai)
1 points by avi_vallarapu 1 hour ago | 1 comments
- 39
Datasetq: jq for Datasets; Polars-powered Parquet/JSON/CSV query lang/cli(github.com/datasetq)
2 points by djb-at-durable 1 hour ago
- 40
The Bob Dylan Concert for Just One Person(flaggingdown.com)
9 points by NaOH 1 hour ago