Hugo Estrada @hugoestr@functional.cafe
Nonviolent ukulele player who codes
Here is a beautiful article describing an amazing piece of history... it also makes me finally understand why Monte Carlo is named liked that:
https://fas.org/sgp/othergov/doe/lanl/pubs/00326866.pdf
/ht @kmett@twitter.com
Update on learning projects: I am slowly moving through a haskell book. reading through a react one, and I have some Ocaml texts downloaded. I keep hearing great things about Ocaml's library quality.
uLisp — #Lisp for the #Arduino, #MicroBit, and #MSP430
"uLisp® is a version of the Lisp programming language specifically designed to run on processors with a limited amount of RAM. It currently supports the ATmega-based Arduino boards, SAM/SAMD-based Arduino boards, BBC Micro Bit, and MSP430-based LaunchPad boards. You can use exactly the same uLisp program, irrespective of the platform. …"
Developers:
Friend to friend: When you make a release please take a few minutes to make a human-readable changelog of what has changed since the last release?
Your commit-messages are not a changelog.
Let me re-iterate:
Your commit-messages are _not_ a changelog.
A changelog allows me to follow what you were thinking between releases.
A commit log shows me your keystrokes between releases.
I need to know what you were thinking.
Thank you.
https://queue.acm.org/detail.cfm?id=3212479
How C is holding us back from writing faster software.
It is not. 'Functor' is used in mathematics, linguistics, logic, and programming. In Programming it can stand for a function object, a generalization of functions that do mapping, higher order module, or a compound term.
I would love to see a history the adoption of the term in the different fields. They are clearly used as metaphors, but what they are a metaphor of is hard to tell :)
Are ocaml functors the same as haskell functors?
Um minuto de sua atenção, por favor:
A Azion está procurando pessoa programadora JavaScript para desenvolvimento de um RUM (https://en.wikipedia.org/wiki/Real_user_monitoring).
Se alguém tiver alguma dica, me mande uma mensagem.
What if the authors of computer programming books wrote arithmetic textbooks?
http://abstrusegoose.com/474
/ht @hmemcpy@twitter.com
"A centralized online service will always trade the interests of its users for the interests of its billable clients." -- Karl Fogel https://identi.ca/kfogel/note/fv8zyZswQ5WOSsdF5le4Jw | https://twitter.com/kfogel/status/976530819740291073
See also the post that inspired this: your boss can now export all your PMs on Slack https://mashable.com/2018/03/21/slack-direct-message-privacy-change/
Racket Summer School 2018 https://summer-school.racket-lang.org/2018/
Building languages with scheme experts in scheme? Wow I have no idea how to make time for this but I think I gotta. I applied!
Joe Armstrong, one of the creator's of Erlang, talks about the forgotten ideas of CompScie https://youtu.be/-I_jE0l7sYQ
Today, in the ides of March, we are reminded that political assassination cannot undo the historical forces that moves a country away from democracy and into a dictatorial plutocracy.
Structure and Interpretation of #Classical #Mechanics
https://mitpress.mit.edu/sites/default/files/titles/content/sicm/book.html
"In this book we express #computational #methods in #Scheme, a dialect of the #Lisp family of programming languages that we also use in our introductory computer science subject at MIT. There are many good expositions of Scheme. We provide a short introduction to Scheme in an appendix."
This #book covers the theory pretty well too.
via @catonano
An informal introduction to abstract algebra.
#Racket as a business language
Proposition: There are at least two possible connections between the "continuous" math and the "discrete" one (or #CS, if you prefer).
- Continuous models can approximate the discrete ones, thus making them "solvable" (at all), at the expense of the reduced precision.
- The discrete constructions may be applied to systematize the proofs for the continuous problems, thus making them less opaque/more obvious.
Either way, one may be utilized as a tool for solving problems from the other domain.
