For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | verdagon's submissionsregister
1.
The Impossible Optimization, and the Metaprogramming to Achieve It (verdagon.dev)
9 points by verdagon 5 months ago | past | 1 comment
2.
Group Borrowing: Zero-cost memory safety with fewer restrictions (verdagon.dev)
85 points by verdagon 7 months ago | past | 86 comments
3.
Understanding SIMD: Infinite complexity of trivial problems (modular.com)
257 points by verdagon on Nov 25, 2024 | past | 116 comments
4.
Layer-wise inferencing and batching: Small VRAM doesn't limit LLM throughput (verdagon.dev)
2 points by verdagon on May 15, 2024 | past
5.
The Type of Sprintf (ryanbrewer.dev)
13 points by verdagon on May 14, 2024 | past | 21 comments
6.
Rhovas: A programming language for API design and enforcement (rhovas.dev)
2 points by verdagon on Sept 6, 2023 | past
7.
You Need More Constraints (borretti.me)
3 points by verdagon on July 30, 2023 | past
8.
Five Years of Rhovas (willbanders.dev)
1 point by verdagon on July 12, 2023 | past
9.
Experimenting with Memory Management for Basil (degaz.io)
2 points by verdagon on June 17, 2023 | past
10.
Single Ownership and Memory Safety Without Borrow Checking, RC, or GC (verdagon.dev)
3 points by verdagon on June 15, 2023 | past | 1 comment
11.
What’s the Smallest Variety of Cheri? (msrc-blog.microsoft.com)
1 point by verdagon on Jan 25, 2023 | past
12.
Sources of Complexity: Constraints (hillelwayne.com)
2 points by verdagon on Jan 24, 2023 | past
13.
Implementing a New Memory Safety Approach, Part 1 (verdagon.dev)
5 points by verdagon on Nov 22, 2022 | past
14.
Hash Codes, Non-Determinism, and Other Eldritch Horrors (verdagon.dev)
3 points by verdagon on Nov 9, 2022 | past
15.
What is Systems Programming, Really? (2018) (willcrichton.net)
1 point by verdagon on June 30, 2022 | past
16.
Which Programming Languages Use the Least Electricity? (thenewstack.io)
1 point by verdagon on June 30, 2022 | past | 1 comment
17.
Next-Gen Language Features: User Code on the GPU (verdagon.dev)
2 points by verdagon on June 27, 2022 | past
18.
Vale 0.2 Released: Higher RAII, Concept Functions, Const Generics, FFI, Modules (verdagon.dev)
1 point by verdagon on May 13, 2022 | past
19.
Added to Vale 0.2 Beta: Concept Functions (verdagon.dev)
2 points by verdagon on April 29, 2022 | past | 1 comment
20.
On removing let and let mut (verdagon.dev)
33 points by verdagon on April 20, 2022 | past | 20 comments
21.
Surprising Weak-Ref Implementations: Swift, Obj-C, C++, Rust, and Vale (verdagon.dev)
8 points by verdagon on April 2, 2022 | past | 2 comments
22.
Data races in Python, despite the Global Interpreter Lock (verdagon.dev)
85 points by verdagon on Feb 21, 2022 | past | 70 comments
23.
Seamless, Fearless, and Structured Concurrency (verdagon.dev)
1 point by verdagon on Feb 15, 2022 | past
24.
Generational references: 2.3x faster than reference counting (unoptimized) (vale.dev)
11 points by verdagon on Jan 7, 2021 | past
25.
Vale's Generational References (vale.dev)
14 points by verdagon on Jan 3, 2021 | past
26.
Zero-Cost References with Regions (vale.dev)
6 points by verdagon on July 31, 2020 | past
27.
Zero-Cost References with Regions in Vale (vale.dev)
3 points by verdagon on July 31, 2020 | past
28.
Zero-Cost References with Regions in Vale (vale.dev)
4 points by verdagon on July 30, 2020 | past
29.
The Next Steps for Single Ownership and RAII (vale.dev)
102 points by verdagon on July 17, 2020 | past | 38 comments
30.
The Next Steps for Single Ownership and RAII (vale.dev)
5 points by verdagon on July 15, 2020 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You