1-more

15 ms·

241.
by 1-more 1y ago
https://bartoszmilewski.com/2016/12/27/monads-categorically/ This is a book chapter, and you need the preceding chapters to grasp it I think. I'm still in the middle of it.
242.
by 1-more 1y ago
"click here" makes sense in that context, but links can be viewed in the screen reader rotor, where they just show up as a list of links out of context. aria-describedby can help out, but if you just make the text inside the link
243.
by 1-more 1y ago
IDK if it ads anything to the article, but `map` is a property of Functors, and every Monad is a Functor. Well, every Monad is an Applicative Functor, and every applicative functor is a functor. All a way of saying that, yep, you always hav
244.
by 1-more 1y ago
Very amateur latinist but I'd say it works as Accusative of Exclamation with an implied "dō"
245.
by 1-more 1y ago
If you like Main being named after Charles Main, maybe I can interest you in this list of unexpected eponyms https://notes.rolandcrosby.com/posts/unexpectedly-eponymous/
246.
by 1-more 1y ago
> in a real IDE because of all the screaming it does about "value can be null" Yeah, when you have extra tools like that it can certainly help. The thing is that you can ignore any warning! I like it to be a compiler error beca
247.
by 1-more 1y ago
In the example you gave you have an incomplete implementation of len. We had either a language extension or a compiler flag to disallow incomplete implementations in Haskell (pretty sure it's the flag -Werror), and Elm has no way of al
248.
by 1-more 1y ago
On a PHP project I ran into cases where I changed the shape of an object (associative array) I was passing around and forgot about one of the places I was using it. Didn’t turn into a production bug but still was the kind of thing I would r
249.
by 1-more 1y ago
Oh the errant nulls only ever came up when I was writing dynamically typed languages. Is that what you're asking about?
250.
by 1-more 1y ago
In a world where I am writing a language with null and have half-implemented a grown up type system by checking for null everywhere and writing tests that try to call functions with null (EDIT: and I remembered to do all of that), I guess w
251.
by 1-more 1y ago
I'm just talking null-less FP languages such as Haskell and Elm, not a full proof system such Lean and Agda or a formal specification language such as TLA+. I'm not sure I agree with your prior that "your tests are also going
252.
by 1-more 1y ago
This concept is really interesting when you think about statically typed, pure functional languages. I like working in them because I'm too pretty and stupid to think about side effects in every function. My hair is too shiny and my mu
253.
by 1-more 1y ago
IRS knows what a bifunctor is. What an amazing day https://github.com/IRS-Public/direct-file/blob/9dd76a786ea69...
254.
by 1-more 1y ago
> The closest science has gotten was to actually corroborate that, yes, this was all not infinite and had a starting point (big bang), literally corroborated let there be light. Georges Lemaître, one of the original articulators of the B
255.
by 1-more 1y ago
This is how I find out next.com returns a 301 to apple.com. Fascinating!
256.
by 1-more 1y ago
I think the more fitting example from that island is the personal union whereby the monarchs of England and Scotland happened to be the same person, but England and Scotland were still separate states. This started with James VI and I who b
257.
by 1-more 1y ago
The compiler for Roc (his language) was written in Rust but is now being rewritten in Zig: https://gist.github.com/rtfeldman/77fb430ee57b42f5f2ca973a39...
258.
by 1-more 1y ago
Elm (written in Haskell) uses |> and <| for pipelining forwards and backwards, and function composition is >> and <<. These have made it into Haskell via nri-prelude https://hackage.haskell.org/package&#x2F
259.
by 1-more 2y ago
Longmont, CO has had municipal fiber since 2013. In 2005 the state passed a cable industry-sponsored bill requiring all municipalities to pass a ballot measure before they could build municipal broadband over 256kbps. Longmont had such a me
260.
by 1-more 2y ago
> we mocked the Chinese as being able only to copy American technology. Thing I disliked most about the movie Blackberry (and I liked the movie!): The Blackberry lost to a phone that could only have been made in China.
261.
by 1-more 2y ago
When someone criticizes US healthcare, they are almost always using "healthcare" to mean "the care that everyone receives on average" and not "the healthcare received by those with good insurance." Private jets
262.
by 1-more 2y ago
https://www.reddit.com/r/OrphanCrushingMachine via https://knowyourmeme.com/memes/orphan-crushing-machine
263.
by 1-more 2y ago
I owe hours of my life to Andrew Gallant aka BurntSushi's xsv. Nothing else tries to handle splitting long files into N-row chunks [1]. I was using the command line utility, but that's his wrapper around his rust-csv library. So i
264.
by 1-more 2y ago
> Blender should be able to do everything you need, quite comfortably. Hell, Blender just made a movie that won the Oscar for Best Animated Feature https://en.wikipedia.org/wiki/Flow_(2024_film)
265.
by 1-more 2y ago
I love soy. It is a wonderful complete protein that grows abundantly in a variety of climates.
266.
by 1-more 2y ago
I'm gonna go one further: giving a shit about form is a CIA psyop designed to keep you from getting stupid dummy strong.
267.
by 1-more 2y ago
I was JUST making a demo showing that sorting is different per locale (using String.prototype.localeCompare() in JS) and I was SHOCKED that Spanish no longer orders things "langosta, lugar, llama" but rather "langosta, llama,
268.
by 1-more 2y ago
when you have so few keys, there are none that you don't use often. When you customize your layout, you have keys that don't really correspond to caps anyway, and you may want to mess around with their values as you get used to it
269.
by 1-more 2y ago
A great example I just saw was when I was reviewing a PR with translations into one of the Slavic languages that does Slavic plurals and it just avoided the problem by translating the sentence as "the number of things: {number}" w
270.
by 1-more 2y ago
At my last job (Senior SWE at a startup that's been around for 10 years) the company had an interview step after the technical interviews where 1) you the applicant step through your résumé with the Head of Engineering and talk about w

More ›