sn9

12 ms·

151.
Mining Function Specifications (for dynamic invariants)(fuzzingbook.org)
1 points by sn9 1y ago|1 comments
152.
by sn9 1y ago
Also in the Debugging book by the same authors: https://www.debuggingbook.org/html/DynamicInvariants.html
153.
by sn9 1y ago
There are techniques to discover properties of your function as written, which can then tell you if you've written the function you intended to write: https://www.fuzzingbook.org/html/DynamicInvariants.html (also
154.
by sn9 1y ago
You would be shocked at how easy it is for walking to put you into Zone 1-2, especially if there's any incline. Especially for non-athletes. There was even a period of history where extreme volumes of walking were used in marathon trai
155.
by sn9 1y ago
In general cardio will always use more energy than lifting because you can simply do much more of it. Cardio is continuous work while lifting is work done a few seconds at a time. Walking in particular is still moving your body horizontally
156.
by sn9 1y ago
This might be revealing my ignorance, but if we're going for statically typed "scripting languages", why not implement an ML like SML?
157.
by sn9 1y ago
This is silly. There are practices like pre-registration, open data, etc. that can make results much more transparent and replicable.
158.
by sn9 1y ago
Given that it fit a pattern of commenting on what he perceived in all the other portraits, what exactly would you have had him do? He obviously isn't lacking in self-awareness. He was upfront about his possible bias.
159.
by sn9 1y ago
Link: https://www.forth.com/forth-books/
160.
by sn9 1y ago
This is so dumb. If kids are to be given a device, it needs to be a dumb Nokia brick or similar with no cameras or apps. Texting and calling. That's it. They can't send nudes if they don't have access to a camera. They can&#x
161.
by sn9 1y ago
That seems highly atypical. Perhaps they were relying on LLMs to generate decks?
162.
by sn9 1y ago
Yeah you're basically just using the algorithm to schedule review, just like going through old problem sets. It's the next best thing to getting an infinite stream of new problems of a type of problem.
163.
by sn9 1y ago
Memory is a prerequisite for understanding. You can't understand something you can't remember.
164.
by sn9 1y ago
A quick and easy one is learning the NATO phonetic alphabet. You can find premade decks for it.
165.
by sn9 1y ago
Ali Abdaal's Youtube channel has a bunch of older videos you'll probably find useful: https://www.youtube.com/playlist?list=PL7BImOT2srcGCCjBBwNvU...
166.
by sn9 1y ago
You say that but it's completely revolutionized the way medical students study. IIRC the effect was so profound they had to modify the structure of some tests or something to that effect. And polyglots have been using SRS for years. As
167.
by sn9 1y ago
I have been looking for a workflow to do exactly this! Which LLM do you use? Do you do anything special to structure the deck by chapter or section?
168.
by sn9 1y ago
You can at least shove them into the constructors.
169.
by sn9 1y ago
I guess it was inevitable given his age. You still get all his books included in the price of taking the course: https://www.edwardtufte.com/online-course/
170.
by sn9 1y ago
Did he take these screenshots decades ago and hold onto them all this time?
171.
by sn9 1y ago
This suggests having your front-end and design staff take Tufte's trainings would not be a bad investment.
172.
by sn9 1y ago
Always true, but they've made a remarkable amount of progress since the language was announced, and have some experienced people leading the project.
173.
by sn9 1y ago
Can I interest you in some Moonbit? https://www.moonbitlang.com/blog/first-announce
174.
by sn9 1y ago
Any job that can be done by a forklift will be done by an automated forklift that doesn't require a driver.
175.
by sn9 1y ago
> I should hope that the purpose of a class writing exercise is not to create an artifact of text but force the student to think; a language model produces the former, not the latter. It's been incredibly blackpilling seeing how man
176.
by sn9 1y ago
Those are the sorts of things you're supposed to struggle with in school though. If students are using AI now, that is indeed the same thing as looking up solutions on Stack Overflow or elsewhere. It's cheating for a grade at the
177.
by sn9 1y ago
If it was the trajectory you're talking about, it would have stayed off the front page after you saw it down lower in the ranking. There's a lot of stochastic behavior in the ranking of posts based on when people see them and how
178.
by sn9 1y ago
You might try OCaml [0] or SML [1] if you want speed, memory safety, and an expressive type system. [0] https://ocaml.github.io/ocamlunix/index.html [1] https://matt.might.net/articles/best-program
179.
by sn9 1y ago
They aren't talking about leetcode: https://teachyourselfcs.com/
180.
by sn9 1y ago
I'm shocked how many people haven't yet realized how important formal methods are about to be. If you can formally specify what you need and prove that an LLM has produced something that meets the spec, that's a much higher l

More ›