GoKawiil
Tech News
clear
Topic Analysis:
Today
This Week
This Month
This Year
271.
Verified Dynamic Programming with Σ-types in Lean
(news.ycombinator.com)
2025-10-31 | by Tanner Duve |
related products
| tags:
let
,
maxdollars_spec
,
memo
272.
A real fixed-point decimal crate in Rust
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
balance
,
decimal
,
fpdec
273.
Telecom giant Viasat breached by China's Salt Typhoon hackers
(bleepingcomputer.com)
2025-10-31 |
related products
| tags:
broadband
,
salt
,
telecom
274.
I found the 'Goldilocks' of travel chargers - now I don't leave home without it (plus it's on sale)
(zdnet.com)
2025-10-31 | by Adrian Kingsley-Hughes |
related products
| tags:
65w
,
adapter
,
travel
275.
Police seizes Archetyp Market drug marketplace, arrests admin
(bleepingcomputer.com)
2025-10-31 |
related products
| tags:
archetyp
,
enforcement
,
law
276.
Writing a Truth Oracle in Lisp
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
function
,
proof
,
right
277.
Subtype Inference by Example
(news.ycombinator.com)
2025-10-31 | by Considerations On Codecrafting |
related products
| tags:
cubiml
,
languages
,
let
278.
Type-based vs. Value-based Reflection
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
reflection
,
std
,
template
279.
OnePlus Watch 3s with the ‘Meda’ typo are limited editions, OnePlus jokes
(androidauthority.com)
2025-10-31 |
related products
| tags:
china
,
got
,
oneplus
280.
The OnePlus Watch 3 has an unfixable but endearing typo
(theverge.com)
2025-10-31 | by Victoria Song |
related products
| tags:
oneplus
,
review
,
smartwatch
281.
Chinese hackers use custom malware to spy on US telecom networks
(bleepingcomputer.com)
2025-10-31 |
related products
| tags:
cisco
,
devices
,
network
‹ prev
1
2
3
...
8
9
10
Today's top topics:
rust
openai
space x starship
anthropic
iphone
iphone 16
samsung
amazon
google
samsung galaxy s26
View all today's topics →