skysight-inc/HackerNews huggingface dataset:
Yeah I remember this, it was pretty gross in a fascinating way. You'd walk outside and every step was crunchy.
The Photos app supports JPEG XL as far as I’ve been able to tell.
Papier-mâché has been used to produce variety of objects including some able to be used regularly for years e.g. food trays. https://en.wikipedia.org/wiki/Papier-m%C3%A2ch%C3%A9
AI is a tool, and there are lots of open source models available, you can compare results easily. Corporations don't need to pay to degrade the models, they paid to degrade the internet and got the models as a temporary ad-on, at least until we get better at cleaning large data sets.
I'm writing this because like all Vegemite lovers I have to stand up and be counted as one.

As Vegemite-ers know, there's absolutely no point discussing Vegemite with those from overseas, especially Americans, let alone trying to get them to taste it. It's a total waste of time! What's more it's potentially risky—a foreigner could likely file assault charges on grounds of attempted poisoning.

For the record, I'll eat spoonfuls of the stuff and others around me have been known to hide it away save there being none left. Recently, I've taken to the salt reduced version and I actually rather like it (and I suppose 40% salt reduction is a good thing).

Quite some years ago a relative of mine who's living in the US packed eight of the largest jars made to stockpile in his Vegemite-forsaken adopted homeland and apparently US Customs started prodding the jars looking for illicit substances. From what I can gather he wasn't arrested nor were the jars confiscated.
I've thought about trying to write a short story about an apocalypse in which Facebook or Youtube creates an AI that's so effective it traps the entire human race (including the creators) into doing nothing but engaging with the app, and doing the bare minimum to survive (and keep the servers running) since that's what it's told to optimise. But I'm not a great writer, and other stuff always comes up (those shorts aren't going to watch themselves!).
Well, yeah. No entity should be in the centrally authoritative position that Meta alongside a handful of other companies is.

Moderation and filtering needs to be decoupled from content hosting and authn/authz. This is a major part making me optimistic about bluesky/atproto.
At the same time, some members of generations slightly older than us seem to be managing just fine, living the same analog patterns they’ve always lived, which still exist. I am not worried about the coming ai apocalypse to digital media because I am taking steps now to offshore myself from digital media. I hope one day to be an old man with a book or a newspaper under an arm, smiling inwardly.
I don't see that. Seems like different issues.
The best I'd say is a sense of collectiveness that is somewhat higher than other countries.

It's not nationalism. Rather, there is some amount of willingness to give up personal comfort for some sort of general/societal greater good.

This is really something I've noticed compared to say the UK, Australia, certain asian countries, etc.

Not sure why it hasn't translated to improving bureaucracy.
If you’re looking for a dramatic, fictionalized biography of Von Neumann and surrounding characters, I highly recommend The MANIAC:

https://bookshop.org/p/books/the-maniac-benjamin-labatut/196...
The “system” does not exist in vacuum. It is powered by the same people that would power other systems such as socialism, communism, etc. And they all suck even more.
The current president is quite left wing, at least by US standards. He was also president before. Then was charged with corruption. Then the chargers were annulled. I don't think you are going to get particularly unbiased answers about him from a predominately US website.
Interesting, so this means you can go to another country just to get married there? There's no requirement that one of you have some kind of tie to the country (working, or resident, etc.)?
Reimagining Infrastructure – Airlander Case Study – Scottish Highlands / Islands
It’s just societal inertia, really. Average adult human being rarely changes his mind on anything.
> RISC-V-ish

They could've just said that it's Loongson.
> Given the prestige of the school, I have to assume this person has some serious money.

I don't think that follows. It's quite possible they have the money to buy a house in a "good" school district, but not the disposable income for private elementary school (even assuming there's a private school available and it's equivalent or better).
The digitization in france in making things worse on the edge though, the system are buggy and now you no longer have that human you can talk to fix things.

I remember not being able to create an account because the website password validation regex was buggy, I wrote an email about it and it's probably still not fixed. I've had to read the "compiled" js of the website to understand what was wrong to begin with.

I've had administrative processes slightly deviate from the happy path and getting stuck. When you talk to a human now. it's sorry can't do anything it's all online even when you explain that yes you tried other possible contact channels phone,email,in person, etc (email seems to go to /dev/null or get a canned response that clearly didn't read your message).

"Computer says no" is more and more of a thing now here in france. it's faster when you on the common happy path but if you aren't you better pray.
Also the different services still seem unable to talk to each other even when they are in the same building / same administration but different department. Hopefully they'll improve that in 20 years.
Further, it's not even clear that this kind of program is practically possible on Wayland. At best, that's yet another new protocol someone would need to invent that only some compositors would implement.
I fail to imagine a scenario where "getting married fast" is a requirement. I mean you've supposedly been living together for a few years already at that point, so why is 2 weeks too much?
This is great feedback and something we are looking at in regards to Cody. We value developer choice and at the moment for Chat developers can choose between various LLM models (Claude 3 Opus, GPT 4-Turbo, Mixtral 8x7b) that offer different benefits.

For autocomplete, at the moment we only support Starcoder because it has given us the best return on latency + quality, but we'd def love to support (and give users the choice to set an LLM of their choice, so if they prefer waiting longer for higher quality results, they should be able to)

You can do that with our local Ollama support, but that's still experimental and YMMV. Here's how to set it up: https://sourcegraph.com/blog/local-code-completion-with-olla...
His standpoint is unchanged regarding F-Droid, but not regarding distributing APKs themselves. In the linked issue he still argues that having users to enable "allow 3rd party APKs" is such a bad idea, that they will not provide any APKs directly.
Making Peace with LLM Non-Determinism
Definitely flagged. There is no way a human would think this was worthy of writing let alone sharing.
Thanks for the great blog post.

I'm very happy to be living and building business in Estonia instead. Establishing the company is easy and everything else except KYC meeting in bank can be done online. Also in Estonia companies don't pay any taxes on yearly profits. Almost all of the government officials speak fluent English except in the case where I wanted to have company owned car. Would highly recommend this option for others too if you can relocate easily. They even changed the rules in 2023 and now even 1€ initial capital is enough.
Author conflates utility with social cost, as if they were equivalent terms. Everything that follows is a mess.

Opinion columns of newspapers are largely platforms to publish nonsense with no review or editorial accountability. This seems to fit the pattern.
Escaping reality is a time honored tradition, whether it be chemical, digital, or biological. Heroin addicts are looking to escape just as much as TV addicts. People are going to choose what they chose. Naively I choose to believe that people are eventually able to choose differently, and choose life.
It is very hard to get good medical diagnosis. Doctors are overworked and can barely spend more than 10 minutes thinking about you. People with long complex medical histories get completely fucked over, so basically these social tasks already are not being performed properly by humans because the humans doing it are stretched way too thin.

AI is going to quickly surpass the quality of medical diagnosis by doctors, at which point hopefully people can see a the right kind of specialists faster and get treatment quicker.
Some people harm, some do not, all exist in the system. Excuses are easy ("the system made me do it"), despite free will and executive function. I admit, more effort is needed to close the gap to make harmful people less harmful, considering imperfection of the system.
In the case of radiology, that rubric is "anything clinically signifcant you can find". A kid in being treated for possible pneumonia might have signs on a chest x-ray of cancer, rib fractures from child abuse, an enlarged heart, etc.

There's a risk to "rule out pneumonia" style guidance resulting in a report that misses these things in favor of "yep, it's pneumonia".
"Powerful technologies, when placed in the hands of bad actors with ugly motives in an incentive structure that encourages usury, are bad".

Sure. But how about we do something about all the rest of that instead?

Open source all the things. Create locally runnable software. Move from social networks to social protocols. Decouple from the economic juggernaut whose only goal is to maintain a stratification of social class and persist an artificial scarcity that keeps people wage-enslaved. Then we can develop all the superpowered tech we want without stressing about this bullshit, and maybe (just MAYBE) develop something to prevent the oceans from boiling over before 2100.
Nice. Some LLMs still have a ways to go before they learn such a basic function. Can you stump Claude with that? https://i.imgur.com/g2HCGNY.png
They don't even deserve to be called "engineers". They're just guess-and-test amateurs.
Nice to see that it consumes barely any power. Looks like a fun and useful project!
Argument from ignorance [0], not ignorance per se. And as far as axioms, sure you can believe anything, but that doesn't not make them necessarily true in reality. I could believe that the earth is governed by an infallible, omnipotent Flying Spaghetti Monster but that doesn't mean His Noodliness exists.

[0] https://en.wikipedia.org/wiki/Argument_from_ignorance
Were you there?

Yes.

Isn't that exactly the action of post-Perestroika, now-democratic Bulgaria?

No. This was done under communist rule, as outlined in the Wikipedia page. Many Bulgarian ethnic Turks were able to return after the fall of communism as is mentioned there as well. A political party representing ethnic minority interests was one of the first formed after the end of communist rule. It remains significant part of the Bulgarian political landscape to this day - https://en.wikipedia.org/wiki/Movement_for_Rights_and_Freedo...
I created a cli tool that copies a GitHub or local repo into a text file for llm ingestion. It only pulls the filetypes you specify.

https://github.com/jimmc414/1filellm
That's clever, but GitHub is recognized as the way to do things, so I've seen a couple repos where the only commits are of binaries to download, which technically uses git, but I wouldn't really say that's using git.
I don't think Chisel has a goal of evading AV detection.
I think of modern flat design as a reaction to the opulent skeuomorphism that had gone too far 10 years ago. My problem is that I hate the flatness, and liked more of the older interfaces. If I had the option of looking at Windows 95-style interfaces forever instead of whatever we have now, I'd go with Windows 95.

Oh wait: https://github.com/grassmunk/Chicago95
I don’t think hacker culture is dead. Rather, computing entered its Eternal September; a career in software engineering, especially in the United States, now carries a similar cachet to being a doctor or lawyer, and the startup world has attracted those who want to make a fortune. The geeks, nerds, scholars, artists, and other varied misfits who once dominated the field have been outnumbered by those looking for money.

This is the price of computing’s success. It’s not all bad or all good, it just is a natural consequence of computing becoming an integral part of modern society.
Too bad Gerry didn't ask an LLM to help him out with the article. A 'bit' over the top. In fact, it did make me wonder if this is supposed to be a send up sponsored by the Ad Council..

"Free. Any world built on free is a scam world, a grift world, a con world, a world of lies. And so much of the Internet is built on free. Because free is a lie. A Big Lie."

OSS, gerry.

Now mom and dad can't make ends meet not because of advertising but because the political economy changed. It is not because mom and dad are induced to consume more by advertising. No, Gerry, the purpose of advertising in that case is to offer 'consolation of consumerism' to deal with realities of the political economy and their seat at the table.

No, Gerry, the actual problem with advertising is that it is used as a pretext to foist the Surveillance System on the Western "democracies" so that the little snitch we "must" carry on our person is made prone to surveillance "because advertising".

The problem with AI as an social intermediary is that it can manipulate us, not to "buy stuff", no Gerry, but to change our minds about actually important matter. Stuff like keeping the folks who have a perch at the table above and want to keep it that way for themselves and their issue perpetually in power and control.
If anything thats a signal of where not to invest. Ai is a tool but not always the best tool, sometimes (most of the time potentially) simple linear regression or t test/wilcox will do. All done in a line of code in the standard library of R at least.
I feel like that can be said about any SaaS app. The reality is, mega-corps move very slowly and often can't deliver the same user experience as a start up. If everyone had the approach of "well I shouldn't make this app because if Google wanted to, they could do it in a few weeks" we wouldn't have 90% of the startups we see today.
No one has been displaced. There's melodramatic doomers lamenting some ostensible future where AI displaces them, and there's tech-novice salt farmers collecting vials of these doomers' tears, but no serious displacement is happening.
"Your contract with the network when you get the show is you're going to watch the spots."

Obtaining ad-supported service while blocking ads is theft of service. Do not expect such theft to go unpunished.
For those who might not be aware of this, there is also an open source project on GitHub called "Twinny" which is an offline Visual Studio Code plugin equivalent to Copilot: https://github.com/rjmacarthy/twinny

It can be used with a number of local model services. Currently for my setup on a NVIDIA 4090, I'm running both the base and instruct model for deepseek-coder 6.7b using 5_K_M Quantization GGUF files (for performance) through llama.cpp "server" where the base model is for completions and the instruct model for chat interactions.

llama.cpp: https://github.com/ggerganov/llama.cpp/

deepseek-coder 6.7b base GGUF files: https://huggingface.co/TheBloke/deepseek-coder-6.7B-base-GGU...

deepseek-coder 6.7b instruct GGUF files: https://huggingface.co/TheBloke/deepseek-coder-6.7B-instruct...
What's the big deal...

If you've seen one ellipsis, you've seen them all.
Can you provide some examples of what germans bind together for the "greater good"? I seem to have missed it.
easy to live just fine when you bought your house prior to 2008.

Just sayin'.
Semantics. Notions of tags, replies, metadata, what kind of entity a link is refering to. Stable identifiers (how do you canonically refer to content rehosted elsewhere?). Authenticity for rehosted content. There was/is an idea and attempt at "semantic web" aka "web 3.0" but it never caught on.

https://en.wikipedia.org/wiki/Semantic_Web

Also, a common requirement is authenticated reads and fine-grained access control of pull-based content. E.g. I want to share my vacation photos with a different subset of friends/followers vs my tech blogging, only some of which should be public.
how does this compare to copilot? i would be willing to switch (or try it at least) if it can give better experience inside neovim
This comment of yours reads like chapter one. Well done, I guess? Strangely hard to turn something into fiction what we're already going through.
> that's when AI will hit you

Hit me and do what though? That's the bit that loses me on these hypotheticals. I can't think of any time I've bought something that wasn't researched or didn't sit in a checkout basket for at least a week. And this is maybe only a few times a year, most months I don't buy anything except groceries. I don't trust AI but I'm unconvinced about how successful it could be at manipulation.
It depends a lot on your desktop enviornment/window manager, distro, hardware, etc. I personally find Wayland works perfectly out of the box whereas X11 still to this day has issues with basic stuff like screen tearing that needs me to add a line to my xorg config file to enable the driver feature that stops screen tearing. (Note that every other display server has zero issues -- MacOS, Windows, Wayland, etc so the fact X11 still suffers from this in 2024 is a strong indicator of its suitability for everyday use). For me the GNOME/Debian/Wayland on Intel GPU has worked flawlessly since Debian switched the default to Wayland a few years ago. The same combo has been problematic for X11 for years until Debian switched over to Wayland and it has been great ever since. Firefox has supported GPU/Video acceleration in Wayland for several years as well which has solved that particular bugbear. I understand though that other combos (particually the less-used DE/WMs and/or closed-source GPU drivers etc) are better for X11 for legacy reasons however I suspect with time these issue will be resolved.
I’m curious, since I never studied maths past A level.

Is there a difference to the way it’s taught now compared to whenever von Neumann was studying.

What I mean is, the way I was taught maths and science in general was with a feeling of “look we basically know everything just learn this and you’ll be fine”.

Rather than that there are MASSIVE open questions and things we don’t understand at all. Please learn maths and physics and fix them, will you?

I’m basically curious how a fairly young person gets into their head a thought like “Hey, why don’t I just revolutionise a few things? That seems totally reasonable for me to do that.”
I want to see a graph of page views vs sleep.
well they wrote a whole blog about how they do it... and im sure this isn't the only one on how to approach this. they also only have a 30% acceptance rate, which is only 10% over their initial attempt with just a prompt.
No it's not. With UG's limited liability is only extended to the collateral put in, meaning that as soon as someone sues you for 2€, suddenly you're liable with your private wealth. A GmbH is a true shield against that, you can be sued for millions and are shielded behind the 25k collateral.
If it's less work, it's less work. And it can take months if one of you is not German.
This mantra was hammered into us before the collegiate advertising fairs. Kind of a shame that many people forget this applies to all facets of life, not just the student fairs.
The 13s also get 17-1 breeding iterations without shared food competition from the 17s, etc, during the breeding days. The coprime periods effect strong attraction to the involved prime periods.
Cody is very good. I recommend giving it a try.

FWIW I believe Cody is much more actively developed than Copilot is these days, and so it has a more comprehensive feature set.
>Nobody can be hypervigilant at all times.

I accept your challenge! I already run Qubes as my primary daily driver on my systems with only one LibreELEC RPi for non-Qubes systems (GrapheneOS on all phones, rn contemplating build-my-own for older Pixels), all connections ... absolutely nothing touches the naked internet as my archers load balance over several quantum resistant wg tunnels at the demarcation, I have multiple vlans and networks to separate off network hosts from each other, and I use no cloud services, instead opting for the splendidly wonderful SyncThing.

There's more but I'm too exhausted to be exhaustive.
Given how much of a huge pain it was to use PGP / gpg back in the days (for email encryption/signatures, to be precise), it's amazing how easy end-to-end encryption on Signal and Whatsapp is. And how it lacks that drama that somehow always surrounded GPG.

Is it really because trust on first use is good enough for most cases? Or is email somehow so much different than chat? Or was PGP the proof-of-concept, and current e2e encrypted platforms are the v1.0? Or all of the above? Did I miss anything important?
I'm not saying it's great, it's just that German culture has no place for no collateral LLC's. We don't do this here, our business culture is much closer to medieval trade guilds still, rather than a modern globalized economy.
Time to load up on sesame seed futures.
Aren't we all operating on borrowed time though? Even if some company exists for 3 years and is able to founders a small acquihire exit, what's wrong with borrowing some time from AWS/OpenAI? We can't all come up with PageRank and patent it and form a company around it.
Depending on the setup it can be a pain to get nested containers working sometimes. There is, e.g., Docker In Docker but this often required a privileged host container which is often not provided in CI/CD pipelines.
We ended up going the Denmark route due to the German process requiring, what was for us, unobtainable documents.

We've had a number of friends do the same due to similar issues, plus the German process can be very cost prohibitive once you start including official translators and such.

The Danish authorities accept a passport as a proof of ID, and the supporting documents can be in Danish, English or German.
There are two kinds of mathematicians, or one can say, two cultures of mathematics: (a) problem solving, proving conjectures, etc (b) theories. Alexander Grothendieck belongs to (b). Paul Erdos to (a).

You can read Gower's paper on "The two cultures of Mathematics" at: https://www.dpmms.cam.ac.uk/~wtg10/2cultures.pdf
Some people just seem to be born with the gift and are simply better.

I recommend reading about Srinivasa Ramanujan

https://en.wikipedia.org/wiki/Srinivasa_Ramanujan
As a consumer, I'm devastated by how AI is destroying the quality of services I used to rely on. As a tech professional, I'm stoked about everyone who is investing their time and energy into gambling on text generators, instead of developing their technical skills. The technical debt it creates will just make those skills even more valuable in the future.
I even stick to local only models and actually pass nv cards through to my neuro qubes. I want my technological life to resemble something closer to North Korea in paranoia against the ancient and great surveillance pyramid.