GoKawiil
Tech News
clear
Topic Analysis:
Today
This Week
This Month
This Year
31.
ScribeOCR – Web interface for recognizing text, OCR, & creating digitized docs
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
ocr
,
proofreading
,
scribe
32.
Creating a database of motivated proofs
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
motivated
,
platform
,
proof
33.
C-sigma: Easy-to-use Sigma proofs in C using libsodium
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
32
,
const
,
proof
34.
We all dodged a bullet
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
anubis
,
jshelter
,
proof
35.
We All Dodged a Bullet
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
anubis
,
jshelter
,
proof
36.
Anything can be a message queue if you use it wrongly enough (2023)
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
anubis
,
jshelter
,
proof
37.
'Ten Martini' Proof Uses Number Theory to Explain Quantum Fractals
(news.ycombinator.com)
2025-10-31 | by Lyndie Chiou |
related products
| tags:
avila
,
butterfly
,
jitomirskaya
38.
Who does your assistant serve?
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
anubis
,
jshelter
,
proof
39.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
fermat
,
information
,
project
40.
Age Verification Doesn't Need to Be a Privacy Footgun
(news.ycombinator.com)
2025-10-31 | by View Archive |
related products
| tags:
adult
,
knowledge
,
privacy
41.
The math is haunted
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
goal
,
lean
,
proof
42.
The Math Is Haunted
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
goal
,
lean
,
proof
43.
Evaluating publicly available LLMs on IMO 2025
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
best
,
model
,
models
44.
Verified dynamic programming with Σ-types in Lean
(news.ycombinator.com)
2025-10-31 | by Tanner Duve |
related products
| tags:
let
,
maxdollars_spec
,
memo
45.
Verified Dynamic Programming with Σ-types in Lean
(news.ycombinator.com)
2025-10-31 | by Tanner Duve |
related products
| tags:
let
,
maxdollars_spec
,
memo
46.
Proofs Without Words
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
arrangement
,
following
,
proof
47.
Writing a Truth Oracle in Lisp
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
function
,
proof
,
right
48.
Peano arithmetic is enough, because Peano arithmetic encodes computation
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
binary
,
induction
,
list
49.
Password-spraying attacks target 80,000 Microsoft Entra ID accounts
(bleepingcomputer.com)
2025-10-31 |
related products
| tags:
accounts
,
proofpoint
,
researchers
‹ prev
1
2
Today's top topics:
bowl
japan
google
chinese
halftime
super
super bowl
code
market
batteries
View all today's topics →