siraben

45 ms·

481.
by siraben 6y ago
It's not uncommon in scientific computing for the algorithm used to be automatically adjusted based on the input. An example of this is if you want to multiply very large integers. Karatsuba is first used, then Toom-Cook, then Schönhag
482.
by siraben 6y ago
Alternatively, instead of car and cdr one could have pattern matching, which is more declarative and less error-prone than c(a|d)+r.
483.
by siraben 6y ago
Some of these are explanable from mathematical conventions. In abstract algebra it's common to surround an operator in a circle to denote a "generic" or "lifted" operator. So <$> denotes a "lifted applica
484.
by siraben 6y ago
Yes, it's not uncommon to see papers that omit the proof by saying it's a straightforward structural induction. The upside is that it's easy to mechanize in a theorem prover such as Coq.
485.
by siraben 6y ago
Oleg Kiselyov, a prominent functional programming researcher, has advocated for using a language like Haskell or OCaml alongside or in place of equations where things like denotational semantics would usually be. I quote [0] Running [code
486.
by siraben 6y ago
On the other hand, according to this[0] author who ported a game from assembly to C and Forth, Forth seems to drastically increase development time and perform 10-20 times worse than the equivalent assembly. [0] http://calc6502.
487.
by siraben 6y ago
I have heard of SDCC, but even on small programs such as int main() { return 4; } it generates quite a bit of code. Can it be more optimized?
488.
by siraben 6y ago
This was an interesting analysis, however I think for histograms with not a lot of bins it's better to use kernel density estimation[0] to better visualize the spread and not have to control the bin size. [0] https://en.wiki
489.
by siraben 6y ago
Are there efforts to do this for 8-bit processors such as the Z80? Famously they are not very suited for compiling C to because of the limited number of registeres, but LLVM does aggressive register allocation that might make it practical.
490.
by siraben 6y ago
This is great news. I've used Gitter for communication in some open source projects, and have always found certain things painful. My favorite points from the article are; - Improving iOS and Android apps. At least in the iOS case, the
491.
New NixOS Website(nixos.org)
4 points by siraben 6y ago|2 comments
492.
by siraben 6y ago
This study is about the usage of monads from the monad transformer library (mtl) across Hackage.
493.
by siraben 6y ago
> This is probably true of every mathematical abstraction in wide usage. After learning the categorical definition of monads and how they arise in math, I've noticed that programmers tend to have a very operational view of monads,
494.
by siraben 6y ago
I'd point you to Oleg Kiselyov's page on Extensible Effects[0]. Here's a quote: Thanks to the Freer monad construction and the representation of the continuation as an efficient sequence structure, extensible effects have go
495.
by siraben 6y ago
Haskeller here, some observations: - Not surprised that the state monad is the most commonly used one, it essentially acts as an escape hatch to write more imperative-looking code - List monad least used, probably due to the fact that Haske
496.
by siraben 6y ago
Searches for "venus phosphine" and "venus life" are peaking.[0] [0] https://trends.google.com/trends/explore?date=now%207-d&geo=...
497.
After 8 months, the seed for Minecraft's pack.png has been found(packpng.com)
1 points by siraben 6y ago|1 comments
498.
by siraben 6y ago
There's a Powder Toy subcommunity which focuses on building computers in-game. The state-of-the-art (subframe) involves exploiting particle evaluation order to create CPUs that can run at 1 instruction per frame. I even wrote a Forth i
499.
Among Us servers are overloaded(twitter.com)
1 points by siraben 6y ago|0 comments
500.
by siraben 6y ago
A monoid is a set S with an associative binary operation and a unit. For instance, strings with string concatenation and the empty string form a monoid. Functions form a monoid as well. Function composition is associative and id is the unit
501.
Software Foundations Vol. 5: Verifiable C(softwarefoundations.cis.upenn.edu)
4 points by siraben 6y ago|0 comments
502.
by siraben 6y ago
There'll still be two morphisms, Inl : A -> A + A and Inr : A -> A + A
503.
by siraben 6y ago
When I think of sum types, I like the categorical definition the best, which is that a sum A+B has two morphisms (i.e. constructors) Inl : A -> A+B and Inr : B -> A+B, with a simple commuting diagram[0]. Or in Rust, enum Sum<A,
504.
by siraben 6y ago
I read EOPL independently in high school, and I thoroughly enjoyed it because it had a good balance between theory and practice. I would consider Types and Programming Languages to be theory-based, EOPL in the middle and SICP to be practice
505.
by siraben 6y ago
Thai citizen here. I've always seen the lese majeste laws as immoral, but unfortunately talking about the monarchy in any negative way is so taboo that many are not willing to do it publicly for fear of being penalized severely. Anecdo
506.
by siraben 6y ago
This is good news to hear. Last year I helped set up Android phones with Burmese immigrants in Thailand and they gave me confused looks when I switched the script to Unicode, especially since all their friends on social media would be using
507.
by siraben 6y ago
Is it possible to make some of these moreutil commands aliases of some combination of coreutils commands?
508.
by siraben 6y ago
Having written Haskell for over a year now for personal projects, understanding the memory model can be one of the hardest aspects of Haskell, which can make it frustrating to write allocation-free code (although some techniques like defore
509.
by siraben 6y ago
Matrix is great for bridging[0] between different chat applications. Personally I use it a lot to bridge to IRC, which is a great alternative to the older method of setting up a server for use with an IRC bouncer. Since there's various
510.
by siraben 6y ago
I enjoy it greatly! Since using it in the spring semester of university I have not used a paper notebook, and it's definitely led me to read more books and papers. There's also a great hacking element to it[0], since you get root

More ›