bug-bounty531
xss259
rce157
google135
bragging-post120
malware105
account-takeover101
microsoft100
facebook98
open-source91
exploit83
privilege-escalation83
cve78
csrf78
authentication-bypass75
stored-xss72
access-control65
phishing64
ai-agents63
reflected-xss61
web-security53
input-validation53
sql-injection49
cross-site-scripting48
reverse-engineering46
apple46
smart-contract46
tool46
ethereum45
defi45
ssrf45
privacy44
dos44
web-application43
supply-chain41
information-disclosure39
web338
cloudflare38
llm37
responsible-disclosure37
writeup36
api-security35
opinion35
burp-suite35
automation34
browser34
vulnerability-disclosure34
idor33
machine-learning32
code-generation31
0
1/10
An analysis of how to achieve first-class types in programming languages without requiring compile-time code execution, using Odin as an example of syntactic unification between type and value expressions. The author argues this approach is superior to separate type parameter syntax like generics in C++ because it avoids the complexity of a separate compile-time execution mode while providing cleaner, more flexible syntax.
programming-language-design
type-systems
generic-programming
compile-time-execution
syntax-design
odin-language
zig-language
first-class-types
language-comparison
Zig
Odin
C
C++
Rust
Go
Luna Razzaghipour