GoKawiil
Tech News
clear
Topic Analysis:
Today
This Week
This Month
This Year
1.
Liskell – Haskell Semantics with Lisp Syntax [pdf]
(news.ycombinator.com)
2025-12-15 |
related products
| tags:
haskell
,
haskell semantics
,
liskell
2.
Syntax hacking: Researchers discover sentence structure can bypass AI safety rules
(arstechnica.com)
2025-12-02 |
related products
| tags:
models
,
patterns
,
questions
3.
Show HN: Cuq – Formal Verification of Rust GPU Kernels
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
coq
,
mir
,
ptx
4.
Why study programming languages (2022)
(news.ycombinator.com)
2025-10-31 | by Rachit Nigam |
related products
| tags:
language
,
languages
,
programming
5.
Why Study Programming Languages
(news.ycombinator.com)
2025-10-31 | by Rachit Nigam |
related products
| tags:
language
,
languages
,
programming
6.
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
cloud
,
file
,
programming
7.
UK ties GRU to stealthy Microsoft 365 credential-stealing malware
(bleepingcomputer.com)
2025-10-31 |
related products
| tags:
antics
,
authentic
,
malware
Today's top topics:
apple
google
amazon
code
android
game
battery
model
power
billion
View all today's topics →