manu3000
Re:Coldkey – Post-quantum age key generation and paper backup tool
on Saturday May 16, 2026 @01:13AM (#48157031)
record now, decrypt later?
Re:Ask HN: Who is your favourite Entrepreneur/Visionary?
on Thursday April 16, 2026 @05:46AM (#47790828)
Marcel Duchamp
Re:Turgot Map of Paris
on Tuesday September 16, 2025 @05:24AM (#45259980)
one can see the Bastille fortress!
Re:The power of interoperability: Why objects are inevitable (2013) [pdf]
on Wednesday May 15, 2024 @07:39PM (#40373646)
Good to read alongside William Cook's On Understanding Data Abstraction https://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf
Re:Websites Every Aspiring Programmer Should Visit at Least Once
on Sunday May 05, 2024 @05:02PM (#40268344)
a great blog on programming languages: https://matt.might.net/articles/
Consultation Opens on a Digital Currency for New Zealand
Re:Personnal data of 33M people in France leaked
on Thursday February 08, 2024 @01:55PM (#39305976)
there may be dead people data in there
Re:Obesity drugs have another superpower: taming inflammation
on Thursday February 01, 2024 @04:55PM (#39221999)
i thought it led to muscle loss as well as fat loss, muscle loss being undesirable ?
Re:The Ur Programming Language Family
on Saturday January 27, 2024 @05:53PM (#39160706)
Also see Wadler’s Links and OCaml/Ocsigen for inline xml fragments, and client + server code generation
Re:Learn Datalog Today
on Sunday January 21, 2024 @02:34PM (#39082072)
you can use Datalig within Flix https://flix.dev/
Re:Positive news from 2023
on Tuesday December 26, 2023 @02:24PM (#38775070)
Re:Simone Weil’s Great Awakening
on Wednesday July 12, 2023 @11:10PM (#36704597)
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/serie-simo...
For English speakers, Enlightened By Love: The Life and Thought of Simone Weil (5 hours): https://www.davidcayley.com/podcasts/2014/11/30/1msu5jd829w2...
I can also recommend the already mentioned "Philosophize This!" podcast
As for her writings, I enjoyed these short pieces:
* The Power of Words
* The Iliad, or the Poem of Force
* Écrits historiques et politiques (fr) https://cras31.info/IMG/pdf/simone_weil_-_ecrits_1_--_histor...
Re:Ask HN: Best value Comp. Sc. book for 100€?
on Sunday July 02, 2023 @06:39PM (#36566538)
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://www.nand2tetris.org/
Re:Leslie Lamport revolutionized computer science with math [video]
on Tuesday May 24, 2022 @07:14PM (#31498663)
an introductory blog: https://matt.might.net/articles/partial-orders/
Re:Beautiful ideas in programming: generators and continuations
on Tuesday August 03, 2021 @06:02PM (#28054784)
Oleg has written a lot about this: http://okmij.org/ftp/continuations/
you can also google "oliver danvy delimited continuations" or "felleisen delimited continuations"
Re:Tony Hoare answers questions [video]
on Monday July 05, 2021 @09:59PM (#27743542)
The OP said Hoare had invented null (which is true), not that it was one of his achievement.
Re:Reading Grossman's “Stalingrad” and ”Life and Fate”
on Monday June 21, 2021 @10:40PM (#27587349)
Victor Frankl discusses the psychological makeup of kapos in "Man's Search for Meaning"
Re:Golang generics proposal has been accepted
on Wednesday February 10, 2021 @05:50PM (#26095912)
no, overloading functions is called "ad hoc polymorphism", whereas generics is called "parametric polymorphism"
Re:Neil Postman on Cyberspace (1995) [video]
on Monday November 16, 2020 @01:22AM (#25108694)
i recommend it, it’s a great read. Fascinating to hear how literate US society was 100 years ago
Re:David Graeber has died
on Thursday September 03, 2020 @04:37PM (#24368607)
> to impose the majority's will on the minority.
this is what democracy is about
Re:Dafny: Verification-Aware Programming Language
on Friday July 31, 2020 @05:45AM (#24007130)
also similar is why3 http://why3.lri.fr/
Re:Can We Pull Back from the Brink?
on Friday July 17, 2020 @04:43PM (#23875297)
https://phys.org/news/2020-07-white-people-black-police.html debunks Harris and Trump’s claim
Re:Ask HN: Great programming language features, other languages should...
on Thursday July 16, 2020 @04:19PM (#23863377)
algebraic data types and parametric polymorphism, so you can define an option type for computations that fails and get rid of nulls
Re:Ask HN: I want to make school more afforadable
on Monday July 13, 2020 @01:09AM (#23817370)
get into politics
Re:Ask HN: Recommend me a course on Coursera
on Friday April 10, 2020 @06:45PM (#22838134)
Can you please post a link to this?
Re:Ask HN: How can I help towards Covid-19?
on Sunday March 15, 2020 @10:20PM (#22589124)
stay at home
Re:Ask HN: What podcast(s) changed your life?
on Sunday January 19, 2020 @04:24PM (#22094197)
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 moment I switch between these 3:
"The Age of Napoleon" (https://podbay.fm/podcast/1223795973) and "Revolutions" (https://podbay.fm/podcast/703889772) rekindled my interest for History, especially the 19th century.
"The History of Literature" (https://podbay.fm/podcast/1048375034)
How Encryption Is Solving Cloud Computing's Greatest Challenge
Re:On Binary Search
on Thursday October 31, 2019 @09:35PM (#21415560)
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 doing