'(Robert Smith)

16K posts

'(Robert Smith) banner
'(Robert Smith)

'(Robert Smith)

@stylewarning

Currently flipping bits and rotating qubits. Advocate of open-source math software. You'll often catch me Lisping (or playing piano).

Los Angeles, CA Katılım Ağustos 2010
283 Takip Edilen5.3K Takipçiler
Sabitlenmiş Tweet
'(Robert Smith)
'(Robert Smith)@stylewarning·
> be NASA programmer > excited to write Lisp > code lookin like hieroglyphs > boss walks by > "wtf is that, alien code?" > no, just Lisp boss > boss laughs, Lisp now forbidden > mfw no cosmic parens > mission to Mars now in JavaScript > planet doomed > feelsbadman.jpg
English
17
31
399
53.6K
'(Robert Smith)
'(Robert Smith)@stylewarning·
@bygregorr user reported copy-paste doesn't work, that required patching in wl-copy other distros seem to not be able to make proper OpenGL/MESA (?) calls due to different webkit versions (?)
English
0
0
1
530
Gregor
Gregor@bygregorr·
@stylewarning What broke first, the copy-paste or the webkit dependency pulling in a version your distro didn't have?
English
1
0
0
572
'(Robert Smith)
'(Robert Smith)@stylewarning·
Last time I complained about packaging apps on Linux, people said it was all a well solved problem. Guess I have skill issues because: - Wayland and X have different ways to copy-paste - libwebkit2gtk-4.0 minor version bumps breaks API compatibility Frustrating...
English
10
4
158
10K
'(Robert Smith)
'(Robert Smith)@stylewarning·
Packaging apps for Linux in a way that is even somewhat portable across distros is incredibly frustrating. No wonder every distro effectively builds all their apps from scratch within their own package manager bubble.
English
6
0
39
1.3K
'(Robert Smith)
'(Robert Smith)@stylewarning·
If a coffee shop starts advertising pictures like these, it's guaranteed to have undergone the coffee-equivalent of enshittification.
'(Robert Smith) tweet media
English
3
1
15
615
Lukáš Hozda
Lukáš Hozda@LukasHozda·
Hiisi’s CL routes often signal validation conditions and let one wrapper translate them to HTTP. It keeps the happy path readable without losing typed errors. Unfortunately there is a risk of having a stack of (with-* ...) macros, but I keep my routes small hiisi dot app
Lukáš Hozda tweet media
English
1
0
8
710
alcuin ❄️
alcuin ❄️@scheminglunatic·
@stylewarning i had to stop using x:xs in haskell because i then remember my former romantic interests and get so sad i have to log off the computer.
English
1
0
0
50
alcuin ❄️
alcuin ❄️@scheminglunatic·
The reason why richly-typed languages have shorter variables is because the information is in the types not the names. But for me, I think it's interesting because you actually get 3 or 4 letters not just 1 -- variable name as 1 lalamo token, not one letter.
ゆきくらげ ଳM3 U-06a@yukikurage_2019

Haskell の一文字変数とか略語使う文化は普通に百害あって一利なしなので最近は略語使わないようにしてるし Claude もそう教育している

English
3
0
31
2.8K
'(Robert Smith)
'(Robert Smith)@stylewarning·
@scheminglunatic I agree with you, and another source of information can be that which is convention. 'c' is character (C), 'xs' is rest of a list (Haskell), etc.
English
1
2
3
52
alcuin ❄️
alcuin ❄️@scheminglunatic·
@stylewarning Another thing is like when I think about where information about a "thingy" ends up - it ends up somewhere. - in my mind, if it doesn't end up in the type it's in the name and if it's not in the name or the type it's in a comment right next to it. that kind of pattern
English
1
0
0
80
'(Robert Smith)
'(Robert Smith)@stylewarning·
@scheminglunatic s/in addition to/somewhat driven by/ The average OCaml code doesn't read lexically similar to Haskell (to me), and Common Lisp definitely doesn't read like Python, despite similar typing stature.
English
1
0
2
125
'(Robert Smith)
'(Robert Smith)@stylewarning·
@scheminglunatic I don't agree with this. I really think it's culture and convention, in addition to namespace ergonomics.
English
2
1
10
464
'(Robert Smith)
'(Robert Smith)@stylewarning·
@snmsts I don't read sbcl-devel very often. What sort of things?
English
1
0
2
322
'(Robert Smith)
'(Robert Smith)@stylewarning·
@geistgrail @croloris Moreover I generally would not consider AI slop-shippers to be bad actors in the traditional sense (wanting to cause malice), but rather trying to gain notoriety with low effort. A lot of AI PRs are actualky aimed to fix and improve.
English
0
0
0
15
'(Robert Smith)
'(Robert Smith)@stylewarning·
@geistgrail @croloris Disagree with (2). In my experience on GH so far, AI sloppers aren't reading any rules. They just blindly fire and forget.
English
1
0
0
20
'(Robert Smith)
'(Robert Smith)@stylewarning·
@_Felipe Just a normal amount (?). If I were responsible I would do a careful deep dive to figure it out. Instead I just want to program. (:
English
0
0
0
50
'(Robert Smith)
'(Robert Smith)@stylewarning·
lol @ this distribution of timings for building an identical program on different platforms and processors. macos arm64 - 6 min win11 arm64 - 20 min
'(Robert Smith) tweet media
English
5
1
15
944
'(Robert Smith)
'(Robert Smith)@stylewarning·
@croloris Your own post sort of concedes that this isn't a problem intrinsically w/LLMs, and more of a problem of misuse and lazy engagement. I predict Zig will backpedal on (or worse, be entirely hypocritical with) their position in due time, and I'm not really an LLM-optimist.
English
0
0
5
146
'(Robert Smith)
'(Robert Smith)@stylewarning·
@croloris My own 2¢: Regulating the tech used to produce a PR, I think, is a lost cause. Either a person is sincere and reasonable (≈ worth your maintainer time), or not. This calls for better moderation (à la "vouch" or similar) and more rigid participation/excommunication policies.
English
2
0
12
912
'(Robert Smith)
'(Robert Smith)@stylewarning·
Closed/deleted the bounty. It was a bad idea on my part 100%. "I will pay you to interact with someone else's repository on Coalton's behalf" as a public offer was a mistake.
English
0
0
8
337
'(Robert Smith)
'(Robert Smith)@stylewarning·
I put a bounty on a Coalton issue (add syntax highlighting support in another non-Coalton project) and in less than 5 hours some unknown people started pushing AI-generated PRs to this other project. Makes Coalton look bad. Never thought I'd need to actually moderate on GitHub.
English
3
2
47
1.8K
ludwig
ludwig@ludwigABAP·
cant make this shit up
ludwig tweet media
English
6
4
108
7.1K
'(Robert Smith)
'(Robert Smith)@stylewarning·
And before anybody calls me out, yes, I am a paying customer, and yes, they really do charge *me* by the minute for their infra not knowing its head from its ass.
English
0
0
15
391
'(Robert Smith)
'(Robert Smith)@stylewarning·
I'm just cherry-picking one response here but it applies all: Spare us the bleeding heart. It's literally been a meme that GitHub is in shambles. Three nines (89.99%) jokes, etc. Focus your energy internally on finding leadership that gives a shit, and not writing LinkedIn slop.
'(Robert Smith) tweet media
English
2
3
36
1.8K