Search
20 results for “mhsatman”
-
Although it started out as a theorem prover, Lean 4 is a general-purpose programming language that has the potential to challenge OCaml's `throne`.
-
My first taste of Lean.
Numerical integration of the standard normal distribution - it feels more like a modern OCaml used as a general-purpose language.
-
Tiobe Index May 2026:
"Meanwhile, the newer statistical language Julia has struggled for years to establish itself as a stable top-30 language despite strong technical merits and growing academic interest."
#JuliaLang :julia:
-
🟢 Oxygen.jl
Handle HTTP get/post requests, perform calculations at the server side, render HTML outputs, easly!
Pure Julia!
#JuliaLang :julia:
-
The first release candidate of Julia 1.13 is out 🙃🎈
#JuliaLang :julia:
https://discourse.julialang.org/t/julia-v1-13-0-rc1-is-now-available/136929?u=jbytecode
-
Juliaup release channel now points to v1.12.6‼️
Don't forget to do
$ juliaup self update && juliaup update
#JuliaLang :julia:
-
JOSS has now published more than 3,000 articles, and I've personally edited 60 of them (still editing +5). Being a part of JOSS has been one of the most fulfilling experiences of my life.
-
I wrote an online step-by-step Simplex calculator for real-valued linear programming problems using Scala.js
🔴 NO ADS!
https://jbytecode.github.io/simplex/
For those who teach operations research in their courses.
-
What a beautiful thing to approximate pi
https://en.wikipedia.org/wiki/Gauss%E2%80%93Legendre_algorithm
Result: 3.141592653589794
-
In recent version of Scala, Named Tuples is a new feature.
Named Tuples acts like case classes as well as tuples.
#scala3 :scala:
Scala v3.7.0 is out!
-
-
I recently developed a single-page application with Scala.js. Approximately 3500 lines of code compile to 1.6 mb of un-optimized JavaScript, and 340 kb of optimized JavaScript.
I'm amazed that such a task can be accomplished with full type safety using full Scala.
#Scala #Scala3 #javascript :scala: :javascript:
-
-
-
Is there any G-Shock GBD H2000 user here? I’ve just got a firmware update but nothing changed. I couldn’t even find a documentation of this update in the internet.
It would be nice to have a changelog.
-
Is there any G-Shock GBD H2000 user here? I’ve just got a firmware update but nothing changed. I couldn’t even find a documentation of this update in the internet.
It would be nice to have a changelog.
-
Is there any G-Shock GBD H2000 user here? I’ve just got a firmware update but nothing changed. I couldn’t even find a documentation of this update in the internet.
It would be nice to have a changelog.
-
Is there any G-Shock GBD H2000 user here? I’ve just got a firmware update but nothing changed. I couldn’t even find a documentation of this update in the internet.
It would be nice to have a changelog.
-
JOSS has now published more than 3,000 articles, and I've personally edited 60 of them (still editing +5). Being a part of JOSS has been one of the most fulfilling experiences of my life.