skysight-inc/HackerNews huggingface dataset:
> The competition is mostly regular ICE cars with a battery bolted on,

Most automakers have long since stopped basing their electric cars on platforms designed for ICE cars that have have EV components badly squeezed into whatever space they can 'find'.

They've been making platforms designed specifically to include EV drivetrain components for a while, and many have shifted to EV-specific platforms.

There's also literally nothing wrong with platform-sharing, by the way; it's more efficient use of design, manufacturing, and service/support networks. The "it must be PURELY designed from the GROUND UP to be a EV" is largely marketing who-haa that hasn't been relevant for a while.

The Ford Lightning? It's largely based off the F150. Who cares? It's still a brilliant car that has been selling like hotcakes and will convert a TON of good-ol-boy types to driving an electric vehicle.

But here's a list of cars with EV-specific platforms:

* Audi e-tron
* BMW i-series
* Chevy Bolt and Bolt EUV, as well as their entire Ultium platform of cars, which I believe includes the HUMMER)
* Porsche Taycan
* Ford Mach-E
* Hyundai Ioniq 5 (and Kia equivalent)
* Lucid Air
* Rivian
* Mercedes EQS
* VW ID series
* Polestar

I'm probably forgetting some?

All have things Tesla doesn't: an extensive dealer network for sales and service, a healthy parts distribution channel, the build quality and reliability people expect from such an expensive car, no worries about bullshit like being banned from getting parts because the company thinks your vehicle shouldn't be on the road, transmission/motor units that are properly sealed so they can be driven in heavy rain and through puddles without issue, windows that spontaneously shatter, their cars randomly braking on the highway, self-driving systems that like to slam into the back of emergency vehicles on the shoulder...
Assuming the context is for solving real-world problems, not textbook problems:

1. Try to solve the smallest (but similar) problem you can think of. You'll learn a lot along the way and might figure out if it is doable or not. As a reminder, just because a problem is solvable doesn't mean it's solvable at an acceptable level of cost/time/effort. Solving a similar, but smaller problem will help you estimate the feasibility of the larger problem.

2. If the problem is worth solving, it's probably affecting people who in turn have tried to solve it before and are using either approximations or imperfect solutions. Talk to them, understand what they've tried, what works and what doesn't. If the problem affects enough people It's very likely that a solution exists already, it just hasn't been generalised, productised, or automated yet.
The reason to provide some sibyl protection/spam protection mechanism is so that every one that wants to contribute can do so. The ceremony is secure if there is 1 out of N that correctly destroyed its secret. You individually, may not trust any one else, but then you should be allowed to contribute a secret and delete it, in order for you to trust the ceremony output. If you are prevented from contributing because there are bots filling up the queue then you won't be able to trust the ceremony. I think it's a sensible constraint from the crypto fetishists.
Case Study: A WebAssembly Failure, and Lessons Learned
What would be a simple example of an event that you want to define inline but can't in plain html?

Can you give minimal example on jsfiddle so we can compare different approaches?
Renate Loll Blends Universes to Unlock Quantum Gravity
If you are a ChatGPT+ subscriber I think you can clone the repository and run the app for free locally with your own OpenAI API key.
You might want to read 'The Lady's Handbook for Her Mysterious Illness: A Memoir' by Sarah Ramey (Known also from her band Wolf Larsen). She goes back and forth between providing an overview of this 'mysterious illness' from different angles, and her gutwrenching absolute trainwreck of a personal experience of it. It seems you already found your way the same way she eventually did, though.

As the title says, the book is womens body specific - but also a guy i still found it very insightful to read.
among my favorite apps/websites that support dark mode:

- https://around.co/

- https://fig.io/

- https://linear.app/

- https://liveblocks.io/

- https://raycast.com/

- https://supabase.com/

- https://volta.net/

hope it inspires :)
Because the size and the position of the holes create a scale which can be used for playing music. Via links shown in an earlier comment it's explained that it is a diatonic scale, but the point is really that if the holes had different sizes and the positions were different, even slightly, then you couldn't play music as we know it (see the video where Albinoni’s Adagio is played on a replica flute).

That's why it can be stated that it wasn't accidental.
"what does the process of reversing that inflammation look like?" "that can take awhile to undo" think you answered it yourself. stress less and wait
Few other brands winning EV car of the year these days. Tesla isn't the only good choice as ground up EV any longer.
My partner and all of the other teachers in their school are writing their school reports in ChatGPT now. They put in a few points to describe how the student is performing, and the model puts it into a cohesive format. It's made an activity that normally takes an evening per student (maybe 20+ on a good run) into one that can be done in 3 or 4. The quality of the reports is up too. Each child is getting a completely individual report, not one copy/pasted from 4 or 5 others. The teachers can spend more time finding the right words to describe how the child is doing, and less on whether the sentence is grammatically correct.
Nix is not about "development environments" (i.e. 'nix-shell'); that's just a side-effect which comes for free. Nix's main entry-point is 'nix-build', which runs a specified executable with specified arguments and environment variables.

(The same applies for the newer 'nix' CLI, but I'm less familiar with that)
It was also popular in automatic transmissions in the 1990s. These are always asking "Should I change gear? Up or down?"
Currently they're the sole supplier of GPT-4 quality models, and the only competitors on the horizon are also US startups to whom the same regulations would apply. It's perfectly possible that given a choice between spending mental bandwidth on competing with OpenAI in the USA or dicking around with trying to please un-pleasable Eurocrats, they'll all decide to punt the EU to later.

I've been warning about this on various places on the net since the start of GDPR. It's never been a popular message, but the idea you can just repeatedly and indefinitely levy huge fines on US corps without eventual blowback was never sensible. Whilst the class of the 2000-2010 era, the Googles and Facebooks, might not leave due to large employee bases there, the class of the 2020s are a different matter entirely. It's not even just about access: do you think OpenAI will be in any hurry to hire people in any EU country now?

I just hope if/when that happens they remember that not every country in Europe is in the EU. Hopefully the UK, Switzerland, Norway etc are kept properly separated.
To see if designers care about their work or even know what they are doing, I always check their text input fields. Almost invariably the so-called designers make them as inaccessible and indistinguishable from background as possible.

As a very nice surprise, Fluent 2's text fields are good.

But then you click their popover in the menu on the left: https://i.imgur.com/zzQjscX.png I mean, how?!
> "pretrained models with guaranteed no IP issues"

The problem is that even if Shuttertock train model on the images they routinely sell it doesn't mean it's going to be free from IP issue. The subtleties are going to vary widely between jurisdiction, but it's not like Shutterstock was the author of most of the images in its bank: most if not all the pictures there have been taken by third party photographers, who (at least in some jurisdictions) keep the entirety of the copyright over their creation. So if court ends up ruling that images generated by ML models trained on copyrighted material is plagiarism, then Shutterstock will be plagiarizing their own suppliers.

Then maybe now their contract terms include a license to do so, but I'm pretty sure their old contracts did not, and even now, the said contract has to be ruled valid by a court.

In the US, where the big international players are, the legislator will probably shape the law in their favor (and against the photographers), but in many countries, where photographers are the actual business and where Shutterstock and others are just foreign service provider, the legislator can be tempted to protect the local businesses against Sutterstock.

It's going to be a mess in the next few decades (but IP has always been a mess, that's what happen when you artificially construct an exclusive “property right” out of something immaterial: intellectual property is trying to get a square peg in a round hole)
> It’s ridiculous, no ICE car gets marketed by range,

That's because every ICE car gets 400-600 miles per tank, and there are filling stations essentially everywhere.

For EVs, more range compensates for all concerns about charging availability.

All the chargers at work were busy? No problem if you've got several days of range.

Loved ones live in the middle of nowhere, with limited options for charging en route? Friend living in a flat who can't help you charge over night? Not a problem if you've got plenty of range.

Changed jobs and got a longer commute, or lost access to charging at work? Not a problem with 300 miles of range.

En route chargers along your route only charge at a meagre 40 miles per hour? Competing charger networks mean you only have access to some chargers? 300 miles of range means you can just go to a better one.

Worried about battery degradation with age, or lower battery performance due to your area's weather? Want to use the fastest charging, which only charges to 80% capacity? If you've got range to spare, no problem.

The situation will probably be different in a decade or two, when every gas station gets equipped to charge EVs at 300+ miles per hour.
I've found out that I can fly 1,000 times net zero per year if I offset that by not flying another 1,000 times.

It's that simple.
(in the spirit of "eat less, move more" for losing weight)
There's a few companies, eBay and Tesco Mobile spring to mind where they have domestic call centres and non domestic ones. The non domestic ones are useless, but they also have no way to put you through to the domestic ones who have more tools at their disposal.

It's a bit crazy when you're doing a gdpr request and the guy on the other end has no idea what you're talking about, says they can't do it for data protection reasons and won't put you through to someone who actually knows the law. So you have to ring back up multiple times to get through to a different call centre.
I was thinking there might be some theoretical barrier to parallelization, e.g., maybe naturally-arising SAT instances have poor empirical scaling constants [1], so sequential solvers with good branch heuristics are pretty close to optimal. There are some portfolio solvers (e.g., [2]) that have shown modest, but not dramatic speedups. Or maybe we just haven't tried hard enough.

[1]: https://en.wikipedia.org/wiki/NC_(complexity)

[2]: https://baldur.iti.kit.edu/hordesat/files/horde.pdf
Would they? Or is it like the small phone segment, where the a very vocal group of hardcore enthusiasts, but when it comes to market size, it turns out theres just not really enough of us out there to sustain the segment.

Cars aren't phones, and maybe a $15k car would sell well in this economy, but with way higher margins on a slightly better car at $40k, why would any automaker willingly give up a big pile of profit?
Maybe you are aiming at a different audience, but this conundrum is similar to how most research problems in pure sciences go -- problem might seem interesting, but finding the solution is hard and sometimes we don't even know if a solution exists. Mathematicians often use the words "existence" and "uniqueness": Does a solution to the problem exist and if it does, is it unique? George Polya's How to Solve It consists of essays on how to approach problems in general (not necessarily exclusive to mathematics in my opinion). You can find an excellent summary at https://math.berkeley.edu/~gmelvin/polya.pdf.

Essentially, the advice boils down to:

1. use the defining features of the set up

2. give things/variables meaningful names

3. leverage symmetry

4. try describing one object in two different ways

5. draw a picture, flowchart to visually represent

6. ask a simpler version of the problem by removing some constraints or considering very specific cases

7. read a lot and think about problems a lot
I'm sure you're already familiar with the following, but could be interesting for others.
Spain (the country) has multiple official languages, one of them being the European Spanish called Castellano Spanish. This is what people refer to as "Spanish language". However there are others, like Catalonian, Galician, Basque, Valenciano etc. languages, which are also "Spanish", but not mutually intelligible with Castellano. These are completely different languages on their own, and interestingly, in the case of Basque, not even in the same family of languages.
Can we please operationalize “spiritual?” It’s obviously important.

Can something that is not conscious be spiritual? I doubt it. So sentience is at least required. Can something that is not empathic be spiritual? I doubt it. So, I’d propose that “spiritual” at least requires consciousness and empathy. Then it seems to require some other transcendent aspect which often involves the dissolution of the ego. So, it requires an ego to be dissolved.

Any objections?
Would you be able to supply a reference to some of the tricks of stepper motor controllers?
This is what strikes me the most about all Microsoft promotional material. For a long time now they have been showcasing beautiful applications and interfaces in promotional videos and demos, but then the final products end up looking or feeling nothing like them, always feeling simplified and cheapened.
Of course there is. People might be ignorant. If a kid is just taught that the Holocaust was made up, no hate is required for them to believe it. People need to stop pretending they can divine people's emotions. What matters is their actions.
You can see exactly where everything's come from, using a command like:

nix-store --query --tree "$(nix-store --query --deriver "$(which python3)")"
>incite violence

>threaten them

You absolutely can. It just has to be nonspecific. "Kill all lannisters" is fine. "Kill x lannisters in y mall at z time" is not. See : Brandenburg v Ohio, Schenk v US, Hess v Indiana.

>interfere with others' activities (sing loudly in a movie theater),

lmao what? You can absolutely do that. the theater will kick you out but you can absolutely not be arrested for it. what an absurd claim.

>you also can't harass people

You can absolutely do that, to a degree.

>distribute copyrighted information that isn't yours

Not really related to 1A

>Private entities such as your employer can restrict your speech in many ways.

That's not 1A. 1A specifically applies to the government.
After a really really bad (prolonged) work situation, I started getting wicked acid reflux—with a very clear trigger between stress and subsequent symptoms. I remember at one point opening a passive-aggressive email from my boss and instantly feeling like a battery had exploded in my mouth.

The reflux never went away, even after my work situation improved, and some other gastrointestinal symptoms worsened until I recently got diagnosed with Crohn's disease. Which I am genetically predisposed towards, but I still like to say that my shitty boss gave me Crohn's (and not entirely in jest).

Although drugs have helped both issues immensely, I will say there's a pretty substantial link between my symptoms and bouts of stress. A lot of people with IBD (and to some extent, IBS) are all too aware of the paradox that if you spend too much time worrying about the possibility of a flare-up, you're all but guaranteed to have a flare-up. The tummy is a fickle beast!
There is. It's a patent. Those expire but Tesla gave it away before that anyways. So, I guess, Tesla?

Anyways.. the idea that selecting a plug would make you somehow positioned to be an "energy provider" ala Shell is just awful to me, let alone, but that anyone would seemingly be thrilled about that outcome brought out my sarcasm.
the washing machine with it was made in the 1990s
It's a perpetuating cycle. Apple, Google and Microsoft all need to be seen to be iterating on the freshness of their designs, otherwise people will assume their products are stale next to their competitors.
I am amazed by the amount of limits the community is pushing with a pico.
If only the rp2040 had an integrated DAC...
Hi HN!

I made a chrome extension that uses GPT4 to help optimize studying.

I got frustrated while studying for classes I don't enjoy so I made this.

I would appreciate any feedback we can get on the product and what we could do to improve it.

Here's how it works: you select any relevant text in the web page, and then you click any of the 3 features we have on the chrome extension: summarize, explain, or generate a quiz.

Here's a demo: https://youtu.be/T9gCWVm78YM
In such cases I've seen (and used) a saying in french that goes:

> Il est urgent d'attendre

which loosely translates to:

> waiting is of utmost urgency

The french quote can be traced to a translation of Asimov's Foundation, but I can't seem to find the original version :/
Wowzer, right. That is...pretty compelling. And incredibly illegal. Does California not know it doesn't have a right to just incarcerate people for no official reason?
Congratulate your anxiety/paralysis on being right, and do not try to overtly solve the problem. Instead, try moving the situation forward in one or more ways:

- Documentation: Write up the history of the problem, when it occurs, which users are affected, what previous work has been done toward solving the problem, etc.

- Reduction: Only look for limited solutions - proving a few of the "easy" cases for some difficult mathematical theorem. Patches or work-arounds that only reduce the impact of a computer program failing. Chemical synthesis of a less-tricky part of a complex organic molecule.

- Counter-example: A counter-example can be literal - the problem was to prove a mathematical theorem, and your counter-example proves that the theorem is wrong. Or, it can be a proof that the problem is impossibly difficult. The mathematical theorem you were told to prove is equivalent to the Axiom of Choice. The computer programming challenge is equivalent to P vs. NP. The physical theory/device you need to create would violate the laws of thermodynamics.
I mean, I think 3 is better, especially at high speeds. 2 is just the minimum.
It's like trying to create heaven on earth. It needs to be implemented by humans, so ends up not being very heavenly at all.
There are third parties who can do most servicing.... Obviously you don't get the benefits of the warranty though, so you're probably better off buying a Tesla where the warranty has already expired.

And there are plenty of car ferries to/from Cyprus, so you can get one there for under €100.
RAV4s are approx 40k where I come from, while Tesla is 70k+. Are you teslas cheap or RaVs overpriced?
> The Ford Lightning? It's largely based off the F150.

Is it? Feels like it was designed to be an EV, considering it has a massive frunk.
Compute is the major bottleneck.

Preface: I do not consider LLaMA or any of its fine-tuned derivatives to be truly open-source, since they can't be used for commercial purposes and have highly restrictive licenses. If it weren't for the leaked weights, models like Vicuna wouldn't exist.

I think it's somewhat unlikely that a purely open-source model can catch up in the near-term without one or a combination of the following happening:
a) significant funding for the compute resources required, potentially through massive donations by one or more wealthy open-source advocates, with the expectation of nothing in return since it wouldn't be proprietarily valuable
b) breakthroughs in design or architecture that significantly reduce necessary compute resources for initial training and/or fine-tuning
c) experts in cutting-edge AI research (the best of the best) being willing and legally allowed to contribute their unique knowledge to open-source projects, without restriction
d) another company or well-funded organization intentionally and transparently releasing an in-house trained foundational model similar to LLaMA or GPT-4 to the public, along with weights, full source code, plus permissible licensing terms that allow for commercial use and further modification

I'd say the odds are slim in the near-term future, but honestly it's anyone's guess.
That's one part of the article I don't particularly like - what's a "spiritual being"? I consider myself fully human, but there's nothing in my psyche which I would consider "spiritual" - what does it even mean? I play music, I sing, I read literature, I write, I create, and more. Nothing of that is something I feel the need for using the word "spiritual" to describe.
Could you provide examples of previously deployed dirty hacks that need more dirty hacks to circumvent the flaws?
Yes, I also don't like doing front-end development work, not because front-end development work itself is offensive, but doing front-end development work is a very meticulous thing, which requires me to invest a lot of time, which will reduce my energy investment in other work content.
No worries. I am not a great student of history, but I have found a recent surprisingly strong wave of people appearing who are entirely cynical about the history of the West, and will believe any negative statement about it. Obviously some of the negative statements are true, but it's always worth a little prod to see :)
Why do asymmetric plans exist in the first place anyway? I assume connections between autonomous systems are symmetric full-duplex, so doesn't these mean ISPs have the same amount of uplink bandwidth to divide between customers as downlink?
How so?

Different roads, geography, etc?
I wonder if they'll write a followup on the SMT revolution that happened after the CDCL breakthroughs for SAT.

The lazy approach to SMT was a huge step forward, but itself spawned a whole lineage of refinements, alternatives and changed the state of automated reasoning entirely.

A lot of work today seems to be going into theory combinations so that you can efficiently answer problems for example involve arrays and integers in a manner that has dependencies between the two.

'Solving' (it's an undecidable problem) SMT would open up a bunch of new possibilities..
I'll first admit you likely know way more than I about this. So this is not an attack on your statements, but an ask for clarification.

>replacing true/false with probabilities does a great job of this ... people came up with all kinds of alternative systems to avoid dealing with probability

a probability is a number between 0 and 1, instead of either 0 or 1. a number between 0 and 1, instead of 0 and 1, is called fuzzy logic.

so I'm really lost about what you're saying here.
They are transforming physical objects very much the same way a carpenter does. The service industry is not equal to Tech / digital. A hairdresser does not create Bits or data.
I would also argue in this particular case you are wrong. You hand over the hair on the ground to them which they then dispose or maybe resell (maybe without explicit consent but at least implicit). If that wasn’t the case they would commit theft when they dispose your hair…