skysight-inc/HackerNews huggingface dataset:
I keep wondering about this, but you know what? I just keep using Blogger from Google.

It's there, it works, and it's totally simple. I don't have to do any maintenance or worry about hosting or a domain name.

Images go into my Flickr account, and I save a copy of each post's text, in case I ever want to do something else. But not so far. Been on Blogger since 2009.
It doesn't work with my ELF file:

[orchestra] [darkstar@shiina revng]$ ./revng artifact --analyze --progress decompile-to-single-file ../maytag.ko
[=======================================] 100% 0.57s Analysis list revng-initial-auto-analysis (5): import-binary
[===================> ] 50% 0.57s Run analyses lists (2): revng-initial-auto-analysis
[=========> ] 25% 0.57s revng-artifact (2): Run analyses
Only ELF executables and ELF dynamic libraries are supported
[orchestra] [darkstar@shiina revng]$ file ../maytag.ko
../maytag.ko: ELF 64-bit LSB relocatable, x86-64, version 1 (FreeBSD), not stripped

Does it not support FreeBSD binaries?

Edit: Ah I missed that it doesn't support kernel modules, probably has nothing to do with FreeBSD but the fact that this is not a simple executable
Europe is there, yet the press ignores them, as usual, it is Tesla, and only Tesla that matters, i wonder why ;)

€25k - French car maker

https://www.renault.fr/vehicules-electriques/r5-e-tech-elect...
Well at least the name is fitting.
It has a bit of learning curve, that’s for sure. This makes me curious though, have you found any better templating system?
I wonder if it would be possible to economically separate and store the CO2 from methanol combustion (on the ship), then deliver it back to a methanol production facility. Alternately, this could enable use of a fossil fuel, with the CO2 delivered to a facility for sequestration, or perhaps even pumped into deep water during an ocean crossing.
You can't redistribute your high tcp Linux kernel without source in GOL license, so it can go back upstream (eventually).
Sure. I meant grow in number of ways you use your data, not in volume of data.
It's a bit more nuanced than that. PostgreSQL supports JSON/JSONB data types so if you need, you can use it in a way similar to MongoDB, with less structure and the remaining caveats, but with transactions and all other goodies working out of the box and being able to use standard RDBMS features if needed.
There are only two hard problems in computer science.

Cache invalidation, naming things, and off by one errors.
There are a lot of shady people trying to redefine source available proprietary licenses as being Free Software or Open Source, which already had a definition by the people who coined the terms dating back to the 1980s, long before they showed up.

If they were honest, they could come up with their own new acronym and market it as better than OSS but, no, they're trying to hijack the meaning of "FOSS" so they can use it for their marketing. If they're being this blatantly untrustworthy out in the open, we can be sure that more sleazy behavior is to come later.
Give up sleep.

By the second week you'll be studying physics to perfect a design for a zero point energy device or something.
Ruzzy, a coverage-guided Ruby fuzzer
When I was a kid those who lived in walking distance walked or biked. Those who didn’t was bused. It was just about geography. Rural area though.
Sounds like a super reductive panpsychism

I think we can all agree that rocks don’t have subjective aesthesia
Ha! I guess at least "time-cost optimization" and "total cost of ownership" aren't too terribly different. :)

But there's an interesting difference in framing or worldview between the two acronyms: My assumption of "time-cost optimization" assumed that such tasks as debugging were part of _producing_ a software artifact. Our implied goal (just like in the Rust talk's title) was to maximize _production_ of such artifacts at a reasonable level of quality. The back-loaded testing and bugfixing work might go on for a while (if you made that tradeoff), but it eventually ends in a "product" (or in project failure).

On the other hand, "total cost of ownership" emphasizes that our primary job isn't production but _ownership_ of software, which is open-ended and goes on forever. We have to think not only about "How long will it take to get it right?" but (mostly!) about "How costly will it be to maintain, year after year, even _after_ we get it right?"
https://web.archive.org/web/20240329125152/https://www.chica...
Stephen Leacock answered this topic perfectly over a hundred years ago in Moonbeams from the Larger Lunacy, chapter six, Education Made Agreeable or the Diversions of a Professor.

https://www.gutenberg.org/files/4064/4064-h/4064-h.htm#link2...

Minor excerpts to whet your appetite (but seriously, read it, it’s excellent humour):

> In the first place I have compounded a blend of modern poetry and mathematics, which retains all the romance of the latter and loses none of the dry accuracy of the former. Here is an example:

The poem of
LORD ULLIN’S DAUGHTER
expressed as
A PROBLEM IN TRIGONOMETRY

…

—⁂—

> Here, for example, you have Euclid writing in a perfectly prosaic way all in small type such an item as the following:

> “A perpendicular is let fall on a line BC so as to bisect it at the point C etc., etc.,” just as if it were the most ordinary occurrence in the world. Every newspaper man will see at once that it ought to be set up thus:

AWFUL CATASTROPHE
PERPENDICULAR FALLS HEADLONG
ON A GIVEN POINT

The Line at C said to be completely bisected
President of the Line makes Statement
etc., etc., etc.
Maybe you’re just experiencing the trough of disillusionment, from the Gartner curve? I think it’s fair to call document databases a mature technology now, rather than “dead”.
>> I think our brains are machines for predicting what happens next.

> Technologist thinks that humans are machines (breaking news)

While I also dismiss or at least be careful of the inherent biases of technocratic viewpoints, humans and life in general are very much made of many types of machines.

Take a look at these videos:

https://youtu.be/wJyUtbn0O5Y

https://youtu.be/7Hk9jct2ozY

I.e., life is insane and bewildering.
just what a philosophical zombie would say
That's what happens when you choose the next product / framework / methodology because of fashion or because FAANG is giving you the stuff for free, without thinking if it really fits your use case and that 99.9999% of the companies will not have the problems Google, Facebook, etc. have.
"Battery electric may work at some smaller scales such as local ferries but not for moving 100,000 tons across oceans"

It would definitely also work for 100 000 tons, but then a sizable percentage of those 100 000 tons will be battery and not freight. Unless the ship should make stops all the time to recharge, which is expensive as well, so no, batteries are not a economical solution for freight ships.

But fuel cells might be a solution

https://www.fraunhofer.de/en/press/research-news/2021/march-...
Indeed. Just as I explained, Pascal doesn't really have language support for enums. The pseudo 'sum types' abstraction works to try and hide the fact that enums exist, only presenting the implementation detail enum if you explicitly convert a union element to its enumerated ordinal – which, as it happens, is an integer type.

The program is correct – it complies and runs just fine – but the original ask was faulty. Without any kind of real enum support in Pascal the language, there is no way to perform the same operations as is possible in languages that do have natural enum support. This program is the best you are going to do in the absence of that support. This was all detailed earlier.

Again, you are trying to compare apples and oranges. Rust[1] may try as it might to call sum types enums, but enums and sum types – along with Pascal's pseudo 'sum types' – are different models. I understand where your confusion stems from as there are a lot of similarities, but there is also a difference.

[1] And Swift originally, but its documentation is updated to make clear that, contrary to what the name implies, the language's enum construct is actually sum types and not enums.
Restoration practices are at their peak. Don't look to the 1700's or 1800's to repeat scare stories of bad restorations. It would go fine, and look vastly improved.

And you want to see it in it's full glory? Go to the Prado, they have one, painted the same day, side by side with the original. The point of the story after all.

Which begs the question, who cares about the nasty one in the Louvre. Ok, leave it rot I guess, we have a better one now.
Perhaps, but it isn’t helped that spending effort to understand is often in direct conflict with the work required to get a good grade.

You’re not tested on understanding how stuff is derived or how it’s used, you’re tested on grinding problems, particularly ones that are easy for teachers to put on a test and easy to grade (if they even bother with that, my worst teachers didn’t create their own tests or grade them, machines did both). In English or humanities you’re tested on predicting whatever bullshit your teacher believes and then crafting an essay that leans into their cognitive bias.

I got very good at school and it was mostly by trying to model the minds of my mostly bad teachers and getting good at predicting what they want to hear and what they’d ask on the exam. With that down I could focus personal time on the stuff I was truly interested in (which ironically is what actually had market value).

At least in the US public school system this is further hurt by public school teachers often barely knowing the material themselves and that’s if they’re not also outwardly hostile/condescending to the kids (there are always great teachers, but they’re the exception to the rule).

The system isn’t selecting for the right things and those with enough money know this and work around it.
there is ethics in FOSS and that is the conflict that this is about. companies are trying to build an ethical business and find that they are at a disadvantage against the non-ethical ones, so they are trying to find a license that enforces the ethics
Kids have been soaked in the news that we're all doomed because of climate change, and they won't ever be able to afford the American dream, no matter what.

Consider the filter bubble your friend from the other side of the political aisle is in. The kids have their own and they don't have any real life experiences to weigh against it.

They know they don't have a future. They have no evidence to the contrary.

Why would they care about school?
I had to walk a half mile to catch the bus. Worst of both worlds, at least from my perspective as a kid.
I envy you! Both of my kids had unhealthy amount of high school homework.

I know many parents whose kids stayed up until 1-2am at least once a week. We expressed strong opinions to our kids that sleep is way more important than getting an extra grade bump, but many kids still trade sleep for a better grade.
Knowledge is too broad a concept to protect all of it. Taking it to the extreme would probably mean that all output of /dev/random should be treasured in multiple backups, to avoid any bits to die.
> For grey beards, it's all very odd. Like, "where have you all been?"

To be frank, PostgreSQL has evolved a lot since the late nineties. There was a time where people preferred MySQL over it at it seemed to work faster, certain things were easier and so on.
You don't sound bitter. This is reality, and people have to shape their lives and thus wants, needs, dreams around this brutal reality and collection of constraints.
Writing software is nothing like building airplanes.

99% of the time it doesn't matter because most software is worthless or trivial. A sibling thread highlights the decline of Google: What a horror if someone were to receive subpar search results or view an advert that hadn't been auctioned at the most profitable rate.
Where all money for fines goes, to the government.
> If this gets flagged, I'll make another one, and another, until one of the mods notices.

That will just get more flags for being an annoyance. Email the moderators, they do listen and reply.
> It's all about branding and name recognition

I don't think so. The only thing they need to let their customers know is that they offer a memory cache service that is compatible with this or that interface. Whether it's Redis, memcache, Garnet, or whatever it might be, it matters nothing at all. All they need to do is ensure clients can consume their service, and that is it.

This whole thing sounds like a desperate cash grab that fails to argue any point on why it's in anyone's best interests to spend small fortunes on nothing at all.
Nanoc!

I never hear people talk about it, and it’s perfect.

It can get complicated, but at the end of the day it’s just markdown to html.
Bit of a shame it requires a proprietary programming cable via the audio ports. The UV-K5 already has a USB-C port for charging, would've been neat if they just added an internal USB-to-serial chip.
I'm actually sympathetic to the cloud provider angle. As of right now, that is the natural trajectory. The majority of high-value customers are going to go through a cloud provider.

Maybe some kind of new license is in order. Open source, but preventing cloud redistribution. I don't know, I can imagine the issues with that as well. You want AWS out, but you probably still want the small up-and-coming CI/CD tool in.
> Without knowing the body of `bar` it's not possible to determine whether `foo` is sound.

This is literally the point we're making in the article.
Note that what protects you from violating type safety is not the ownership rules, but the ability to propagate these rules by annotating `bar`. So we're proposing a direct focus on this propagation.
> the methanol fuel capability is a necessary-but-not-sufficient precondition for low co2 emissions shipping.

Would I be (very approximately) correct in thinking of it like the transition to Electric Vehicles, where it is not sufficient in that we then also need to ensure the electricity is generated in a low CO2 emissions manner? But the transition to EVs is a necessary step, because it enables that transition to be possible?
Yup, I am a first generation immigrant and we traveled to see distant family in the summer. We also didn’t have a Nintendo or cable TV, because you know, trade-offs… one of which was rarely education.
I forgot all about Vocaroo!
I made a very barebones one called barf. It's ~100 lines of code.

https://barf.btxx.org
This deserves a submission of its own. Great find.
There's a joke that goes like: "What's the first thing a developer does when they want to publish a blog post? Write a SSG."
You haven't missed much TBH. I think the only case where you'd use it in new projects in DynamoDB if you work with AWS.
I would love a recommendation for an off the shelf "gpu server" good for most of this that I can run at home.
Would JS be faster than Python when it comes to Pytorch? For example, I seriously doubt that would be the case for Numpy, since it's a wrapper for C code, with the ability to use Fortran libraries for optimization.
Even that wouldn't indicate the sun is conscious. Your computer responds when you press a key, is that proof it's conscious?

(I don't think it's impossible that computers are conscious, but I cannot even proof that humans other than me possess a consciousness)
Knowledge? That's entirely an anthropomorphic point-of-view issue. E.g. The impact of every drop of rain ever, is 'recorded' in the water table. All that data is lost, quintillions of bits of information, every day.

We don't harm humans because we are human, and value our kind. That's about it.
It doesn't have to be this way. Covid has nothing to do with it. I didn't like it then, and don't like it now.
To be fair, you are talking about a rare event, that is educational and honestly damn cool.

The science teacher at the school probably wishes they could do it.
To me the article read more that PostgreSQL might have been the better choice from the beginning - but due to lack of experience in the team MongoDB was "good enough" at that point.
Does anyone else have this experience - The "old" pre-mobile phone style sites that were written without any "mobile experience" in mind are actually the most pleasant and easy to use on a phone (with just some extra zoom needed sometimes) while the mobile version of countless sites are actually the worst? Ironic isn't it.
In-person teaching makes sense when you have relatively few students per teacher. Some things can’t even be taught by video or book. School is weird though. There’s 20+ student/pupils/kids per teacher. All neatly lined up. All sitting like a well-postured potato for the most part. Yeah, what’s the point? Are they really getting the personal, hands-on help that the in-person setting facilitates? Or is it more about parking the kids in that place where all the other parents park their kids between kindergarten and college?
Talked to my niece about this, she's highschool age. She says that during covid, her school set up all of the infrastructure for remote learning, and they _still offer it_ -- that is, if she doesn't want to, she doesn't have to go to class much at all, save for the school's attendance policy... which means that while she has a 4.0, she's also near truancy.

For a lot of folks, school was never good. If I had the choice back then, would I have gone if I wasn't _required_ to?
There is also First Step Act.
So what’s better, startups can have a chance at building a truly differentiated cloud service and actually generate revenue to continue to invest in their OSS, or aws/azure just gobble up all the cloud revenue to be had because enterprises will just default to them as it’s easier and they already have contracts in place? That doesn’t seem like a very good future for startups or OSS either.
> Noped out when I tried to create a VPN with a podman container and it was failing requiring me to enable a kernel module (TAP or TUN can't remember exact error) to create a vpn.

Those are pretty standard kernel modules for enabling userspace networking, which if you were using podman in rootless mode you need (along with another userspace networking package, slirp4netns). "Drop in replacement" does not mean there's not configuration to get it set up, it means it has the same APIs as another system.

I've been using containers for almost 10 years and with almost no fanfare switched to podman 100% like a year ago. Just because you expected to have to do nothing at all doesn't mean it doesn't work.
Cool, Ill give it a whack. Thanks.
egui itself has great support for charts. Check out the demos under "Plot" in https://www.egui.rs/
Well, I built my static website generator out of Bottle - a single-file HTTP framework that has built-in templating. Bolting on a route that renders Markdown files is pretty simple, really, and a simple os.path.walk() and directly calling the routed function will let you do everything you need.

So you only really need bottle and markdown in your requirements.txt, and around 100ish lines of code. Maybe a little more if you want to upload the results to Cloudflare directly (for which I’d use requests).

You can rinse and repeat that with aiohttp and markdown if you want the async flavor (which is what I’d do these days if I hadn’t already “finished” mine).

And, if you’re into LISP… https://github.com/rcarmo/sushy might make for some fun reading.
MIT and BSD are so liberal that anyone can commercialize the work. All they have to do is attribute your parts to you, and not demand a warranty of you.
Thank you very much for the references. These look like great projects and I am happy to see that I’m a bit out of date. The vendors don’t appear to be making anything easier though; it appears these projects are still supporting devices by making the brute force effort to build the abstractions to vendor specific stuff themselves.
Thanks for the explanations. Indeed I don't come from Rebol and the conventions seem like a terra incognita, although I can sense a significant value in them.

From a past romance with Forth I see in general how concatenative languages seem to be underappreciated a bit
Absolutely. So the question is, did FB view this through that lens? If they did, then maybe the ROI wasn't there. So they said fuck it.
> There are plenty of breaks during the year including all of summer.

When everyone else is doing the same thing. If you do it at a different time you could benefit from reduced costs and reduced traffic. You can also provide your child with a more rewarding and engaging experience than the drudgery and frustrating inefficiency of the typical school pedagogy.
On the other hand, a competent team would care about a negative message being listed first on a popular internet forum frequented by their target demographic.
This one is pretty good too:
https://git.btxx.org/pblog
I don't think I mentioned disruptive kids, but I have another solution for them. If they are disruptive, keep them out of the classes. First, in school suspension, then out of school suspension, then expel them.
This assumes that language is fundamental to all understanding. May well be true, and it probably is according to Wittgenstein, but it is just one of many perspectives, and I'm not convinced.
Training is 3x the memory used by inference, and usually run at a much larger batch size
> Education is important, missing a week can set a student back by a long way.

It will set some back, it won’t set others back at all. Telling a kid who can keep up or who is ahead of the class that they can’t take a vacation because another kid couldn’t keep up if they took a vacation is bizarre. It’s like saying that someone who’s ahead of where the class is needs to go to summer school because a kid in the class who’s behind needs to take summer school.

Why should we use the lowest performers as the baseline, and tell higher performers that they aren’t allowed to do things they’re fully capable of doing?
Oh man I would love to go somewhere where they just gave you a physical card.
Yes, the Trio song was a bit of a special case. Remmler was attempting to deconstruct and critique the genre, and was well aware of how the mindlessly repetitive and simplistic and musically boring the core was once all the frills were stripped away. That was actually the whole point, as can be seen in the video they did https://www.youtube.com/watch?v=xqTBlft8gQA

The fact that it became a chart hit only proved his point - kinda like the cow clicker https://en.wikipedia.org/wiki/Cow_Clicker

And just in case that didn't hammer it home, the remastered video: https://www.youtube.com/watch?v=Rm97VG_QIXI

Notice how bored everyone looks. The sheer lack of energy. The guy pausing to light a cigarette and mount it on his guitar. The repetitive wave of the "audience" that holds awful, amateurish drawings of their faces (i.e. any moron with a synth could produce this crap).

It's a bit like looking at Picasso's bull in a grotesquely comical way...
Eepers – turn based game in ADA (Tsoding)
Hetzner is miserable though
This is a great excuse to not pay you as much as you deserve because you haven't demonstrated competence at the next level yet
I mean, HTML was originally invented as an interchange format so that the client could adapt it back into whatever form was suitable.
> Now that I can read it but not use it, if I accidentally reproduce it there’s a case for me having stole it

In the decades of existence of GPL-ed software has there even been such a case? I see this point regurgitated time and time again but no concrete examples are ever provided. Seems a bit like anti-OSS FUD.
As resurrection day is coming, I realize the sinking ship analogy inverts

Nietzsche aimed to save his life. Jesus aimed to give his life

Jesus saves the weak. Nietzsche does not

Apologies for pushing you hard. I think if I had found this foundation of life giving love, I would of treated you better, and found truth -- the one who freely gives his life, freely places truth first; and this is love