aoli-al

7 ms·

1.
Using a Linux Laptop in 2026(aoli.al)
6 points by aoli-al 10d ago|3 comments
2.
by aoli-al 28d ago
I'm using a recently released laptop, and Linux hardware support hasn't caught up yet. So I've been following the changelogs of recent kernel releases to understand the current state of support.
3.
Kimi K3 and GLM 5.2 can create undetectable malware for $2(incalmo.ai)
10 points by aoli-al 2mo ago|1 comments
4.
A system programmer's guide to LLM inference(blog.xiangpeng.systems)
3 points by aoli-al 3mo ago|0 comments
5.
Deterministic Simulation Testing for Distributed Systems: Good, Bad, and Ugly(aoli.al)
2 points by aoli-al 4mo ago|0 comments
6.
Spaghetti Bench: Evaluating AI Agents on Concurrency Bug Fixes(pastalab.org)
2 points by aoli-al 7mo ago|0 comments
7.
by aoli-al 9mo ago
My biggest complaint about Java development is the state of LSP/DAP support. I’ve tried writing Java in VS Code, and the support is still very incomplete. There are two features I want the most: (1) automatically downloading source cod
8.
Asterinas NixOS(asterinas.github.io)
2 points by aoli-al 10mo ago|0 comments
9.
The Steam client is now 64-bit on Windows 11 and Windows 10 64-bit(store.steampowered.com)
24 points by aoli-al 10mo ago|7 comments
10.
Academic Arbitrage in the LLM Era(c.mov)
1 points by aoli-al 10mo ago|0 comments
11.
by aoli-al 11mo ago
It is hilarious to read the title: "I took all my projects off the cloud [...]" and then you click the link it says: "Webserver is down".
12.
Can a Data Race Happen on a Single-Core Machine?(aoli.al)
3 points by aoli-al 1y ago|0 comments
13.
Linus still uses an RX580 and ditches Apple Silicon for an Intel laptop(tomshardware.com)
6 points by aoli-al 1y ago|0 comments
14.
by aoli-al 1y ago
Yes, Fray controls all application threads so it runs one test per JVM. But you can always use multiple JVMs run multiple tests[1]. Fray currently does not support virtual threads. We do have an open issue tracking it, but it is low priorit
15.
by aoli-al 1y ago
The "randomness" comes from Kotlin coroutines and user-space scheduling. For example, Kotlin runs multiple user-space threads on the same physical thread. Fray only reschedules physical threads. So when testing applications use co
16.
by aoli-al 1y ago
should be fixed as well :)
17.
by aoli-al 1y ago
Thanks for pointing it out! Just did a quick fix using Claude :)
18.
Discovering a JDK Race Condition, and Debugging It in 30 Minutes with Fray(aoli.al)
157 points by aoli-al 1y ago|52 comments
19.
by aoli-al 1y ago
https://github.com/cmu-pasta/fray Is a concurrency testing framework for Java. It also does deterministic simulation.
20.
Does Functional Package Management Enable Reproducible Builds at Scale? Yes. [pdf](arxiv.org)
1 points by aoli-al 1y ago|0 comments
21.
Shaping AI's Impact on Billions of Lives(shapingai.com)
2 points by aoli-al 1y ago|0 comments
22.
Build your own S3-Select in 400 lines of Rust – DataFusion is ALL YOU NEED(blog.xiangpeng.systems)
4 points by aoli-al 1y ago|0 comments
23.
Parquet Pruning in DataFusion: Read Only What Matters(datafusion.apache.org)
3 points by aoli-al 1y ago|0 comments
24.
Don't Make Things Work(maxwellforbes.com)
3 points by aoli-al 2y ago|0 comments
25.
Efficient Filter Pushdown in Parquet(blog.xiangpeng.systems)
2 points by aoli-al 2y ago|0 comments
26.
Evil Scheduler: Mastering Concurrency Through Interactive Debugging(aoli.al)
2 points by aoli-al 2y ago|0 comments
27.
by aoli-al 2y ago
https://github.com/cmu-pasta/fray Fray is a controlled concurrency testing tool for the JVM that supports record and replay. It could be a perfect backend for codetracer. (I'm the author of Fray)
28.
by aoli-al 2y ago
I'm the author of the post. I'm not sure Chrome's current caching behavior is helpful because the second response does not indicate which part of the data is returned. So, the application has no choice but to discard the data
29.
Chrome Returns 206 when the Server Returns 403(aoli.al)
128 points by aoli-al 2y ago|41 comments
30.
by aoli-al 2y ago
AFAIK, Antithesis uses a hypervisor to achieve deterministic execution. This can be less effective because the hypervisor does not have language semantics and faces a larger search space. You may check Figures 5 and 6 in our technical repor

More ›