αlβε

1.4K posts

αlβε banner
αlβε

αlβε

@__hl1n__

AI/ML - Zig - Golang - Rust

Here (Now) Katılım Temmuz 2011
212 Takip Edilen215 Takipçiler
Nick Schrock
Nick Schrock@schrockn·
I have never actively wanted a programming language to fail but thanks to Andrew Kelley's scurrilous, outrageous, classless post on @jarredsumner 's bun rewrite, I got there. Port every project from Zig to Rust.
English
67
23
692
126.6K
αlβε retweetledi
Joran Dirk Greef
Joran Dirk Greef@jorandirkgreef·
At TigerBeetle, as systems engineers, we: 1. write code, sharpening skill and second order understanding 2. read code, walking through the building to constantly improve things 3. review code, ensuring no code is merged without two engineers’ understanding and review.
English
18
41
433
15.8K
αlβε retweetledi
Casey Muratori
Casey Muratori@cmuratori·
@filpizlo You know how free software advocates always say, "free as in 'free speech', not 'free beer'"? Maybe they are wrong and it's actually "free" as in "use after free".
English
3
15
323
13.8K
αlβε retweetledi
The Lunduke Journal
The Lunduke Journal@LundukeJournal·
Rust is the Paper Straw of Computers It solves a problem nobody had and makes everything worse. And those in power demand that you use it.
English
42
68
552
17.7K
αlβε
αlβε@__hl1n__·
@digvijoy_c @antirez ok, I'll tell you some of my merged PRs over the last 20years, if you tell me how much did you pay >1k unverified followers.
English
0
0
3
1.1K
Digvijoy Chatterjee
Digvijoy Chatterjee@digvijoy_c·
@albertodeprezzo @antirez Ok one chance at civility : name a software which has 1/1000 usage of Redis that you were involved in. If the answer is No then you are clueless about “Anthropic will replace…”
English
1
0
5
1.2K
antirez
antirez@antirez·
People for years told me why I never talked about competitors of Redis. The Zig / Bum drama is a good warning. Do your job, without thinking everything is some form of competition or comparison. So: do your stuff, leave people that act lawfully alone.
English
27
86
1.5K
112.6K
αlβε
αlβε@__hl1n__·
@antirez ok, you don't care. Good for you, mate. Maybe there's a guy that wants to sort things out, though, because he consider his project something precious deserving to tell the full story, cleaned of all the noise AI market and Rust community generated over the weeks.
English
1
0
4
7.2K
antirez
antirez@antirez·
@albertodeprezzo You have no idea how little a fuck I could give. Our personal stories are nothing compared to human progress and evolution.
English
12
50
760
94.1K
αlβε
αlβε@__hl1n__·
@digvijoy_c @antirez > trolls who never shipped this thread summarizes your inability to hold a civil debate with unknown people guilty of not being popular
English
1
0
3
1.5K
αlβε
αlβε@__hl1n__·
@_ontologic @oleksandr_now @antirez he said what everybody knows is true: bun has been poorly managed since the day 2, when instead of solving issues jarred introduced workarounds. Now he can sell it as a success story, which is not, unless you consider the Anthropic acquisition as _the_ discriminant.
English
1
0
1
105
∿spencer.​​​​​​​​​​​​​​​​​​​​​​​​​​​​​
It does actually matter how you say things, insisting otherwise is cope by people who will never be taken seriously because they aren’t a serious person. If Andrew wanted the content of his argument to matter more than his tone he wouldn’t have written so acerbically. I’m willing to bet that Andrew has gotten exactly the response from ppl that he was aiming for
English
1
0
4
111
αlβε
αlβε@__hl1n__·
@oleksandr_now @antirez yes, indeed. So what's wrong in explaining what's happened? Andrew used some harsh words probably he should have avoided, just because people start focusing on them instead of what he said, which is a perfect snapshot of what bad management is, in the AI age
English
1
0
1
483
αlβε
αlβε@__hl1n__·
good points. I would add that bad technical management remains bad even with a strict compiler like rustc. It just produces different technical debt, inconsistencies and (more generally) hidden bugs. The point is: why the IT industry is considering a "passing tests" LLM rewrite "modern programming"? nobody cares about the quality, no more? Probably nobody understands the new codebase, which is something crazy, if I had to adopt it in prod
English
0
0
0
293
Debasish (দেবাশিস্) Ghosh 🇮🇳
so many vibes to that andrew kelley post .. > We became increasingly horrified at the programming practices we saw in Bun's codebase. Hacks on top of hacks. Abuse of assertions. Most of all, recklessly speeding past feature after feature with very little time taken for reflection and elimination of bugs and technical debt. does this mean Zig is difficult to scale in a team ? Or just bad software engineering practices were followed .. Any experience to share from developers working in Zig in a team of meaningful size ?
English
7
1
44
11.3K
αlβε retweetledi
International Cyber Digest
International Cyber Digest@IntCyberDigest·
🐧 Linus Torvalds gets angry when people say 99% of our code is written by AI, he told the audience at the Open Source Summit.
English
90
608
4.3K
449.6K
αlβε retweetledi
Charlie Marsh
Charlie Marsh@charliermarsh·
Announcing uv audit: native support for vulnerability scanning across your project's dependencies
Charlie Marsh tweet media
English
22
91
965
42.2K
αlβε
αlβε@__hl1n__·
4. true logit-based distillation isn't possible via standard APIs, and that API distillation isn't magic or lossless. However, response distillation with strong CoT data is real, effective, and widely used in 2026 (including by DeepSeek themselves for their open models). It has enabled huge progress in smaller, efficient reasoning models. It's not "sci-fi". it's engineering that works better than expected.
English
0
0
0
45
αlβε
αlβε@__hl1n__·
3. Pretraining provides the broad capability surface. SFT / imitation on high-quality CoT (from teacher) provides the specific reasoning patterns. RL (with verifiers or outcome rewards) refines it further. The "info channel" is the synthetic demonstrations, especially long reasoning traces. This has been shown to transfer reasoning effectively (see DeepSeek's own results and follow-ups). No, it's not as rich as full logits every token, but it's sufficient for major gains. Absence of logits doesn't make it "nonsense." It's just a different regime
English
1
0
0
61
antirez
antirez@antirez·
Another important thing: Chinese models are not strong because they distill US models. Distillation of models via API is *impossible*. If somebody tells you the contrary, they don't understand machine learning:
English
126
112
1.6K
437.9K
αlβε
αlβε@__hl1n__·
@valigo "Go doesn't provide assertions. They are undeniably convenient, but [...] programmers use them as a crutch to avoid thinking about proper error handling and reporting." if you complain about it, you're missing what error is in go: a value you have to handle, not an unwanted case
English
0
0
17
988
Valentin Ignatev
Valentin Ignatev@valigo·
Just learned that Go doesn't have assertions. How is this language even real.
English
73
8
800
126.9K
αlβε
αlβε@__hl1n__·
@ThePrimeagen no surprise. It's just the way a portion of sw industry seems to be working, now. If it compiles, ship it, AI will -eventually- fix it later.
English
1
0
1
1.2K