dmkolobov

10 ms·

61.
by dmkolobov 2y ago
The problem with “not writing code like that” is that eventually someone does. At work we use a home-grown Haskell-like language with “row types” which can be split into disjoint sets of fields in order to represent joins and the like. It w
62.
by dmkolobov 2y ago
“We like to pretend space is full of hell monsters you see”
63.
by dmkolobov 3y ago
This article definitely brings to mind hobbyist embedded programming forums, Arduino, Raspberry Pi, etc.
64.
by dmkolobov 3y ago
I would be surprised if their target market gave a shit. Large trucks and Cummins engines are marketed to the same folks who run coal-rolling mods.
65.
by dmkolobov 3y ago
It’s a bit anthropomorphic to assume that large populations of birds can adapt their behavior to rapid changes in their environment on a short timescale. There’s no central planning to penguin behavior as far as I’m aware of. The fact that
66.
by dmkolobov 3y ago
The conclusion is “you have to think hard to avoid UB via rust’s FFI mechanics.” this is contrary to rust’s aims to make such bugs impossible, rather than just hard. Hence their proposal for a DSL _in rust_, which makes those bugs impossibl
67.
by dmkolobov 3y ago
I’m not a fan of “being cute” in papers typically, for the reason that it detracts from the central ideas. Clearly this happened here. These discussions frequently feel “tense”, wherein criticisms based on specific technical details are tie
68.
by dmkolobov 3y ago
I think some folks are misreading the authors intentions(possibly due to aforementioned snark): they’re not advocating for sticking to existing C codebases over rust. They identify FFI as an area where it is easy to make mistakes which lead
69.
by dmkolobov 3y ago
The difference is that your C++ checks are executed at runtime. Rust's borrow-checker rules ensure this occurs at compile-time, before you ever run any code.
70.
by dmkolobov 4y ago
There’s a very real difference between mostly everyone being serfs long ago, and a relatively small, particular group being targeted by government sponsored economic/cultural/physical violence in your lifetime. I live in Denver, w
71.
by dmkolobov 4y ago
Probably more like equity before the law.
72.
by dmkolobov 4y ago
Fine, the pursuit of profit over all else forces people to make decisions like screwing entire neighborhoods out of access to basic quality food and other goods. Is that better?
73.
by dmkolobov 4y ago
In my experience, this is true for just about every type of store. Especially grocery stores. I live on Federal in Denver, and the selection relative to some of the wealthier suburbs is atrocious. The past few years have made me wonder who
74.
by dmkolobov 4y ago
If you’re implementing a compiler for a language like Haskell, then everything is compiled into mutually-recursive tail calls.
75.
by dmkolobov 4y ago
Respectfully disagree about monoids! Plenty of cool stuff there, here’s one of my favorites, a diagramming library built around monoids: https://repository.upenn.edu/cgi/viewcontent.cgi?article=177...
76.
by dmkolobov 4y ago
Looking at this it seems tail-calls are still not part of the spec? Has there been any news regarding return_call? Would be cool to see it for more efficient implementation of functional languages.
77.
by dmkolobov 5y ago
I would feel much more comfortable with that bed concept if the outer edge had steel cables on a winch mechanism, or posts with hidden ball screws. As it stands, their design would require some serious reinforcement of the walls and ceiling
78.
by dmkolobov 5y ago
Is it standard for there to be a follow-up bolt inspection some time after the initial assembly? This was a one-time gig for us, as we were welders by trade and boss-man got the contract from a family friend, so I'm not familiar with i
79.
by dmkolobov 5y ago
Totally, but the crazy part is that there is nothing preventing you from making these marks without following the appropriate tightening procedure. When the project is several months late and people are working 16 hour days, the temptation
80.
by dmkolobov 5y ago
I was one of the folks who put together the steel for a waterslide in a certain amusement park in California. Our method consisting of putting a mark across the bolt and nut after tightening it all the way down with a spud wrench, and then
81.
by dmkolobov 5y ago
Definitely appreciate how careful Haskell is about the distinction: it's where I first started having these thoughts!
82.
by dmkolobov 5y ago
Oh man, spent way too long staring at the resources on this page once upon a time, when implementing a level-based algorithm for drawing trees: https://dmkolobov.github.io/tidy-trees-demo/ Good stuff on this page, and
83.
by dmkolobov 5y ago
I am writing an l-system evaluator, and have explained the concept to non-programmer friends of mine several times now. I've found myself explaining the concept of "strings" over and over, so I've switched to calling it
84.
by dmkolobov 5y ago
I don’t know why you keep bringing up socialism. My point is that corporate lobbying and donations should be restricted, not that free market businesses shouldn’t exist. There is a broad, non-linear spectrum between socialism and unrestrict
85.
by dmkolobov 5y ago
And speaking from a Russian perspective, your assertion that anyone in the USSR viewed their officials as self-sacrificing and altruistic is quite frankly hilarious.
86.
by dmkolobov 5y ago
No, I am not. I am saying corporate interests are not aligned with those of the people at large, they are aligned exclusively with those of their shareholders. I do not want my country’s laws to reflect a small group’s desires to make money
87.
by dmkolobov 5y ago
Comments like that suggest no such thing. There is plenty of middle ground, including restrictions on corporate election donations, and generally limiting corporate lobbyists access to our legislators.
88.
by dmkolobov 5y ago
Something that I've learned: nobody owes you an explanation for why they disagree with you, nor are they bound to care whether you learn something. Furthermore, I would argue that self-reflection about why people might disagree with yo
89.
by dmkolobov 5y ago
So, which do you want? A go-to place to see <insert arbitrary interest here>, or a ton of smaller forums and communities?
90.
by dmkolobov 5y ago
Lack of IntoIterator for arrays and disjoint capture are some of the biggest pain-points in writing Rust code for me! Very excited to see these changes on the map.

More ›