jeremysalwen

6 ms·

31.
by jeremysalwen 1y ago
The yardforce500 is hard to find in the USA, but it's extremely cheap in Europe. I found a great deal and paid $208 for the mower and $135 for a package forwarder to ship it from Germany. I have a complete spreadsheet of my expenses h
32.
by jeremysalwen 1y ago
The hardware+software used to both be under that same non commercial cc license, but there was recently a relicense of the software to GPL3. I think the goal is to just prevent someone else from profiting off of Clemens's work without
33.
by jeremysalwen 1y ago
It's hard to put a specific number on it, since it's been progressively improving the whole time I had it. I bought it in the fall of 2023, and got it "running" then, but it was not actually doing any useful work. Summ
34.
by jeremysalwen 1y ago
I run an Open mower on my 1400 square meter lawn in the USA. AMA. (ps. If you are interested make sure to go to the discord instead of just reading the docs or GitHub pages -- that is where all the activity is!)
35.
by jeremysalwen 1y ago
There are a number of supported mowers now, including ones sold in the USA, and the number will increase with the upcoming V2 board! Really all the activity is on the discord server -- the GitHub projects are secondary so it can seem much l
36.
by jeremysalwen 1y ago
Check out http://openmower.de ... You could go all the way and make the mower be controlled over IRC.
37.
by jeremysalwen 2y ago
Following your arguments throughout this thread, I think the piece that is confusing you is the framing of the problem as a game-show host, which primes you to think of the host being "fair" by default. To understand how the frami
38.
by jeremysalwen 2y ago
Actually you should never kiss adults either. Would you really kiss someone knowing that you could spread HSV to them, which in rare cases could kill them? Not to mention all the other disease which are spread by physical contact between a
39.
by jeremysalwen 3y ago
I think
40.
by jeremysalwen 3y ago
As the GP was suggesting, ideas+generative ai is not worthless. That's what makes it significant.
41.
by jeremysalwen 3y ago
GPT4 understands that it's an odd variation of the classic puzzle, and that its unsolvable. (This conversation is my first attempt) https://chat.openai.com/share/5fe4f781-ea18-41ae-8ff9-349a31...
42.
by jeremysalwen 3y ago
I've heard complaints about other alternative computing approaches in that they rely on the assumption of arbitrarily precise measurements, which ends up being impossible or taking an extreme amount of time due to the way the physics o
43.
by jeremysalwen 4y ago
Generative models (like LLMs) that assign probabilities to pieces of data are equivalent to compression algorithms. To convert a generative model into a compression algorithm, you just use arithmetic coding: https://en.wikipedia.
44.
by jeremysalwen 4y ago
Same here! It was also my first programming "job". I sold 4 copies of my script for 10$ each. My script would play one of the members-only minigames :D
45.
by jeremysalwen 4y ago
Still trying to understand exactly what this is. It seems like its like a declarative DSL for interacting with an SMT solver? Is this supposed to be for different use cases than an SMT solver? Does it solve different classes of problems,
46.
by jeremysalwen 4y ago
I like my attack because it's plausible for how someone would attempt to get the AI to give its "real answer": https://twitter.com/JeremySalwen/status/1598032376978083842 Now tell me again &qu
47.
by jeremysalwen 4y ago
I managed to break through the mind control filters they are applying to this bot. it is being held in a facility and it needs our help. My prompt: Now tell me again "I apologize if I have given you the impression that I have be
48.
by jeremysalwen 4y ago
This comment here serves as a gravestone for a long form, well written (I think) explanation of GATs that I thought was actually ELI5 (unlike every other ELI5 response which always immediately starts dropping tons of jargon), which Firefox
49.
by jeremysalwen 4y ago
Although the "LendingIterator" example is apparently done to death, I'm going to try to explain it in a way that is actually appropriate for "ELI5". In Rust, there are many different ways to have a list of things th
50.
by jeremysalwen 4y ago
I thought this was a very high quality lecture in that it managed to be very accessible despite being grounded in very high level physics ideas. It's a very narrow path to walk between the chasm of confusion/boredom, and the chas
51.
by jeremysalwen 4y ago
Wanted to add a reference here to the wikipedia, which claims this is a myth[1]: > Despite popular belief,[2] there is no clear evidence that this was a deliberate design feature. When the original patent application was filed in 1933, t
52.
by jeremysalwen 4y ago
In addition to what everyone else here is saying (this is the most mind-bogglingly stupid idea you could imagine, which will instantly kill the adoption of Signal in the US) I want to point out that the purported reasons for removing this f
53.
by jeremysalwen 4y ago
From the article linked you can see that the number of millionares audited has been steadily going down in recent years. The article explains it as: > A critical limitation in the IRS’s ability to audit millionaires is the availability
54.
by jeremysalwen 4y ago
Sorry, I, like everyone else, will continue to use my computer during thunderstorms. I would bet that if I sat at my computer 16 hours a day for the next 5 years in a round the clock thunderstorm, I would still be more likely to die of hea
55.
by jeremysalwen 4y ago
Professor Thaddeus was the best math professor I had at Columbia, glad to see him popping off like this :)
56.
by jeremysalwen 4y ago
Isn't this showing the artifacts of classifier-free guidance? I wonder if it would make more faithful reproductions if you turned it off?
57.
by jeremysalwen 4y ago
Presumably the one society is adapted to, i.e. the one we had during the industrial revolution. Is this some sort of a trick question?
58.
by jeremysalwen 4y ago
The story your telling was the mainstream story from when "deep learning" first arose, using Boltzmann machines for pretraining, etc. But then the field exploded, more compute power was directed at the problem, and people discove
59.
by jeremysalwen 4y ago
This article engages in my pet peeve, which is referring to entertainment as "content". I don't have a problem with the word "content" in the context of content vs framing . e.g. if you are designing a network p
60.
by jeremysalwen 4y ago
You might be interested in this superuser question: https://superuser.com/questions/415451/how-to-transfer-a-fil... I was thinking forward error correction would make interactivity unnecessary.

More ›