artagnon

12 ms·

1.
The Deconstruction of Mathematical Reasoning(artagnon.com)
1 points by artagnon 3d ago|0 comments
2.
Bootstrapping Mechanical Correctness(artagnon.com)
2 points by artagnon 12d ago|0 comments
3.
Our Great Mutator(artagnon.com)
2 points by artagnon 2mo ago|0 comments
4.
Conflating Ego with Intelligence(artagnon.com)
1 points by artagnon 5mo ago|0 comments
5.
The Miserable Introvert(artagnon.com)
17 points by artagnon 6mo ago|1 comments
6.
Fallacious Vocabulary Around Merit(artagnon.com)
2 points by artagnon 6mo ago|0 comments
7.
AI and the War-Time Economy(artagnon.com)
1 points by artagnon 9mo ago|0 comments
8.
The Vectorization-Planner (VPlan) in LLVM(artagnon.com)
2 points by artagnon 1y ago|0 comments
9.
The pedestrian technology underneath the hype(artagnon.com)
1 points by artagnon 1y ago|0 comments
10.
The Capitalist Wet Dream(artagnon.com)
6 points by artagnon 2y ago|1 comments
11.
Deficiencies in LLVM's LoopVectorize(artagnon.com)
4 points by artagnon 2y ago|0 comments
12.
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.
13.
Snake Defense Fanfic(archiveofourown.org)
2 points by artagnon 3y ago|0 comments
14.
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
15.
by artagnon 3y ago
This echoes the problems we see in LLVM. Tooling is de-prioritized in several large corporation-funded open-source projects.
16.
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
17.
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.
18.
An Opinionated Comparison of Cities(artagnon.com)
12 points by artagnon 3y ago|6 comments
19.
Introduce Rust into the Git Project(lore.kernel.org)
3 points by artagnon 3y ago|0 comments
20.
Converting the Kernel to C++(lore.kernel.org)
79 points by artagnon 3y ago|55 comments
21.
Low-hanging fruit(artagnon.com)
24 points by artagnon 3y ago|21 comments
22.
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
23.
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.
24.
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
25.
Octoverse: The State of Open Source and the Rise of AI in 2023(github.blog)
3 points by artagnon 3y ago|0 comments
26.
Loco.rs: The Rails of Rust(shuttle.rs)
2 points by artagnon 3y ago|0 comments
27.
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
28.
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.
29.
Intel proposes XeGPU dialect for LLVM MLIR(discourse.llvm.org)
90 points by artagnon 3y ago|14 comments
30.
by artagnon 4y ago
The example described in this post is JSON parsing in Haskell, but I've implemented a complicated compiler transform that lifts loops to static control parts (SCOPs), in the past, in C++. Each inner function in the lift would switch on

More ›