skysight-inc/HackerNews huggingface dataset:
The cost in learning curve and weird edge cases on NixOS / flakes is debatable for any language ecosystem with some kind of Python-style virtual env or Rust-style (correctly) build the world.

In C/C++ land? Nix is the virtual env. It’s the only sane choice for that as a user land stack.
1. There's a first time for everything.

2. The "ennui" as you refer to it, is clearly a modern phenomenon. It couldn't have happened before now.

3. We've already seen this verified experimentally with animal models, multiple times. Despite having unlimited food, water, and entertainment, the populations crash and never recover.

If you don't think so, it's just because you haven't bothered to think about it.
> All type safety is "bit safety" at the implementation level, because in the actual semantics of the running program, objects are represented by bits, and type safety ultimately prevents bits intended to be interpreted and used one way as being used in a different way.

Nope. Programs can be interpreted by humans, or by non-bit-based mechanical computers. Type safety can be used to enforce a wide range of properties you might want, which don't necessarily have any connection with "how bits are interpreted" beyond the trivial sense in which that's true of everything you can say about a program.
Seconded.

Recently while refactoring I realized I was breaking nearly everything. Most code didn't have tests -- I'm working on an experiment.

So, I coded 3-4 tests of the "run the main program and if it doesn't crash then it passes" style. These tests are silly, but they catch lots of refactoring bugs! And it only took 30 seconds to write the test.

If later I decide the actual _values_ matter, I can add another test, but this "break glass" test is already giving me benefits. I can refactor bravely and see how much stuff goes up in flames. Very useful!
Spacelift co-founder here - please don’t panic. We will make sure you can continue to use Spacelift :)
Show HN: AI Agency – 3x Faster ML Development at Half the Cost
I'd say similar like sport sailing, but yeah there's some bikes that cost more than a sailboat.
It’s probably not a coincidence the other place I’ve seen this technique was also for archiving a feed of fires.

It that case the data was about 250gb when fully uncompressed, and IIRC under a gig when stored as a git repo.

It’s a really neat idea, though it can make analysis on the data harder to do, in particular quality control (the aforementioned dataset had a lot of duplicates and inconsistency).

Like everything it’s a process of trading off between compute or storage, in this case optimising storage.
A big usecase for C is embedded systems projects where wrangling cross-compilers, debug dongles, etc. can become a big headache especially when trying to keep multiple developers' local toolchains in sync or when managing multiple projects with different requirements for the development environment.
Exactly. The one dev environment I can name where a Dockerfile really isn't useful is also the highest-level, NodeJS.
Kalpa has more rough edges than Aeon, but I've been test driving Kalpa on an old Chromebook for the last few weeks. Definitely worth a spin.
Speaking of MLC - recently discovered they have a iphone app that can do lama7b locally on high end iphones at decent pace. Bit hard to find in the store given the ocean of API front end apps - called MLCchat.
> The implementation of the scraper is entirely contained in a single GitHub Actions workflow.

It's interesting that you can run a scraper at fixed intervals on a free, hosted CI like that. If the scraped content is larger, more than a single JSON file, will GitHub have a problem with it?
Because there are limited rooms and times of the day. I have seen the data at the Registrar's office at a couple of universities. Often, room utilization is above 90% with barely any time and space left over for talks and special events. And a university in the middle of a city (where universities should be) often don't have any land to make new buildings.

Not to mention, the highest demand courses are always the easiest ones. As someone who has worked as a professor, I refuse to accept that the universities have some administrative imperative to increase the number of sections of easy courses, so students can learn less.

Students should take online courses, but that is besides the point.
Hah. This reminded me that at some point I had a DCPU-16 t-shirt. It was great. It’s a bummer the game it was meant to operate in never happened.
because there's a contention between the people developing the software and the startup community.

it's obvious that for a company (money-making entity), that they're going to want to have a monopoly in providing the software aaS. That's the monetization strategy on otherwise free software.

I don't think this is surprising. We saw this years ago with AWS and MongoDB. Yes, a startup can offer Vault cheaper since they don't have to pay for developers to build the software, and, in fact, they get to offshore their support costs to the developing company too ("yay" OSS).

I don't like it, but for a corporation that is trying to develop OSS, it makes perfect sense.
My mother was diagnosed with MG 25 years ago. Her first symptoms were droopy eyelid and double vision. Plasmapheresis helped, Prednisone had nasty side effects (glad to hear that sounds not to be the case for your father), prismatic glasses to un-double her vision kind of helped?

As her symptoms increased—-speech delay, difficulty swallowing, eye misalignment, all stemming from fatigue-induced nerve conduction delays which can culminate in respiratory failure—-myasthenic crisis, they opted for thymectomy (open surgery). She was probably 50 and while the recovery was lengthy, it drastically improved her symptoms and the amount of activity she could do before arose symptoms appeared. No more prism glasses or multi-second speech delays, or weekly plasmapheresis visits. If she spent too much time being active or driving on a sunny day (squinting), she’d feel the ocular fatigue first and know she had to rest or take a prednisone. Now her eyes are failing for other reasons but the thymectomy bought her 25 years and counting.

I’m glad your father survived his crisis. It sounds like you’re doing all of the conservative treatments (which is good; steroid noncompliance is a risk factor for crisis).

There are new medications that directly reduce or deactivate AChR antibodies. Non-invasive video-assisted thoracoscopic thymectomy is more viable today too (and thymectomy has been shown to decrease the frequency and severity of crises even where the thymus was considered normal). Plasmapheresis remains generally effective, if time consuming.

MG sucks. From one son to another, I hope you can get a few more good decades with your parent too.
> Solar panels are almost exclusively made in China now using coal.

Ok. How do you know?
Apple Emergency SOS via Satellite Feature Saves Family Caught in Maui Wildfires
THANK YOU! This is perfect!
This might be difficult because payment processors randomly expect work out of you. It might only happen once or twice a year, but it happens.
You misunderstand me. To me, a Turing test is passed when the interviewer cannot distinguish between a robot and a human. If OpenAI were to add a special timer function to GPT-4, then that specific question would no longer work to tell the difference, but that specific question is just one example of many types of questions one can use to tell that GPT-4 is not a human. GPT-4 with a clock does not change the fact that there are many ways to tell it is not human.

> The point of a Turing test is a passive evaluation of how intelligent a bot is.

I don't know what "the point" of the test is (that is subjective) but I know how the test works. You create a system where a tester and a subject can pass messages to each other but cannot see each other (so a chat system is great for this) and then the tester tries to determine if the subject is a robot or a person. If the tester cannot tell if the subject is a human or a robot, the robot has passed the test. Many people have pointed out the test is not necessarily useful for evaluating AI! An AGI may be extremely intelligent and useful and still not pass the Turing test, but it would nonetheless be true that it did not pass. However a highly intelligent AGI would probably be good at pretending to be a human.

> It's not a test that OpenAI is trying to pass.

We are in agreement on this. They are not trying to pass this test and their current system can not pass it. This is why I say the current system cannot pass a Turing test. I am not talking about a theoretical future system!
The Santiago Boys
Or, unlike closed products, you're getting to bet on a product that can be made to the way you need it to, as literally as possible.

Think how difficult it is to get most companies to listen to your needs, much less ship what you need, versus being able to contribute your own pull request and have it merged.

Why should this mean the source owner deserves any less of a product revenue than the company that won't let you add your own features? It shouldn't.

If you get your feature merged at the long end of a customer relationship / product manager interaction, do you expect that means you should get paid for your feature request or get to keep it? If you write the spec for your feature in code instead of a PowerPoint or Word doc, so it does what you need exactly right, you're still asking them to ship a feature you need, just better specified and delivered sooner. It lowers the overhead both firms waste, which lowers your licensing cost and your cost of delay.

From the viewpoint of a CTO of a mega enterprise -- a vendor that lets me make things work is worth more per month to me than a vendor that won't, and no, I don't expect my enterprise get paid for the vendor accepting the fix that scratches my particular itch.
I need a silent ECC server. Doesn't need to be super powerful but I'd rather have at most one fan. Any advice?
In this case in particular, their stuff was under MPL (which has copyleft). If there were other companies offering Hashicorp services with hasicorp software, they also are under the obligation to open-source their changes under the MPL to their users, so hashicorp could get back those "contributions" from "freeloaders".

On the other hand, many contributions(PRs) that hashicorp got (for free) are now relicensed to a different license. Who's actually the freeloader here?
Well, it's not because they are the underdog.

They need to give it away for those same strategic reasons that they created it.
I fully support hashicorp’s prerogative to be paid for their hard work, but I am also glad I did not enter the ecosystem.

Looks like it stays k8s + pulumi + ansible for me.

I do think they’ll be able to benefit from this though — serious businesses that derive
value from their offerings should be comfortable paying more/something for the value they’re receiving.
Nice job! Looks really slick. I totally would’ve made good use of this when setting up a new Mac a couple months ago! Sometimes having browsable categories is perfect when you’re trying to remember everything you normally have installed.
Artificial neural networks work a lot like compression algorithms in their ability to predict the future. The trained network is a compression algorithm - it does not store compressed data.

We don’t know if the animal brain works the same way, but I suspect it is mostly compression algorithms designed to predict things, and doesn’t store much data at all.
> Your contributions are eventually going to be moved under a non-open license so the company in question can secure their revenue stream and you can do nothing about it.

I think what you say is factually correct, but maybe misrepresents the situation a bit.

The license automatically converts to full open-source after 4 years. Maybe this isn't ideal, but it isn't "big company takes your code and locks it away forever" either.
> $currently_trending_language

by your definition, is that any language less than 50 years old?
GitHub repos appear to have a "soft" size limit of about 1GB - I feel completely comfortable with free repos with up to that size of content.

Once you get above 5GB I believe GitHub Support may send you a quiet polite email asking you to reconsider!

https://docs.github.com/en/repositories/working-with-files/m... has some more information on limits - they suggest keeping individual files below 50MB (and definitely below 100MB).
It doesn't mean that they can't. Just that they have to engage in them as pirates normally would – without permission!
I’m flattered that you got value from my comment, I think it’s just stuff people my age ended up watching: I think I joined HN in like 2007/2008 and that’s when pg’s essays were still considered radical and no YC company had IPO’d for zillions yet.

It was a very cool time!
Market failure is a thing with insufficient oversight/regulation. But it's just as easy to cripple something by nationalizing and over regulating it.

Take the housing market, when there was no regulations we ended up with inadequate housing and the poor being housed in terrible conditions. Now we brought in all the wrong regulations and it's no longer just the poor who are struggling. Next we'll vote for universal rent control, do nothing else and sooner or later nobody will be able to move.

Edit: and if we completely nationalize it we might end up with inadequate commie blocks for everyone.
I think these projects should just dual license as AGPL and BPL/EPL.

That way all the "it's not really technically open source" complainers couldn't day that its not technically open source.

It wouldnt substantively change anything of course, but that's somewhat the point. BPL/EPL/SSPL was always fully within the spirit of open source, it just pissed off the same large corporations who also can't stand the AGPL.
Minimal file hosts like https://catbox.moe or http://0x0.st work nice in my opinion, here's an example link: https://files.catbox.moe/zamm2d.jpg

The only catch is most of them set a time limit on uploads, but you might be able to (ab)use archive.org if you want the files to stay online forever.
Yea, this is what’s really going on here and feels like it’s been shrouded in language to make it seem more grandiose. That being said, I would believe generalization to occur from minimum norm solutions in some sense, but whether that corresponds to minimum norm weights or not is a different question, and one you probably won’t know a priori (not to mention even knowing which norm to choose).
You also have to consider how AI techniques fit into the context of a running game. ML techniques haven't really caught on with existing games because they completely tank performance, in a program that has to make computations every frame, in addition to either completely murdering the player or acting weird/being hard to debug or just not being that compelling.
Yeah, that's good idea - I need to add that to my suggestions for how to implement this.
I think a real consideration is how fragile those early airplanes were. Machine guns are heavy, their ammo is heavy, and you need heavy mounts to absorb the recoil of firing them. The wings of WW1 fighters are basically made out of toothpicks and tissue paper (an exaggeration, but not by much). I wouldn't be surprised if they simply couldn't handle the load of wing mounted guns.
Sounds similar to llama's chat edition. Found that to be pretty solid in itself so hopefully this is even better.
They interviewed Robbie on the Broken Record podcast a while back where he told his story. Great listen if you're interested: https://podcasts.apple.com/us/podcast/rewind-robbie-robertso...
Firstly I don't have any particular faith in them either given their business model appears to be sending them towards a similar path. Secondly, I think encouraging people to write their infra configuration in a general purpose imperative language is quite possibly the worst idea I've ever encountered. As botched an attempt Hashicorp made at designing HCL, they at least had the good sense to make it declarative.
Some Ryzen chips (I think- might be TR) often support ECC- see if you can find a compatible mobo that supports ECC modules and Ryzen sand! When I last checked there were a few products out there
Being out on the water is such a peaceful experience.
When hardware is so expensive and so difficult to obtain, performance starts to trump the cost of “single model implementation” pretty quickly.

It can be cheaper to deploy Llama.cpp and then foobar.cpp (6 months from now) than it is to have inference that is 2x slower.

Interestingly in the LLM space all these model servers seem to be converging to using the same API as OpenAI, making it easy to swap containers to get a different model+inference server with 0 code change.
They can even run a marketing/TV campaign around this, lol.

“Google Docs ships with esignatures now… but how long until Google kills another one of their products? Stay safe with DocuSign, import your Google Docs signatures and keep them forever, with or without Google.”
Doesn't have to be that way. You can just do two passes.
I'm curious why you seem to be looking for a web/web backend development position, when clearly you're an operating system developer.
As much as I hate to say it, XCode is a really good C development environment that also works with C++. I've never had to mess with a makefile.
The standard model *is a Quantum field theory". Making a Standard Model vs. QFT thua statement doesn't make sense.

The problem is the lack of an analytical solution and the different systematic errors that come from different numerical approaches and assumptions made.

According to the article, there are multiple standard model theory predictions using different approaches which are in tension.
Java libraries with security holes aren't java.
> suitable as a C replacement

nope. they all are. all depends on the use case. if your use case is "must do 100% of what C can do, no exceptions" then of course that leaves one option. but for many programmers the trade offs today are not in favor of C, and haven't been for some years.
Corporate control has most likely been their game plan from day zero.
I would rather implement a generic list that contains only common attributes, type and then an url that points to /agencies/:id . /agencies and the others are in this case aliiases for an fikter on /organizations if possible.
I've been promoting this idea for a few years now, and I've seen an increasing number of people put it into action.

A fun way to track how people are using this is with the git-scraping topic on GitHub:

https://github.com/topics/git-scraping?o=desc&s=updated

That page orders repos tagged git-scraping by most-recently-updated, which shows which scrapers have run most recently.

As I write this, just in the last minute repos that updated include:

queensland-traffic-conditions: https://github.com/drzax/queensland-traffic-conditions

bbcrss: https://github.com/jasoncartwright/bbcrss

metrobus-timetrack-history: https://github.com/jackharrhy/metrobus-timetrack-history

bchydro-outages: https://github.com/outages/bchydro-outages
It's pretty much guaranteed that any software defined radio you build today will be almost impossible to get parts for in 10 years, so your maintenance budget ends up requiring a software developer to upgrade things when parts become obsolete. At least with computers from the 1980s, the hardware is fully understood and can be much more easily repaired. There are already projects that have produced modern replacements for custom chips in machines like the Commodore 64, and there is at least 1 underway for the Amiga's chipset.
Immunity is "the country we represent won't prosecute you".

Marque is "we'll take credit for you officially, such that other countries won't be allowed to hang you as pirates".

Big difference.
Nobody who wants a Hummer is going to buy a bicycle just because it has the same name. They'll just buy the ICE-powered Hummer instead. But they might buy a Hummer-style vehicle that happens to be electric.
Nobody is deploying 3+GB models to iOS beyond some enthusiast “because you can” apps. Amazing tech but not feasible for any mainstream use yet.

Eg: https://apps.apple.com/app/id6444050820
Because soon that will be the fork everybody will target,and the de facto standard.

RHEL could have survived for a while in hostile mode if everybody was complacent (maybe making the entire thing profitable). But this is exactly people not being complacent.

Anyway, you can bet there will be infighting once this is established. But well, the power that free software grants for people to misbehave is very limited.
And AWS with Elasticsearch too
Describing changing to a source-available licenses as "now utilizing the legal system" is strange.

Projects choosing a permissive license like BSD is utilizing the legal system. BSD is a contract, a copyright license. It imposes restrictions/limitations/obligations, which can/would be enforced by a court.
One of my favorite bbs sig tags was "REAL programmers use COPY CON FILE.EXE"
Airbnb Hosting Isn’t What It Used to Be
The free services (UK) are like this.

But yeah, the paying ones are not.
> it's very good for HN headlines to make a $X.cpp but it's not the right tool for products.

Funny how it's the opposite.

ONNX in this case, outside of the HN headline and saying "we did it" is almost useless.

LLMs are so heavy that you can't afford running a suboptimized version. This FP16 ONNX takes 4x as much memory and is probably 5-10x slower than something hand optimized such as llama.cpp or exllama with 4 bit quants.
SaaS itself is against the spirit of open source, if not the letter of the license. It is the most closed model of providing software, far more closed than closed source binaries. Whether it runs on open source behind the scenes doesn’t matter; your data is controlled by the provider and you have no privacy or ability to run anything on your own terms.

At the very least anyone using open source to run SaaS for profit should be giving something back to the authors of the software. That’s the least they can do given the user hostility of the model as typically implemented.

Open source is stuck in the 90s and has failed to respond to the rise of SaaS or “the new closed.” The big mechanism of restricting freedom now is closed execution, ownership of the network effect, and closed data not closed source. Google could open every bit of their source and nothing would be gained freedom-wise.
We could reverse this statement, but replace "water" with "warm clothing". It's not like we haven't been ameliorating the effects of cold for ages.
No, it's not as bad as that. You retain copyright over your changes and have the say in whether they can be relicensed or not, unless you signed your copyright away via a CLA or similar. So you just have to not sign CLAs and not contribute to codebases that require CLAs.
> But they're there.

They're useless. I've been paying for Google Docs for over a decade. Nothing of note has been added until they finally... FINALLY let me get rid of the concept of "pages" recently.

If you have to look at a changelog to understand what changed, then the stuff that's being shipped isn't making a difference.
> There are obviously commonsense exceptions granted.

Rather a lot of the history of disabled and otherwise 'unusual' people seems to disprove how 'obvious' and 'commonsense' that idea is in practice.
4 years is an eternity in software; a slap on the face, it isn't a concession.
It's funny/sad that they require Terraform providers to be FOSS.
> Wouldn't the fact that getting caught using a deepfake or something similar be politically damaging to your campaign sort of make this a bit moot?

The republican front-runner not only tried to hold defense aid to Ukraine hostage in exchange for manufactured damaging info about his main political rival, when he lost he started a riot and attempted to seize power and destroy the democratic process in this country. Why do you think something as comparably trivial like using deepfakes would stop his voters from continuing to vote for their guy?