manu3000

9 ms·

1.
by manu3000 4mo ago
record now, decrypt later?
2.
by manu3000 5mo ago
Marcel Duchamp
3.
Accounting for uncertainty to help engineers design complex systems(news.mit.edu)
2 points by manu3000 1y ago|0 comments
4.
by manu3000 1y ago
one can see the Bastille fortress!
5.
by manu3000 2y ago
Good to read alongside William Cook's On Understanding Data Abstraction https://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf
6.
by manu3000 2y ago
a great blog on programming languages: https://matt.might.net/articles/
7.
Consultation Opens on a Digital Currency for New Zealand(scoop.co.nz)
1 points by manu3000 2y ago|0 comments
8.
by manu3000 3y ago
there may be dead people data in there
9.
by manu3000 3y ago
i thought it led to muscle loss as well as fat loss, muscle loss being undesirable ?
10.
by manu3000 3y ago
Also see Wadler’s Links and OCaml/Ocsigen for inline xml fragments, and client + server code generation
11.
by manu3000 3y ago
you can use Datalig within Flix https://flix.dev/
12.
by manu3000 3y ago
https://www.positive.news/
13.
by manu3000 3y ago
For French speakers, France culture has 2 series of podcasts on Weil: * https://www.radiofrance.fr/franceculture/podcasts/serie-avoi... * https://www.radiofrance.fr/franceculture/podcasts&#x2F
14.
by manu3000 3y ago
Hard to beat the scope of "The Elements of Computing Systems: Building a Modern Computer from First Principles": https://www.amazon.com/Elements-Computing-Systems-Building-P... The website is here: https:/&#
15.
by manu3000 4y ago
an introductory blog: https://matt.might.net/articles/partial-orders/
16.
by manu3000 5y ago
Oleg has written a lot about this: http://okmij.org/ftp/continuations/ you can also google "oliver danvy delimited continuations" or "felleisen delimited continuations"
17.
by manu3000 5y ago
The OP said Hoare had invented null (which is true), not that it was one of his achievement.
18.
by manu3000 5y ago
Victor Frankl discusses the psychological makeup of kapos in "Man's Search for Meaning"
19.
by manu3000 6y ago
no, overloading functions is called "ad hoc polymorphism", whereas generics is called "parametric polymorphism"
20.
by manu3000 6y ago
i recommend it, it’s a great read. Fascinating to hear how literate US society was 100 years ago
21.
by manu3000 6y ago
> to impose the majority's will on the minority. this is what democracy is about
22.
by manu3000 6y ago
also similar is why3 http://why3.lri.fr/
23.
by manu3000 6y ago
https://phys.org/news/2020-07-white-people-black-police.html debunks Harris and Trump’s claim
24.
by manu3000 6y ago
algebraic data types and parametric polymorphism, so you can define an option type for computations that fails and get rid of nulls
25.
by manu3000 6y ago
get into politics
26.
by manu3000 6y ago
Can you please post a link to this?
27.
by manu3000 7y ago
stay at home
28.
by manu3000 7y ago
I discovered podcasts late, about 2 years ago, and now religiously tune in during my commute I started with "In Our Time", recommended for the quality of the guests, the variety of subjects and number of episodes (near 900) At the
29.
How Encryption Is Solving Cloud Computing's Greatest Challenge(fool.com)
1 points by manu3000 7y ago|0 comments
30.
by manu3000 7y ago
a fun exercise is to write this in Dafny https://github.com/dafny-lang/dafny It's simple enough to be attempted with a limited knowledge of Dafny, but subtle enough that you will need to think about what you are d

More ›