akkad33

11 ms·

181.
Literate Programming in Quarto(ivelasq.quarto.pub)
25 points by akkad33 2y ago|5 comments
182.
Rust for System Programmers(github.com)
3 points by akkad33 2y ago|0 comments
183.
by akkad33 2y ago
I use Chatgpt to convert tables in fng and pdfs to pandas data frames and it works very well
184.
Zig: What I think after one month of using it (perspective of a Rust programmer)(strongly-typed-thoughts.net)
3 points by akkad33 2y ago|0 comments
185.
by akkad33 2y ago
So what is the action plan?
186.
by akkad33 2y ago
How? When 2008 crisis happened the whole of west went down with the US
187.
by akkad33 2y ago
Sure, but that also means this kind of syntax does not alienate people just because they don't know what lambda calculus is. And they will appreciate it even more when one day they get curious and look up why it is called a lambda
188.
by akkad33 2y ago
There can't be a more democratized language than Python and in Python closures are defined literally using lambda keyword
189.
by akkad33 2y ago
I think because a closure is not a function as a closure can capture its environment, in a way that functions can't, so using the same syntax for closures and functions can be misleading (even though languages like JS do it)
190.
by akkad33 2y ago
That sounds improbable. If US currency falls every western economy falls with it
191.
by akkad33 2y ago
Why do you think your employer cares about your well-being and safety?
192.
The jank programming language: Dialect of Clojure compiled to LLVM(jank-lang.org)
2 points by akkad33 2y ago|0 comments
193.
by akkad33 2y ago
But statically typed languages like ocaml, haskll, fsharp have repls too
194.
by akkad33 2y ago
Did you ask Chatgpt? Who else better to ask questions about AI than AI?
195.
Writing High Performance F# code(bartoszsypytkowski.com)
15 points by akkad33 2y ago|1 comments
196.
by akkad33 2y ago
Those are actually very good features. I guess null safety will come to Java with project Valhalla.
197.
by akkad33 2y ago
What feature do you use Kotlin for that does not exist in modern Java (21+)?
198.
'Music is back' as sales hit a 20-year high(bbc.com)
2 points by akkad33 2y ago|0 comments
199.
by akkad33 2y ago
C++ is safer than C? How?
200.
Gleam v1.7(gleam.run)
182 points by akkad33 2y ago|26 comments
201.
by akkad33 2y ago
Why?
202.
by akkad33 2y ago
There are many gotchas to Python dunder methods. An example is there is a bunch of functions that can be called when you do something like 's.d' where s is an object. Does it call "getattr" on the object, getattr on the
203.
Oxidizing OCaml: Rust-Style Ownership(blog.janestreet.com)
1 points by akkad33 2y ago|0 comments
204.
by akkad33 2y ago
https://dafny.org/ also allows proof checking and allows do write real programs with it. It has a java like syntax and is also from MS I believe
205.
F*: A proof oriented general purpose programming language(fstar-lang.org)
254 points by akkad33 2y ago|61 comments
206.
Python 3.13 with free-thread is slow(stackoverflow.com)
3 points by akkad33 2y ago|0 comments
207.
Verify the Safety of the Rust Standard Library(aws.amazon.com)
2 points by akkad33 2y ago|0 comments
208.
ISO C++ Chair: C++ 26 'most impactful release since C++11'(devclass.com)
2 points by akkad33 2y ago|0 comments
209.
by akkad33 2y ago
All these are just functional features you find in every functional language though. Rust was highly influenced by OCAML and other ML languages
210.
by akkad33 2y ago
This page from official Rust website of its influences does not mention Scala. https://doc.rust-lang.org/reference/influences.html In fact this is the first time I've seen anyone say Scala influenced Rust let alon

More ›