Mark Bolusmjak @🏠

Tries to follow the scientific method. Follows are not general endorsements. It seems no one is immune to dubious and unsound statements.

[Mark Bolusmjak @🏠 @z5h]

The fundamental goal of a programmer is not to get shit done. It's to understand, completely, what you've done. Without that, you're fucked.

[Mark Bolusmjak @🏠 @z5h]

Next we can tell construction workers that tools are heavy and expensive . Use your bare hands to hammer nails. Free and lightweight!

[Dmitrii Kovanikov @ChShersh]

Your brain on FP is believing that remembering ~50 functions is superior to learning a single language construct

[Mark Bolusmjak @🏠 @z5h]

@VictorTaelin Strand, FLENG (Prologs). See https://t.co/xVY4lCK7iD and https://t.co/x4WnaSWn1L

[Mark Bolusmjak @🏠 @z5h]

@nathanmarz The more expressive a language is (runnable programs per volume of code) the more easily it is to accidentally create incorrect runnable programs. DSLs give you expressivity where you need it while simultaneously enforcing correct semantics for the domain.

[Mark Bolusmjak @🏠 @z5h]

@AgileJebrim That’s because I don’t program GPUs.

[Mark Bolusmjak @🏠 @z5h]

Fire invented.
Majority: bah, it uses up too much wood.

Wheel invented.
Majority: ooh, can I get one in square please.

[Taelin @VictorTaelin]

Sorry guys - I'll stop getting upset about people misinterpreting it. I think whoever matters understood the message. It is on me to be clear and truthful. It is not on me how people who couldn't read past the first paragraph will interpret it. It is just outside of my control

[Mark Bolusmjak @🏠 @z5h]

@VictorTaelin As Epictetus says. "Some things are in our control and others not." In your control are the points you laid out. Not in your control is misinterpretation. Don't worry, keep doing your good work. There will be no shortage of smart and industrious people who appreciate it.

[Erik Meijer @headinthebox]

Curreent state of my desk.

[Mark Bolusmjak @🏠 @z5h]

@ysegmond I hope this works. I hope it's done right.

[Mark Bolusmjak @🏠 @z5h]

@skdh Any agenda other than science must necessarily be anti-science.

[Mark Bolusmjak @🏠 @z5h]

@VictorTaelin @alittletyper But if you do full Prolog I’ll be your biggest fan.

[Mark Bolusmjak @🏠 @z5h]

@VictorTaelin @alittletyper Look to miniKanren instead. Pure logic, designed to be embedded and extended. Doable in one evening. Would its underlying lazy-stream approach parralelize?

[Mark Bolusmjak @🏠 @z5h]

@VictorTaelin Prolog DCGs, a dead simple idea once you see it, took a decade of work to figure out.

[Mark Bolusmjak @🏠 @z5h]

Contradicting the law of noncontradiction.

?- \+ (compare(A,A,B), \+ compare(A,A,B)).
false.

#prolog

[Mark Bolusmjak @🏠 @z5h]

@dhh doesn’t appear to understand the difference between a logical argument and unexamined anecdotes. That’s probably why name-calling is used to sound more convincing.

[DHH @dhh]

Gotta love the pivot from "it doesn't scale" to "you can't write real systems without types" as the new ding-dong argument against dynamically-typed languages like Ruby (and vanilla JavaScript and Smalltalk and...). https://t.co/lwxTGan6ZO

[Mark Bolusmjak @🏠 @z5h]

DHH enjoys the freedom of having more ways to write incorrect software.

[DHH @dhh]

"So farewell, TypeScript. May you bring much rigor and satisfaction to your tribe while letting the rest of us enjoy JavaScript in the glorious spirit it was originally designed: Free of strong typing." https://t.co/mCDhyrmEnu

[GO GREEN @ECOWARRIORSS]

Imagine London at 38.9 C on Jan 1st in Winter
This is just what happened in Chile and it did not even make main stream news https://t.co/MYJF632keL

[Mark Bolusmjak @🏠 @z5h]

@aaronwhite https://t.co/FeItAvDXKV

[Mark Bolusmjak @🏠 @z5h]

@aaronwhite Given that the “Rule 110 automaton” can be used to run any LLM we have, and given that Rule 110 can be implemented by placing rocks on a large beach, it seems fair to ask if subjective experience lies in the placed rocks, the current rock, or in the action of placing the rock.

[Mark Bolusmjak @🏠 @z5h]

@AndrewYNg Faster to where?

[Mark Bolusmjak @🏠 @z5h]

Logicians understand "False → False" and "False → True". You can prove lies AND truths starting with lies. A contradiction is a logical lie. Agendaists love contradictions as axioms. They can prove whatever suits them. (But in doing so, they arm opponents with the same tool.)