skysight-inc/HackerNews huggingface dataset:
It's impossible for any code formatter to be 100%. Where to put a blank line? Where to break a line? How to name a variable/function? etc. etc. Some try (e.g. prettier), and what you end up is frankly just bizarre code that's just ugly. Never mind tons of other small things that often don't really matter.

The solution is to just not be too anal about it. It really is a cultural problem.

For example a few weeks ago I reviewed a PR from a new team member; there were some seriously structural problems with his approach, so I commented on that and ignored all the small stuff for now. Another programmer on my team also reviewed at the same time, and only commented on the small stuff that, IMHO, don't really matter, and didn't look at the general approach at all (which really was just all wrong, and also quite obviously wrong).

Not to be too arrogant about it, but I feel this sort of stuff is what distinguishes a "good engineer" from a "mid engineer".
You're also going to want some more SSD space, because working with these model files on a 512 GB root is going to quickly become a problem. If you get the 2TB option, that's another $600.
What makes you think that about docs? Of course, it was written by developers, not tech writers. But anyway, what do you think can be improved?
You seem to believe this total ordering is accessible to hyenas, is there a reason you suspect this?

In my mind just because these scientist found an algorithm to model this total ordering of the pack, does not imply that there must be an algorithm actually in use in the pack. In fact, I would suspect that if the hyenas had total knowledge of the hierarchy, there would be less competition between distantly ranked hyenas, and that the model would actually calculate a shallower competition.

But I don't know anything about hyenas, and I may be misunderstanding the paper.
If you want a contract that has every term and circumstance negotiated up front, you’re going to need to speak with Hetzner’s business development team. You’ll also need to be a bigger fish than a single hobby developer.
They have moved to a subscription system in the form of logic pro for the iPad at least - I haven't personally tried it, but being able to maintain reasonable parity between the iPad version and the more full-fledged desktop version seems like it would be pretty powerful. I've also been seeing a lot of VST's with cross compatibility between iOS and Mac.

In the past, I've even used GarageBand for the iPad to mock up initial musical prototypes and then imported them into logic pro on my Mac and that's been pretty fantastic.

Anecdotally, most of my friends are split pretty evenly between either Ableton, FL studio, or Logic Pro.
Internet Archive Alternative: Content Provenance Plugin – WordPress
In founder mode, I pretty much only think about these data structures. So I am (admittedly) not that sensitive to how it comes across.

Spam would be raising the topic on unrelated posts. This is a context where I can find people who get it. The biggest single thing we need now is critical feedback on the tech from folks who understand the area. You’re right I probably should have raised the questions about mergability and finality without referencing other discussions.

Because I don’t want to spam, I didn’t link externally, just to conversation on HN. As a reader I often follow links like this because I’m here to learn about new projects and where the people who make them think they’ll be useful.

ps I emailed the address in your profile, I have a feeling you are right about something here and I want to explore.
https://archive.ph/lpNox
Wikipedia has an explanation:
https://en.wikipedia.org/wiki/Pebble-bed_reactor#Safety

Summary: As the temperature rises, neutron absorption increases, reducing fission and thus temperature.
It drives me absolutely nuts when these companies bury their pricing behind a sales wall or a signup. It makes you look either shady or too expensive or both. If your free and open source then please display it because you should be proud. Don't waste our time if we can't afford it.
Beyond the traditional dichotomy of right and left, it's always insightful to contrast real politics and media narratives with reality. Javier Milei is introducing several changes in Argentina, but it will take time to assess their effectiveness. As of now, some key issues remain:

- The USD/ARS exchange rate is still tightly controlled by the state, which is neither libertarian nor liberal in practice.

- There are no significant incentives for exports. Only imports.

- Many Argentinian unicorns and startups are incorporated abroad (e.g., in the US) and show no intention of returning.

Moreover, Milei has proposed appointing a highly corrupt judge, Ariel Lijo, to the Supreme Court [1].

On a smaller scale, when my offices in Argentina needed to import three laptops for software engineers, the shipment was blocked due to the mail courier limit of USD 1,000. This cap is now being raised to USD 3,000, but such constraints highlight the ongoing barriers to conducting business.

[1] https://es.wikipedia.org/wiki/Ariel_Lijo
This is a 2 1/2 hour video essay from Angela Collier, a YouTube physics educator, talking about the difference between the 'cult of personality' perception of Feynman vs the more complicated reality of who he actually was (the good and the bad).

I found it to be really insightful all the way through and well worth the time to watch for anyone with an interest in Feynman.
Llama.cpp forms the base for both Ollama and Kobold.cpp and probably a bunch of others I'm not familiar with. It's less a question of whether you want to use llama.cpp or one of the others and more of a question of whether you benefit from using one of the wrappers.

I can imagine some use cases where you'd really want to use llama.cpp directly, and there are of course always people who will argue that all wrappers are bad wrappers, but for myself I like the combination of ease of use and flexibility offered by Ollama. I wrap it in Open WebUI for a GUI, but I also have some apps that reach out to Ollama directly.
OR and XOR are both "wrong". It's a disjoint union. T+T = 2T, not T or 0. When S and T are disjoint, then it's OR-like (and also XOR-like).

You can't conclude x: S+T from x:S (because it's false). What you can do is use x to build an S+T. If S=T there are two ways to do that.

From what I've seen, usually subtyping is also defined via embeddings, and if x: T then x: S is false for all S != T by definition.
Sir, for thought leaders and CTOs they have a home page.

This is for DevOps minions.
Another one: when a colleague asks for something that is wrong, implement it as requested without questioning.
90 million dollars missing and 250 million dollars frozen. That 250m probably needed by some people to pay rent.

Backed by Andreesen Horowitz who are conducting a scorched earth jihad against all government regulation.

https://finance.yahoo.com/personal-finance/synapse-bankruptc...
A PR big enough should probably have its changes implemented and reviewed unit by unit on a feature branch before its creation. Or it should be an already approved work (refactoring, reformatting,...)
The change to X and the change to Y are the two entries.

In practice most systems allow for more than two entries in a single transaction (ex: take from bank account, give to salary, give to taxes) but always at least two, and always adding up to 0.
Yeah, that's me. nCapture a snapshot of it, from time to time — so if it ever goes offline (or off the rails: requires a subscription, begins to serve up ads), you have the last "good" one locally.

I have a snapshot of Wikipedia as well (well, not the whole of Wikipedia, but 90GB worth).
I didn't know this tool, and looking the homepage, is not clear to me if is something like Google Analytics to get metrics of website traffic, or something more dev oriented.

Someone can explain to me please? Maybe I'm a bit lost because I'm not a dev. I'm a designer considering selfhosted Google Analytics alternatives and this one may be interesting to add to the research (so far I have Matomo, plausible, open panel, umami, open replay, highlight). Thanks
It's okay to connect thr messenger to chat gpt and give the bot a sobstory to work with.
Which if anything has exactly the opposite effect than what GP is claiming; sell the lowest quality goods and services(i.e. lowest cost) at the highest price possible.
I'm recalling Bush insisting we "keep shopping" after 9/11, on one hand a rejection of intimidation, on the other an economic necessity.
Are you a manager?

It seems like you can answer these questions for yourself rather than asking a stranger on the internet.

Let us know what you find.
What you describe is very similar to my own experience first running llama.cpp on my desktop computer. It was slow and inaccurate, but that's beside the point. What impressed me was that I could write a question in English, and it would understand the question, and respond in English with an internally coherent and grammatically correct answer. This is coming from a desktop, not a rack full of servers in some hyperscaler's datacenter. This was like meeting a talking dog! The fact that what it says is unreliable is completely beside the point.

I think you still need to calibrate your expectations for what you can get from consumer grade hardware without a powerful GPU. I wouldn't look to a local LLM as a useful store of factual knowledge about the world. The amount of stuff that it knows is going to be hampered by the smaller size. That doesn't mean it can't be useful, it may be very helpful for specialized domains, like coding.

I hope and expect that over the next several years, hardware that's capable of running more powerful models will become cheaper and more widely available. But for now, the practical applications of local models that don't require a powerful GPU are fairly limited. If you really want to talk to an LLM that has a sophisticated understanding of the world, you're better off using Claude or Gemeni or ChatGPT.
You train everyone at 18, but send them to war when the war comes - when people are 25, 30, or 43.
Specifically the documention or VictoriaMetrics overall? The latter started with a small number of Ukrainians
Worked for purdue
You don't understand, he's not corrupt, he is misunderstood, otherwise Milei wouldn't be proposing him.
This is amazing! Does anyone know if it uses any custom pieces, or are all of the pieces standard Lego pieces?
Show HN: Swipe to clear your browser bookmarks
I remember that article. An older friend had worked on fluidised-bed reactors at Tsinghua in the 1990s, and I sent it to him.

Using helium indicates a problem with kinematic viscosity of cooling gases? Nitrogen would be non-reactive enough, I assume?
Numerics in .NET are not a high-level abstraction and do out of box what many mature vectorized libraries end up doing themselves - there is significant overlap between NEON, SSE* and, if we overlook vector width, AVX2/512 and WASMs PackedSIMD.

.NET has roughly three vector APIs:

- Vector<T> which is platform-defined width vector that exposes common set of operations

- Vector64/128/256/512<T> which has wider API than the previous one

- Platform intrinsics - basically immintrin.h

Notably, platform intrinsics use respective VectorXXX<T> types which allows to write common parts of the algorithm in a portable way and apply platform intrinsics in specific areas where it makes sense. Also some method have 'Unsafe' and 'Native' variants to allow for vector to exhibit platform-specific behavior like shuffles since in many situations this is still the desired output for the common case.

The .NET's compiler produces competitive with GCC and sometimes Clang codegen for these. It's gotten particularly good at lowering AVX512.
I did a blog post about my preference for offline [1]. LLM's would fall under the same criteria for me. Maybe not so much the distraction-free aspect of being offline, but as a guard against the ephemeral aspect of online.

I'm less concerned about privacy for whatever reason.

[1] https://engineersneedart.com/blog/offlineadvocate/offlineadv...
Ollama is so easy, what's the benefit to Llama.cpp?
It’s the same as trying to tell everyone to stop buying gasoline for a day.
It is slower, but I would say fairly usable for just LLM inference (still much faster than you can read). I'd say it's more of a matter of control. You can be reasonably sure that your linux box is free from ordinary forms of telemetry, which is hard to do with a Mac.
Do Apple's chips (M1 etc) change this at all, since they share memory with the GPU?
I wonder if there will ever be another programming language on top of the most high level languages we currently have (like to python what python was for C)
As an SWE, I've seen how the sausage is made and is the reason why I'm very very careful when using fintechs for anything.
What really matters is "can I understand what this function roughly does at a glance?" In general, "length of function" is a reasonably-ish proxy for it, but as your quote says, sometimes longer is okay, and sometimes there are also other factors than just "length of function".

Either way, the question you should be asking during review is "can I understand this function?" and not "how long is this function?"
My two cents even tho I'm afraid this thread might become a political battleground:

I'm from Argentina and 30 years old, of course he led us to a recession but for the first time in my adult life I can keep prices in my head and I know next month they'll be pretty much the same. Some people who never experienced +10% inflation in a month can't even imagine that and I understand it. I for one like this stability, dunno.

Regarding your second paragraph, I work for a US company as well and I've been dealing with the mess that is just getting your hard earned money here. Only few people are aware that we still are mandated to change our dollars for pesos at the rate that the government says. Of course nowadays it's not that bad because that rate is almost the same as the one you get in the famous "cuevas", the black market exchange places. But in 2022-2023 sometimes the difference between those two were almost 100%. So you had to deal with tons and tons of cash, it was a nightmare.
I think people want is Rust, but simpler. At least by default.

I could imagine people want a programming language that is:
memory safe, without GC pauses. A bit slower by default than C / Rust, but with the _option_ to make it as fast. Then easier to learn, less vendor lock-in than Swift, and a modern syntax (no null pointers etc).

I don't think such a language exists currently.
I'm not raising the topic of earth shape.

In my first comment, I made a point about what is called knowledge. Read this thread again and you will see I don't object to the common usage - I was merely trying to address the original commentator's confusion.

As you say, you agree certain things you believe (earth shape, birth date) but do not know, you nevertheless characterise as 'practical knowledge'. This is fine, and a common usage. I get it.

What I would ask you though, is whether there is a value to you or in general in using the word 'know' as distinct from 'believe' - does 'know' mean something special that 'believe' cannot mean? And what about 'think' or 'feel' - can these also be used instead of 'know'?

I personally do find a value in trying to say what I mean (and no more!) - I try not to overstate or understate my position. I appreciate when others also try to be clear.

I am perhaps a bit excessive in this with my own behaviour as I consider it a form of lie to over- or under- state something, as I may erroneously indicate a level of certainty that could mislead others. For me, being careful with language relates to my morality.
Can you expand on why? Or link some more detailed blog post or writing so I can dig into it? I’m interested
> If you pay for the service, there should be no ads, so that's not an issue.

IIRC, at least Netflix and Spotify have a "pay less, but get some ads" tiers, and YouTube doesn't want SponsorBlock et al to impact the golden geese too much.

> As for artists trying to push their own listing ratio, why would that matter

People have scammed streaming services for millions of dollars [1]. Sure, at their scale it's peanuts, but still eyewatering sums of money for normal people.

[1] https://www.gzeromedia.com/gzero-ai/the-10-million-spotify-s...
Any serious organization will take that into account for the managers own performance. Their job is people management, and so losing an employee is potentially a strike against them and they need to be able to justify the firing was not their own failure but the employees inability to perform, which is part of the process. You can also get some signal about this on how other employees are performing, if every employee’s under performing then obviously it’s a cultural management organization issue, but no organization can be all things to all people often there will just be bad fits and people need to be able to move on.
compliment vs complement :^)
It's another telling example of just how far-left Democrats in the White House spooked Silicon Valley heavy hitters

See... the rest of the world -- and the actual American far left -- consider Biden's White House right wing.

And unfortunately, I'm afraid that the only way Democrats can salvage the situation is by passing actual left-wing policies:

* Zero out all student debt

* End all support for Israel

* Nationalize the insurance industry and roll it into Medicare

* Restore 50% and 90% tax brackets (and apply them to every form of income)

I don't think that any of these are good policies. And I really hate that Democrats would have to pander to them in order to "excite" the actual far left.

But they've got the decision power. If they don't show up, Republicans win. Such an outcome is clearly worse for them in every way, and yet they are willing to make good on the threat.

Perhaps a few years of seeing what an actual far-left government looks like would reset the national discourse a bit.
It's usually meant to monitor infrastructure, like memory and CPU usage of various processes and machines, request per seconds for servers, number of HTTP errors returned, etc.

https://prometheus.io/docs/introduction/overview/#what-are-m...
It's not the same. AVX2 instructions haven't changed and never will change.

In contrast, NVidia can go from 64-bit instruction bundles to 128-bit machine code (96-bit instruction + 32-bit control information) between Pascal (aka PTX Compute Capacity 5) and Voltage (aka PTX Compute Capacity 7) and all the old PTX code just autocompiles to the new assembly instruction format and takes advantage of all the new memory barriers added in Volta.

Having a PTX translation later is a MAJOR advantage for the NVidia workflow.
Key insight: the guardrails aren't there to protect you from harmful knowledge; they're there to protect the company from all those wackos on the Internet who love to feign offense at anything that can get them a retweet, and journalists who amplify their outrage into storms big enough to depress company stock - or, in worst cases, attract attention of politicians.
> is totally and utterly soul destroying to a person?

To some, it is, and to others, it isn't.

I wonder: Is your question a byproduct of some type of educational system which had a lot of grade inflation and people get passed on to the next year no matter how poor their progress?

In my school/high school, if you got an F in one subject, you'd be held back for the whole year. In my university, they didn't grade on a curve, and had clearly delineated thresholds for A, B, C, etc. The engineering department worked hard to ensure only competent people could get an A or B (you didn't need to be brilliant - merely competent).

By the time you get a job, you should be able to handle feedback along the lines of "You're performance is not good enough for this job". With good management, this isn't a shock, and you should have gotten messaging about performance for quite a while prior to being handed a PIP. Not all management is good, though.

It should not be an identity crisis. No one is good enough for any job, and for any team. You should not go on in life thinking you'll not fail. You won't grow much that way.

I've seen management at times give the employee a ton of leeway. A friend of mine was in a SW team, and he decided he didn't like coding. The manager worked with him to give him an alternate role that was mostly related to customer support. When they'd come with a bug report or query, he'd study the (large) code base and help them if they were doing something wrong, or file a proper bug report with the team.

He still sucked (and knew it). He started working reduced hours (with the manager's approval) to handle the stress.

I kept telling him to go find another job if this one doesn't suit him. He had other skills - he'd done HW work professionally at the same company prior to switching to SW.

This went on for two years before they finally put him on a PIP and fired him. He had a grace period of two years to find another job, but didn't.

The real problem is the unfair PIP - where they want to fire you for reasons other than your performance. It begins with escalating demands that you cannot fulfill, and they use that as a pretext to put you on a PIP.

Anti-disclaimer: I've been on a (very unfair) PIP and was practically fired. Everyone I know at the company who's been on a PIP was fired. So when I say all of the above, trust me, I know the dark side of PIPs. I think they are primarily a tool to get rid of person and the manager is usually not honestly trying to redeem the person.

But even in those cases, it shouldn't be even close to "soul destroying". It's simply the equivalent of getting dumped by a boy/girl friend. Sucks, but it's expected. You move on.
Using Victoria Metrics here. Very easy to set up and run. I monitor under 100 hosts and resource usage is low, performance is good.

One gripe is that they recently stopped publishing tarballs for LTS versions, which caused some grumbling in the community. Fair enough since they are developing for free, but felt like a bait and switch.
Well I don't judge but yeah every year around Christmas we get another collection box of the Beatles and Bob Dylan...

Musical taste just seems to stop developing somewhere in your 20s or 30s.
informatiker/20-million-bluesky-posts
I don't think James would deny that there are many cases where our simple black and white view of truth as something existing in the world independently of what we think of it is perfectly adequate, however, pragmatism is intended to deal with the more difficult cases, those cases in which philosophers find themselves at loggerheads about the nature of truth. When the question seems impossible to resolve, James's advice is to try and think in terms of what the practical consequences of a belief would be.
It's opt-out, enabled by default in Lightroom (non-classic) or if you sync classic with CC.

"Adobe may analyze your content using techniques such as machine learning to develop and improve our products and services." Not explicitly training their models, I was wrong there - but it wouldn't be a stretch for them update terms in the future.

Not as egregious as training their models on your photos, but most certainly should be opt-in, not opt-out.
That's the key thing I missed. It's nowhere near the deal it was but it's still clearly ahead of DO.
People are intentionally muddling the case to make France success looks less successful. I like how you pretend to be candid while actually making the situation worse. Always funny to observe.
best slam poetry contender I've seen on HN yet!
Good point. At the cost of relearning typing some folks may increase their speed but its not easy to determine if they would have won similar gains spending time improving habits with qwerty.

That said its nearly irrelevant because for most jobs typing speed isn't a limiting factor for those with average typing speed for proficient users.