skysight-inc/HackerNews huggingface dataset:
That's not a corner case. Either you defined "triangle" and "angles" to mean a plane triangle and angles, or that is not a theorem. Within the theory you're looking at, the definitions are not part of the context, they are part of the theory itself. So you're not depending on the context.
So it doesn't make a difference to you. Noted.
Dio – A powerful HTTP client for Dart
The reasoning I heard (in finance apps context) is that while not stopping committed attackers, at least some script kiddies will be stopped without ever hitting the server side of things.

It's kind of pointless in my opinion as you should be able to reverse engineer the way things work with MITMing the server communication, but I guess burning developer resources is still fine to sell "our app is extra hardened" to the public or something.
It ends up playing using only the neuralink when the joystick is disconnected.
Your point of view is diplomatic, but it rests on the assumption that you actually need cooperation from adtech in order to make a solution.

As Apple has proven, this is simply not true: you just need the entities that control the browser / OS.

This implies that it’s not “collaboration with adtech” that you want, but rather “collaboration with the biggest browser vendors”. Unfortunately the biggest browser is in hands of Google.

Thus Google has a huge influence in this. But any other adtech company (including FB/meta) has no meaningful contribution.
I think it's generational. My Dutch parents also have the TV on all evening (although, much less so since retirement). I would always make sure the first thing I did was mute the thing when I visit, because I simply can't have a conversation with a TV shouting over everything.

My generation, few even have a TV. We're one of the few with one in the living room (hooked up to a laptop though), and I think I haven't turned it on in a month now?
LOL - That sounds like speaking from experience!
You would think they had enough of their own UI frameworks to choose from.

I recently discovered that the Visual Studio installer is using Electron.

For all the criticism of Apple regarding backwards compatibility they have a clear story on the UI for macOS. Cocoa -> SwiftUI.
They should use it the other way around, if people are not watching, muting or fast forwarding they’re not interested in what your selling. No need to force your ad to them. But you could ask for a discount on the cost of showing the ad, just like with paying for the actual clicks on a web-ad.
I really do appreciate this response but to discredit this story, all it really takes is one look at the URL.
Yes, too bad. Whosoever gets rid of that cancer can count themselves lucky.
That sounds more like a stance against marketing in general, which I’d say is a bit out of scope here, and likely a minority stance.
We have a perfectly good system in place for punishing people who waste energy - it is called "the economy". It applies constant pressure to people who waste things.

That's a good theory, but it doesn't seem to be working. Because, well... gestures broadly at everything
ID verification will help rule out a lot of casual stalkers but it won't help with the slightly more experienced ones who know how difficult it is to prosecute. "Oh they must have stolen the tracker to frame me!" "I accidentally dropped it in their bag" and similar WILL be a case's undoing in court. If you make people register what the tag is for as part of the verification process, actually have a human check the answer on the other end when they submit their answer that it's specific enough, and periodically make them re-verify this (eg every time they cange the battery, have a pop up "are you still using the tag for xxxxx") means only the most meticulous planner can use it to stalk. At which point the tracker is realistically no more of a vector than the victim's laptop.

You can't convince the police or a judge that you dropped the tag in someone's car if you're supposed to be using it on your cat's collar for example.
Aetherling: Type-Directed Scheduling of Streaming Accelerators
Thanks. That's valuable input for sure. I don't have the option to freelance for my current employer but that's OK. I know a few people that might know potential customers They have worked as freelancers themselves.

I will now go on reading your blog post and potentially others you have written. Thanks!

BTW I have read that advice to position yourself as a specialist in a niche before. For all others reading this thread here I can also recommend this article: https://andyadams.org/everything-i-know-about-freelancing/
> Anyone who understands what Bitcoin enables and still doesn’t agree that Bitcoin is valuable and good for the world has a wildly different set of values that I can’t understand.

You have that right at least.

I cannot understand anyone who promotes the use of systems that catastrophically increase the risks of human error, particularly for the most vulnerable, and which pointedly ignore that other solutions may work better.

Particularly when the people promoting those systems have an obvious financial incentive to misrepresent them.
…or heterosexuals are a hundred times less likely to engage in risky behaviour.
Maxwell's original paper presented 20 equations. Heaviside's elegant formulation simplified these into the 4 familiar vector calculus equations.

I doubt that this has been the obstacle to a unified field theory.
What have we got to lose? (1998)
There is a 9-valent vaccine for HPV but I don’t know if it is approved in the US.

It’s a shame that the vaccine isn’t approved for older people as it appears to suppress a variety of viral cancers beyond HPV specifically.
I'd put that in a different way: the point of maths is not really being context-independent, but to make it very clear what is the context. So, let us consider a statement A which is true provided that a certain set of hypotheses B is true. You might either consider that "A is true in the context of B" (what is commonly written as "B |- A"), so you have a context (but it is very clearly stated what it is). Or you can (often) write it as an implication: "B -> A". The whole sentence "B -> A" is an absolute, it has no context any more, because the context has been absorbed in the antecedent.

(yes, I know I am oversimplifying something, take this at the "philosophical" level)
About that streamlit. On Firefox for Android it doesn't work and displays a "Oh no" error message.
I checked other streamlit examples from the streamlit front page and they worked. So yours is broken somehow.
I think you got the parent comment bacwards.
would not want spawned processes to run as fresh root by default.
I still prefer Balsamiq for designing functionality and user flows. So nice to use.
Prompted by this YouTube video:

https://youtube.com/watch?v=E8lmfF7kOSw
This really struck me as well, the mention of the men's record is a few paragraphs in. I stopped reading afterwards as it seemed misleading
Naturally, it's already dead. Yeah, what did I even expect… So, how many people is it really — HN front-page with 52 upvotes?
I believe the argument is explained in the linked post by about slide 7. You simply didn't read enough. The author is not arguing that transaction volume and "work" are directly related, but rather that for the entire system to function meaningfully, mining "work" is required to secure the chain and in order for the miners to be meaningfully rewarded, a speculative market of transactions is required (the author does not agree with you that miner's are meaningfully rewarded by Bitcoins, he argues they require fiat, again see slides 1-7). So by his argument if you stopped 90% of transactions you will see a commensurate drop in mining, because the miners won't do it without reward.

This is part of a larger argument that these requirements drive the system towards centralization, thereby defeating all the work to decentralize. These are not my arguments, but they seemed to be reasonably well presented by someone who understands the mechanics of proof of work.

You're final argument that other chains may rob Bitcoin of incentives to mine may well be additional vulnerabilities of the network, I don't know.
Women's CNF record currently is 73m (AIDA version, see https://www.aidainternational.org/WorldRecords/History/Const..., switch to Women). She is not WR holder, but current record is 73m and going deeper 70m without fins is close to it.

Here is her WR attempt (73m CNF, red card – probably the episode described in the article) https://www.facebook.com/watch/?v=2285865554973859
Empires come and go and with them potties become fruitbowls.
What will future historians may think about us, then?

https://www.scmp.com/news/people-culture/trending-china/arti...

https://www.goodreads.com/book/show/108831.Motel_of_the_Myst...
>It would be a relief to be old and give up on most of these thoughts.

IME with enough maturity it's a lot more interesting just walking down the street.

You can only imagine how much of your day has more concrete things to offer.
JavaScript got very tolerable, even good, almost, after ES6. But I’m still reminded on a weekly basis that it doesn’t have a functional way to do something X times. Which is probably why this article spends so much time implementing that.
It is interesting to me that TV off is the norm (for me and people I know) except! If there is a live sporting event on that someone cares about, then it would be rude not to have it on and is expected. Weird. Makes no sense at all, humans are weird.
> It took me 20 years before I was finally able to say to myself "I'm fine with this"

This should be enough to enlighten all those who think that "noise is not an issue".

> and for anyone else suffering it can get easier to deal with given time

Unfortunately, no. It may «get easier to deal with given time» - it's not granted, seeing the history of some sufferers.
Readme on streamlit, which says:

Oh no.
Error running app. If this keeps happening, please contact support.
Spaniard here and I confirm. TV always on even at a low volume is a given no matter the circumstances. I think we’d all feel weird if that background noise wasn’t there. I’ve always imagined it’s the same everywhere in the world, but perhaps I’m wrong.
interesting, i used to use gtags for browsing c but js required additional dependencies so i abandoned it. If you are using etags for js/ts can you point me to your tag syntax file? i checked here but couldn't find js/ts and i don't want to write it by myself ;-) https://www.gnu.org/software/emacs/manual/html_node/emacs/Ta...
Agree for the generational thing. At my dad's place the TV is always on, at ours only if we're watching something.

But if you don't turn your TV on at all, I have to ask - where do you watch Netflix et al? Or you simply don't?
IMO the only stuff a student "should have learned" is stuff that they can't get onto the course without knowing. Allowing someone onto the course, for which "x" is a prerequisite, who doesn't know "x" is entirely the university's responsibility.
> no significant "wrong" result in the entire history of math since ancient times, nor has any significant result been jettisoned

This is a bit of an exaggeration. If you search around you can e.g. find https://mathoverflow.net/questions/35468/widely-accepted-mat... https://math.stackexchange.com/questions/139503/in-the-histo... https://mathoverflow.net/questions/27749/what-are-some-corre... https://mathoverflow.net/questions/879/most-interesting-math...
Agreed, and the article says some can even keep their breath for 11 minutes, but how she keeps breath for four minutes is a mystery?
Generators are fundamentally important to have to solve a number of problems. But like me, you probably never need them because you aren’t solving those problems.
You bring up a valid and important distinction that i have heard before surrounding liberal arts vs research unis. Having attended the latter, I have no personal experience to compare, but have heard much more positive reviews of liberal arts education from those who studied maths there.

Again I believe the incentive structures at teaching universities properly match what students are there to accomplish, whereas at research unis they tend to be muddled.
This. The whole thing sounds wildly science fictional, much more so than something as a simple as a reusable launch vehicle.
Is SpaceX a win? So far they seem to only be able to spend many billions of dollars. Are they just doing something that is so expensive that it loses tons of money and that companies that need to make money are unwilling to do?
"Neuralink chips were implanted by drilling holes into the monkeys’ skulls. One primate developed a bloody skin infection and had to be euthanized. Another was discovered missing fingers and toes, “possibly from self-mutilation or some other unspecified trauma,” and had to be put down. A third began uncontrollably vomiting shortly after surgery, and days later “appeared to collapse from exhaustion/fatigue.” An autopsy revealed the animal suffered from a brain hemorrhage."

I'm fairly certain in 50 years we'll look at the way we treat highly intelligent and social primates not to mention other animals the exact same way we've looked at the atrocities and ethical breaches in scientific research of the past.

I'd actually like to see an interview with the people who have to witness these kind of Frankenstein experiments first hand and how they justify it.
Hello, World in Vala
Seems similar to plotly / plotly express?
Women's record is mentioned a bit earlier:

> Bourke reached a depth of 73 metres – a world record – ...

All the facts are correct and provided. But I agree, how they present facts looked weird to me too.
What are his huge successes in your view?
I've never had much luck with Doom or Spacemacs. It's probably at least 6 months since I gave them a drive but I vaguely recall them being pretty oriented around the subject-matter files being on the local filesystem, and in fairness that's a pretty reasonable assumption for a lot of users.

As much as I like full-color and other local-emacs niceties, I've long since knuckled under to the fact that usually my local appliance is unlikely to either complete my builds in a reasonable timeframe and/or have cuDNN properly configured.

Does either Doom or Spacemacs in fact run well under e.g. `tmux` on a heavy box somewhere? It might have been the case that I missed it last time I looked, it might be the case that one or both have since added that as a use case, or some other thing.
To be fair, it's easy for us to sit here and dismiss research into brain implants while we have full use of our bodies and are fit and healthy. On the other hand, people who have suffered horrific injuries likely feel quite differently about the research. While what's allegedly happening to the animals is horrible, let's just be clear that "self gain goal disguised as scientific research" is a highly subject take. No progress happens without research and I dare to say, many of us take medicines that we wouldn't have without animal trials. Are we not guilty then too?
I had to stop drinking because of a rabies vaccine. Even though I usually stick to a single beer and prefer it that way, I found it really hard. Alcohol is ingrained in our culture and habits. I felt the same as you.
It was the name xD

Its dependency on that malware AdobeCloud didn’t help either. You can’t delete it, you can’t turn it off, and it randomly maxed out the CPU.

Adobe has good products but their business practices disgust me and they need a kicking.
If NERF interest you, don't miss NVidia last month paper, Instant Neural Graphics Primitive : https://news.ycombinator.com/item?id=29959700 which helps bridge the gap between traditional voxel maps, and neural network representation.
Considering how technology develops, I could very well see a future where we are forced to watch/acknowledge ads before the actual content continues.

I think there was a movie with something like that, if the guy closed his eyes, the ad would pause and wait until he looked again.

I hope I am too cynical...
Tangentially related - there’s a certain sublimity to watching cable tv commercials in 2022. I’m completely converted to streaming, so the only time I see tv commercials is at my parents house. And in that context, I find myself enjoying them? Perhaps it’s nostalgia - they remind me of media when I was growing up. There’s also an element of escapism. Everybody in commercials is beautiful and happy. And then there’s the hyper capitalism Alice-in-wonderland spectacle of it all. Commercials are strange and ridiculous. I enjoy the absurdity of it.

I don’t miss cable television commercials. But they provide a unique lens into how strange it is to be a person at all.
I think they're going in the direction of having things enabled by default. It just takes time.

The default experience of Emacs these days is far from the experience 20 years ago.
I should have be more attentive (and up to date), that is impressive. I hope those allegations are false, no amount of progress can justify such lack of respect for the life of a primate.
Saving your youngest daughter's stemcells might not have done much, since they likely were "contaminated" with very early stages disease already. Your oldest daughter's stemcells would have had a 1/4 chance of being compatible, but maybe that was what you meant. The chances of needing stem cell treatment for your children are not that high though, so I don't think you should feel bad about not doing it. I'm glad it worked out in the end, I wish her a good life!
I'm 30 and have a tv and Bluetooth speaker in every room. Both me and my wife get anxious in silence. We do retreat to the bedroom if we need silence though. Our puppy seemed to have figured out the same... We used to think she did it when she was sick, but it became a pattern and seems to be her way to tune out the world.

The best way I can describe the effect of silence is like what brains do in extreme sensory deprivation: they begin imagining and hallucinating external stimulus. Silence makes my internal stream of consciousness stark. It is severe to the point of causing me decades of insomnia. As soon as I lay in bed, if I don't have white noise or otherwise, the recursive nature of my thoughts spirals immediately into existential panic.

Anyways, I love TV.
hahahahahahahahahhahahahahaha
gasp
hahahahahahhahahahahahahahahahah
Ignoring the extra 8 hours of working, so it's more like 22 hours a day
Reading just the top answers from those threads, I see no significant results that have been disproved. Only the "intuitions" and "footnotes" and some "trivial assumptions" of mathematicians, but not an actual published result that was cited by other results and had significant consequences by invalidating other results.
It was in Black Mirror. IIRC he was surrounded with screens in his room and was forced to watch ads
There is a Science link somewhere in the middle of the article: https://www.science.org/doi/10.1126/science.abh0474
To anyone curious: search for "Russian reversal"
You can also replace it with tulips.

When someone makes an argument of the sort that just because there is a market for something then it magically becomes useful, it tells me they haven’t heard or understood this quote:

“The market can remain irrational longer than you can remain solvent”
Might be similar to what many people experience when they browse through old magazines and newspapers?
You might be able to save me some research on this: can DAP drive GDB/LLDB in a seamless way without VSCode as a front-end? GDB has always felt like a time machine back to 1987 at best, `pwndbg` is like a big upgrade on GDB usability against that baseline.

Sidebar: `pwndbg` is extremely easy to build and install and makes terminal GDB suck mucho less, but would be no match for an LSP-style integration that didn't have a ton of rough edges.
I just did a search for mountain dew | mt dew | mtn dew | xbox patent/meme and i have discovered that the internet is broken. Couldn't find it. Weird, DDG uses bing, so maybe that's why it isn't the first result...
Python and Julia are a (may be a distant) 3rd and 4th.

Using Python on HPC system, depending on who you ask, is kind of cheating as the main work is always C/C++ (or Fortran). So it is still really just C/C++ and Fortran.

Julia is really promising as it is the first new language that can efficiently run on HPC and can use other form of message passing.

Also we should not forget UPC, a special kind of C that has its own parallel programming model (not MPI.) It has been used on HPC system as well but perhaps only from a selected few. (This probably reveal where I come from.)
I would like to know if there are any public facebook groups that is a good place for anything.
This is really narrow thinking.

Provide exercises and release solutions one or two weeks afterwards.

The lecturer can write out questions. TAs write out solutions.

Everybody is happy. Nobody needs to grade assignments, students get a chance to work on problems without solutions, lecturer doesn’t have to deal with students coming to office hours asking about exercises.

Anybody who needs to grade assignments in technical courses is doing bullshit work.
Given how the 6502, 8051, and Z80 cores seem to show up in a ton of ultra-low-cost products (running at many times their original clock speeds, and using bank switching to extend the address space into the megabytes range), some even networked with ability to do TLS, the fact that a 6502 can do BLAKE3 isn't so surprising, and IMHO really helps reinforce the notion that crypto == math.

Also somewhat related: https://news.ycombinator.com/item?id=9593412 and https://news.ycombinator.com/item?id=20383561
I would like to recommend checking out /r/ExperiencedDevs/[0] on Reddit. It's a much better place than most other general cs subreddits because the questions are from and geared towards senior engineers.

[0]https://www.reddit.com/r/ExperiencedDevs/
How do people in countries with currency controls actually buy crypto? Debit cards? A friend of mine in a developing country with currency controls was trying to buy crypto, and I recall her getting scammed by some dude who took her cash and never delivered the crypto.
I think the ads don't really have the absolute loudness dialed up, but use a lot of dynamic compression instead.

That's what (used to?) happen to music during the so-called loudness war. See https://en.wikipedia.org/wiki/Loudness_war
Clever quotes are often repeated. That doesn't make them true for every context though.

When John Wanamaker said what he said I think he was talking about print ads for department stores in an era before ad metrics, large scale market research, etc. It was probably true then to be fair, but that doesn't make it useful now, or applicable to all advertising. For example, if I used this quote when I was talking about Internet adverts I'd just be wrong. It's trivial to track the effectiveness of an online ad
If that happens, I'll stop watching said content.
Maybe it is a back plan or they don't want to depend only on SpaceX?
I'm firmly against woke culture, where you'd be attacked personally for writing up some homophobic vitriol. I don't want to live in a place like that, and I won't go anywhere near San Francisco.

Instead, here's a reminder that being prejudiced is quite normal. It's easier to associate gay people with promiscuity, to connect those dots, than to think of people differently along so many axioms of different traits.

I'm reminding myself as well. Can't judge another with one finger without the remaining fingers pointed at myself (well except for the thumb).
Would be more like a 2 hour walk unfortunately. Maybe I'll get a bike or something.
Trying that as well
I've tried a few of the Python LSPs, but not `pyright`. Given the upfront cost of getting either `eglot` or `lsp-mode` to play nice with a new backend I'd really benefit from a TLDR on the cost/benefit. I tend to just say fuck it and use the Jedi backend even though it's far from precise.

What sets `pyright` apart? As it happens I'm reworking my dots at the moment and I'd like to capture the point-in-time SOTA while I'm at it.