sn9

16 ms·

271.
by sn9 2y ago
Might be worth looking into Flix [0]. [0] https://en.wikipedia.org/wiki/Flix_(programming_language)
272.
by sn9 2y ago
Have you read their document [0] on how to navigate the process? [0] https://bertrand.might.net/articles/algorithm-for-precision-...
273.
by sn9 2y ago
Their discrete math course has some graph theory! It should be coming out relatively soon.
274.
by sn9 2y ago
The authors actually just released a second edition of the AWK book!
275.
by sn9 2y ago
> Physics and maths! I'm in my gap year at the moment, but I want to be prepared for my physics degree next year. I'm already really quite rusty. You should really check out Math Academy! It'll diagnose where your gaps are
276.
by sn9 2y ago
As long as someone has to be held accountable when something goes wrong, or has to translate human needs into software solutions, humans will need to be in the loop. The better you are at programming, the better able you are to use AI to pr
277.
by sn9 2y ago
My understanding of successful blind programmers is they basically are forced to write code in a way that fits in their head, and this is the essential feature of good code. I'd be interested in more concrete examples of what specifica
278.
by sn9 2y ago
If it shows you something of the form `X=X` like `37=37`, you then type in `rfl` to assert that they are equal by the reflective property which completes the proof.
279.
by sn9 2y ago
You can just type in `rfl` to assert that `37 = 37` (or anything of the form `X = X`).
280.
by sn9 2y ago
This is a silly conversation. If you don't train for strength, you won't get as strong as someone who does train for strength. But all bodybuilders who train for size alone are stronger than those who don't train at all. And
281.
by sn9 2y ago
Even at the high school level, coaches for sports like football have noticed in the past 10-20 years that the fitness of incoming students has precipitously declined because so much of how children spend their time is less playing outside (
282.
by sn9 2y ago
Could be a market opportunity as old incumbents blow up after they get rid of all domain experts and have undebuggable unfixable unoptimized messes.
283.
by sn9 2y ago
I'm not too worried. As long as someone needs to be held accountable, you will need humans. As long as you're doing novel work not in the training set, you will probably need humans.
284.
by sn9 2y ago
This sounds like an ideal niche for using F#.
285.
by sn9 2y ago
I think around a decade ago, I tried installing a copy of Mathematica and the installer from Wolfram was a bash program that was over a GB in size. I tried opening it up just to look at it and most text editors just absolutely choked on it.
286.
by sn9 2y ago
Books last longer than hard drives.
287.
by sn9 2y ago
Median cost per square foot might be more informative.
288.
by sn9 2y ago
You can get biodegradable straws that don't suck.
289.
by sn9 2y ago
Using glass containers would get us 100% there regardless.
290.
by sn9 2y ago
OP I'm on firefox 131 on Ubuntu and your site is basically unreadable. Dark background and the text is the faintest of shades lighter. I don't mean this in a nitpicky way. Normally I'm fine with most sites. I have to highligh
291.
by sn9 2y ago
Just add a whitelist for apps that aren't for distraction so users can decide what they need. Maybe make suggestions based on screentime if possible.
292.
by sn9 2y ago
I mean the entire point of even having loop invariants is that you provably know what the properties of the program state are after the loop. An assertion can tell you if one of your assumptions is incorrect. Combined with fuzz testing, you
293.
by sn9 2y ago
> Any assertion that validates a runtime invariant can (and IMO should) be converted into a test which covers that same invariant, with coverage information proved by tooling. How would you unit test a loop invariant [0]? [0] https:&#x2
294.
by sn9 2y ago
Math Academy and (optionally for a deeper study) the Art of Problem Solving books.
295.
by sn9 2y ago
Hard to say but this should give you an idea [0]. At that rate, less than a year is reasonable. [0] https://www.justinmath.com/what-is-the-highest-sustainable-d...
296.
by sn9 2y ago
I'd strongly recommend Math Academy for at least 30 minutes per day.
297.
by sn9 2y ago
If you know how to multiply and divide, Math Academy will take you to college level math pretty quickly.
298.
by sn9 2y ago
LLMs hallucinate and are completely the wrong tool for this. People need to learn about the history of AI. Expert-systems using techniques from the 80s are doing this right now [0]. [0] https://www.mathacademy.com/how-our-ai
299.
by sn9 2y ago
In math classrooms filled with 30 students on average for 12 years? With usually all 30 of those students having mathematically illiterate parents who can't help with their homework? Every student hears it enough for it to be a widespr
300.
by sn9 2y ago
You'll want to get your daughter to start using Math Academy for at least 30 minutes per day [0]. New solutions exist for old problems. [0] https://www.justinmath.com/books/#the-math-academy-way

More ›