skysight-inc/HackerNews huggingface dataset:
So solving this problem would be as simple as mandating/regulating it? Sounds like a no-brainer to end this debate, standardize things, and allow the build out to happen in a quick and standard way across companies.

With all the EV goals that various countries are making, this seems like a foundational part of it. Consumers aren't going to buy into EVs in mass until charging in a solved problem.
Text-to-CAD
The angel investor has the same approach as VCs: if 1 out of 10 companies in the portfolio do well, that's enough.

VCs do however get a fee for assets under management, so they win even if their investors lose.
LoftQ = Quantization optimized for LoRA + Better LoRA Adaptor initialization + LoRA fine-tuning.
There's no evidence that being on the math team helped his application.

The people who win the math contests (And yes, who get into elite schools because of it) enjoy practice. That's the secret. Tao says the same thing about research mathematicians.

The people who hate it don't do well and it doesn't help their college applications.

He mentions that he was the only one on high school team who discovered how to triangulate a polygon, which is taught in Geometry class (junior high school for him).

Their bad attitude drags the team down.
Showstoppers in Desktop Linux Without VTs in 2022. (2022)
In this case they're comparing against llama.cpp because the code is literally a modification of llama.cpp. I'm not talking about using the ggml lib for matrix calculations, it's literally using the llama.cpp main.cpp and other normal llama.cpp code. It's a fork. It is directly comparable.

https://github.com/ggerganov/llama.cpp/pull/4543 [Review] Merge PowerInfer with llama.cpp mainline #4543

https://github.com/ggerganov/llama.cpp/discussions/4534#disc... "The x11 speedup is kind of cherrypicked because the llama.cpp GPU code for Falcon 40b is just not well-optimized."
I think you and Ron are confusing the relevant phase distinction the rest of us have in mind when we talk about type checking in this context.

What we mean is that quint, the language, is expressed on top of a many-sorted logic which allows our tooling to find and diagnose typing errors prior to *running* any type checker. The TLA Toolbox doesn't support this, and TLA+, like TLA itself, is untyped. TLC can (and will) raise errors while in the process of checking your model due to the kinds of problems we usually call "typing errors". Quint and apalache shouldn't do this.

I hope this helps clarify a bit.

We understand that, viewed purely theoretically, TLA+ has no dynamic aspect at all, etc. However, our team is very focused on the fusion of theory and practice, and we think it's important to ground our understanding and our discourse in the way the specification languages are actually used by real people given the existing tools. While it may be true in theory that

> What TLA+ is missing is any notion of executing code.

The file `TLC.tla` in the `StandardModules` includes these lines:

```
Print(out, val) == val
PrintT(out) == TRUE

(* This expression equals TRUE, but evaluating it causes TLC to print *)
(* the value of out. *)
```

https://github.com/tlaplus/tlaplus/blob/master/tlatools/org....

In any case, our whole team thinks TLA is great, and we're happy people like you and Ron find it so useful and insightful. We also think it is a very insightful tool for guiding understanding :)
Slack, Glitch
The author seems to be chasing the small size trophy at any cost...to the point where he's using "var" instead of "const" because it saves a few bytes. Not indicative of someone serious...
U.S. manufactured goods orders decreased by 3.6% in October
Not to me, it isn’t. It aligns with how the box model itself works.
I find balsamiq is quite easy to get to grips with. My biggest complaint (at least for the desktop app, haven't tried the cloud version) is the lack of an "infinite" canvas.
Can't taxis already operate 24hrs a day? Just rotate out the drivers.
I guess we’ve come far enough from being hunter-gatherers that the value of acts that ensure group cohesion and community wellbeing seem like some sort of extra effort or altruism, instead of a fundamental aspect of optimizing survival as a whole. That said, I was talking about governance and policies, not what career choices someone should or could make.
That's not at all what engineering is. Engineering is the application of science (including mathematics) to solve technical problems and/or optimize processes.

An engineer also has to eat lunch in order to function, but engineering is not the same thing as professional food critiquing.

---

To answer your question, it's pejorative because politics is about allocating resources one way or another, towards and away from particular social groups. It's inherently going to be making some of the people unhappy, 100% of the time. Real life politics also tends to not be done smartly and honestly at all times and in all places, and this can make some people upset as well.

Most people associate all of that together, and most people don't take an academic (or particularly analytical) approach to the subject.
IDK about GPT4 specifically, but I have recently witnessed a case where small finetuned 7Bs greatly outperformed larger models (Mixtral Instruct, Llama 70B finetunes) in a few very specific tasks.

There is nothing unreasonable about this. However I do dislike it when that information is presented in a fishy way, implying that it "outperforms GPT4" without any qualification.
A balancing act between premature optimisation and technical debt.
Can Tesla refuse to charge a car at their whim? Because, say, you were banned from Twitter/X? Too many fast charges this week? Covered the driver-facing camera?
Ok, so if we shut off 8.5% of the electricity supply today(ish), where do we make up for that shortfall while we spend 2-3 years building a solar+battery farm to replace it?

Most likely we'd make up for the lack of that plant by burning more natural gas, at least in the short/medium term.

Also not sure why you think that price point is out of whack. Seems well in line with current CA electricity prices.

This plant should not run forever, but extending its life another 5 years seems entirely prudent.
825 out of 5,850,000,000.
An uphill battle is fine
I’ve taken a Waymo a half dozen times. It tends to go through residential neighborhoods instead of making a left across traffic. It felt like it went miles through the neighborhood at 15mph instead of on the main street at 45mph. Somehow I expect they failed to mention these types of “optimizations” in their report. Sure these neighborhood routes are safer and 1/3 the speed, but we don’t want to encourage an exponential increase in intra neighborhood traffic. Certainly not when my kids are playing in the road.
it's relatively free inside their budget
even over TOR/ VPN?

thank you btw, I'm reading up on NAT, NAT over TOR and so on as I type this.
He also wrote that the angels in a triangle sum to 180^0 :-)
Citation, please. More bluntly: I simply don't believe you.

Google has absolutely none of the expertise required to put such a connector together. It requires a very specific set of skills in chip design, signal integrity, and connector design which Google has none of.
Everybody doesn't know Mamba. You can't stay on top of everything in ML so stop trying. Since you asked, Mamba is a neural architecture based on structured state space models (SSMs) that aims to replace Transformers. For me right now just know that counts as staying on top of things. If I need to know more than that I can have the computer summarize it for me.
No, you only need to compromise the first node – named the entry guard for that reason [1] – and either the exit node or ideally the endpoint (hidden) service. Deanonymization is then possible by correlating the timing of traffic between those two points, as Tor wants to be low-latency, without randomly delaying traffic.

For this reason not all nodes may be guard nodes, as decided by the directory authorities, and guard nodes are maintained for a longer time by the client to reduce the chance that you pick a compromised guard node because you switch often. This is balanced against the risk that you are unlucky and pick a compromised guard at first (which you then maintain for a longer time).

The exit node is pretty much assumed to be compromised, as it's a role not available to many entities – it requires high bandwidth and much teeth-gritting – and the public internet is intercepted at large anyway.

[1] https://support.torproject.org/about/entry-guards/
I legit giggled when I saw this, love it!
The patents for the NACS connector were open sourced. We are utilizing that for our charger hub/connector.

The communication and payment protocol is still proprietary.
I tried visiting Null Island but got stuck in NaN instead...
Well, here in the Netherlands, banks someone flag grocery transactions as suspicious with the result that average joe will have to provide evidence and all kind of crap to prevent his bank account from being closed. “CDD”

If that happens, you’re cut off. No more insurance, banking, mortgage, nothing.
While launching is cheaper it is still insanely expensive.

Even if starship brings down the cost it's still pretty likely the probes would just get bigger and more feature capable increasing costs for some time.
Apparently it's not a fun license plate or last name to have, though.

https://radiolab.org/podcast/null

> JOSEPH TARTARO: I had a wad of envelopes. It was like 15 envelopes. You know, with my name and my address and everything. I was just like, “What the hell?” Because I don’t really get mail. But then I open the first one up and it’s like, “I got a parking ticket.”

> SIMON: What it appeared was happening was that instead of his Null license plate being stored as blank, every blank license plate was being stored as null. And so every ticket written without a plate number, maybe cuz the car didn’t have one or the cop forgot to fill it in was being sent to Joseph.

They even cover /u/patio11's famous "Falsehoods Programmers Believe About Names" essay. https://www.kalzumeus.com/2010/06/17/falsehoods-programmers-...
We've tried to sell variants of the open source models to our existing enterprise customers.

I think the adage about "a solution needs to be 10x other solutions to make someone switch" applies here.

Saying something performs slightly better than the industry standard offerings (OpenAI) means that OpenAI is going to laugh all the way to the bank. Everyone will just use their APIs over anything else.

I'm excited about the LLM space and I can barely keep up with the model names, much less all the techniques for fine tuning. A customer is going to have an even worse time.

No one will ever get fired for buying OpenAI (now that IBM is dead, and probably sad Watson never made a dent).

I do use Mistral for all my personal projects but I'm not sure that is going to have the same effect on the industry as open source software did in the past.
Sure, but that’s not what the 14th amendment to the US constitution says.
Trouble is it's so difficult to know what your adversary is doing, it's better to switch to a different medium i.e. reduce dependence on the Internet (as I detailed in another post).

The fundamental nature of the Internet itself permits this behavior to go unchecked, there is no way for a user to know what is happening behind the scenes with certainty. We send out our private information (search queries, etc.) into this giant black box we have no control over. That's the crux of it.

That was not the case with radio or satellite TV, the ability to determine what people were listening to or watching on a mass scale was nearly impossible due to the laws of physics. As the system was completely receive-only.
Does a 10x artist exist? Or a 10x football player? How about a 10x manager?
While outstanding talent does exist, it is extremely rare and often can only thrive in specific environments.
Also who is the average engineer?
If you put the best frontend specialist into an oldschool legacy sql mainframe task, he’ll look like a moron (at least for a few months).
If you can create and sustain a great environment and fitting - you may be able to find a rockstar.
Now fairytales aside - what I experienced to exist is a 0.x engineer. A net-negative programmer.
For most non-tech people they look like a 10x…
Yes, that’s the case for American English too.
so much so that I have a 22kW 3 phase charger at home. (AC, type 2)
Ultimately, everything can be debt. If code is technical debt, a HR system or a process that you implement for the company at that particular point in time is also a debt (process debt? HR debt? debt nonetheless).

If we are trying to deliver fast by expediting software development and taking shortcuts (technical debt), another department can also do something similar (quick, our HR process is slow and cumbersome, implement that HR system) - which would solve the particular issues for the business at that particular point in time, but may not the needs of the business later on.

For software, the issue is that we believe we can introduce technical debts, that is, it is permissible to introduce and talk about technical debts. We wouldn't necessarily talk about implementing a new HR system often.

We think writing a line of code is fast (and define what "fast" means) but it isn't.
I wish hosting a Tor website was as easy as Onionshare though. Start an app, point it at a dir with a rendered static site, and hand out the dot-onion to whomever you wish to show it.

I'm thinking: ephemeral websites like Opera Unite used to provide, to e.g. share a photo album for as long as you're online.

Edit: I should probably say I'm talking about the Android version. Which would be so convenient for an appliancy web server. The desktop version already do this.
I use XFCE, hasn’t changed a bit for as long as I can remember, and is just as ugly.
Don't smoke and especially don't fall asleep while smoking and your furniture doesn't have much need for fireproofing. Also don't put fish bowls in your windows during winter if you're far from the equator.

Make sure you have sufficient smoke alarms and that you ensure they remain powered and replace the detectors when they expire.

There's some weaving techniques that can reduce fire risk, but most of the time it's just flame retardant chemicals whose health risks may not be a good tradeoff.
You're not allowed to have the MD5 hashes these researchers used to find these images, so it's not possible to reproduce this result. These hash databases and APIs are tightly controlled, and only law enforcement, major tech companies and top researchers are allowed to use them.
Not just no, but hell no. I suppose that when this stuff becomes mandatory, I'll have to stop flying entirely.
I went to a combined middle/high school in a small city of 200,000 in upstate New York, and no one on our Math League team distinguished themselves in any way other than by transferring to another nearby high school that had an actual IB program. At that level of engagement, Math League was all right, just something for a nerdy, unpopular teen to do to break up the monotony of dreary upstate winter evenings.

I'm more interested in this "Analysis II" the author mentions taking in his freshman year. "Analysis II" at the undergraduate level usually refers to a proof-based course on real-valued functions of several variables. Basically, a retread of Calculus III with a more rigorous foundation. But the author never mentions any mathematical results from calculus and beyond, and I'm under the impression that grade-school math competitions only target subjects in arithmetic, elementary combinatorics, and classical geometry.
This would be infinitely better than the current model, where you have to install a bullshit app, which doesn’t work over 20% of the time.

I’d happily pay $0.30 per charge session to just use standard NFC or chip payments.

Also, why in god’s name would I have authentication on my home charger?
"Six Degrees of Kevin Bacon" is a play on "Six Degrees of Separation", which they link to: https://en.wikipedia.org/wiki/Six_degrees_of_separation
Meditation is a good analogy. I haven't found sitting and meditating for 15-30 minutes especially mind-expanding. Listening to music and walking my dogs, however, sometimes takes me somewhere expansive. That is to say, I don't think there's a one-size-fits-all rule here. More like we should experiment with ourselves and our patterns, and that we can use the signs left behind by fellow travelers as a cue to look more closely in certain areas.

With all that said, 1) I don't think it's important to literally write "morning pages" (nor does Ms. Cameron, in my reading). It's important to find the correct medium _for you_ that manifests ideas in the world. 2) I think the signal-response pattern _is important_. It's not enough to put thoughts/feelings/whatever into the world. You need some means for things to return to you.

Flip it around though, as a fellow weirdo -- what stimulates your creativity?
I think you mean it will _gross_ Tesla $20. From my research, Tesla is (currently) not making much on energy delivered. That _will_ certainly change in the future though.
Assuming 'integration test' is being said under a common definition, and not one being made up on the spot, the integration points don't expose third-party code in way that you could even begin to explicitly test them. it is fundamentally impossible. If it were possible, you would have no reason to be writing software – the third-party already did the work for you.
Open Code Graph
Beware of the survivorship bias though.
Sony has sold 50M PS5 consoles over three years
But ai can replace programmers, so now intel can just nvidia cards to train an ai that will outcompete nvidia developers and thus overtake nvidia.
Last time I was at the airport someone from Clear was there trying to sell it to him. I declined. I know people talk a lot about waiting in TSA lines, but for me the wait has never been long enough where it feels worth signing up for some service to jump the line. Giving them my information for the sign up was already a bridge too far, even without a facial scan.

Of course I'm one of those crazy people who would rather be 4 hours early than 4 minutes late, so if a line is long I'm not stressing about it. I'm sure the lines seem longer when person is worried about missing a flight.
> Charger Company A's charger is $1/minute and Charger Company B's charger is $1.10, and they're on the same block?

I’d go to the one that accepted my credit card and didn’t have an app.
What I think they’re claiming is that it’s a base model aimed for further fine tuning, that when further tuned might perform better than GPT-4 on certain tasks.

It’s an argument they make at least as much to market fine tuning as their own model.

This is not a generic model that outperforms another generic model (GPT-4).

That can of course have useful applications because the resource/cost is then comparatively minuscule for certain business use cases.
Oh wow, didn't know ChatGPT could de-obfuscate code!!
You can approximate it by maintaining some kind of vtable, but it can get messy, especially if you need to implement multiple traits/interfaces.
Interesting, I often wondered the opposite.

Coming from Europe, I would never EVER share a room with someone not bound by blood / romance. And for a house only in exceptional cases (vacation with friends etc).

But living in the USA I sometimes hear that people have strangers living in their house, renting out a room, or sometimes, even roommates.

And then I wonder, is it more acceptable here because they got over it when going to college?

Sidenote: I wonder if the concept of roommates pushed up the prices of 1 bd apartments, as now you can have 2 people in there, who combined pay more than a single person.
A shareholder is singular. What else can a person or company be but a single shareholder? He by far and away owns the most stock of any person or organization.
CC fees add up, but/and electricity is cheaper than gas, so net-net, you gain. Also considering the convenience that you have zero worries and you will be able to charge hassle-free in any charging stations, I'd pay an extra €1 to not have any headaches, apps, phone charged, and any/all hoops by any apps.
at some point it's easier to just use docker
You're assuming most people are wizards capable of speaking the correct incantations to the AI to get working code.
Surely the interchange fee can be negotiated for volume? Or even mandated by law. When I tap my credit card to buy a 1$ bus ticket I doubt the interchange is keeping 30 cents?
I think the idea is that so far, and for now, the chargers have indeed helped them keep a significant lead in EV sales. Eventually though, many other companies will also be selling very good EVs, and if Tesla doesn't open their chargers, the rest of the industry will standardize on something else, and it will eventually get good (or at least good enough) out of necessity. So instead of being the only decent option, Teslas will be the odd one out that have their own weird charging setup. As long as that setup is good it might not be too much of a detriment for them, but eventually it would stop being a major benefit either. So, better to use their current position to become the dominant charging solution for all brands.

They were never going to corner the EV market long term. But they actually do have a chance of being the dominant charging supplier for every car on the road.
So, I haven't got the money for an electric car... One just can't use the payment card at a bog standard self service payment terminal? I had assumed that, but apparently no? You seriously visit random websites and enter CC details?
A bit later another commit [1] was merged that makes reads from /dev/urandom opportunistically initialize the RNG. In practice this has the same result as the reverted commit on non-obsolete architectures, which support the jitter entropy generation.

[1] https://github.com/torvalds/linux/commit/48bff1053c172e6c7f3...
There was a civil trial to decide the issue, in October. The 14th Amendment does not require a criminal conviction.
The tap-and-pay RF people need to get their act together. The average number of tries needed to get a good read is > 1. For Veriphone units, > 2.

Please make it clear where, exactly, the near-field antenna is. Behind the screen? Behind the logo that looks like WiFi? Somewhere inside a separate hockey-puck device? And indicate when the reader is active, too. Light up something.

One place I visit regularly had a POS system which worked perfectly. They recently switched it out for a Clover unit with much lower read reliability and a worse customer-facing UI.
the BTL model is just a way to infer 'true' skill levels given some list of head to head comparisons. the head to head comparisons / rankings are the most important!!!! and in this case, the rankings come from GPT-4 itself. so take any subsequent score with all the grains of salt you can muster.

their methodology also appears to be 'try 12 different models and hope 1 of them wins out.' multiple hypothesis adjustments come to mind here :)
The majority of these complaints are about flatpak package configuration rather than being unsolvable flatpak problems.
Does telling young people about heterosexual couples encourage heterosexual sex?

I've never seen an abstinence curriculum that avoids mentioning the existence of heterosexual couples.

The fact of the matter is that homosexuality isn't learned, it is something that people inherently feel.
I can only talk for France. The payment is not standardized. Tesla is plug-and-pay like in the US but others are not. Every charging stations brand has its own app with the same issues as the US, where it may or may not work that day.