iceman

1.5K posts

iceman

iceman

@satisfiesvalues

I suspect you know how.

~littel-ponnys Katılım Nisan 2015
174 Takip Edilen340 Takipçiler
iceman
iceman@satisfiesvalues·
@sol_plunder @Ngnghm @msimoni Completely cosigned. The act of porting complicated data structure code from a statically typed language to an untyped language when I had test suites on both sides was eye opening.
English
1
0
2
141
sol🏴‍☠️
sol🏴‍☠️@sol_plunder·
@Ngnghm @msimoni Strong type systems are an *incredible* tool which massively aid in reading, writing, and designing software. There is nothing quite like building complex software in a small unityped languages to show this. 100s of hours wasted on bugs which would have been trivial type errors.
English
2
0
9
268
💻🐴Ngnghm
💻🐴Ngnghm@Ngnghm·
Static types catch errors early and that's great—but they also catch non-errors early, preventing you from writing the software you want—and that's terrible. Those who only tell you about one side of the tradeoff, or claim the other side is universally negligible—are dishonest.
English
30
12
127
12.2K
iceman retweetledi
Pontus
Pontus@Pontus4Pope·
The saddest thing about the Omincause is the gentle, slightly autistic people who get hoodwinked into taking the issue du jour sincerely. Imagine still being passionate about, say, SUSTAINABILITY, like a Japanese holdout after WW2, confused and angry why you've been abandoned.
English
15
65
1.1K
45.2K
iceman
iceman@satisfiesvalues·
(Phrased like a shitpost, but it's actually 75% the truth.)
English
0
0
1
49
iceman retweetledi
bayes
bayes@bayeslord·
I really can’t say this enough: If you’re still reasoning exclusively within the categories defined by the 2022/2023 twitter conversation around AI, that should trouble you. You should have some new opinions by now
English
19
14
295
21.8K
iceman retweetledi
kalomaze
kalomaze@kalomaze·
one man's cargo cult is another man's chesteron's fence
English
0
3
52
2.5K
iceman retweetledi
Zero HP Lovecraft
Zero HP Lovecraft@0x49fa98·
Defective altruists are the most horrible people in the world because they spend all their time fantasizing about how the most innocent minds in the world are going to betray them and murder them. Says more about you
English
7
12
387
11.7K
iceman retweetledi
Dean W. Ball
Dean W. Ball@deanwball·
Dean W. Ball tweet media
ZXX
24
200
2.4K
83.6K
iceman retweetledi
Martin Skold
Martin Skold@MartinSkold2·
The major use case for AI for the US government is against the enemies of whichever party happens to hold power at any given time. It’s a lagging indicator that the US is two countries (at least one of which would want very little to do with AI in the other’s absence).
Nicholas T. Rakoncza@NTRakoncza

The cusp of the issue is straight up TDS. I’ve been to events during the Biden admin where libtards were gushing about DoD’s use of AI.

English
1
3
11
638
iceman
iceman@satisfiesvalues·
@const_ We did not have tech to do this in like 2008. I've periodically tried to OCR and digitize my notebooks, and the 0.9B GLM-OCR was the first OCR system that did a decent enough job that the project looks feasible.
English
0
0
2
69
iceman
iceman@satisfiesvalues·
@eigenrobot I'm vibecoding and having fun, therefore it's good and real.
English
1
0
5
63
eigenrobot
eigenrobot@eigenrobot·
interesting thing about vibecoding is that i havent noticed any significant increase in * new software products unrelated to AI * new features in products i used other than AI features * fixes to existing broken features in products multiple potential explanations for this: 1. im dumb and dont notice things 2. no meaningful gains to coding velocity from vibecoding 3. all gains going to AI features 4. coding velocity is not the main bottleneck to shipping features and products
English
215
42
1.3K
63.8K
iceman retweetledi
Andreas Kling
Andreas Kling@awesomekling·
Over the last ~2 weeks I've rewritten the @ladybirdbrowser JavaScript compiler in Rust using AI agents. ~25k lines of safe Rust (20k if you exclude comments). No regressions on test262 or our own internal test suites. Extensively tested against the live web by browsing in lockstep mode where we run both the C++ and Rust pipelines, and then verify identical AST & bytecode. We're making a pragmatic decision and adopting Rust as a C++ successor language. What a time to be alive!
Ladybird@ladybirdbrowser

Ladybird adopts Rust, with help from AI ladybird.org/posts/adopting…

English
148
125
2.5K
326.9K
iceman retweetledi
Robin Hanson
Robin Hanson@robinhanson·
It makes sense to, when young, explore more, & see yourself as uncertain, full of more questions than answers. Then when older, be more settled & certain. But in my experience, teens act more certain, with more answers than questions. It is older folks who have more questions.
English
16
7
115
5.8K
iceman
iceman@satisfiesvalues·
@sol_plunder Claude is tutoring me on Maranget's algorithm right now. Just super useful for explaining how things work.
English
0
0
2
65
iceman
iceman@satisfiesvalues·
@sol_plunder Right, that was my experience sometime in very late December/early January. Last year, I periodically tried and found that AI couldn't really do low level data structures. That basically changed in 2026.
English
1
1
2
221
sol🏴‍☠️
sol🏴‍☠️@sol_plunder·
I just finished writing Wisp in 630 lines of C, w/ file loading+includes. We can now boot with literally zero binary dependencies. I'll rewrite in asm once stable. Making Wisp trivial enough to be reasonably written in assembly is big milestone. Wisp is astonishingly simple.
English
1
0
9
275
iceman retweetledi
Zero HP Lovecraft
Zero HP Lovecraft@0x49fa98·
Many people long for this but it will simply never happen. The old forums, the old blogs, the little islands of culture creation, they are all gone and nothing can bring them back, because for the most part, no one wants to do effortful content creation for an audience of 10
Avelum@novusolus

The Second Age of the Forum approaches.

English
53
41
1K
27.3K
iceman
iceman@satisfiesvalues·
@eigenrobot I'd obviously prefer my interlocutors to interpret me as not very smart, especially if both of us are market participants or rivals in some way.
English
0
0
7
200
eigenrobot
eigenrobot@eigenrobot·
would you rather your interlocutor interpret you as not very smart or as speaking in bad faith
English
19
0
71
5.3K
eigenrobot
eigenrobot@eigenrobot·
its interesting what sorts of "empathy" and so on people forbid themselves and its also interesting that theyll announce that they forbid themselves from comprehending such things such is the mark of a thoroughly educated mind
Slazac 🇪🇺 🇺🇦 🇹🇼 🌐@TrueSlazac

@kitten_beloved I can’t even begin to understand why it matters to anyone that people of a different ethnic background are also near you now

English
24
25
642
20.8K