vinhnx

5 ms·

1.
Starlink's Other Network(circleid.com)
2 points by vinhnx 2h ago|0 comments
2.
When the fractional part of a float fixes your shader(crocidb.com)
1 points by vinhnx 2h ago|0 comments
3.
Intro to AI Safety, Remastered (2021) [video](youtube.com)
2 points by vinhnx 1d ago|0 comments
4.
The Inference Hardware Revolution of 2026(spectrum.ieee.org)
152 points by vinhnx 1d ago|19 comments
5.
Disney's Films Used to Look Different(animationobsessive.substack.com)
2 points by vinhnx 1d ago|0 comments
6.
We are all Product Engineers now(seldo.com)
5 points by vinhnx 2d ago|2 comments
7.
Purely Functional Operating Systems(eighty-twenty.org)
1 points by vinhnx 2d ago|0 comments
8.
Roff (Software)(en.wikipedia.org)
1 points by vinhnx 2d ago|0 comments
9.
Anecdotally, Programmers Dislike "Reduce"(evanhahn.com)
14 points by vinhnx 2d ago|13 comments
10.
A Design Space Exploration of Async/Await(arxiv.org)
2 points by vinhnx 4d ago|0 comments
11.
ASI existential risk: reconsidering alignment as a goal(michaelnotebook.com)
2 points by vinhnx 5d ago|0 comments
12.
by vinhnx 5d ago
I've been using Merge AI Gateway and it's been useful so far. They tend to add new models quickly, and support has been responsive. https://gateway.merge.dev/
13.
A rant about phishing: It's not the user's fault (and not DNS either)(maurycyz.com)
3 points by vinhnx 5d ago|0 comments
14.
DeepSeek-v4.1-Flash: Pushing the Limits of KV Cache Compression [pdf](huggingface.co)
2 points by vinhnx 6d ago|0 comments
15.
Reverse engineering my e-scooter and rewriting the firmware in Rust(bensimms.moe)
448 points by vinhnx 7d ago|105 comments
16.
Switching Password Managers in 2026(rmondello.com)
2 points by vinhnx 7d ago|0 comments
17.
A Decade of Rustls(rustls.dev)
3 points by vinhnx 7d ago|0 comments
18.
GPT3 Writing Code(twitter.com)
11 points by vinhnx 7d ago|1 comments
19.
RabbitMQ vs. Apache Kafka(rabbitmq.com)
3 points by vinhnx 8d ago|0 comments
20.
How well do agents use test/verification techniques?(danluu.com)
191 points by vinhnx 9d ago|72 comments
21.
Jensen Huang: AGI has arrived(twitter.com)
2 points by vinhnx 9d ago|1 comments
22.
The Coming Merging of Mind and Machine (2001)(thekurzweillibrary.com)
2 points by vinhnx 10d ago|0 comments
23.
Securing Agents with Tracked Capabilities(dl.acm.org)
1 points by vinhnx 10d ago|0 comments
24.
One trie, three jobs, zero benchmarks won(akesson.io)
1 points by vinhnx 12d ago|0 comments
25.
ProgramBench(vals.ai)
4 points by vinhnx 12d ago|2 comments
26.
by vinhnx 13d ago
GPT-6 Astra scores 74.1% at DeepSWE v1.1 bench. Huge!
27.
by vinhnx 13d ago
https://chatgpt.com/ is up again
28.
by vinhnx 13d ago
It seems OpenAI is going to release Astra soon, https://x.com/ChatGPT/status/2095527989077557738 .
29.
Building VT Code, a Year In(huggingface.co)
1 points by vinhnx 13d ago|0 comments
30.
by vinhnx 13d ago
I've been building VT Code for about a year as a way to understand how coding-agent harnesses work in practice. Most of the code has been built with the help of coding agents, including VT Code itself. My focus has been on designing an

More ›