Whelp, I’m glad I’ve learnt how to distro hop in time :o
- 0 Posts
- 50 Comments
azolus@slrpnk.netto
Technology@beehaw.org•Mozilla’s new CEO is doubling down on an AI future for FirefoxEnglish
18·4 months agoGoodbye then
azolus@slrpnk.netto
Technology@beehaw.org•Pornhub says UK visitors down 77% since age checks came inEnglish
5·6 months agoUS style open corruption is illegal in the UK and the EU isn’t it?
It used to be illegal in the US, too.
I hate that people now associate dashes with ai as I used to really like using them (distinguishing between regular, en- and em-dashes, using them to make structure clearer over regular commas).
azolus@slrpnk.netto
Programming@programming.dev•Big Decimals: Stop Using Floats or Cents for MoneyEnglish
2·7 months agoWe’re using general relativity to calculate sattelite orbits - fuck your point of sale system if our sattelites come crashing down we’re gonna have much bigger problems lol.
azolus@slrpnk.netto
Technology@beehaw.org•How mergers and acquisitions affect enterprise SEO strategiesEnglish
1·7 months agodeleted by creator
azolus@slrpnk.netto
Programming@programming.dev•I'm getting started with functional programming, which language would you recommend?English
3·7 months agoAnd I thought it was about morphisms and burritos. The more you know…
azolus@slrpnk.netto
Programming@programming.dev•I'm getting started with functional programming, which language would you recommend?English
21·7 months agoPython has OOP but basically no ergonomic support for FP? It doesn’t even support tail recursion or currying, lambdas are very limited and there is no nice way to compose functions. Most of the python ecosystem heavily relies on OOP and in many cases global state. Not hating on python but even compared to other mixed paradigm languages like javascript it’s on the less-functional side of things.
azolus@slrpnk.netto
Programming@programming.dev•I'm getting started with functional programming, which language would you recommend?English
5·7 months agoRust certainly is an interesting language and very worth learning but, as you already pointed out, can hardly qualify as functional. It has some functional features and a rich type system for sure, but the way you solve problems in rust is mostly just imperatively and very different from the “FP-way” imo. If OP wants to get into FP specifically, I’d suggest picking a different language first.
On another note: Not quite sure why you’re saying OCaml ist hard to install, since the setup has been incredibly easy for me. Maybe the process has changed lately (they’ve been working on improving the tooling with opam and dune) but you can just follow the official installation instructions under https://ocaml.org/install and get it running in like 5 mins. If that doesn’t work, there’s always wsl.
Personally I’d suggest OCaml, as it’s a statically typed, expressive and pragmatic language with a decently sized and mature ecosystem. For learning resources there’s the wonderful Cornell book. Elixir is another hot contender and a pleasure to work with, as others have already pointed out. Pick Haskell if you’re interested in getting freaky later on and have built some foundational knowledge (personally I enjoyed the haskell mooc but there are other great resources like learn you a haskell for great good too).
azolus@slrpnk.netto
Programming@programming.dev•JetBrains working on higher-abstraction programming languageEnglish
23·9 months agoThis is how cobol was created
But why?
azolus@slrpnk.netto
Technology@beehaw.org•Zuckerberg, Dimon, and Other Trump Insiders Sold Billions in Stock Ahead of Tariff Stock CrashEnglish
22·1 year ago*Only under capitalism
azolus@slrpnk.netto
Programming@programming.dev•Vibe Coding is not an excuse for low-quality workEnglish
12·1 year agoThis is giving me hope that I might actually be fine and succeed in interviews lol. On the other hand maaan I really don’t wanna maintain code written by AI-andys…
azolus@slrpnk.netto
Programming@programming.dev•What the hell is an elliptic curve?English
1·1 year agoEdit: Lemmy somehow converts all my ^ symbols to
<sup>and</sup>for whatever reason. My apologiesIn simple terms, an elliptic curve is just the set of points satisfying an elliptic curve equation of form
y^2 = x^3 + a*x + b. We say a point is “on the curve” if it satisfies the given equation. The parametersaandbare some “numbers” (often over a finite field—if that doesn’t ring a bell, just ignore it. It’s not important for now) and constant for any specific elliptic curve.So let’s say we have the following equation
y^2 = x^3 + x + 6The point
(2, 4)would be on the curve, since we can plug in2forxand4foryand verify that the equality does in fact hold, since we get4^2 = 16on the lefthand side and2^3 + 2 + 6 = 8 + 2 + 6 = 16on the righthand side.
Through some mathematical trickery we can also perform operations on the curve, i.e. “add” two points. This is not as straight forward as let’s say standard arithmetic, where you just add numbers as per usual, but we can in fact define an operation that combines two points on the curve to yield another point on the curve cleanly. The process is very ugly when you look at the formula but there is some nice visual intuition for it:

We have a curve (red) and two points:
PandQ. Focus only on the left image for now. We draw a line through bothPandQand see where that line has its third intersection point with the curve. On the left most picture that would be the pointR. We takeRand mirror it down (imagine putting a mirror along thex-axis, thex-coordinate ofRstays the same but they-coordinate gets flipped). I very expertly drew in that new point in green. And that’s it! That’s our result of addingPandQ.The pictures 2, 3 and 4 are a bit weird. In those, we don’t get a third intersection point with the curve. In these special cases we say the result is
O—sort of a point at infinity. Don’t think too hard about what that means, it’s just a mathematical trick to deal with the edge-cases. We do this by saying that the result of addition isOif we don’t get a third intersection point with the curve. Adding any pointPtoOgets youPback. SoOis basically our zero for addition.
This type of “addition” then allows us to perform “calculations” by using the operation defined by the curve. Doing so we can formulate more complicated problems—where finding a solution is very difficult but verifying a solution is easy. This is the basis for their usefulness in cryptography, since we want to be able to encrypt easily but make decrypting without a given key very very difficult.
Hope that helps!
azolus@slrpnk.netto
Linux@lemmy.ml•BTCTurboMiner Made Me $500 in 3 Hours ( Here’s Proof )English
1·1 year agoadvertisement spam
azolus@slrpnk.netto
Linux@lemmy.ml•What's with the move to MIT over AGPL for utilities?English
3·1 year agoCould you elaborate on those reasons, please? I’m not sure what you mean.
azolus@slrpnk.netto
Linux@lemmy.ml•What's with the move to MIT over AGPL for utilities?English
222·1 year agoFreedom for the rich and powerful to fuck over society and everyone else!
azolus@slrpnk.netto
Linux@lemmy.ml•Ubuntu explores replacing gnu utils with rust based uutilsEnglish
17·1 year agoThe time has come to GNU-slash the enemies of freedom!
azolus@slrpnk.netto
Technology@beehaw.org•Brian Eno: “The biggest problem about AI is not intrinsic to AI. It’s to do with the fact that it’s owned by the same few people”English
36·1 year agoFolks, it’s just capitalism. Always has been.
So you have chosen death.
I mean cool, we saw it coming, so no surprise here. But damn that sucks.