Readit News logoReadit News
bardan commented on 0.9999 ≊ 1   lcamtuf.substack.com/p/09... · Posted by u/zoidb
sans_souse · 9 months ago
and 0.3… + 0.3… + 0.3… = 0.9… = 1.0

Maybe there is a difference, but it's intangible.

Maybe it is to the number line what Planck Length is to measures.

As a non-math-guy, I understand and accept it, but I feel like we can have both without breaking math.

In a non-idealized system, such as our physical reality; if we divide an object into 3 pieces, no matter what that object was we can never add our 3 pieces together in a way that recreates perfectly that object prior to division. Is there some sort of "unquantifiable loss" at play?

So yea, upvoting because I too am fascinated by this and its various connections in and out of math.

bardan · 9 months ago
0.3... is just the decimal representation of 1/3. So:

0.3... = 1/3

0.6... = 2/3

0.9... = 3/3 (= 1)

bardan commented on LLMs are more persuasive than incentivized human persuaders   arxiv.org/abs/2505.09662... · Posted by u/flornt
namaria · 10 months ago
I question the intellect of anyone engaging in silly games with the sole purpose of impressing other people.
bardan · 10 months ago
Seems like a competition that started reasonably and mutated into nonsense over time as the rules were exploited (and never modified, I guess). If it's an established debate style and offered to kids as legitimate you can't blame them. Kids do what is available to them.
bardan commented on LLMs are more persuasive than incentivized human persuaders   arxiv.org/abs/2505.09662... · Posted by u/flornt
umanwizard · 10 months ago
What’s the point of winning a chess tournament or any other intellectual game/sport?
bardan · 10 months ago
The equivalent would be speed chess, wouldnt it? There is nothing intellectual about speaking as fast as possible.
bardan commented on When you deleted /lib on Linux while still connected via SSH (2022)   tinyhack.com/2022/09/16/w... · Posted by u/todsacerdoti
woleium · a year ago
You could of course alias rm -rf to rm -rf -i
bardan · a year ago
bardan commented on The young, inexperienced engineers aiding DOGE   wired.com/story/elon-musk... · Posted by u/medler
jorvi · a year ago
Young people often are hopelessly ideological, in the same way a dogmatic religious person would be. Both are less corruptible than your average person.
bardan · a year ago
I completely disagree with you. Very ideological people might be given to lie about or simply ignore things that challenge their ideology.
bardan commented on Maybe Bluesky has "won"   anderegg.ca/2024/11/15/ma... · Posted by u/GavinAnderegg
bardan · a year ago
It seems very cozy, although filled with people pushing their commercial projects. If people are projecting Bluesky's future on its current cozy state they are fools. The only way to remain cozy is to remain small.
bardan commented on Title drops in movies   titledrops.net/... · Posted by u/gaws
zb · a year ago
The one that sprang to mind for me was The Name of the Rose. Oddly it doesn’t show up as a title drop in the data.
bardan · a year ago
Nearest thing to a name drop is the end, but isnt a name drop (also spoilers):

"And yet, now that I am an old, old man, I must confess that of all the faces that appear to me out of the past, the one I see most clearly is that of the girl of whom I've never ceased to dream these many long years. She was the only earthly love in my life, yet I never knew, nor ever learned, her name."

bardan commented on Notes on OpenAI's new o1 chain-of-thought models   simonwillison.net/2024/Se... · Posted by u/loganfrederick
heyitsguay · 2 years ago
Practical challenge with a $250 prize: Make a 2D isometric HTML+JS game (dealer's choice on library) in the next 48 hours that satisfies these modest random requirements:

A character walks around a big ornate classic library, pulling books from bookshelves looking for a special book that causes a shelf to rotate around and reveal a hidden room and treasure chest. The player can read the books and some are just filler but some have clues about the special book. If this can be done with art, animations, sound, UI, the usual stuff, I'll believe the parent poster's claim to be true.

As someone using LLM-based workflows daily to assist with personal and professional projects, I'll wager $250 that this is not possible.

bardan · 2 years ago
Sounds like a comfy sequence in a larger game I would anticipate on replay. I put my own $250 on the table (given the prompt and process were forthcoming).
bardan commented on Escaping from Anaconda's Stranglehold on macOS   paulromer.net/escaping-fr... · Posted by u/surprisetalk
promer · 2 years ago
I appreciate all the comments. I agree with most, even when they disagree with me or each other. I especially agree with the questions several people raise: What it is that we should teach? In which order?

I think there is a consensus about what a student should end up knowing. Even if they are not going to become developers, they should be able to edit text files; they should be able to run commands from the terminal; they should understand PATH. They should create a virtual environment every time they start a new project.

Where we might disagree is how to get them to the point where they know all those things.

I offered to write this post for a colleague who is now facing the issue I faced when I taught last spring. My only goal was to help the students who can't get started running Python from python.org. When I say that they don't know what an editor is or how to use the command line, I just taking those as the facts on the ground. What I didn't say (at least not very clearly) is that they need to learn these other things. I did hint in the end that some of these probably need to come before learning to use a virtual environment. I know this is controversial.

Because the first post was narrowly focused, I wrote a subsequent blog post called "Environment as Code" that is more specific about the goal and offers a specific sequence to follow to get there.

If you have any reactions, I'd be interested to hear them. In a deep sense, I think that the issue here is how to free students from the GUI. If we can do this, it will change how they interact with the computer for the rest of their lives. If there is a better way, I'll be happy to support it.

bardan · 2 years ago
If they are unable to use a shell, don't understand environments etc. I would push them onto some specific IDE/plugin combination that creates a new virtualenv, handles PATH etc. for every new project.

Dealing with environments and understanding how different parts of the filesystem relate to each other is its own pretty steep learning curve. You wouldn't want them to get tripped up on that while they are learning to program, so I think I would opt to teach the two as entirely different concepts and not mix them at first.

No idea if an appropriate IDE/plugin combination exists! Surely there is one.

bardan commented on OpenSnitch is a GNU/Linux interactive application firewall   github.com/evilsocket/ope... · Posted by u/dp-hackernews
butz · 2 years ago
"Small payment" is an understatement :)

"You can get all current and future NetGuard pro features (including updates) without Google Play services for the GitHub or F-Droid version by a one time donation of € 0.10 or more. If you donate 7 euros or more, you can activate the pro features on all Android devices you personally own, else you can activate the pro features one time only."

bardan · 2 years ago
Can confirm that after donating > 7€ I am still able to unlock pro features on new devices 8 years later

u/bardan

KarmaCake day204October 7, 2015View Original