hackermailman

6 ms·

1.
by hackermailman 2mo ago
In Sussman's book 'Software Design For Flexibility' he uses Match? in the pattern matching chapter to run on graphs. I think OCW archived his MIT course for the book too
2.
by hackermailman 3mo ago
It's a welfare economics theory course that requires many frameworks with measures where you are maximizing some graphical representation. It also requires assumptions to work and can be visualized in a model where you can see what hap
3.
by hackermailman 3mo ago
They're going to have change everything so use of an AI assistant doesn't matter because once they graduate they're just going to continue using it anyway. If it's a math for finance course then some kind of model buildi
4.
by hackermailman 3mo ago
Usually it's paired with an Apache license to prevent patent lawsuits but the problem was that anyone could make a proprietary fork and then actively steal your labor. For example Apple yoinking the BSD packet filter and wrapping their
5.
by hackermailman 3mo ago
The origins of mandatory education was Athens citizens being bamboozled by rhetoric all detailed here in this lecture https://youtu.be/H0z9sJyTv2w Neitzsche had an interesting set of lectures he gave about the future of sch
6.
by hackermailman 3mo ago
Using lightweight formal methods to verify models that the AI later builds. Example is Forge: https://forge-fm.github.io/book/2026/ Another skill is conceptual design or figuring out how the user interface should
7.
by hackermailman 3mo ago
Knuth had to stop sending real checks for errors spotted in his books because they would post pics of the check and thieves abused the account https://www-cs-faculty.stanford.edu/~knuth/news08.html
8.
by hackermailman 3mo ago
AI can't yet come up with any new ideas to make the inductive leap to solve a math problem. New ideas are what get the accolades and using an old idea just means the original author missed something. We are still at the author missed s
9.
by hackermailman 5mo ago
There's a livestream every Tues about house/landscape remodeling I've followed for years to fix my own property https://m.youtube.com/@PerfectGuyLife/streams and they talk about how any good contractor w
10.
by hackermailman 5mo ago
There's a well run diner here beside the courts and because they have booths which are a little more private than tables it's always full of lawyers with clients or architects with builders that need space to lay out plans. It&#x2
11.
by hackermailman 6mo ago
This is how you get to 10x with a LLM in my limited agentic experience for doing all the scratchwork of architecting a program before you generate it: The user facing part of your program can be planned out using conceptual design https:&#
12.
by hackermailman 8mo ago
I still write anything critical by hand. For example some app that accepts uploads of PDFs to change format I'm going to escape and prep that data by hand so the vibe coded microservices only ever see cleaned/safe data.
13.
by hackermailman 8mo ago
If you can skip some or all electives and instead receive credits for joining research on campus as an undergraduate then it's worth it. There were a few TAs at my school who joined some professors project and only did that their last
14.
by hackermailman 8mo ago
AI copilots and prompts give me massive lines of imperative OCaml and the interface for that code always requires changing to properly describe the data it will receive when I can write it myself in a few minutes. I can however write a simu
15.
by hackermailman 9mo ago
Had to modify some program so just read the code and guessed mimicking what I read. It mostly just worked so continued doing that and reading enough docs I could write my own. Did that hacking for years until I finally read a real book on p
16.
by hackermailman 9mo ago
"Lightweight formal methods" meaning you build a model of some program logic and test it's properties hold. https://forge-fm.github.io/book/ Beyond that is dependent types
17.
by hackermailman 9mo ago
I assume this works where the ransomware authors, who likely are in some untouchable nation and the son of some major politician, provide a binary/kit with their own addresses to take the ransom then pay the person who planted it out m
18.
by hackermailman 9mo ago
Sometimes except I learned the hard way that if you write everyday Python math code it's actually variable-time arithmetic and totally unsuitable for applied cryptography, oops
19.
by hackermailman 9mo ago
You could always have a theme then publish the rest as "online extras" many books do that recently
20.
by hackermailman 9mo ago
Math was always the stumbling block for me then I realized through work how easy it is with pure rational or reals except when you need to translate it to an algorithm now you are throwing out all the elegant linear algebra for a numerical
21.
by hackermailman 10mo ago
Brown PLT group has a lot of Rust resources like a debugger for traits https://cel.cs.brown.edu/blog/an-interactive-debugger-for-ru... a model of ownership types https://blog.brownplt.org/2023/09&#
22.
by hackermailman 2y ago
Wildberger has videos about this on his YouTube channels. He came up with 'universal geometry' to get around the parallel assumption in Euclidean geometry if foundations interest you. He at least will enumerate all the cases neede
23.
by hackermailman 2y ago
There's a guy in his 50s doing ultra marathons named Kerry Ward who films some of his runs, he came in 11th during the Moab 240 miler which is 2-3 days of running https://youtube.com/@fulltiltward
24.
by hackermailman 2y ago
There's some good lectures from CMU if you search for 15-213 on YouTube. The lectures explain how x86-64 works and enough about operating systems you know how virtual memory and signals work. Then any OS resource listed here or try MIT
25.
by hackermailman 2y ago
It was a big con https://davegebler.com/post/musings/web-3-0-the-great-con I liked the idea of bounties being paid in crypto but now bounties have problems too, someone needs to figure out a decent bounty site&#x2
26.
by hackermailman 2y ago
We all know why the Lovelace myth still persists http://projects.exeter.ac.uk/babbage/ada.html "It is often suggested that Ada was the world's first programmer. This is nonsense: Babbage was, if programmer is
27.
by hackermailman 2y ago
Erik Demaine's DS class has a bunch of range trees and cascading method to speed up queries https://courses.csail.mit.edu/6.851/spring21/lectures/
28.
by hackermailman 2y ago
Yep Knuth learned by reading an IBM manual with source code while sitting on a beach during summer vacation. Decades later systems hackers learned by reading illicit copies of Lions' Commentary on Unix w/Source
29.
by hackermailman 2y ago
There is many other ways to get written up and lose time credits like sharing commissary, having too many books, and sometimes fighting is not optional if your cellmates are into stupid things and drag you with them. It depends if he is sen
30.
by hackermailman 3y ago
Flipped classroom style maybe. Lectures are prerecorded then you as a group struggle with the problem sets in class. A few schools have entire courses for learning the struggle like MITs freshman problem solving course for figuring out Puer

More ›