GoKawiil
Tech News
clear
Topic Analysis:
Today
This Week
This Month
This Year
1.
Lexega Turns SQL into Signals
(news.ycombinator.com)
2026-02-20 |
related products
| tags:
lexega
,
sql
,
signals
2.
Choosing a Language Based on Its Syntax?
(news.ycombinator.com)
2026-02-19 |
related products
| tags:
just
,
language
,
odin
3.
Colored Petri Nets, LLMs, and distributed applications
(news.ycombinator.com)
2026-02-14 |
related products
| tags:
cpns
,
petri
,
semantics
4.
Liskell – Haskell Semantics with Lisp Syntax [pdf]
(news.ycombinator.com)
2025-12-15 |
related products
| tags:
haskell
,
haskell semantics
,
liskell
5.
Syntax hacking: Researchers discover sentence structure can bypass AI safety rules
(arstechnica.com)
2025-12-02 |
related products
| tags:
models
,
patterns
,
questions
6.
Show HN: Cuq – Formal Verification of Rust GPU Kernels
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
coq
,
mir
,
ptx
7.
Why study programming languages (2022)
(news.ycombinator.com)
2025-10-31 | by Rachit Nigam |
related products
| tags:
language
,
languages
,
programming
8.
Why Study Programming Languages
(news.ycombinator.com)
2025-10-31 | by Rachit Nigam |
related products
| tags:
language
,
languages
,
programming
9.
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
cloud
,
file
,
programming
Today's top topics:
rust
iphone 16
space x starship
apple
anthropic
california
samsung
nvidia
annihilation
openai
View all today's topics →