Professor of Numerical Methods @ Istanbul University | Associate Editor @ Journal of Open Source Software (JOSS)
Mehmet Hakan Satman
Loading...
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.
#Lean #OCaml
Mehmet Hakan Satman
Don't allow people to talk behind your back.
#JuliaLang
github.com/JuliaDiff/Ta...
First, I define the data structures for the code I'm going to write (struct/class/enum/type). Then, I write a few initializers by hand. After that, I enter the prompts for the core functions as comments. I guess they call this the dinosaur style of using AI.
Hasn't anyone added Pascal or QBasic functionality to this editor using AI yet? Pressing F2 to view the SUB and FUNCTION list would be great.
`Languages with their own editors with blue background` days...
github.com/microsoft/edit
"After getting tired of waiting for R and Python to finish basic operations on large datasets, I decided to build something faster in Julia"
#JuliaLang
discourse.julialang.org/t/introducin...
🟢A Julia package for creating probability distributions parameterised by moments (mean, variance, etc.) or quantiles, on standard or arbitrary supports. Builds on Distributions.jl.
It makes this possible:
d = make_dist(Normal, q1=-1, q3=1)
#JuliaLang
discourse.julialang.org/t/distributi...
Not only did they cite our study, but they also wrote my full name on top of it. Massive respects to them!
Here is the paper:
doi.org/10.1016/j.kn...
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`.
🟢 - "After six years, it’s time to release Pluto version 1.0! With this release, I want to celebrate all the progress over the past years, and to symbolise that Pluto is ready. I am proud of what we have achieved, and I hope you enjoy it!"
#JuliaLang
discourse.julialang.org/t/pluto-1-0-...
lts function of LinRegOutliers.jl is now faster than the R counterpart ltsreg of MASS when the regression data has 10000 observations and 10 parameters.
Note that the R versiın is based on the native code whereas the Julia implementation is in pure Julia.
github.com/jbytecode/Li...
#JuliaLang
I’m happy to announce DistributionsFactories.jl, a package that solves a problem most of us have hit: you know the summary statistics you want — a mean and variance, a couple of quantiles, a mode — bu...
