artagnon

7 ms·

1.
Dark Age(artagnon.com)
7 points by artagnon 6d ago|4 comments
2.
The Deconstruction of Mathematical Reasoning(artagnon.com)
1 points by artagnon 12d ago|0 comments
3.
Bootstrapping Mechanical Correctness(artagnon.com)
2 points by artagnon 21d ago|0 comments
4.
Our Great Mutator(artagnon.com)
2 points by artagnon 2mo ago|0 comments
5.
Conflating Ego with Intelligence(artagnon.com)
1 points by artagnon 5mo ago|0 comments
6.
The Miserable Introvert(artagnon.com)
17 points by artagnon 6mo ago|1 comments
7.
Fallacious Vocabulary Around Merit(artagnon.com)
2 points by artagnon 6mo ago|0 comments
8.
AI and the War-Time Economy(artagnon.com)
1 points by artagnon 9mo ago|0 comments
9.
The Vectorization-Planner (VPlan) in LLVM(artagnon.com)
2 points by artagnon 1y ago|0 comments
10.
The pedestrian technology underneath the hype(artagnon.com)
1 points by artagnon 1y ago|0 comments
11.
The Capitalist Wet Dream(artagnon.com)
6 points by artagnon 2y ago|1 comments
12.
Deficiencies in LLVM's LoopVectorize(artagnon.com)
4 points by artagnon 2y ago|0 comments
13.
by artagnon 2y ago
Ruby. I still love the language, and maintain my SSG that was written in Ruby over a decade ago. Shame that it's nearly dead now.
14.
Snake Defense Fanfic(archiveofourown.org)
2 points by artagnon 3y ago|0 comments
15.
by artagnon 3y ago
LLVM deprioritizes helper scripts such as update_analyze_test_checks.py, and the build infrastructure is far from perfect. Scripts like the ones categorizing PRs are very much unpaid work. LLVM also deprioritizes general cleanup work, such
16.
by artagnon 3y ago
This echoes the problems we see in LLVM. Tooling is de-prioritized in several large corporation-funded open-source projects.
17.
by artagnon 3y ago
LatexML has come a long way. Even arXiv uses LatexML internally to offer HTML5 versions as of late 2023. It does have limitations in not supporting all packages, or producing a high-quality translation in all cases. If you don't need t
18.
by artagnon 3y ago
It's standard MathJaX that's rendered client-side. I managed to get MathJaX + XyPic rendered server-side on my website, which is a lot nicer.
19.
An Opinionated Comparison of Cities(artagnon.com)
12 points by artagnon 3y ago|6 comments
20.
Introduce Rust into the Git Project(lore.kernel.org)
3 points by artagnon 3y ago|0 comments
21.
Converting the Kernel to C++(lore.kernel.org)
79 points by artagnon 3y ago|55 comments
22.
Low-hanging fruit(artagnon.com)
24 points by artagnon 3y ago|21 comments
23.
by artagnon 3y ago
Oh no! I think we’re out of luck if my reading of [1] is right. Sonos API only supports streaming from a single URL. [1]: https://docs.sonos.com/docs/streaming-basics
24.
by artagnon 3y ago
Very slick interface with a nice selection of sounds! I would definitely use this if only it could connect to my Sonos.
25.
More than 500k under-35 in UK out-of-work due to long-term illness(theguardian.com)
7 points by artagnon 3y ago|5 comments
26.
Octoverse: The State of Open Source and the Rise of AI in 2023(github.blog)
3 points by artagnon 3y ago|0 comments
27.
Loco.rs: The Rails of Rust(shuttle.rs)
2 points by artagnon 3y ago|0 comments
28.
by artagnon 3y ago
Honestly, everyone working with C++ sticks to a select subset of the language that they've chosen for their project, or the project they're contributing to. Nobody knows all of C++. Personally, I don't mind C++ forking out in
29.
by artagnon 3y ago
God, this is so dehumanizing. When I think about the places such a thing can possibly happen, I think of North America and third world countries.
30.
Intel proposes XeGPU dialect for LLVM MLIR(discourse.llvm.org)
90 points by artagnon 3y ago|14 comments

More ›