skysight-inc/HackerNews huggingface dataset:
Except you're missing the forest for the trees. These cases are used to deny rights to trans people as well as gay people. The religious right to discriminate is used to hammer down all minorities.

The fact that you're blaming the victim of the case is really quite absurd. You can't fathom that each of these smaller actions comes together to make a body of argument against the rights of minorities to exist. They're already doing this to excise transgender healthcare by claiming that they have a free speech right to not treat them.

And again I encourage you to actually read this case before you respond, though I doubt you will. The people that brought this case forward literally made up a gay couple so they could have an argument against needing to serve them [1]. This isn't us picking a bad argument, this is systematic dismantling of our rights by bad faith actors.

[1] https://newrepublic.com/article/173987/mysterious-case-fake-...
Possibly. But I also tend to think that the idea is to mock the tastelessness of new money, but not, the more educated and refined tastes of old money families.
Mesa is a 3D lib for GPU rendering, does it do compute like what Nvidia's GPU does? we're talking about Mesa has its own small kernels that run matrix muts in parallel at scale. As far as I can tell, Mesa at the moment is not going to work for any ML framework like pytorch etc.
No joke. My director's only job is farming OKR ideas from reports, presenting OKRs to execs, evaluating OKR completion at the end of the quarter, hiring people to complete OKRs, Pipping those that did not complete OKRs.

And for this BS, he gets paid a million. And here I am coming up with actual solutions to real problems for the company, and yet getting paid less. Wtf!
"not the most successful academics"

I totally agree.

What I do not agree is that athletes should have a VIP lane to admission. Either they make it in like everyone else or the rules for everyone need to be changed to reflect the "most successful people".
OpenAIs Sam Altman is on Reddit’s board, no? Don’t think Reddit would be starting anything.

Next up, all content will be only viewable if you are signed in ala twitters change this morning.
>Web advertisers seem like a classic case of taking miles when given an inch.

I think there's a distinction between that and the tragedy of the commons. Advertisers face a game theory scenario where they can increase the obnoxiousness of their individual ad, which will enrich themselves, but it hurts the industry as a whole because users are marginally more likely to figure out a way to block ads altogether after seeing an obnoxious ad.

But it is only fitting since advertising is an arms race regardless of the nature of online advertising or the ability to be obnoxious. All companies would be better off if they collectively decreased their marketing budgets, but that would require coordination and a way to guarantee no one defects.
I think this is funny, since esm being "native" on browsers doesn't really matter until you can convince devs they don't actually need to use a bundler. So long as you're using a bundler, the browser's runtime doesn't really matter - you're using the runtime the bundler presents and emulates on the browser. Native ESM has proven to be quite painful in ecosystems that _don't_ rely on the presence of a bundler to patch over problems, precisely because of the issues of interoping with, I don't know, _literally any existing code_.

I can't think of a concrete benefit to a developer that ESM brings (just pain, but maybe I'm biased by what I'm exposed to). Probably why it's so slow to be adopted.
The student loan forgiveness plan was inflationary, poorly targeted and probably unnecessary, but obviously legal. I'm honestly gobsmacked at the lengths this court went to invent standing and rationale to overturn it. Who needs to win elections when you have a permanent higher body with veto over the President and the congress. Between the shadow docket and this nonsense, they can literally shape policy to be whatever they want.
Great read, I was expecting it to bring up the four color theorem, but it was actually an even more interesting debate touching on some modern mathematics.

I think it's still worth bringing it up: https://en.m.wikipedia.org/wiki/Four_color_theorem In a nutshell, they proved that all maps of contiguous countries can be colored using only four colors by reducing the infinite set of possible maps to a finite one and then having a computer check each case. In the 70's, this wasn't considered a 'real' proof, and it was argued that we can't trust the machine the way we can trust human mathematicians. My first reaction upon hearing about that debate was similar to what probably most HN readers would think, that it's arguably the other way round and we should ideally only trust proofs that had been fully formalized by machines. Glad to see that we're making progress in this direction.

Also worth mentioning: apart from Coq that was discussed in the article, there's also the Lean theorem prover that also features some more general programming elements, it's regularly discussed on HN:

https://news.ycombinator.com/item?id=36107796

https://news.ycombinator.com/item?id=34456573
From experience (was lead dev at company where sales let a bitlocker in and IT had mis-configured backup... which is normal for backup in most companies): It's all about what the infected machines can access. When my employer got hit, the problem was that there were many shared drives that the infected machines could access, and these were bitlockered. People would run programs off a shared drive, and get infected from that... then everything that machine had access to would get bitlockered. Backup was implemented where clients would push files to an open share and the share was backed up. The backups were bitlockered as a result. The shared drives were on a mix of linux and windows servers, and mac users that had shared folders the sales team could access had that data bitlockered. So, Windows was involved - it's how the bitlocker got in, but honestly, it was an emailed binary the salesperson ran that started the fun.

Incidentally, the dev team (mix of Windows, Linux, Mac) was completely unaffected because we did not have any open shares, remote access was done with SSH. We used a backup system that ran as a pull, where the machine being backed up could not directly access the backup store, so safe.

So yeah, Windows involved, but the damage was more about what infected machine had write access to on the network.
What are your goals for this system? Quick inserts or quick retrieval? Perfection or good enough? How important is it to you, and how much work are you willing to put into it?

It's tempting to design the perfect system for an archivist, but you might realise that it's too much maintenance for a regular guy who has a life.

Personally, I put my photos on a timeline, and the rest in a reasonable folder structure. That's about it.
Show HN: Boston Startup Job Board, Newsletters, and Podcast
Hello HackerNews community!

I'm delighted to share the latest from HeyFounded (https://heyfounded.com/), a key player in Boston's vibrant startup ecosystem.

For the last few years, the HeyFounded Podcast has been facilitating in-depth discussions with influential figures from Boston's startup scene, featuring organizations like Cleana, Launchpad Ventures, Greentown Labs, and LinkSquares.

Excitingly, we've expanded our offerings with the launch of our job board (https://heyfounded.com/jobs/). Aimed at nurturing the connection between Boston startups and skilled talent, our job board allows startups to post vacancies and provides job seekers with a range of opportunities.

Moreover, we've initiated a weekly newsletter that curates significant developments, offers insights, and showcases ongoing interviews within Boston's startup ecosystem.

We invite you to explore our platform, subscribe to our newsletter, and share your thoughts. Let's foster even stronger connections within our dynamic community!
Apple is the only phone manufacturer providing long term software support...

Every single phone shipping with Qualcomm SoCs are at the mercy of Qualcomm. When they want you to buy a new chip, they'll kill support for your current chip, meaning that the manufacturer will have to spend effort making newer Android work with older kernel versions if even possible.

My Sony Xperia Z3 had software support killed by Qualcomm. They refused to provide the binary blobs required to make next Android version work despite the CPU being perfectly capable, as evidenced by the beta builds that only needed a small update from Qualcomm.
> Do you not think YouTube will penalize channels for choosing to present less ads? I know that I go with their suggested defaults, on the assumption that I will be punished if I depart from that.

Sounds like grounds for an investigation that could develop into a lawsuit.
Oh my goodness they’re not even fallacies. A fallacy is saying that something is wrong because of fallacious reasons. But the OP is indirectly making the much weaker claim that “I’m not buying it and that’s because X and Y.”

Speaking of fallacies, “AI doomers” (I’m just running with it) often deploy the rhetoric (not really a fallacy) that AI is about to doom us all because everything is supposedly so simple (like intelligence) and therefore it’s conceptually simple for a sufficiently advanced (but not that advanced) AI to keep improving itself. Now how do you respond to someone that just says that things are not complex when in reality things are indeed complex? Basically you have to unpack everything because the other person is just taking things at face value and is being naive. It’s like an “appeal to my ignorance”.
Query Builders are a subject I am thinking about at the moment. The question is whether or not OO is the right model.

JooQ in Java is a DSL for writing SQL in Java, it works amazingly well. It’s not guaranteed every JooQ statement compiles to valid SQL but I have pretty good experiences writing crazy complex queries using things like string_agg in pgsql. Here the relational model is primary and the representation as Java objects is secondary, given the SQL is persistent and the Java objects ephemeral this makes sense.

My RSS reader uses Arangodb and Python and I’d like to stop a bit and develop a query builder inspired by OWL class axioms which if you look at them the right way look like building blocks for a Scratch-like SQL query builder. I want both ordinary queries (browse my favorites, say an article with the keyword “niantic” that appeared on Tildes) and rules (don’t want read articles from the Guardian that have “- live” in the title)
I don't think ChatGPT has any rights yet... And a person using it has the exact same rights as someone not using it.
thats fine because it can be rate limited. the issue was companies collecting massive amounts of data
No thank you maybe talk to your own priest about it if you have concerns about your spiritual conduct.
Case study: Algorithmic trading with Go
The plaintiffs should not have had standing. None of the litigant states actually had a direct financial injury; instead, they relied on Missouri's financial interest in MOHELA as the basis for standing. But as Amy Coney Barrett inquired in oral arguments, why didn't MOHELA itself join the lawsuit, if it was really injured?

SCOTUS reached the merits because they wanted to make a policy decision. The current court is making radical changes to established law, such as last term's decision to throw out much of the VRA simply because the justices felt it was too old and no longer needed. (It was re-authorized in 2006.) Allowing judges to throw out the decisions of the legislature or executive on major policy questions, with a flimsy and partisan legal basis, is not a sustainable way to run a democracy.
For a fabulously wealthy national non-profit treasure, they sure have squandered their reputation. Instead of exploring those thousands of new buildings discovered by lidar in the Yucatan, they're putting up articles about bug repellents, summer holiday destinations or cocktails before bed.

I think they've been hijacked by some media/financial money-grubbing soulless web lizards, but hey maybe it just looks like that from the outside.

I wish big trusts like that (and like the Hewlett foundation) could be sued when they veer from their madate into ordinary base activities like hoarding money and fooling people into donating.
You can't fix racism with more racism.
1st off - like the design touches on the website. And kudos for getting something off the ground: 0->1 is hard!

Is this just another Gogz/Gitea derivative (the Hub repo looked Golang so I am guessing one of these projects)?

Is there something decentralized about the Hub part? From my quick 2m glance I couldn't see anything.
I'm still sad the MS didn't stick to their kinect concept.
Right. What it doesn't mean is that the thing being written off is valueless, though. I've seen several perfectly safe and drivable cars written off because of cosmetic damage that would have cost more to fix than the car was worth. But the cars were otherwise fine.

Except this part:

> because it's cheaper to buy a new one.

is not true. A write-off is because the repairs exceed the fair market value of the thing being written off. But the thing is used, not new. The fair market value is likely to be well below the cost of replacing it with something new.
https://www.netflix.com/title/80201680
> RHEL has 10 years of support, with the option of 13 years.

The problem here is that the people who need 13 years of support are perfectly OK with paying Red Hat for that. No one is saying that doesn't have great value if you need it... problem is you don't need it for an awful lot use cases.
When people say "blockchains are a solution in search of a problem" they aren't kidding huh? We already have decentralized Twitter, it's called Mastodon (we have more of those as well).
For real. Please delete!
It works without a login, but you can only see the "tweets" page not the "tweets and replies" page (I tried about 6 different instances this morning, same behavior on all). There are exactly 3 twitter accounts I check, and 2 of them are for the conversations they have there. I can no longer see those conversations. Deeply annoying
The bigger problem is: why is the labor to buy the soup cheaper than selling the free soup?

But I digress. This is more about selling an app with locations to soup kitchens. The kitchens may not have explicitly given permission to be used in the app, but their business location is public knowledge and not expected to be hidden.
Static electricity attracts ticks to hosts
If by 'operate' you mean 'pay executives and lawyers exorbitant retainers' then I suppose you are right.
Great! On paper it could handle Apache and NGINX like a charm, your modern web browsers would have no trouble accessing it.
https://archive.is/pYB3G
Someone told me that our public facing dns server running bind has 3800+ days of uptime and despite bind is up to date, the Linux version is really old... it's running on a dl360 g4 server.
Since they also proposed to have a different master/slave configuration my idea was to use ansible to have all the stuff reproducible.
Then packer seemed to be necessary, then started to look at some more complex configurations and found that in many cases you just create gigantic bash script that apply the configurations.
So I should go to my wiki page with all the commands to create my server and transform them into a script that I should test several times.
Ok if you have 100s of identical servers, but when you have just 4?
Yes, I do.

I lived in an active hurricane zone for most of my life, fwiw, and half my family just got screwed in 2022.

They've all variously moved away and come back. Hurricanes are a price you pay for coastal views. If I could put a beach in the landlocked state I live in now, it would probably generate incredible value.

I haven't taken a position on loan forgiveness, I've only taken a position on people blaming others for their own choices.
Agree, Alma's response has been way less hacky.
Put down the "phone", get up from the computer, and walk out the door...

The universal solution!

What you see on a screen is not reality!
A corporate online S/W platform is not community!
I use MacBook Air M2 and it feel underpowered
It just needs to be browser resolvable, assuming this element is meant to run in a browser. So absolute paths do work. For libraries, you may want to use import maps or absolute urls (similar to Deno). There's also esm.sh and jspm.org for modules that are able to be relatively easily converted.

I think it may be necessary/prudent to get some level of JSX support into browsers, much like the ts as comments efforts. Not sure how that will/would land. I was a pretty big fan of E4X, and had a prototype similar to React about a decade before it. In the end, who knows.
Our DB just finally finished rebooting and is now responsive to queries again, so they're definitely making progress
In practice one very good guy can achieve as much as a whole badly managed organization.

It's not necessarily that he's that much better technically, but he's got the right drive, focus, and business acumen, and isn't bound by methodology or legacy.

The real problem with software development is that a lot of developers are too removed from the business to deliver something practical with value in the right places.
Between ASCII emoticons and emojis there where emoticons in MSN, Gaim+Jabber and probably ICQ.
Math isn’t empirical: it’s assumed axioms which define a formal system.

One way to do that is set theory. Another is category theory. A third way is type theory.

We try to pick a set of assumptions that allow us to use the language to reason about the world around us — a modern ontology.

But is the Banach-Tarski paradox a fact about the real world? — or merely a part of the game we play? Hard to know.

https://en.wikipedia.org/wiki/Banach–Tarski_paradox
Future AI doesn't have to be trained on text, it doesn't need to be a language model. It can be trained on video data to predict its sensory inputs. It would predict the future of reality, not the next text tokens. Gains from training on text are bound by the human intelligence which produced this text. But training on sensory data is only bound by reality itself.
> The near term risk isn't super intelligence, it's the paper-clip optimizer pushing the wrong button.

This has already happened. The paper clip optimizer was capitalism.

Just listen to some heatwave weather forecasts once in a while (as an example).
How dare they use things freely available to everyone on the planet?!? The nerve!

You mean like all those credit card and other databases that keep getting left on public endpoints on AWS?
Elon Musk, Mark Zuckerberg showdown may reportedly happen in Rome’s Colosseum
This is definitely cool but if you want a more comprehensive teardown of the NES, SNES, N64 and Gamecube controllers, this is the one:

https://www.fictiv.com/teardowns/nintendo-controller-teardow...

I just love how overbuilt the old controllers are. I still have my original SNES and controllers and as far as I can tell they work as well as the day they were made despite decades of abuse. One has bite marks... not sure if that was the dog or me playing The Lion King.
Never. Atoms break down because they’re unstable, not because of universal expansion. Unless you buy the big rip hypothesis, in which case who knows.
> Valve and others battled it out legally with Blizzard over the DOTA name and eventually won, but this was definitely not Blizzard's intention - and of course they didn't use any Blizzard-created art in the final game.

Had Blizzard owned DotA IP, I believe Valve would've had to steer much further away from the map, character and item design. IP extends beyond just art and naming, see e.g. Tetris vs Mino [1]. The case wouldn't have been a guaranteed win for Blizzard, but the early releases of Dota 2 were really closely copied from late releases of DotA, so the argument is there.

> Note that I don't think anything in the W3: reforged terms of service would prevent a new game being created based on a W3 mod, it would just prevent it from using the same name and art as the mod. This is exactly what happened to all other successful mods, with Dota2 being pretty much the sole exception.

Keyword being successful. Many maps have standalone ports that kept their predecessor's name [2][3][4][5], but only Dota 2 is really successful. And again, I believe these wouldn't exist or would've made large changes if Blizzard owned the IP of Warcraft 3 mods.

[1] https://arstechnica.com/gaming/2012/06/defining-tetris-how-c...

[2] https://store.steampowered.com/app/578350/Element_TD/

[3] https://store.steampowered.com/app/537680/Sheep_Tag_2/

[4] https://store.steampowered.com/app/469600/Legion_TD_2__Multi...

[5] https://store.steampowered.com/app/676580/NEO_Impossible_Bos...
Unfortunately, migrations are necessary when major releases occur. At some point, the argument to cling onto old tech which holds back the entire ecosystem needs to be deprioritized. Years have passed already so it should not be a surprise when the ecosystem moves on.

Re mocks, an ecosystem should not be held back solely due to an arcane edge case. The apps that use test doubles can be rearchitected to support test doubles to the programmers' satisfaction. Most people do not use test doubles & the benefits of ESM & not having to deal with CJS outweigh the downsides of losing some convenience in mocking modules.

This is something that will not be popular with clingers to CJS, but it is something that will benefit the wider ecosystem. The vocal minority which is holding back the ecosystem should start making plans to migrate because it is in the process of happening right now...

So I think the general resentment is having to do extra work to support CJS which is not standard across all JS platforms...and some legacy libraries are still written in CJS requiring an interop. So it would be great to not have to do this extra work to support the legacy CJS on Node.js when every other JS platform is using ESM. In this case, one person's convenience comes at a cost to everyone else & at some point, that one person is going to have to suck it up & do the work to support his use case...just as everyone else had to do the work to support the legacy CJS for years now.
Hey Shawn! Always enjoy your writing.

I think you've done well laying out what a lot of people want "AI Engineer" to mean at this moment in time. My concern (coming fresh out of the absolute semantic nightmare that was the "serverless" community) is that the term AI is so hopelessly overloaded, and has been such a moving target over the years, that it's unlikely that a plurality of people will ever share your mental model of what an "AI Engineer" is/ does / knows / is paid.

Personally I've been using Generative Engineering / GenEng [0] to describe the professional practice of building stuff with AI as your pair programmer. I recognize some are pulling away from the term "generative", but to me it feels like a better anchor into the specific flavor of AI we're talking about.

[0] https://cloud.google.com/blog/products/ai-machine-learning/t...
It really is remarkable. I think the most remarkable fact about it is that the intensional identity type was invented by Martin Lof in the 70s, the groupoid model was discovered in the 90s and then finally in the late 2000s various people made the connection that Martin Lof's original system from the 70s was in a sense already a type theory for abstract homotopy theory. This led to an explosion of new ideas in type theory (univalence, higher inductive types, modalities) that took a somewhat obscure field of math/cs to the thriving research community it is today.