skysight-inc/HackerNews huggingface dataset:
> The consequence is that a unique intelligent, sentient being ceases to exist.

Why is this such a bad thing? I see no issue here. Forcing another to exist just because they have some kind of untapped value that hasn't manifest yet is antiquated thinking.

Obviously rehabilitation and therapy should be on the table, to try and bring someone back to normalcy - but if that fails we should not falter.
ISP Must Unmask Alleged Pirates but Rightsholders Can't 'Harass' Them
frEeDom oF sPeeCh
My lumberyard of choice still uses DOS machines for their computers and POS. I'm not saying you'll change the world by revolutionizing lumberyard inventory management software but I wanted to illustrate just how low the low hanging fruit are.
The same guy found 4o to be much better

GPT-4o takes #1 and #2 on the Aider LLM leaderboards
https://news.ycombinator.com/item?id=40349655

Subjectively, I've found Aider to be much more useful on 4o. It still makes mistakes applying changes to files occasionally, but not so much to make me give up on it.
That's the whole problem with euthanasia in The Netherlands.

Most would opt for it when they have mental illnesses like Alzheimers or dementia in general but most often they would too ill to be able to make required informed decision. I am glad it's offered because why would someone need to wait until they die? Especially, when the person can't be treated further like when having cancer.
A solution in search of a problem that makes the existing solution worse. Kudos, Google.
in German we say "I only understand train station and departure"...
Who Wants 30k Used Teslas?
There is usually a religious reasoning behind such people’s opinion/argument, not logical reasoning.

If someone doesn’t want to live, why does the state, or anyone for that matter, get a say? A person didn’t have a say in being born, they should at least be allowed to die on their terms.

BTW, the same states don’t have a problem sending soldiers to their deaths when it suits them.
I think LLMs will need to do what humans do: invent symbolic representations of systems and then "reason" by manipulating those systems according to rules.

Here's a paper working along those lines: https://arxiv.org/abs/2402.03620
https://archive.ph/shrmq
> Does anyone know how far off we are having logical AI?

Your comment made me think of something. How do we know that logic AI is relevant? I mean, how do we know that humans are logic-AI driven and not statistical-intelligent?
why internationally:
of course starting locally is easier, will first do it in my city, gather feedback and iterate

courses:
no, this is post k12 and similar. it's highly targeted on a specific skill. for example, game dev with Unity (the course that I'll teach locally, as the first tutor user of my own platform), after which you should be able to create your own projects, grow a portfolio and with some luck (sometimes with tutor's help) get an internship somewhere

basically, zeroing in on immediately-applicable skills in life. you can also have a 1-week course on changing your car's oil and other car stuff -- it should be immediately obvious how you'll use those skills, not just theory

teachers:
I'll manually reach out currently, but once the platform grows they'll start as 'unverified' with some limited options, and there'll be a rigorous selection process to get verified. regardless of this, each course and each subsequent edit will be checked by us (will delegate some of the checks to gpt). this reminds me of YouTube's early days where most of the work was removing porn, but they've made it. vetting the first 100 tutors is doable. after that, we're already very close to PMF if not past it
Pinterest has over 500 million monthly active users. Their revenue was $3 billion in 2023.
Bad initial diagnoses, when the concern is purely medical, rarely cause problems outside of trauma. You get the shit scared out of you maybe, but the doctors/specialists ask for more followup tests just to be sure, and it gets sorted.

Bad initial diagnoses that are also criminal accusations have your kids sent to the rape orphanages for 5 months until a judge gets it settled.

> Im more concerned that there was insufficient review to catch a bad diagnosis before the state took action,

Well, same here. A few hostile glares from hospital staff are something I could weather, if 30 minutes later a second set of eyes tells the first that they're stupid and this is just an accident from whatever, and not shaken baby syndrome. Arguably, some minimally competent review would have caught not only this case, but many others.
Mathematical Hat in Early Computing Demos
I've been using DuckDuckGo for a while now on my personal machines, but still used Google on my work computer. I started getting the AI blurbs this week and they were so annoying, so I switched to DuckDuckGo on my work computer as well.
Is change coming to VC Industry?
I don't get what you're trying to say here. If protestors block you from getting to a hospital and you die as a result, it's irrational to blame them for your death?
Google Uses IRC for Incident Response
Maybe so. But we still have to draw the line somewhere. You can always point to the next costly car safety innovation and say that mandating that thing would improve safety.
> Seems more like a 'Middle Eastern Golden Age' of the indigenous people would be a better name than to label it after the regions conquerors

That's all of history in a nutshell. Ever heard about the Siege of Syracuse and the Achaean Wars?

"Islamic" Golden Age didn't mean "Arab" the ethnicity - which only became a formal identity in the 19th century. While Arabic was used as the lingua franca, the ethnic origins of the various thinkers were well known in their names (eg. Al-Khwarizmi the creator of Algebra from Khwarazm/Khorasan, Al-Biruni the sociologist from Beruniy/Беруний in what's now Uzbekistan, etc). The main thing was all these thinkers were Muslim.

History is brutal and dark, and while we should look at it to remember our pasts, we should not idealize it.
Pretty much this. Sprint bet the farm several times on ultimately dead-end tech (CDMA, WiMAX) and were too focused on other things to get ahead of technical evolution. They ended up saddled with debt by the end of it, which hampered any ability to actually upgrade their networks (another poster already pointed out the technical issues with running LTE without UMTS). By the time of the merger, the only things of any value they had was the spectrum and customer base to be moved over.

An external acquirer would almost have to build from scratch after absorbing all the legacy costs and run the risk of inheriting Sprint's bad business decision culture or spending an enormous sum building out a new team. Of course, they'd still have to support the old and new setups at the same time for awhile as the new stuff was built out. The ROI would have been decades at best.

With a merger with another telecom, people can be migrated over already existing infrastructure (with some upgrades to deal with new traffic) and have sprint's old spectrum slowly merged into the existing infra.

I'm oversimplifying of course, but one gets the idea.
>The RFDEW is a self-contained energy weapon that can be operated by one person, and can detect, track, and engage multiple threats at a range of up to a kilometer (0.62 miles).

So it obviously can not replace the million-dollar missile systems, which can, with a few installations, cover an entire country.

Not that it can't be used effectively. It certainly isn't a replacement, but a new tool in the arsenal to offer higher protection to more vulnerable areas like military installations.
To clarify, I'm talking about outcomes of children who are in families that aren't abusing them, versus children who have been placed in foster care (for any reason)

Comparing outcomes of children who are being abused against children in foster care will show improvement generally. But there's still a pretty wide gap between their outcomes and the outcomes of children in healthy families

Also, do grandparents really count as "the foster system"?
Pyramids aren't even unique; plenty of civilizations [2] figured it out.

The Giza Pyramids are aligned to the cardinal directions [1] which is something that is done(ish) fairly often nowendays. Muslims often have their houses point towards Mecca [3] which requires you to build a house at a specific cardinal direction after determining it.

You're going to have to provide the special cosmic alignment, Wikipedia mentions Orion [4] as a theory and certainly we can build buildings today 3 in a diagonal line. We can definitely measure the location of the stars in Orion's constellation now better than before. But also keep in mind there are a gazillion stars in the galaxy, any 3 buildings are going to match up with some subset of them.

[1]: https://en.wikipedia.org/wiki/Giza_pyramid_complex#Astronomy

[2]: https://en.wikipedia.org/wiki/Mesoamerican_pyramids

[3]: https://en.wikipedia.org/wiki/Islamic_architecture#Qibla_ori...

[4]: https://en.wikipedia.org/wiki/Orion_correlation_theory
Sorta related. A friend has worked for CPS since the 90s. She told me that CPS (in California) has the right to enter a home without a warrant or any real judicial oversight. All they need is evidence there's child abuse going on at the home. No guidance on what qualifies as "evidence".

Well, if that isn't bad enough, it gets worse. The local police department knows this, and they use it to get around pesky search warrants. Basically, the local PD calls in a fake tip to CPS that there's child abuse going on inside a house they wanna search. CPS, in turn, calls the local PD for assistance to conduct a child welfare check inside the house. Once the PD is inside the house, they can pretty much search however they want - no warrant, and all the paperwork and accountability belongs to CPS. CPS is fully aware of what's going on; the local PD bullies them into continuing this situation, basically threatening to stop assisting them on all child welfare checks if they say anything. My friend told me it's easy to spot when this is happening because a half-dozen cops, dressed in SWAT gear, will show up to do a child welfare check, where it normally takes one rookie cop. She said she's participated in situations like this when there wasn't even any children in the house.
It's actually really not so uncommon, if you classify dementia as "mental illness". Many people prefer (or say that they prefer) euthanasia to dementia, yet one has to make the final decision before the dementia is overly advanced.
Everybody, just like animals, is able to simply starve. The rest is just an ill mind speaking out of despair.
D3 is inspired by the Grammar of Graphics by Wilkinson.

Another tool also inspired by GG is aptly named ggplot2 and for the R language. It offers a much more terse and functional inspired interface that also works well with an uncommon tool named Rush, R one-liners for the Shell, for quickly creating graphics from CSVs piped into the tool.
"""
The key idea is that procrastinating does not mean doing absolutely nothing. Procrastinators seldom do absolutely nothing; they do marginally useful things, like gardening or sharpening pencils or making a diagram of how they will reorganize their files when they get around to it. Why does the procrastinator do these things? Because they are a way of not doing something more important. If all the procrastinator had left to do was to sharpen some pencils, no force on earth could get him do it. However, the procrastinator can be motivated to do difficult, timely and important tasks, as long as these tasks are a way of not doing something more important.

Structured procrastination means shaping the structure of the tasks one has to do in a way that exploits this fact. The list of tasks one has in mind will be ordered by importance. Tasks that seem most urgent and important are on top. But there are also worthwhile tasks to perform lower down on the list. Doing these tasks becomes a way of not doing the things higher up on the list. With this sort of appropriate task structure, the procrastinator becomes a useful citizen. Indeed, the procrastinator can even acquire, as I have, a reputation for getting a lot done. """
maybe theorem proving could help? ask gpt4o to produce a proof in coq and see if it checks out...or split it into multiple agents -- one produces the proof of the closed formula for the tape roll thickness, and another one verifies it
> Yes, there are some who think aliens built the pyramids.
> But there is an equally large group of people who think that humans pre-ice age were advanced like we are today.

Not GP, but to me, these two theories are both wildly implausible, so "think it was built by aliens" is a handy shorthand for "believes an implausible theory about the origins of the pyramids." There's zero reason not to believe the "orthodox" theory about the pyramids. There is even an actual contemporaneous written papyrus record referring to the Giza construction project [0].

[0]: https://en.wikipedia.org/wiki/Diary_of_Merer
True, there was extensive effort, but wasn't the effort geared towards providing the deceased god a path back to the heavens or wherever they had come from?

So, presumably after they had ascended with the help of the burial provisions, the remainder of the body was irrelevant?

But perhaps this part was not clearly defined in the teachings.
TLA+ and Coq (at least as far as their use in software goes) are both examples of formal specification languages offering a deductive proof systems (and TLA+ also offers a model checker -- yet another sound method). And I don't think you'd find me selling either one of them in this conversation, in which I mostly focus on the limitations of such sound tools.

Unit tests (depending how you interpret the properties of interest) and fuzzing are indeed probably the most famous examples of unsound methods, and so it sounds like you actually agree with me: it is unsound methods that have been more successful in practice except for the simple properties proven by simple type systems. But no matter what argument you find more or less convincing, you should try to listen and learn -- because it's clear that you don't understand the conversation -- rather than shout from the peanut gallery.

If you find the terminology unfamiliar, you can think of sound methods as "static" ones [1], i.e. they don't execute the program, while unsound methods are usually "dynamic", i.e. require executing the program [2]. Indeed, my point is that "static" and "dynamic" methods are most effective when used in combination, and it is the static methods that are more cost effective for simple properties -- their effectiveness drops as the properties become more "interesting" -- and it is the dynamic methods that are more cost-effective for more complex properties. It sounds like you agree.

Now perhaps you can understand my original point: a certain attribute of a programming language that makes certain sound (static) methods easier when verifying certain classes of properties doesn't help all that much if those methods are so limited to begin with for that class either in the range of properties for which they're effective or their scalability. I.e. making a method that, in the relevant situations, is 100x too expensive for your budget only 90x more expensive for your budget doesn't have much of an impact on its overall practicality.

[1]: This is more of a large overlap than an equivalence. A human or LLM reviewing code is also a static form of correctness assurance, but it isn't a sound one.

[2]: I won't confuse you with abstract interpretation and model checking, both of which are sound and are can be viewed as either static or dynamic depending on your perspective. I consider them static as they don't rely on full concrete executions of the program. Some interesting unsound methods like concolic testing have some "static" parts, but I consider them ultimately dynamic.
This probably only applies to Windows. Hardware players don't need Internet access.
You can tell a lot about a society by how it treats those it has power over.
So what you're saying is there was a massive technologically advanced civilisation which didn't build buildings, didn't carve stone, didn't mine or refine metals, didn't deforest, didn't farm, and didn't use oil?
Your Hard Drive May Be Listening (2019)
I'm fucking sorry but if you gave me that tape math problem i would have given the same answer! I'm so sick of people writing trick questions for AI's and then being like SEEEEEE it failed! And its like no you gave it data and a question and asked it to solve the question, it gave you the best answer it had... Like wtf.

And i'm pretty sure the average person when asked would say the same thing and be like "duh" even though technically based on the minutia it's incorrect.
Reminds me of “suicide booths” in Sheckley’s “Immortality Inc”. How long until we “grant” euthanasia approval for any reason at all, including no reason? I can imagine there’d be a ton of people willing to accrue enormous debts or commit crimes if they could then painlessly off themselves instead of facing the consequences.
> I'm shocked Google thought this tool was production worthy

Honestly, I would not be surprised if they didn't think it was. But thanks their "Code Red" they seem determined to get as much out the door as possible to avoid someone else doing it first.

> I don't think you can reasonable expect all users to realize it is low quality nonsense, when it is presented at the top of the results.

And that is the problem, we are training a large number of non technical people that these tools are supposedly reliable. When the problems with them confidently giving very wrong results are well understood. But we just don't talk about it anymore outside of certain circles.

If we did keep talking about it, all the AI hype would die off or at least he seriously hampered.
Those aren't as bad, about 20 seconds to get going from a cold cache. Car Configurator is incredibly slow though, I timed it at about 8 minutes to load from scratch and when it finally got there it was unusably laggy until I refreshed and let it start again with a pre-warmed cache. According to Chromes internal task manager the CarConfig tab is continuously using about 500% CPU (i.e. five entire cores) and 5GB of RAM despite very little going on in the demo. This is on a current-gen desktop processor.
First off, there is another comment in this thread talking about how that almost didn’t happen.

Secondly, I’m talking about VCs today. Do you think VCs today act the exact same way they did 50 years ago? The industry has grown dramatically since then.
Not in the training set? The dataset is ALL OF THE INTERNET, i'd love you to find something it hasn't seen before.
>> $13,078.58 to fix a quarter-size hole

Years ago I read this advice "Find an under-served market and serve it cheaply."

There's an opportunity here for a 3rd party to service and repair Teslas at a reasonable price.
> So the city has to build a new $50 million dollar sewage treatment plant in the hopes of getting that paid back over 50 years of property taxes, and gets no say in the matter or the cities budget?

Precisely.

> Sewage treatment plants have finite capacity, can't be built on a 'serves 20 units' incremental scale

Nor would they need to be. If your sewage treatment plant has a capacity for 100,000 units and you have 99,981 existing units, you already need a new sewage treatment plant regardless of where you put the new units, unless your plan is to never approve any new construction anywhere in the city, which is manifestly unreasonable.

> and oftentimes new plants have much stricter requirements than grandfathered in one.

And whose doing is that?
Hmmm - interesting!

https://en.wikipedia.org/wiki/Joseph_Nacchio

EDIT: more info here: https://www.eff.org/deeplinks/2007/10/qwest-ceo-nsa-punished...
Kids and especially teens seem to do this implicitly whenever they are doing things that they feel is advanced for their age
It is in the book. The book came first.
For small projects without tight performance or reliability requirements, Lean 4 is fine. It is lacking a lot in basic I/O functions, but you just yank them directly from the C standard library via the FFI and use them in your code. Don't expect to be able to prove anything about your code, though; just treat Lean as a pure functional language like Haskell but with dependent types and eager default evaluation.
Competition is just one click away.

As others in this thread already point out, it's extremely easy to use DDG or Bing if you want.
These are the most meaningful exemptions. Sure, it'll extradite petty criminals, but it absolutely won't extradite politically useful[1] criminals, and will absolutely not allow the latter to have a fair trial.

If that's acceptable and civilized behavior, I don't see why you can complain that Russia won't extradite a politically useful[1] criminal.

[1] In the sense that their crimes are furthering the state's geopolitical agenda.
Oh, amazing it works. I stopped using it during a period where it wouldn’t run on newer macOS — again probably like 10-ish years ago. Sounds like someone breathed new life into it.

There’s not a ton of activity but it’s definitely maintained on GitHub these days: https://github.com/quicksilver/Quicksilver/commits/main/
Go find some authentic Chinese/Vietnamese/Indian/etc restaurants that are run by and largely attract those immigrant communities. They tend to be tiny hole-in-the-wall places in strip malls next to nail salons and the like. You'll find they tend to be cash-based even to this day. And the good ones attract plenty of people.
The owner of a second home isn't a supplier though, they're a hoarder
I would imagine there’s a major blocker here or it would already exist.

My bets are on supply chain or Tesla refusing to honor warranties if you get work done elsewhere.
Where can I apply to have opposition to all of my opinions recategorized as mental incompetence? Man, things would be so much easier.
I don’t have a real strong view on this specific situation one way or the other but it’s relevant that the appeals courts pretty quickly threw out this suit and allowed Albertsons to pay the dividend.
Ironically the real problem with the U.S. constitution is that it’s much too hard to modify. The text is arcane and vague and often meaningless in a modern context, so courts can make up any interpretation they prefer.

Does the constitution contain a right to privacy that allows abortion? It did for 50 years, then it suddenly didn’t. What’s a “well-regulated militia”? Anything that a particular court wants it to be. What about “emoluments”? Same.

Instead of trying to squeeze new meaning out of 18th century vocabulary, a constitution should rather have a self-destruct clause. Rewrite it completely every fifty years or so. There are nations that do this kind of constitutional reset when times are good (e.g. Finland whose latest constitution is from 2000), and they seem stronger for it.

Of course this is not possible in America also because culturally the constitution is much closer to scripture than to ordinary law. The Puritan heritage is in plain sight in how a legal text is treated like Moses had brought it down from the mountain.
Tesla can void your warranty at any time. Tesla can remotely disable features on their vehicles. It's a tough job repairing something that you then cannot guarantee in any way.
You're assuming anybody else would have wanted to acquire a debt-laden company with an enormous infrastructure deficit as they mismanaged the move to 4/5g. Sprint essentially was only valuable to a company with a better LTE/5G network already in existence that users could me moved to and then Sprint's old spectrum repurposed. Anyone else would have been left with many tens of billions in network upgrade costs.
Definitely not every road stage, but on a flat stage if your aim was to break away and stay away you should absolutely do surely?

Nobody ever has…
But AI is put into places where you wouldn't ask the average person.

It's treated like a genius and that's what it gets measured against.
Smart Pointers in (GNU) C