Viewing profile — nrfulton

The cool thing is that you can sometimes "retcon" an existing system using this approach So in that case you're not even making any performance concessions; the actual running code…

Maybe I'm missing something here, but the last type matches 2 pretty well. For example, > None of that mattered at the scope we were modeling, so we abstracted it all away: "on rec…

"nondeterminism as abstraction" is, imo, the best example of an "FM export". Usually you think of nondeterminism as adding complexity to a system -- concurrency, randomness, etc. S…

My take-away from this story is almost the opposite of yours. Nature provides a lot of valuable resources, and this story is a beautiful example of how failing to properly steward …

The AG's advisory is essentially a memo from the AG explaining how the AG thinks existing statute applies to a new technology. It's not new legislation or new case law, but it is w…

IBM | Hybrid in Cambridge, MA (Boston metro area) | Full Time | Research Engineer The MIT-IBM Watson AI lab is hiring a Research Engineer. Information on base salary ranges etc. ca…

> Formally proving with a system based on probabilities (temperature, etc.) is for me an oxymoron. But I am not a mathematician. In the context of automated theorem proving, proof …

"There is a leisure class at both ends of the economic spectrum." But even setting that aside, the article goes on to mention Albania (low CoL) and access to healthcare. The latter…

This is an essay that lauds Cambridge, MA as a panoply of virtuous places with "limiting virtues" while at the same time decrying an "elitist" fascination with "anything goes". Lot…

> This is just coming up with excuses for the MTurk workers No. The authors are not trying to study MTurk market dynamics. They are trying to compare humans and LLMs. Both question…

> Unfortunately, it seems the authors threw out the only data that didn't support their hypothesis as GPT-4 did, in fact, outperform the median Mechanical Turk worker, particularly…

> https://en.wikipedia.org/wiki/Nirvana_fallacy This is a common counter-argument, and sounds reasonable on face, and is even true in the limit. But we're not anywhere close to the…

No. The "effectively and efficiently" is important. It's not like you can't get the point across. It's just hard to do without lots of communication effort. (In particular: self-dr…

For Hackers, the money quote, IMO, is the one about competing technical cultures within Software^1: > Koopman, who has a long career working on AV safety, faulted the data-driven c…

All of the hackerspaces I've been to in the past 15 years are still around: St. Louis: https://archreactor.org/ Pittsburgh: https://hackpgh.org/ Boston (albeit bummed they left the…

Oh no, nothing like that. One team said verification and validation techniques would prevent AI systems from failing catastrophically (must've done homework on their judge...) and …

> It's mind numbing and comes off as sophistry. It is mind numbing. IMO it's also a fair bit of sophistry, but it's at least sophistry that involves some amount of concept compress…

I think your experience is atypical. In most circuits, the typical judge is a parent with no particular knowledge about debate and certainly not a tabroom.com paradigm.

No, all of that is still true at most tournaments. The author's piece is a description of the national circuit, and perhaps of a very few regional circuits that heavily overlap wit…

This piece is not about the vast majority of high school debate and is probably going to create some real headaches for people just trying to run an after-school activity. All of t…