chongli

47 ms·

871.
by chongli 2y ago
I recall that when MIT stopped teaching with SICP, one of the main claims was that programming now is often not about thinking abstractions through from first principles, and creating some isolated gem of composing definitions. Which is a
872.
by chongli 2y ago
Threefold repetition does not require the three positions to occur consecutively. So you could conceivably have a position repeat itself for first on the 1st move, second time on the 25th move, and the third time on the 50th move of a seque
873.
by chongli 2y ago
Yes, 4 exceptions: castling rights, legal en passant captures, threefold repetition, and the 50 move rule. You actually need quite a lot of state to track all of those.
874.
by chongli 2y ago
Right, but your position also includes whether or not you still have the right to castle on either side, whether each pawn has the right to capture en passant or not, the number of moves since the last pawn move or capture (for tracking the
875.
by chongli 2y ago
It’s not fair to ask me to judge them based on their size. I’m judging them based on the claims of their vendors. Anyway the novel problems I’m talking about are extremely simple. Basically they’re variations on the “farmer, 3 animals, and
876.
by chongli 2y ago
Novel as in requiring novel reasoning to sort out. One of the classic ways to expose the issue is to take a common puzzle and introduce irrelevant details and perhaps trivialize the solution. LLMs pattern match on the general form of the pu
877.
by chongli 2y ago
Because it can't apply any reasoning that hasn't already been done and written into its training set. As soon as you ask it novel questions it falls apart. The big LLM vendors like OpenAI are playing whack-a-mole on these novel qu
878.
by chongli 2y ago
Racket Beginning Student [1] language. [1] https://docs.racket-lang.org/htdp-langs/beginner.html
879.
by chongli 2y ago
being intelligent doesn't make one better than others The only issue here is with the attitude that a career in the trades is somehow inferior to getting a degree. It is not. I have many friends and family who work in the trades. T
880.
by chongli 2y ago
I'd call it "trickle down" theory. Or "horse-and-sparrow theory" (feeding a horse a huge amount of oats results in some of the feed passing through for lucky sparrows to eat) What you’re missing here is that we’ve
881.
by chongli 2y ago
and more like probably the right thing to do over all It’s only the right thing if you assume equity as a starting position though. We already know, rather robustly, that the weakest and most disruptive students can consume far more than
882.
by chongli 2y ago
This is because education is more about gatekeeping and politics than trying to maximize human capital development. We all ostensibly want it to be about human capital but our attitudes and behaviour towards education at the political level
883.
by chongli 2y ago
Doesn't that just reward the children of families who can pay for private tutoring and other resources that give them an advantage over the competition?
884.
by chongli 2y ago
Right, but that definition is so incredibly broad as to include any and all ways you might provide for your children. If you're wealthy and you use your money to buy more expensive, healthier food for your kids then that could be argue
885.
by chongli 2y ago
It's all of the above plus the faint hope that people will actually use the AI features and come to depend on them for some reason!
886.
by chongli 2y ago
I thought the whole point of the Windows taskbar was to give you tabs for all your windows? Why did they feel the need to add tabs again!
887.
by chongli 2y ago
Also interesting to note that the combined mass of all planets in the solar system is only about 1.4 Jupiter masses (or 0.0014 Solar masses). The Sun did not leave us much to work with if we’re hoping to build a second star!
888.
by chongli 2y ago
How do you read the relevant materials if you haven’t found them yet? It’s a chicken and egg problem. If your goal is to become an expert in a subject but you’re currently a novice, search can’t help you if it’s only giving you terrible res
889.
by chongli 2y ago
I would place the blame for that on the GNU coreutils project. At best, it’s feature creep. At worst, it’s embrace and extend on the POSIX standard.
890.
by chongli 2y ago
The issue with the App Store model is that it's just another platform to market yourself on. In your case, you benefitted from a first-mover (or early-mover) advantage and did well. Over time the App Store becomes more and more saturat
891.
by chongli 2y ago
apple's pro apps have been in a weird space for a while I blame it on Apple’s corporate culture and its relentless focus on secrecy and big event announcements. This strategy works extremely well for them in the consumer space but it
892.
by chongli 2y ago
I wonder if someone makes a nice stainless-aluminum-carbon steel clad pan This pan exists! It's made by an American company called Strata. Stainless steel on the bottom/outside, carbon steel on the inside/cooking surface, a
893.
by chongli 2y ago
Carbon steel solves this issue. You can get nonstick eggs and fish with a very minimal amount of oil. You can also do this with stainless steel but it takes more practice to get the temperature control down. Maybe one day we’ll all have aff
894.
by chongli 2y ago
Nonstick pans are covered with plastic; that’s what PTFE is. The answer is wood and metal tools with stainless steel, carbon steel, cast iron, glass, stoneware, and enameled cast iron cookware and bakeware. Aluminum bakeware is also great o
895.
by chongli 2y ago
because it is more profitable for Google Then why are DuckDuckGo results also (arguably even more so) polluted with spam/scam sites? I doubt DDG is making any profit from those sites since Google essentially owns the display ad busin
896.
by chongli 2y ago
There have always been hordes of spam and scam websites. Can you point to anything that actually indicates that the ratio is now getting worse? No, there haven't always been hordes of spam and scam websites. I remember the web of the
897.
by chongli 2y ago
we've decided we can't be bothered with traditional search Traditional search (at least on the web) is dying. The entire edifice is drowning under a rapidly rising tide of spam and scam sites. No one, including Google, knows wha
898.
by chongli 2y ago
How many of those other optimizations reduce stack usage from O(n) to O(1) ?
899.
by chongli 2y ago
If you haven’t established that A = B and B = C implies A = C then you haven’t proven that = is an equivalence relation on that space including A, B, and C. Unless you’re going to prove it I would go so far as to call it an abuse of notatio
900.
by chongli 2y ago
Tail call elimination is not an optimization because it changes the semantics of the program. The feature can take a program which would previously fail to terminate due to a stack overflow and cause it to terminate without error. Perhaps T

More ›