skysight-inc/HackerNews huggingface dataset:
Did you even read the article I linked?

Newton was wrong, Einstein has provided us a better, more accurate, theory of gravity. Guess what? We still teach Newton in high school and college physics! Why? Because though it's wrong it's only wrong in the most extreme circumstances. Generally speaking it works quite well. The only observation we made contradicting Newton was Mercury's perihelion precession. But Einstein didn't change how fast apples fall to the ground.

Likewise, we know, or at least strongly suspect, Einstein is wrong. That doesn't mean everything we've observed the past 100 years corroborating General Relativity goes out the window with a new theory. No, instead that's what makes creating a new theory hard: you have to account for a century's worth of observations validating GR and reconcile with QFT (otherwise why bother).

But it wouldn't change anything about what we already know and what we've observed. That's why it's a boundary box. This is science, not magic.
Even flashlights have recoil. Not that Han would feel it.

https://www.reddit.com/r/askscience/comments/c206f2/do_laser...
> we'll see no end to history ... being rewritten

Actually, watching it happen in real time and seeing people insist, in real time, that it's irrelevant... makes me wonder how many times it's happened before and been ignored. How much of what I've been taught about history can I trust?
Gern geschehen!
AFAIK, this only works if you have 2 SIMs on your phone. If both SIMs stay in their respective phone, I can't enable dual apps.

p.s. also, this feature is Android only, I think.
Goto?

Dangerous?

Proven to be?

The time has shown that anti goto cult was huge overreaction that gained size due to decades long brain washing by academics on inexperienced programming practicioners (students)

Goto in newer languages is not bad and exceptions which arent as criticized are way more powerful in goto-like sense

Original gotos from that infamous paper were more powerful
> This is my biggest issue with WASM. You're literally back at reading assembly again. And while that's possible, and there is tooling that can help - it's just not the same as being able to right-click on something, alter a couple of attributes in human readable words, hit enter and see that change.

WASM on its own isn't the problem. WASM just lets you use another language to replace javascript. When you right click on something in a browser and alter human-readable attributes, you're usually messing with CSS and HTML. Any half decent web UI framework should pass HTML and CSS to the browser in order to render the UI. Thats just as true with wasm frameworks as it is with javascript frameworks.

The problem in this example is that the wasm code is bundling its own UI library that is trying (badly) to replace the browser's layout engine. All the browser can see is a bunch of drawing calls to an html canvas. Thats not the fault of wasm. Its just this UI library, which isn't really designed for the web.
ROCm is hot garbage, an nvidia user can run AI on a 3050 while on AMD you have to buy a 6800 or higher.
5G is being rolled out little by little. If it's disappointing, its because it's not actually all delivered yet. It also has benefits that go beyond just Download speeds, like much better power efficiency.
"prompt engineering" to monitor and detect if your content was stolen (sorry, trained on) by "AI"

Love this the most haha
Very different cities but there is a similar something's gotta give feeling based on the time I spent in Manhattan in the mid-80s.

Of course, things don't have to get better. Look at Detroit. (And, yes, there's been significant improvements around the river but the city as a whole is still pretty bad.) As you say, San Francisco's geographic assets are something you can't take away and very few other cities can match--but they're not enough by themselves.
also the leanprover.zulipchat.com
All people will be punished by eternal hell if they do not accept Jesus Christ. The default state of man is death and hell since the fall of Adam, but we can reconcile our sin with God through Jesus, who is called "the true and better Adam".

"Therefore as by the offence of one judgment came upon all men to condemnation; even so by the righteousness of one the free gift came upon all men unto justification of life." - Romans 5:18

When we trust in Jesus Christ our sin no longer defines us, and no longer has any power over us, because we've accepted Jesus Christ's atonement for those sins, and all of the sins of our life. We can never defeat sin on this earth, for as long as we have the flesh it has some power over us, and that is the struggle of the Christian life.

I've been fearful, I've been a liar, I sometimes still fear and still lie. But I trust in Jesus, that since through his power he defeated sin and death, and was resurrected, that he can do the same for me. So though I've lied, I'm no longer a liar, though I've feared, I'm no longer fearful. Until you are reconciled to God by belief in Jesus Christ, you are defined by your sin, and punished for your sin after death.

"Jesus said unto her, I am the resurrection, and the life: he that believeth in me, though he were dead, yet shall he live:" - John 11:25
My Thoughts on OCaml vs. Haskell/Rust in 2023
- A bit of a response to https://osa1.net/posts/2023-04-24-ocaml-thoughts.html

- See also https://news.ycombinator.com/item?id=35699697
> The same "green" politicians who forced the shutdown of a perfectly good fleet of carbon-free nuclear reactors

So you say that they "forced" the shutdown by somehow convincing a completely opposite political party (the CDU)? I agree that shutting them down, especially without building alternatives quickly enough, was wrong. But blaming it on the greens? really? They might take like 1% of the blame in your argument.

If they really had that much falsehoods, lies and propaganda in their claims, the energy companies, their lobbyists and, like, _the whole government_ might have found at least some of them questionable and debunked them, don't you think? And "the greens"(I'm pretty sure that a big part of them and their voters is actually not anti-nuclear) were the first to criticise the shutdown, although mostly in how it went down.

Blaming the shutdown (solely) on the greens is downright bs.
But note that "lager beer" is not at all similar to "prison wine".
If you need manufacturing facilities, a workshop, or a lab, having a central office still makes a lot of sense. You can't ship every engineer tooling and equipment that costs 5x their annual salary, and they probably can't bolt it down or power it up in their home office.

I do prefer working remotely when possible, and can do so ~30% of the time, but when I'm needing to cause motion in a $500k CNC or $50k robot I really ought to be on-site, physically watching the equipment and physically checking wires. But if I'm just copying data from a PDF to Excel, just writing emails or sending Teams messages, or just programming a PLC or HMI (or, like most startup devs, programming a cloud-based webserver), I don't need to be physically present until the final commissioning. Send engineers home with a laptop and maybe a test bench or dev kit, don't expect them to have a full manufacturing office.

But hardware is hard and hardware startups are relatively rare.
> Requiring platforms to monitor user activity is unreasonable

That is absurd. Facebook spends billions algorithmically sorting their post, and they could spend a tiny fraction filtering them, just like they already do when required by law.
WebGL still requires shader code I believe, and also uses graphic-specific terminology. My understanding is that there is no high-level native API for compute-specific use-cases. You are currently forced to use an API intended for graphics and then create abstracts for compute yourself.

I believe GPU.js exists to fill this void and facilitate simple GPU compute on the web without the need for all of the graphic-specific terminology and boiler plate code. But why a 3rd party library is needed for this makes little sense to me since a high-level native GPU (or hybrid) compute API seems like a great way to optimise many JS projects on the web today.

I must be missing something though because this seems like such a no brainer that if it was possible it would already be a thing.
Man, I should rip the LOTR into files like that, but then also edit them, because whenever we watch we always end up skipping over the Whiny Frodo segments.
If you want to "stick" to spacetime, there must be a reference frame that is somehow different from all the others. There is presently no experimental evidence for any such frame, despite a century or two of searches by very clever people.
It's the egg of an alien creature [0].

[0] https://en.m.wikipedia.org/wiki/Kill_the_Moon
Based on this website: https://feedcourt.bendonnelly.com/ GitHub repo here: https://github.com/bendybendy/feedcourt
Or a distributed botnet, seems more feasible.
I might have been traumatized by US visa process, but in my mind "immigrant" has a very specific meaning: moving to a country with the intent of settling there permanently. And the US is very strict on that meaning: when I went to the US my work visa was explicitly non-immigrant, and calling myself an immigrant at the US embassy when applying for the visa, or while crossing the US border would have resulted in the denial of my visa, or the denial of my entry in the US. At least that's what the attorney drilled into my head...

Expat literally means "living outside of your homeland". So by definition an immigrant is an expat, but an expat is not necessarily an immigrant. Sometimes expat is used in a stricter sense (also called "true expat") to refer to people sent abroad by their employer on usually very very favorable packages (the "expat packages"): everything paid (rent in prime neighborhoods, private schools for kids, plane tickets to visit home, etc.), on top of an indemnity for living abroad, on top of the regular salary paid home.

In my case I was an expat in the United States (only went there to work, no intention to stay), but then I immigrated to Japan (now a permanent resident, no intention to leave). It would have been wrong to call me an immigrant in the US, but I am both an expat and an immigrant in Japan.
Walked away from a successful career myself. Albeit, in my case I had all my financial ducks in a row. So take whatever I am saying with that in mind.

One thing we have to realize is that the anxiety is not going anywhere. You are trading one form of anxiety for another. But that doesn't mean anxiety is a signal of some sort.

If you don't quit, it's the anxiety of not taking action which you know is good for you. If you do quit, it's the anxiety of things not working out per plan.

I would also look closer into some of your "givens":

>"the same lifestyle I have now"
- How do you define lifestyle? Money is one factor. Time, Energy, Identity are equally important, but often forgotten.

What you are attempting to do is by no means easy. But it's doable. It helps to have some frameworks in mind. I collected some over the years. You might find them useful:
https://www.leadingsapiens.com/essential-career-change-frame...
That's hardly a discussion.

The reality is yes it's an arxiv paper and I'm not a computational complexity expert so I cannot gauge it for myself.
Although valid, this is in fact a workaround not meant to be a stable solution, because it has the drawback of de-activating that number-whatsapp link on the first phone you used it on.

edit: I am stupid, as the latest feature actually allows this workaround to become a permanent solution...
"Always" to whom? There are countless cultures out there - both historical and contemporary - with non-binary interpretations of sex and/or gender.
You are ridiculous.

The comic says the mission is accomplished when bots are made that create “automated helpful comments” which are upvoted by others. That is exactly what this is. This is the endgame which the main character approves of. As for whether the comments are pretending to be individually written by a human, the xkcd comic already presumes they are pretending — the relevant part is whether people upvote them more than other comments. People who unlike you evaluate them on their actual content, and not coming from an HN link with a score to settle no matter the content.

You are just flailing around having lost and notably did not even attempt to refute a SINGLE difference I carefully listed between this and SPAM. That’s very telling!
It's not?

When writing with CUDA you also have a lot of boilerplate and things to think about like streams, blocks, grids. The list goes on and on.

To get to that level of abstraction you'd have to use something like pytorchs cuda backend.
Speculate. Let's say market recovers somewhat in next n years. And the price goes back to even half of the original 300M and you got asset for 60M. That would be 90M profit or 150%, in however many years.

If you are strong believer in commercial real estate, it might not be bad bet. And then take other investments. Is there more sensible or less risky place?
Honda Prelude. Maybe 1985. Everything off for me. Radio controls, lift my hand off the shifter, vs my Toyota: extend a finger. Hated that Honda.
> It seems society has adapted.

Apparently not, going by the article.
If only there was no downside, but you can't change 15+ years of convention and not break something in the process. For example, I've had Homebrew upgrade fail because someone thought the "master" branch must not only be renamed but also permanently eradicated from a cask repo, Yocto had the same issue [1], etc.

[1] https://github.com/ostreedev/ostree/issues/2360
I'm pretty thrilled with my '23 BMW.

Not only are there buttons and knobs for most of the obvious things (temperature, volume, etc.) but even the infotainment is controllable by buttons and a joystick+knob+touchpad. I virtually never touch the screen itself.

For some bizarre reason, they do have a separate single row of touch "buttons" for a few functions, namely, seat heating and ventilation, which whatever, but also fan speed. Not the hugest deal, but just why? They were so close!
If I had to do a desktop app I’d with Java Swing because of the Java backend libraries and developers. Were I yo ignore those factors I’d go with Gambas for the drag & drop gui.
My favorite photo of Mars with one of its moons: https://web.archive.org/web/20150426080937/http://mentalland...
I think at this stage large scale for profit petroleum extraction is literally villainous, so I'm ok villainizing. Whether it's productive to is a question of tactics that I wouldn't expect to find consensus on even among like-minded people.

There's potentially a nuanced and worthwhile conversation about what carefully ramping down fossil fuel use looks like, what responsibility we have to the people who haven't been able to take advantage of extraction yet, etc. But it's not like I'm interrupting that conversation to point this out here.

This is straightforwardly admiring the artifacts of a destructive practice and preemptively shaming & dismissing people who would find that distasteful.
Tesco loses a million "users" over "checkout avoidance" policing.
There's a concern that word of mouth recommendations of Tesco Finest products will take a hit as a result of the measures.
I talked about Flamanville because the article is about France and I mentioned France's underinvestment. If you want to talk about well funded projects then yes the Chinese have done a much better job. But you're not really talking in earnest.

I'll repeat again. Nuclear power projects in France took 20 years and were not completed because of underinvestment; about 10% of what the Germans paid for the Energiewende. If the French invested 10x more money, the industry could have been rebuilt. Instead they just perfuse enough to keep it half-alive.
I've never heard of QVL before and this comes in great because I want to build a PC. I've been a laptop user for many years.
As if Facebook isn't dystopic enough.

We don't need AIs. We need somebody to bad commercials for shitty stuff.
Wonder why that is. Is it too easy to move abroad where the money is way better?
Anything like this for Google Drive? That client also used to be good but has become complete bloated trash in recent years.

It seems like all chat, conference, and collaboration software must devolve into bloated slow buggy trash over time.
Actually, it's not that hard to define these things pretty unambiguously. I hashed this out in a previous thread: https://news.ycombinator.com/item?id=35508978
Yup, that's what I did while I was waiting for fibre to be installed

I've got a 5G router that gives me 400Mbps download at around 30ms latency and have been working full-time over it for more than a year

Was £50 / month for unlimited data on a two year plan (bit more than that now due to inflation)
Same here, I may browse various places periodically in search of an interesting article/content but I don't aim to be informed of every current event.

I may research topics individually if I want to "catch-up" (learn) about something that someone else has brought to my attention.
I understand centralization in the sense that you so aptly put in bringing benefits in a very similar vein of economies of scale.

A bunch of businesses in the same city benefit from shared infrastructure (in a broader sense) and a large pool of labor.

But when we specifically talk about knowledge work, where the output is not a physical good (and even when the output is a physical good but that requires a lot of knowledge work before it can be produced) does the centralization even make sense? Technology vastly expanded the possibilities in terms of infrastructure and pool of labor. The limits now may be more in terms of the cultural shift and government regulations.
Okay, this is embarrassing but I feel the need to contribute as a catharsis.

LEISURE TIME

1. WSJ: the OpEd section is neocon trash, but the journalistic content is well sourced, objective, and interesting.

2. NYTimes: probably the highest quality journalism in the English-speaking world.

3. Economist: slower news cycle, more deeply analytical and intellectual than WSJ or NYT.

4. Bloomberg: nice in-depth stories about things WSJ would not put on their front page. Good data journalism.

5. YouTube: Lex Fridman interviews, machine learning channels, Minecraft hardcore play throughs, and whatever else the algorithm brings me.

6. Podcasts: Economist Intelligence, CBC The World At Six, PBS News Hour, Bloomberg Odd Lots, NYT The Daily, This Week in Virology, Practical AI, Last Week in AI (this is new to me and good)

WORK

1. Slack: managing my team and also connecting with a couple of industry groups.

2. Email: it pours in all day. I have a lot of Gmail filters and some custom scripting to automate things.

3. I’m working on automating every manual process in my job as CEO, even though it’s painful. The investment will be worthwhile.
Yeah basically what I think you're saying is that in a weighted graph, if there are edge weights which are orders of magnitude larger then the average it throws off certain models. Like nearest neighbor.

Basically just prune the top and bottom %1 of weighted edges to get an appropriate average. Would be my guess for a fix.
“Their position is that because Mr. Musk is famous and might be more of a target for deep fakes, his public statements are immune,”

This is becoming true ?

My YouTube feed is full of “Elon says” videos, many of them could be deep fakes? There is zero way to prove otherwise.

Not saying in this particular case that’s true, but we have been warned about generative AI and the misinformation and misrepresentation problem and so it begins.

Elon is cunning enough to put it to work.
If anything, they seem to have gone out of their way to find an alternative to just taxing the rich.

I think the real message is that people really like these bike programs. So maybe we should pay for them from taxes and instead of adverts for banks we can write "your taxes at work" or "woo! socialism" or whatever on the side of the bikes.
These comments with exactly the same problems I have are really making me LOL. Thanks. (I'm battling fever bouts post chemo so I need a laugh)
I completely 100% agree with him.

Other than Ladyhawke. They need to replace the God-awful music, and then it'll be one of the best all-round movies ever.
5G is really rebranded 4G LTE Advanced +++++++++++ and a plot twist with Chinese teleco vendors.
Free as in beer. Not free as in speech.

> Is it Open Source?

Datomic binaries are provided under the Apache 2 license which grants all the same rights to a work delivered in object form.

Datomic will continue to be developed at Nubank, where it is a critical piece of our infrastructure.
If I ever watch Satantango, I want it to be in a theater. I have the attention span for it but it’ll help if I can’t dig my phone out of my pocket. (Yeah, yeah, will power.)
America’s Broken Tax System Is Punishing R&D
Updated the data with sources. Marked Lodo Alfano as repealed. The rest of your comment is off-topic.
What is Datomic, you ask? It's a database written in Clojure. https://hn.algolia.com/?q=datomic

Datomic is an operational database management system - designed for transactional, domain-specific data. It is not designed to be a data warehouse, nor a high-churn high-throughput system (such as a time-series database or log store).
It is a good fit for systems that store valuable information of record, require developer and operational flexibility, need history and audit capabilities, and require read scalability.

(via https://docs.datomic.com/pro/getting-started/brief-overview....)
This looks like a wonder drug.

On social media there seem to be two types of deniers:

1. People who make stuff up about it. Even Peter Attia said in an interview recently that you lose more lean mass than fat on the drug.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8089287/ "Greater weight loss was associated with greater improvement in body composition (lean body mass:fat mass ratio)."

2. People who think it's an unfair shortcut to lose weight with a pill. That fatties should just have to exist until they can make the identity level genetic changes on their own to lose it.

Both cases are sad to see especially if you've been someone who has- or watched a loved one- struggle to lose weight their whole life.
That was my first thought upon reading the title. However, people learn, grow, and change. I believe his argument will carry more weight with the acknowledgment and duscussion of his own prior decision. It's not hypocrisy; it's a lesson learned.
Show HN: Benchgraph – Run graph database benchmark on your own dataset
Hi I am one of Benchgraph's authors and I would like to share with you the updates that we have just released. Please let me know if you have any comments, both positive and negative are welcome.
I find 5G to be pointless personally, the speeds and latency I get on 4G is already good enough, 166mbps down, 30mbps up, all the operators here cap the speeds of 5G or just don't offer it unless you pay for unlimited data
The price is certainly right, but has anyone used this in production? What was your experience like?
It's pretty funny how T-Mobile has rolled out 5G in my small town (with a single cell tower), but have not bothered to upgrade the connection to the tower so we still only get about 2mbps on a good day.

Even better is the local ISP offers 10gbps fiber service and has lines directly next to the tower, but the cell tower doesn't use that, and instead has some long range microwave backhaul.

I always wonder what the point of spending the money to upgrade the tower to 5G was.
https://www.datomic.com/get-datomic.html still seems to show licensing fees at the time of this comment.