bug-bounty524
xss251
rce148
google124
bragging-post120
account-takeover100
malware94
microsoft92
facebook91
open-source91
privilege-escalation80
csrf77
authentication-bypass75
exploit72
stored-xss72
cve71
access-control65
ai-agents63
reflected-xss61
phishing58
input-validation53
web-security53
sql-injection49
cross-site-scripting48
tool46
smart-contract46
ethereum45
defi45
ssrf45
privacy44
web-application43
reverse-engineering43
apple43
dos42
information-disclosure39
supply-chain39
web338
responsible-disclosure37
llm37
cloudflare36
opinion35
burp-suite35
api-security35
vulnerability-disclosure34
automation34
idor33
writeup33
machine-learning32
html-injection31
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