skysight-inc/HackerNews huggingface dataset:
Firefox's market share is below 8.75%, so it cannot have 700 million monthly active users as of the Llama 2 release date, so it does not need permission.

(Human population / 700 million ≈ 8.75%. Firefox global market share, I've seen measurements reported from 2.81% to 7.69%).
I think the influx of very low cost Chinese mini PCs makes the NUC, Asus PN and Asrock devices a bit less attractive. Also thelow power AMD APU has been very good for the form factor. Maybe the margins are too tight for Intel. Another take maybe that the NUC came in when low power Arm desktops looked viable and Intel needed a low power small form factor to defend against that.

The Minisforum, Beelink and the generic aliexpress units are incredibly cheap.

There are celeron based fanless models with 4 2.5gbe NICs available for less than $200 on Amazon.

Personally I have been using the AMD 15w Ryzen variants it’s a nice balance for performance. I have several, my daily driver is an Asus PN50 with 2Tb nvme disk and 64GB ram driving 3 sceeens at 2560x1440 in a completely silent Akasa case.

As long as you are prepared to fiddle and potentially destroy the original case rhe Akasa cases are fantastic.
cat -n shell.nix
{ pkgs ? import <nixpkgs> {}
}:
pkgs.mkShell {
name = "dev-env";
buildInputs = with pkgs; [
awscli2
];
}

And then you can have it available when entering shell with nix-shell.
My high school in south Florida had a Jai Alai arena next door. I always wanted to go to to a game, but never did since our house was so far away and I didn’t get my license till after we moved away.
That’s just artificial limits. You yourself mentioned Rust that does the exact same type inference with the limit for usability of having signatures typed. Here is your example of a language with eons better type system/type inference, but go’s is really not a high mark.
> When you work day in and day out with something where Quality isn't important, you take psychic damage. When you work with people that don't at least share a vision of Quality, then you struggle to have happy relationships with them. When you have to compromise on Quality in favor of money, the soul cries out and you draw the borders of yourself away.

I feel like there's so much advocacy for being a good capitalist, for defusing urges to over engineer & over obsess. There is so much out there about being practical.

And just today, I was trying to communicate with a very practical minded friend, who I respect a lot, about how it just hurts me that the representation is all one way. The debate is so strongly phrased & oriented towards a capitalist efficiency, that the important thing is making money, and nothing else actually matters. It's so hard to even imagine what else anyone could say, what other cases might be built.

Dearly loving this article for serendipitously talking about, for being discourse on the real meta of work. Often the engineer is alone in being able to assess quality, and while many still have empathic managers or orgs that try to help them some, the strain of dissonance, of please can't we stop being so bad, is a huge tax, especially when shouldered alone.

(I also think software has many evolutions yet to go & most of them come from higher quality general systems research. The capitalist productions we've made so much money off are a local maxima, not a real optimum for what computing's better nature can be. Quality ought matter, & computing should be more holistic rather than being a couple dev team's mean to their yearly okr's end. But figuring out what sojurns forward are worth making is quite difficulty.)
I haven't read a physical newspaper in years, but if I were to read one again, I hope it's using that font
That should not be possible.
That’s a whole lot of fancy words. The core is that they used a fancy wave equation. In that context, the topological insulator is an inspiration rather than an exact and accurate model.

It’s similar to the layman view of an atom as a miniature solar system. There are some similarities, but also very significant differences and not all knowledge is transferable from one to the other.

It is not particularly surprising that we would find new solutions to Navier-Stokes equation applied at the level of a whole planet, these things are very complex and far from completely understood.

> Then why can the earth can be treated as a topoligical insulator and what implications does this have?

That’s jumping to conclusions a bit. Again, they have found similarities in atmospheric flows and magnetic currents in topological insulators. It does not mean that the Earth is one, or that all properties of topological insulators also applies to the Earth.

> Or maybe even to the earths core?

There is bound to be some similarities, as with any fluid flow (assuming we’re not talking about the solid inner core). There are also significant differences in things like viscosity, compressibility, etc. So yeah, that’s a possibility, but as in the atmosphere, that would not make the outer core a particularly quantum object.
An American Lobbyist at the Head of the UE Competition Directorate General
Fiona Scott Morton, a former employee of the US Justice Department's antitrust division, and a consultant for GAFAM, will become chief economist at the UE Competition Directorate General on September 1
It works well while there's good growth and cheap debt. But when the revenue to support this type of headcount inflation isn't there, suddenly the entire promotion treadmill seizes up.
It took me a long time to realize that in the big picture, all those inefficiencies are actually upsides.

Most of what governments do is harmful to society. The more inefficient and inept they are at it, the better.

Sure, it may be an inconvenience sometimes. But it's nothing compared to the dystopian horror of what a truly efficient government would look like. The "ideal" government that works purely electronically through automatically-applied rules is the worst world I can imagine living in. Every additional day we can manage to hold off that future is a victory.
Show HN: I created a platform to rally my community
> This seems like a question that can be answered with data.

Maybe I've worked at all the wrong companies but in my experience any comp that's based on "data" will be gamed until it's meaningless. There is no "data" because reading impact data is often like reading tea leaves.

Frankly, what I think is going unsaid here is that corporate executives make a disparately large amount compared to the people who do and plan the work. While executives can make a great difference, so can a great manager or a great engineer. I wish we'd see executives as just another role, taking on different tasks rather than something substantively more valuable when it's not, especially in large orgs.
Nah, different supply and demand for the two groups.

After the layoffs a glut of senior management, with more directors than you can shake a stick at. Many have had to take jobs as line managers. Director is a pretty similar level to a Senior Staff engineer, the latter is still in relatively short supply.
Cool. Wind turbines are unreliable though
> But other people very much do not want this option taken away from them and step one to talking about this is at least admitting that, yes, algebra is being replaced.

Of course algebra is being replaced, where do I say anything different.

I guess my mistake is assuming my interlocutors are not idiots and want to debate the reason of the replacement rather than just staying on "I like Algebra so I'm crying like a baby".

> And people have a problem with what is being replaced.

This is what I don't understand. They don't have any arguments to support the fact that the replacement is not bringing more supported "pro" than "con".

All they say is "I can see one good thing to Algebra, so it implies that this measure can only be a bad one", which is obviously incorrect. In real life, measures usually replace things that are not all bad by things that are better. The point is that you need to weight the pros and the cons. Here, it feels like people are just saying "I don't want to hear the pros, I know one con, and it means it's a bad idea".

I personally like Algebra, and I would have loved it to stay. The same way I like the convenience of some fastfood. But when a study shows that for the same price, they can replace a fastfood menu to a better menu in a school, the normal thing to do is to weight the pros and cons, not just cry because I prefer fastfood.

It is interesting to see that some people who present themselves as on the side of reason will act so irrationally to oppose some proposal without caring of the pros and cons, just because it feels negative in their feelings.
Who has time to write documentation? As the software evolves, the documentation will need changing. Who has time to write unit tests? As the modules evolve, the unit tests will need updating. Why do any of these things?

A well-written piece of code that actually solves a complex problem is a demanding mistress and doesn't appreciate the "who has time..." attitude.

Among the software engineering good practices that I engage in, I'm finding this to be one of the highest bang-for-the-buck ones.

For example, literate programming is a thing that many people believe is worth the effort, at least in certain scenarios and at least for certain parts of codebases: But, if you can make your codebase more readable without requiring additional prose to be written, then that's a comparatively high bang-for-the-buck alternative.

In practice, linear structure doesn't need all that much updating at all: You may have noticed that I don't use strictly sequential numbers. Early in the life of the codebase, I will generally skip lots of numbers, so that I can fill in the gaps with code that comes later. Mostly, all it really takes is to be intentional about where in the linear order to insert new code.

Also, note that it's still useful, even if no one ever goes on a mission to read the codebase in its entirety. If the codebase as a whole has a linear structure, that also imposes a linear structure on any subset of it. If you have five sourcecode files that are somehow pertinent to something you're doing, you immediately know the order in which to look at them.
If you want fewer managers in your organization (as a fraction of total employees), have each manager manage more direct reports. Incentives on their own don't create or reduce headcount, it has to be policy.
I think OP was referring to the fact that implementation of moves can sometime (more often than desired I would add) do memcpys. e.g. if you have a struct of ~100 bytes and you move it, it will probably emit a memcpy to write it in the receiving function's stack. AFAIK this happens because addresses are kinda considered observable, and not doing these copies could thus be observable and potentially break some weird code. I don't think Val would have the exact same problem because it doesn't have the concept of addresses/pointers.
My fairly old NUC has a fanless case, 2TB NVMe, 64GiB RAM, and a VESA mount hiding it behind my screen.

I see there are aftermarket VESA mounts for the mini, and I suppose you can tape or glue the disk to it somehow.
The Zenfone 10 seems pretty high quality.
SF2 was such a disappointment when it was released on PAL SNES.

The game was expensive ($140AUD!) slower than the arcade and the graphics were squashed by black bars.

It was surreal to play a recent arcade game on console though and my action replay cart let me emulate the many “rainbow edition” versions on the game i.e modded arcade PCBs.
I don't think using GitHub is a prerequisite for using Copilot but I could be wrong.
Don’t worry, capital c Cults require some more intense personality traits and manipulative/abusive practices, preying on those in some kind of need. Usually accompanied by a strong whiff of narcissism :)
That’s a culture difference issue. A topological insulator is a kind of material with specific properties (heavily simplified, that its inside is an electric insulator and its surface is an electric conductor). That’s where the topological aspect comes from. It has nothing to do with topology in mathematics except the name.
React Components and Dynamic HTML Data Attributes
Last night I encountered the subject of needing to allow a react component to take on dynamic HTML dataset attributes.

After coming up with a solution that works for my scenario I decided to write my findings in a blog post.

Figured I’d share on here in case anyone finds it useful or points out a problem with my approach!
It’s not for you to decide what is good for the others.
There's nothing stopping someone from making a tenkeyless layout for it.

That said, I rather just have the keyboard centered.
These sports which are popular in only one specific region (or several regions) are really fascinating. For instance, I had to visit Ireland first to learn about Gaelic football (https://en.wikipedia.org/wiki/Gaelic_football), which seems to be a mix of soccer and rugby and is immensely popular in Ireland (the largest stadium in Dublin, which is also the third largest in Europe, is used primarily for it), but pretty much unknown anywhere else.
> The Go team was populated by people who had created one of the most influential languages of all time, C

Which is absolutely terrible from a programming language point of view, there were already better languages at its inception. Ken Thompson has a huge legacy in the CS world, but he is frankly not a good language designer at all.

Also, appeal to authority. If go were so good, it should able to be praised on its own accord.
~650 GB everything
That's a logical choice. If you ever get in trouble there, you'll find that unlike in Germany, there won't be any bureaucracy or red tape at all. They'll deal with you very... efficiently.
"based" indeed.
On the contrary, Norway money font are based on 2 Swiss Fonts

https://fontsinuse.com/uses/29444/norwegian-banknotes-2014-2...
If a goddamn list/vector requires built-ins from your language, you have already lost.
So, since the form factor isn't the goal here (separate box with umbilical cord, after all), what exactly is the purpose in using a NUC or similarly sized small computer?

None of this is intended to be condescending or anything, I'm just sincerely curious about the train of logic here. What you're talking about so far seems like something that would be satisfied by a custom Mini-ITX build with appropriate case/tower or something similar, so I would like to know why that isn't.
Sadly, it's not always that simple. If one of your well-pinned packages has a build dependency which is not correctly pinned, then you're subject to the problem.
The Old Testament has quite a few references to snakes, serpents, and seemingly dragon-like creatures.

It’s possible these were used as metaphors for other civilisations. Or perhaps they were genuinely fearful of such creatures and wanted their own god to protect them.

It’s one of my hobbies to invent threads that tie all these ancient stories together into an overarching narrative.
They could even persist the inference parameterization, e.g. "use top-8 for 'compute the sum of 42 and 17'", for every prompt ever seen and reuse it later to prevent people doing "poor man's regression testing" and make the model look more stable.
He dindn't know how to do business. /s
And sidelining the "U.S. health care system" it's a bit unfair. A lot of "food" companies make big money selling sugar desguised as food or drinks.
People should seriously move to Signal.
Correction for a name in the article: it's Patxi (and not Paxti). Pronounced "Pachi" as in "Pachinko".

It's the diminutive or familiar version for Frantzisko, Francisco or even François.
For noise, you could budget about $100 for a fanless case for the NUC.
How to solve the problem of insufficient renewable energy on the Earth
If a family has ten kids, is that family worth more than 3x a family with just one child?

That's what gets to me about utilitarian philosophy. By adding more people, something humans are good at, you're increasing the number of people that deserve moral consideration.

The idea that every life is sacred leads to some trolley-problem level of moralizing
> never going to have that kind of awareness

Be careful with that goalpost, it might make sudden movements.
Yes, and this is unfortunately how middle-management works, even in small to mid size companies.

I’ve also seen this effect with video games producers.
at the end of that article

Update 70 minutes after this piece went live. Intel just sent us the official confirmation:

We have decided to stop direct investment in the Next Unit of Compute (NUC) Business and pivot our strategy to enable our ecosystem partners to continue NUC innovation and growth. This decision will not impact the remainder of Intel’s Client Computing Group (CCG) or Network and Edge Computing (NEX) businesses. Furthermore,we are working with our partners and customers to ensure a smooth transition and fulfillment of all our current commitments – including ongoing support for NUC products currently in market. (Source: Intel)
Data protection and other laws of a civilized society perhaps.
Considering how much Apple likes to retain control, I’m almost sure they won’t want to use someone else’s model even if it were free in every sense of the word.
Lazy docker have checked out become and on windows at least is far quicker and convenient than the docker desktop client!

I've also been using lazgit for a while now mostly for the diffs and merges more so I find interactive commits and some activities with some finer grain control can be a bit flakey though. Really nice work though and happy with it so far!
This works too now for the 70b model:

llm replicate add \
replicate/llama70b-v2-chat \
--chat --alias llama70b

Then:

llm -m llama70b "Invent an absurd ice cream sundae"
Make sense, thank you!
Non-uniform CPU hyperthreading is here and can cause fun issues
It was my very first transaction on eBay. I sold an iPhone 1st gen a year after it came out. I got an email asking if I would be willing to send it to an address in some country but the billing address was from someone in Florida. I said I could but they'd still need to verify they were this person... anyways, guessing they got impatient and paid $600 to try and get me to send the iPhone. I was 17 years old. So I was just going to send it. I didn't care. I had my money. What could I really do? They won the bid. I think when the phones first came out, they were $500 so to sell it used a year later for a higher price than what I bought it for was awesome.

So I was getting ready to send it the following day, packaged up and ready to go. And Paypal sends me an email me to let me know I was involved in a fradulent transaction and that they were looking into it, but that I should do nothing. They froze my account and said it was pending an investigation. I was frustrated and checked for 2 weeks and it remained frozen.

After that, I completely forgot about the whole thing and went about my life, and I ended up just keeping the iPhone and using it. Paypal and eBay were still just a few years old at that time and had nowhere the amount of support and business structure or insurance they have nowadays, so I just wrote Paypal off as this crappy company that was preventing someone from receiving their phone and me from getting my money. I was pissed and didn't want to be reminded of it so I logged out.

A year went by and I wanted to buy something on eBay and I had to go through this process of connecting both Ebay and Paypal together again... and I get logged in. The iPhone is right next to me at my desk. And somehow, there it is. There is money sitting in my Paypal account. It's the $600 that was frozen, but this time, it wasn't frozen and I immediately put in a request to be transferred to my bank account. I didn't think it was real until it actually hit my bank account. Back sometime in the early 200s, that was a lot of money... still is to get a bill paid.
Why don't tech salaries decrease come graduation season when hundreds of thousands of college students majoring in CS move on from college and are about to start working? Or why have tech salaries grown as much as they did when CS major enrollment kept hitting record highs throughout the late 2010s?
Dupe https://news.ycombinator.com/item?id=36778211
That is par for the course for this specific publication. I wish heir articles did not appear as often here; most of the time they do not really deserve more than an eye roll.
It's a problem you could solve with ion-wind and far-field wireless power transfer... or just blimps.
Was this response generated by AI ?
> If we as an industry are going to move away from headcount as a professional growth metric, we need to have some other, more direct way of measuring the business impact a manager delivers so we can reward that.

A manager’s job, fundamentally, is to ensure that their reports are delivering appropriate value to the company, so the most direct measure of a manager’s performance is the performance of the ICs that report to them (possibly indirectly). If you’re going actually to use this, however, you need a way to fairly evaluate the performance of ICs that doesn’t rely on input from their management chain which is itself a hard problem.
Show me the incentives, and I’ll show you the results.

Policy is set by the same people you want to govern. The incentive from the top needs to be on ICs or on manager efficiency if you want less managers.
I think your comment is missing some context.
I use regular terminal SSH+VS Code remote machine feature. It pretty much feels like i am using VS Code with code on my local machine, except it is on the cloudtop. That covers heavy majority of use cases I care about, so I have zero need for graphical access or RDP. But in an ultra rare case I need it (happens only about once per year at most), I can just RDP using chrome remote desktop, and it works pretty well.
It's also not going to stop meteor strikes, but fortunately no one has ever suggested that was the purpose of decarbonization.
share photos with your firends.
Now promotions will be based on what aristocratic pedigree you claim, as well as how wealthy and well connected your family are at the court of Zuck.
I have to say in my experience falcon-40b-instruct got very close to chatgpt (gpt-3. 5),even surpassing it in few domains. However, it is important to note (not at all)OpenAI are doing tricks with the model output. So comparing OS models with just greedy output decoding (very simple) is not fair for OS models.

Still, I'm very excited this model at 13B seems to be matching falcon-40B in some benchmarks. I'm looking forward to using it :-)
If phenomena are described by similar equations, it does mean that there’s something in common between them. For example the equations :). The equations are a system of constraints. Means both systems are constrained in the same way. And we cannot simply hand wave this away and say it’s just a coincidence. A system of coincidences. We need to at least try to figure out why is that, before we dismiss it so haphazardly.