json's recent activity
-
Comment on BBC News live streaming on YouTube in the UK and USA in ~news
-
Comment on Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs in ~tech
json Link ParentTo use the car analogy: Let's say a paper is to prove a car can exist by instructing to creating one. The natural language describes how to create a car. The code portion instructs how to...To use the car analogy:
Let's say a paper is to prove a car can exist by instructing to creating one.
The natural language describes how to create a car.
The code portion instructs how to specifically create a ford pinto.
Someone following the natural language steps could end up with a Suzuki swift.Both results are cars.
An invalid paper might be one where the natural language describes building a car, but the code portion builds a horse drawn carriage.
-
Comment on I deliberately bet like a problem gambler. DraftKings made me a VIP. in ~tech
json Link ParentIf you ignore all criminal activities, gangs look like a good community group. If you ignore any criminal activities, technobros are still fucking weird.If you ignore all criminal activities, gangs look like a good community group.
If you ignore any criminal activities, technobros are still fucking weird.
-
Comment on Canadian YouTuber builds 'Flock-like' camera to exclusively track police vehicles, gets a visit from police — officers visit his home to express privacy concerns in ~tech
json Link ParentALPR is already possible on various open source NVR software such as Frigate. I don't think it's a good idea to have a connected/crowd sourced surveillance tracking system, no matter how good...ALPR is already possible on various open source NVR software such as Frigate.
I don't think it's a good idea to have a connected/crowd sourced surveillance tracking system, no matter how good intentioned it is or attempts to limit it to tracking only the police.
-
Comment on Anyone else have Inattentive ADHD? in ~health.mental
json Link ParentIf you have the time, play around and learn something.If you have the time, play around and learn something.
-
Comment on Anyone else have Inattentive ADHD? in ~health.mental
json LinkMe. Diagnosed with add when I was ~8 in the 90s. Ritalin during school & uni, though at a "near homoeopathic dose" towards the end and didn't bother continuing when it became my responsibility as...Me. Diagnosed with add when I was ~8 in the 90s.
Ritalin during school & uni, though at a "near homoeopathic dose" towards the end and didn't bother continuing when it became my responsibility as an adult to gp and psych appointments to get more.Education & career path narrowed to the shit I was naturally gifted and very interested in: fucking around with websites. Coming up to about 15 years as a full stack developer.
Some career 'missteps' along the way where I probably could have jumped employers or promotions sooner but didn't because...meh.Been using Ritalin again for the past 3 years. It and coffee are really the only drugs I take. I don't drink alcohol, except maybe one or two beers at very infrequent (less than annual) social events, like work Christmas parties.
-
Comment on Software for humans in ~tech
json Link ParentMinimum remote for git is a directory, possibly accessible via ssh. ie: git+ssh://192.168.1.10/path/to/repo.git A remote can even be a directory on the same machine. I did both of these recently...Minimum remote for git is a directory, possibly accessible via ssh.
ie: git+ssh://192.168.1.10/path/to/repo.git
A remote can even be a directory on the same machine. I did both of these recently to easily move code between my IDE projects dirs to something's plugins dir for a couple of things I was working on.
Git doesn't require any third party code hosting services to operate or exchange source code.
These services provide a (hopefully reliable) storage location and a web ui for the managing access & review, among other things. -
Comment on Apple announces iPhone Duo, its first foldable iPhone in ~tech
json Link ParentNZ$4200 but this all basically matches currency conversion + gst etc + rounding up to nice numbers.NZ$4200 but this all basically matches currency conversion + gst etc + rounding up to nice numbers.
-
Comment on Movie Scene Map answers one question: where was this actually filmed? in ~movies
-
Comment on OpenAI’s rogue agents were caught communicating via public wikis in ~tech
json Link ParentIf we're speculating like this then it is certain that any government security agency with the budget and adequate level of control/coercion over the models or model providers is doing the same.If we're speculating like this then it is certain that any government security agency with the budget and adequate level of control/coercion over the models or model providers is doing the same.
-
Comment on Stop Killing The Internet: No digital ID and no age verification in ~tech
json Link Parent"Age when first experienced goatse.cx" is a statistic I never thought would be interesting but I guess it is."Age when first experienced goatse.cx" is a statistic I never thought would be interesting but I guess it is.
-
Comment on Tim Curry, outlandish star of ‘The Rocky Horror Picture Show,’ dies at 80 in ~movies
-
Comment on What do you call a bun, bacon, some amount of cheese, and two burger patties? (Not a setup to a joke) in ~food
json Link ParentObviously triple mac n cheese is 3 pieces of macaroni pasta in a soup of cheese sauce.Obviously triple mac n cheese is 3 pieces of macaroni pasta in a soup of cheese sauce.
-
Comment on What is the oldest file you still have? in ~tech
json LinkTo use a different context to everyone else so far: I inherited some of my grandpas tools, which included several files from a long time ago. I also have an old Black & Decker heat gun that was...To use a different context to everyone else so far: I inherited some of my grandpas tools, which included several files from a long time ago.
I also have an old Black & Decker heat gun that was made in England. I doubt they make them there anymore.
-
Comment on Your executable is a SQLite database in ~comp
json LinkAll this mention of 'self' reminded me of the Smalltalk variant of the same name. https://en.wikipedia.org/wiki/Self_(programming_language) It would be fun to see a Self interpreter as a S'ELF...All this mention of 'self' reminded me of the Smalltalk variant of the same name.
https://en.wikipedia.org/wiki/Self_(programming_language)
It would be fun to see a Self interpreter as a S'ELF executable.
-
Comment on What programming/technical projects have you been working on? in ~comp
json LinkDoing moron* my self hosted personal finance web app. It's nz specific since it uses Akahu as the data source provider. I just added screenshots to the readme today, using some arbitrary personal...Doing moron* my self hosted personal finance web app. It's nz specific since it uses Akahu as the data source provider.
I just added screenshots to the readme today, using some arbitrary personal finance dataset I found because I don't really want to share screenshots of my own financials.
https://github.com/jason-s13r/money-next
*Claude is doing more on it.
-
Comment on What game are you terrible at? in ~games
json LinkI am not great at most first/third person view games that require quick reflexes or real time fighting. Eg, I like the puzzle stuff of botw etc, but the fighting parts are more annoying than...I am not great at most first/third person view games that require quick reflexes or real time fighting.
Eg, I like the puzzle stuff of botw etc, but the fighting parts are more annoying than enjoyable.
-
Comment on ha.mr: a link compressor in ~comp
json LinkArbitrary video I'm watching: Using text: "Output is the same length as the input" https://youtu.be/xlM8X7KHveE http://ha.mr/#n,C~hpwX=R%5DX22 Using emoji "Output is 31% smaller than the input"...Arbitrary video I'm watching:
Using text: "Output is the same length as the input"
https://youtu.be/xlM8X7KHveE http://ha.mr/#n,C~hpwX=R%5DX22Using emoji "Output is 31% smaller than the input"
https://youtu.be/xlM8X7KHveE http://ha.mr#📀🤙🏾🤷♀️🤵🏻👩🏻🤝👨🏼🚶🏽➡️👨🦯➡️👨🏽❤️💋👨🏻 http://ha.mr/#%F0%9F%93%80%F0%9F%A4%99%F0%9F%8F%BE%F0%9F%A4%B7%E2%80%8D%E2%99%80%EF%B8%8F%F0%9F%A4%B5%F0%9F%8F%BB%F0%9F%91%A9%F0%9F%8F%BB%E2%80%8D%F0%9F%A4%9D%E2%80%8D%F0%9F%91%A8%F0%9F%8F%BC%F0%9F%9A%B6%F0%9F%8F%BD%E2%80%8D%E2%9E%A1%EF%B8%8F%F0%9F%91%A8%E2%80%8D%F0%9F%A6%AF%E2%80%8D%E2%9E%A1%EF%B8%8F%F0%9F%91%A8%F0%9F%8F%BD%E2%80%8D%E2%9D%A4%EF%B8%8F%E2%80%8D%F0%9F%92%8B%E2%80%8D%F0%9F%91%A8%F0%9F%8F%BBWhat.
-
Comment on New label suggestion: a removable "One-sided" label that gradually reduces the comment's visibility in ~tildes
json Link ParentCan at least see historic versions of that page using wayback machine. 12k users in 2020 to 25k today. 12k in August 2020: https://web.archive.org/web/20200814051620/https://ts.bauke.xyz/ 21k in...Can at least see historic versions of that page using wayback machine. 12k users in 2020 to 25k today.
- 12k in August 2020: https://web.archive.org/web/20200814051620/https://ts.bauke.xyz/
- 21k in June 2023: https://web.archive.org/web/20230629161651/https://ts.bauke.xyz/
- 24k in September 2023: https://web.archive.org/web/20230925232856/https://ts.bauke.xyz/
- 25k in December 2024: https://web.archive.org/web/20241208001033/https://ts.bauke.xyz/
- Latest snapshot, May 2026: https://web.archive.org/web/20260518214641/https://ts.bauke.xyz/
So the user count doubled in mid 2023 as a result of Reddit's API changes, and has been stable since then.
https://en.wikipedia.org/wiki/Reddit_API_controversy -
Comment on Is it time to include pronouns? in ~tildes
json Link ParentHaha, sniped! I just switched tab after finding this commit so I could say the same thing.Haha, sniped! I just switched tab after finding this commit so I could say the same thing.
Another Trojan horse I heard about was that there were plans to make YouTube prioritise the broadcasters in the algorithm.