xlii

11 ms·

211.
Weird, but Haskell Feels Easy(xlii.space)
7 points by xlii 1y ago|0 comments
212.
by xlii 1y ago
That's true, just as I cannot possibly measure car speed given innate measuring error which is not a defense from getting a speeding ticket. Formal proving isn't about getting to "my model is reality" but having step abo
213.
by xlii 1y ago
There's this place for formal proving that most people won't get to and think it's stupid. I was such person some time ago, but then started to work on the system that: Required 2-3 months for implementation, had no room for
214.
by xlii 1y ago
Disclaimer: I'm a Cuelang[0] fanboy Do yourself a favor and use Cuelang instead. Word of warning though: documentation isn't the best and takes some time to get, but once it clicks... [0]: https://cuelang.org
215.
by xlii 1y ago
Today, for the first time ever, I had to kill a terminal with all the tabs because it became unresponsive. Welp, that explains it. I haven't changed terminal in a while anyway...
216.
State of Opinion – Programming Languages – Autumn 2025 Edition(xlii.space)
3 points by xlii 1y ago|0 comments
217.
by xlii 1y ago
I'm not as fiercy minded as Joachim, but this article is manipulative as hell: - "spam campaign" - "trying to pass a European bill aimed at stopping CSAM" - "a bill _seen by privacy activists_ as bre
218.
by xlii 1y ago
That's what my music teacher told me. I agree but then I have that irresistible pull for "do more, complicate, extend". And with change of seasons my fingers became stiff which is annoying.
219.
by xlii 1y ago
Seems that the researchers didn't popularize this part good enough. I have some suspicions why this might happen, but it's already into complex consideration area. I'm thinking about something that's called "limited
220.
by xlii 1y ago
That's correct, it's just reality is too complicated to put in simple numbers. I play 1-3 hours daily per usual, but had 5-10h sessions sometimes. Once my family left and I sat 18h hours while practicing sounds. And yes, I play ev
221.
by xlii 1y ago
I discussed this with doctors and I was told that visual and audible aphantasia exist, but visual one is much more known. It seems I have both, which explains why I never could learn in classical way through repetition, hearing etc. However
222.
by xlii 1y ago
This is often discussed in Psychology ( https://en.wikipedia.org/wiki/Fake_it_till_you_make_it#In_ps... ) Regarding gym beast - it has few effects: - you eat bigger portions - you go to gym more often - you try harder (i
223.
Talent Is Alignment(xlii.space)
30 points by xlii 1y ago|65 comments
224.
by xlii 1y ago
I feel it's OM camera issue. I've been importing raws for years from Sony and earlier from Pentax and didn't experience it. In fact searching for "OM image corruption" shows bunch of results not related to Apple Pho
225.
by xlii 1y ago
Living in Poland I cannot agree more. Almost no features from last 2 years in available here. Not even Genmoji toys (because iPhone language has to be set to English). Siri still doesn't support Polish and it cannot even discern betwee
226.
by xlii 1y ago
And I'll recommend Turing Complete game on Steam if someone wants to have full journey. It's a puzzle focused on creating electronic components (with the goal of creating a running computer). Since it's more educational than
227.
by xlii 1y ago
Seems like a plausible idea but working with clocks my first question would be "whose clock is it". Is it repository defined clock? My clock? Git remote’s clock? AFAIK this can be used for hashes, but friends don’t let friends use
228.
Free Will's Tiny Probabilistic Edge(xlii.space)
1 points by xlii 1y ago|0 comments
229.
by xlii 1y ago
I don't share experience about not being suitable about bare metal. But I do have experience with high level languages doing similar things through "innovative" thinking. I've seen int overflows in Rust. I've seen l
230.
by xlii 1y ago
I don't agree with most of the article but I believe I know where it comes from. Golang's biggest shortcoming is the fact that it touches bare metal isn't visible clearly enough. It provides many high level features which mak
231.
by xlii 1y ago
After spending some time in lower level languages Go IMO makes much more sense. Your example: First one - you have an address to a struct, you pass it, all good. Second case: you set address of struct to "nil". What is nil? It&#x2
232.
by xlii 1y ago
One thing to keep in mind that methylphenidate is contextual and metabolic related. Hard focus work could make it work shorter, but also some have metabolism so quick that they burn through medication. That's controlled by doctors so n
233.
by xlii 1y ago
If someone wants to stole the car they will steal it. Stealing a car is not the same as stealing a candy. In Europe all parts are marked so it takes significant effort to sell or modify such cars. It's not like people steal them and th
234.
by xlii 1y ago
Ehh. When people reminisce about "the old internet" they tend to forget how hostile it was. Being devils advocate it wasn't common for young people to engage in the activity but harsh and unfair critic was happening often. It
235.
by xlii 1y ago
I agree with the article. I was trying to statically type event calculus in OCaml and didn't found any sustainable way to implement it. In order to even get a piece of system tracking the amount of boilerplate was enormous. It won&#x27
236.
by xlii 1y ago
Isn't it true for every occupation that deals with the falloff of any activity? E.g. https://www.lemonde.fr/en/international/article/2024/01/19/s...
237.
by xlii 1y ago
As a counter point - I just downloaded Canabalt from Apple Store, that wasn't updated in 7 years and it works just fine. The oldest app I found (that still had App page) are 10 years old without updates and I see many released in 2011
238.
by xlii 1y ago
If you can I'd recommend getting piano teacher and live lessons. I got one and improvement in posture was a biggest gain I got. That and some cultural push (e.g. there's no wrong music, only the music someone doesn't like, or
239.
by xlii 1y ago
Believe it or not but I tried to use Helix when my Emacs build was completely broken. It couldn't handle the Git repo of Emacs' size. Every keystroke took 3 seconds to process. I found it somewhat funny. But otherwise Helix is sti
240.
Emacs: The macOS Bug(xlii.space)
157 points by xlii 1y ago|90 comments

More ›