skysight-inc/HackerNews huggingface dataset:
Bullshit. It's ITAR, they don't want parts floating around in the world that can make a dead nuts accurate INS - inertial navigation system, as this enables weapons we don't want in the wild.

You can stabilize out everything and account for the rotation by simply watching the vector of gravity over time.
CDMA, from an RF performance perspective regularly outperformed GSM, but as is noted downthread, the provisioning/auth system was inherited from AMPS/D-AMPS, CDMA2000 with a GSM network core would have been amazing.

Which, tbh, is exactly what LTE is.
Right-click on the panel, choose "Configure panel", in the resulting overlay there's a "Move tabs to this panel", click "Manage rules".
The whole project with a single prompt with GPT-4o
The era of solo founders just activated.

gpt-4o is capable not just of writing code, but of handling entire projects with their structure, code, dependencies, etc.

In my example, I asked to create an application using TypeScript, Next.js, LiveKit, OpenAI, Whisper, and ElevenLabs.

It provided a structure that covers both the front-end and back-end, ensuring that each component is correctly connected and imported.

Here’s a high-level outline of what we’ll build:

1. Project Structure
2. Dependencies Installation
3. Environment Variables Configuration
4. Next.js Front-End
5. LiveKit Integration for Real-Time Features
6. Screen Capture and Video Processing
7. Whisper Integration for Speech Recognition
8. OpenAI GPT-4 Integration for Answer Generation
9. Text-to-Speech (TTS) Integration with ElevenLabs
10. Deployment on Vercel

Check the video in the thread and find prompt, README, and link on the chat & GPT in the thread also.
sorry i didn't understand originally! thanks for explaining
You may "booh" me. But in the end, you know I'm right : who won, the 80' era supercomputer, or the k8s/serverless world ? Yeah
Could someone ELI5 the concept of "verification", why does an entire language (Coq) exist for this purpose, and what practical implications this has on wider society?
Maybe someone needs to found the Framework Computer, Inc, of electric cars.
Yes, they consistently lost money from 2008-2019.
there are a lot of tricky parts.
ACM papers on sorting algorithms tend to plot run time versus n to show that their novel optimization to sorting pulled ahead of more general algorithms at certain ranges of n. In the early 00's I saw a handful of papers from different teams who came up with algorithms that had much flatter time curves than mergesort for n > 10000.
Is there? Lets put a few reasonable requirements down:

- Self-sufficient commands that you can store in history, put on wiki page, put inside a script file, Slack to your friends, store in configuration, etc...

- Variety of execution methods: local computer, remote via ssh, jupyter-like notebook, remote via something else (like AWS SSM), CI runner, ssh which launches SSM session which connects over serial port, cron-like periodic schedulers, starting commands in your Go program etc... Every method should be supported automatically with no effort from developer.

- Output could be interactive (possibly with some reprocessing like tmux/screen does) or stored (like CI/cron execution). It is possible to parse output to get relevant details.

Even if you start from scratch, what can you design to fit this pattern? You'll get something very close to existing state - applications that take command lines, character-based input/output streams with some sort of formatting sequences.

Sure, if I could design from scratch I'd standardize on _one_ TERM, make escape sequences easier to parse (longer and common start/end chars), fix extended keys/numpad mess, redesign the CLI defaults of the few tools, create common command-line completion interfaces... but the overall idea will be the same.

(And if you don't care about the three requirements above, then go with HTML or native UI! There are tons of them and they are well supported. But I don't see the point of retrofitting HTML-like functionality to exiting terminals)
This seems like a fun article to print out, drop outside an archeology department, and wait for the fireworks.
No one is forcing this person to use Google. His article drips with AI phobia. There's no nuance to it. For example, I love LLMs but hate AI music and think it should be banned. AI music solves no problems for us like LLMs are helping us do. AI phobics hate all AI. I'm starting to feel personally attacked by people like this because I am enthusiastic about some AI.
There are better reasons for spending $30,000.

For example, a down payment for a home :)
Usually, but not always. In my case, I'm against religion and my state can't (or shouldn't be able to) send me anywhere - but it has a duty to protect me from myself if I'm unfit to decide.
I actually have a contrarian view: being able to do elementary math is not that important in the current stage. Yes, understanding elementary math is a cornerstone for an AI to become more intelligent, but also let's be honest: LLMs are far from being AGIs and does not have common sense nor general ability to deduce or induct. If we accept such limitation of LLM, then focusing the mathematical understanding of an LLM appears to be incredibly boring.
One might argue that you'd also need to deactivate all the other socials for all of that to happen
At least in my state (Washington), CPS prefers to relocate kids to nearby family members over actual foster homes, for what I hope are obvious reasons.

There is always a balancing of false-positives vs. false-negatives, in any attempt to restrict any behavior. And while I agree that the consequences of the false-positives are dire, sometimes unthinkable, CPS and its power to remove children from their homes is in response to something also dire and unthinkable.

You seem to be arguing that the consequences of a false positive vastly outweigh the consequences of a false negative. Viewing the consequences of an admittedly light-duty false negative (that is, abuse or neglect that, for one reason or another, hasn't received a CPS response), and being on the periphery of another much worse false negative (via contact with a member of the jury), I am uncertain.

Which is worse? Lacking the power to remove a child from a bad situation, or occasionally sending a child into a bad situation? I don't have a good answer for that question. I just disagree with the idea that either is indisputably worse than the other.

Its awful that there is a situation that we have to choose at all. And unambiguously, the foster system must be reformed. The OP even quotes the family's lawyer as saying that CPS disproportionately goes after poorer families ("neglect" and "poverty" can look the same, even if the cause is wildly different). But I do not think the foster system is so broken that we should abolish CPS entirely and just accept actual child abuse as unpreventable.
Working set size, latency and pesky laws of economics.
To break away requires you to put out 30% more power than the person behind you, and then also means you need to put out 30% more power than the rest of the field. That is a good recipe to go out hard, overcook, and then get passed up by the entire peloton.

The 30% - Drafting is good for a 30% power increase. When in the middle if a peloton, even more. The breakaway plan can make sense, but not by fooling around in a TT helmet in the middle of a peloton for a few hours first.
If used cars will have software locks and fixing will be prohibited without cloud services their price will drop much quicker after the time of warranty
Miles are irrelevant, they’ll last forever (based on fleet powertrain reliability stats). It’s a great deal if you’re going to drive it until it dies and you need mobility, assuming for whatever reason you don’t qualify for incentives or credits that would get a new one to the used price.

(have over 200k miles collectively on three Teslas)
I think it is very, very hard to beat Python+Django. As long as you're willing to conform to the "Django mindset" and the boilerplate it requires you can get simple websites up and running in no time. You also get so much "for free" that most other frameworks does not provide you with. The only major drawback is that Django is not great if you really want to do things your way.
There is an excellent behind the bastards podcast on this:
https://open.spotify.com/episode/5kSz7fsdOV9fzFFC93tdS7?si=U...
I for one am glad that it's not easy to commit suicide, because my sister tried and failed and after 10 years is finaly better. She has scares on the hands that she's hiding with tattoos. Mental problems can be resolved. Not all of them and not easy but it can work out.
A Chinese Family, a Swiss Inn and the World’s Most Expensive Weapon
> They updated the ratio of civilians. Turns out the majority of those are adult male combatants.

As of yesterday, the UN is reporting that 60% of deaths are women, children, and the elderly. So even if you want to pretend that all adult men in Gaza are combatants, your minimization is verging on genocide denial. (And the total figures are "not including more than 10,000 reported missing or under the rubble" so the death stats are almost certainly low.)

https://www.ochaopt.org/content/hostilities-gaza-strip-and-i...
This article is biased in my opinion. Colleague bought BMW with broken gearbox. Warranty covered 2/3 of repair costs. That’s typical mistake when buying nice car and not checking it thoroughly.

For electric vehicle it is even more important. I would lift the car during test drive in random repair shop, go by myself under it and check the bottom. Battery is most expensive part there. And most fragile too. And also easy to check without special tooling.

I also wouldn’t buy a car with 70000 miles on it. That’s the mileage when things start to fail. It is also out of warranty. Battery might be still under warranty, but that’s not very useful. Tesla solved these issues in the past. Other thing is that these were rental cars. So they were treated extremely poor for years. The buyer of Herz Tesla should be well prepared for all possible expensive surprises.

Edit: I wouldn’t buy a car made after 2005 with 70000+ miles on it. The family cars made before outlived the ones made after 2015. 7 data points at the moment.

Edit2: CAN-Bluetooth dongle with an app isn’t really a tool. Not having it while buying a car for 25k is a gamble. Add also tool for paint thickness measurement. Everything else is naive. Nobody sells very good car for a very good price.
The physical portion of reality.
Actually it is more than that.

Vercel has made agreements with key CMS vendors to have Next.js as the main SDK integration.
> there's not even a translation view

With Windows Forms, at least back in the day, you could open a Form in the designer, change its language to something else and just edit text on the controls (or images, etc.). The changes would go into a resx file for the selected language. At first glance this looked quite cool, but on the other hand, translators now can ruin your UI, as there's not really a dedicated translation view that only allows to change resources ...
Yes, though perhaps there's possible middle ground, like 4-stroke motors plus this tech.
*looks at downpayment for average home in local area

Yeah, that's not going to do it. By, like, an order of magnitude.
Yes, use firefox or something not chromium based people!

We don't want all the other browsers dying, then google requiring you to use chrome to view youtube, google, gmail, etc.
https://www.mozilla.org/en-US/firefox/new/

Don't complain about a company having a monopoly while using their products WHEN THERE ARE COMPLETELY FREE AND VIABLE ALTERNATIVES.
I don't think so. Consider the effort to hide tombs full of gold and jewels. If the humidification was just a temporary expedient, wouldn't it make sense to loot the tombs once the soul had passed on, as a general policy?

I think they expected to be bodily resurrected at some future date. I think a lot of people today expect to be bodily resurrected at some future date.
If you're interested in APL and array programming languages (j, k, q, BQN) take a listen to The Array Cast at https://www.arraycast.com/
As the paper was just published I'd assume it contains lots of new evidence?
can you explain? From my understanding firefox is owned by mozilla?
Can apple really reach into your device and just shut it off remotely? Cause tesla can.
We all want to keep missiles out of the hands of bad people.

Parts to make really good cameras could be taken out and used in missiles, to tell them where to go.

So we now have laws to keep those really good parts out of cameras, for safety. Cameras still work fine, but you need a tripod to get good pictures when it's dark out.
That would be kinda sad, given that Google would previously forgo showing ads, if they didn't arrive on time.

This is actually a problem I currently have with Ecosia on mobile. I search, get the result, and then the ads pop in, pushing the search results down, causing me to click the ad and not the result that previously occupied that part of the screen.
and then there was also the Wimax debacle. Sprint had invested pretty heavily in Wimax being their future network before they realized this wasnt going to work.
That is an example of a $1M+ missile

But where is the connection to that this missile is the one intended to be replaced? Where is the military saying this? I suspect they talk more in terms of expanding the available types of fires they can use depending on the circumstance
It doesn't matter, if the chance of getting the wrong answer is sufficiently small. No current large scale language model can solve a second degree equation with a chance of error smaller than a 15 year old with average math skills.
Show HN: Drivr – VR with real vehicles [video]
This project combines VR with a real vehicle that you are controlling (or is controlling itself, in some scenarios). One advantage this has over traditional VR motion experiences is that your senses all agree with each other, thus greatly reducing the likelihood of motion sickness.

The go-kart seen in this video is drive-by-wire and steer-by-wire, so the system will not let the player exit the defined safe area. If a player goes off course, the vehicle will take control, and return them to the start. The autonomous capabilities also allow for games where the player can focus on other objectives other than driving, such as target shooting.

No infrastructure is required other than the vehicle and an open place to drive (which honestly has been the most challenging part lately).

If you're interested in this project, I'd love to connect!
Absolutely! I found most advice about what to eat to be mediocre, and I'm at a decent weight now (185lb/85 kg, long ago I was 280 lb/127 kg - I could stand to lose a few kg but could be worse) and all that really works is what I call "veg mountain". Basically just eating an absolutely enormous amount of vegetables so I actually feel full. Air fryers help a lot for this, brussels sprouts are pretty filling in particular.

I eat meat too, though. Almost entirely chicken and fish. It would be really hard otherwise, though I do like tofu and a lot of meat substitutes.
Awesome reference! Thanks for that.

To further cite:

On Math, Matter and Mind

https://arxiv.org/abs/physics/0510188

If I’m following your train of thought, I read it like this:

All squares are rectangles, but not all rectangles are squares. All physics is math, but not all math is physics.

As it applies to my understanding of your point and to my understanding of the MUH, Tegmark argues that the universe is necessarily pigeonholed by physics, and must be constrained by and embodies physics, which seems logical and consistent to me.

My point was perhaps a bit more pedantic regarding the distinctions between A: actually existing external reality independent of our understanding of it, and B: our representation of the universe that physics seeks to formally define.

I think it’s reasonable to assume that the universe is internally consistent and rational; that is to say that it’s bounded by so-called laws of physics, but we may not be able to reason about it because we currently lack the tools to make sense of it; that is to say we don’t know how to represent it mathematically.

I think we likely agree - the universe computes itself and proves itself by its essential nature and very existence. I don’t mean to speak for you, but only to find points of agreement.
How is this a trick question? Maybe I am dumb but I would have no idea how to solve this.
Opiates aren’t easily available to most, and illegal. I’m talking about totally legal and totally painless method here, as in the novel. There’d be a lot of takers if friction is reduced. Heck, I bet every person’s life has low points where continuing seems pointless. I had a few moments like that myself when I was younger and expect to have more of them as I get older. I’m only really still alive because dying is a high friction process.
> Does anyone know how far off we are having logical AI?

1847, wasn't it? (George Boole). Or 1950-60 (LISP) or 1989 (Coq) depending on your taste?

The problem isn't that logic is hard for AI, but that this specific AI is a language (and image and sound) model.

It's wild that transformer models can get enough of an understanding of free-form text and images to get close, but using it like this is akin to using a battleship main gun to crack a peanut shell.

(Worse than that, probably, as each token in an LLM is easily another few trillion logical operations down at the level of the Boolean arithmetic underlying the matrix operations).

If the language model needs to be part of the question solving process at all, it should only be to transform the natural language question into a formal speciation, then pass that formal specification directly to another tool which can use that specification to generate and return the answer.
Miles are very relevant. The suspension and steering components are wearing out quickly in these heavy cars.
Yes, of course. What kind of comment is this?

EDIT: to be clear, I think the idea of alien involvement in pyramids is ridiculous. I'm just answering the question.
To put this into perspective, per Wikipedia[1]:

60 dB SPL: TV (set at home level)

100 dB SPL: Jackhammer

[1] https://en.wikipedia.org/wiki/Sound_pressure#Examples_of_sou...
The algo will only push outrage on you if you secretly like it enough to spend hours watching that shit.

I have consumed more than my fair share of content on Youtube, Instagram, Facebook videos, and TikTok. My timeline is all engineering, spaceships, jumping puppies, and comedians (and not the negative kind).

It's an algorithm, it wants you to watch more and click on all the ads. It doesn't care if the world burns, but it also isn't going to push you that way.

My statement will only be "objectively false" if the algorithm is somehow programmed for political extremism. In reality, each of us is in the driver's seat.

People have been spouting crap since time immemorial - doesn't mean you have to watch it.

I would suggest a heavy and sustained dose of puppy videos.
Yup, that's a piece of advice I'd give to younger me.
Learn Rust, one exercise at a time
That's what I am doing. I follow my intuition, but check it with logic.
What's the cost of a new battery?
for a standard 20% downpayment so you aren't screwing yourself over so badly on your mortage, $30,000 only works if your house somehow magically only costs $150,000. Good luck finding that in this market. These days your downpayment needs to be closer to $100k.
> I'm not arguing for or against sound methods; I'm saying that since the question is empirical, it must be answered by empirical means as that is the only way to answer it.

And I say that the history of CVEs empirically shows that any important software with an attack surface must ensure memory safety, because no heuristic approaches can be relied upon.

> It's alright to acknowledge that measuring the effectiveness is hard, but that also means we can't presuppose the effectiveness of something just because it has an easy to understand mathematical property.

Except you can measure the effectiveness of memory safety in preventing vulnerabilities in domains with an exposed attack surface. Your argument just reduces to an overall focus on bug count, despite acknowledging that 1) most security vulnerabilities are memory safety related, and 2) that memory safety bugs and other types of bugs can't be equated; and your only "escape hatch" is a supposition that a heuristic approach that "eliminates 95% of memory safety violations" probably doesn't leave anything serious behind. Sorry, 40+ years of CVEs does not make this claim reassuring.

> Except this is the starting point for most software. If your goal is to get to where most software is already is -- I would very much characterise it as underwhelming.

It's not the starting point of software that has high performance or low power requirements, or expensive hardware, which is the context in which I took issue with your statement in my first reply. That's why memory safety is not underwhelming in this context.

> Now there's more research into unsound methods.

There's more research into those methods because security costs are still a negative externality, and so a cost reduction focus doesn't factor it into account.

Anyway, I feel we're just circling here.
> Believe it or not suicide is legal.

Is it thought? If you don't succeed you basically are incarcerated by way of mental institutions (at least in the USA). Obviously they can't hold your un-alived body "accountable" but it sometimes does feel like suicide is illegal.
Last update, had an e-visit with a NP who said it sounded like dishydrotic ezcema, hooray guessing skills. Got prescribed a steroid cream which insurance refuses to cover, and a dermatologist appointment next week. I wash my hands, pat them dry, cover them in lotion or petroleum jelly, and cover the fingertips in bandages, and honestly it's just slowly getting worse. Cotton gloves dried my hands out in minutes. US health insurance is BS.
I've seen a couple businesses in my city that use electric. It's their main selling point. But in both the cases I'm aware of it's literally just one guy maintaining his own tiny fleet of equipment. And it's more than double what it would cost to get a bigger landscaping company to do it. I would really like to see an example of a landscaping company do this at scale, because I haven't seen it.

The equipment itself is not even really that big of an investment to my understanding. A good electric leaf blower and battery is probably equivalent or cheaper than its gas powered equivalent. It's the logistics and maintenance burden of having to constantly charge, swap, replace, and maintain the batteries. Kind of why electric cars only became viable in the last 20 years. The technology has been around a long time, it's just only now viable enough due to capacity restrictions.

Due to the form factor and energy requirements, it may be a long time before that happens to replace two and four stroke motors for commercial use cases.
Not my experience in a 2018 S and a 2019 X. Wiper fluid, tires, brake fluid, air filters are the only work done, over 100k miles on both. Paid inspections done at ~100k miles to confirm for proactive replacement if needed. Intend to operate them until the powertrain fails.

I earn too much to receive any incentives, so keeping an eye on the used market to buy another Tesla or two (preferably Ys, but would take a 3).

Edit: I enjoy spirited driving, and do so frequently on roads of many different quality across the eastern US and Midwest.
> I do argue on here a bit but not nearly as much

The nice thing about HN is that if you know how to behave and if you care to listen, you're most likely just having a conversation, it's not even arguing.

It's nice to know that meaningful conversations can still happen somewhere on the internet nowadays.
Next up, tabs vs spaces!!!
Sounds like the first job for any repair shop will be disabling Tesla's root access!