skysight-inc/HackerNews huggingface dataset:
I think this is less true for purely renewable grids separated by large continents. The amount of concrete and steel needed to move solar from the Sahara to Finland makes the energy very much not green anymore.

Petro energy- natural gas, diesel plus coal- don't really concern themselves with CO2 and can use existing transportation to get to remote areas, so the energy produced is very much more fungible on a global scale.
very interesting project.

i wonder what happened to python (cpython i presume?) in 2012? it's definitely not the 3.0 release which came before then.
The super "gung-ho about cryptocurrency" guys. They act a lot like they're selling you a car that they don't have any details about. It's great, it's awesome, it's everything you ever wanted, etc. It will make you look good, it will make you happier, it will make you more confident, and so on, but if you ask about anything other than what is printed on the sticker, they can't answer the question with any detail, and they deflect.

That's my (of course limited) experience with cryptocurrency advocates.
Yes. Many plugs will retire, but most mainstream plugins should work or easy to find replacement. A personal website / blog without too many customizations should be easy to revive.
The Eval Function in Python: A Powerful but Dangerous Weapon
They control the UI that shows you the certificates too.

Signing gives some semblance of control between the untrusted developer and the trusted App Store. It doesn’t do more that stop 3rd party app stores on the link between store and phone.
Props to Chelan County in WA for leading the charge on making this a viable model. The county P.U.D. owns and maintains the fiber infrastructure and sells it wholesale to ISPs. A friend of mine worked on that project and it has netted some concrete economic development wins. Wenatchee has been an ag center but is adding plenty of clean energy jobs and expanding into a Seattle alternative for tech (trying at least).

https://www.chelanpud.org/my-pud-services/residential-servic...
Yes, that's cpython. I'll annotate it.
Did the class learn SQL before they learned Datalog? Did they know SQL before entering the class? Did they learn the principles behind SQL, or just understand how to use the language to get things done?

Finding Datalog useless and frustrating comes from those who have never expanded the depth of their knowledge beyond the basic popular languages and tools of the day. Slight exposure to logic programming and base-level relational model theory makes this tractable.
> Right, and that acts as a hard cap. You can't travel to two places at a time, and you aren't going to want to spend every second of your life traveling somewhere. So, unless you think Winnebago's are going to be a thing everyone lives and works out of 24/7/365, there's a very explicit hard cap on transportation usage.

This is why autonomous vehicles are concerning. It's going to become possible to consume a lot more transportation without using your own time. (Think: empty vehicles driving around rather than being parked, or empty autonomous taxis just driving around.)
> If Code is law then hard fork is also law

Not at all. All crypto currency only has value because other people collectively choose to "believe" a certain chain. Usually there is global consensus of which chain is the "true" chain, but there have been many times in the past that one group has decided to follow a different fork for whatever reason. I mean, Bitcoin has Bitcoin, Bitcoin Cash and Bitcoin Gold. The value that gets allocated to a particular fork just depends on the number of other people that choose to follow that chain.
One possible idea is a rebate that is given back to manufactures if the device last long enough.
I have some text based operational transform code I port to each language I learn to get a feel for it. (And I’ve got a version in C, JS, rust, swift and go). The go version is clunky. It’s longer than the others, and the lack of parameterised enums (or any type of simple polymorphism) makes it much harder to understand and reason about. The code is longer and uglier than the rust and swift equivalents. And it runs slower than the C and rust code. (I didn’t benchmark swift). After my experiment I find I have little appetite for the language.

I feel like programming is like electrical engineering. A lot of people graduate expecting to design transmission systems and power stations. But most of the work in the field is simple stuff like wiring up a new light switch at grandma’s house. Go feels like a language designed for that group of engineers - boring as a feature, reliable, simple to reason about, anti-clever (so whoever comes in after you can understand your work). It’s a predictable language for code-as-content. It’s great that people who do that kind of work have better tools. But I also accept that that’s not the type of software engineer I am. I want my code to be clever. I like to push at the limits of expressibility in a language. For the types of work I do (lately implementing various CRDTs), small, tight, fast code is better than simple, verbose code that any tom, dick or Harry could comfortably maintain.

Does this distinction have a name?
The code savings from including udev in systemd turned out to be greater, as there was more re-usable code already written in systemd. Please be the better person and don't revive this flamewar, it's not helpful, let's stick to the technical facts and work together to find the answers we seek -- for example you can look at the git logs to see all the shared functionality and the code that was changed around: https://github.com/systemd/systemd/tree/main/src/udev
Well, they called it off. Who knows what would have happened?

Sure, when the market goes up a lot, maybe a 1.75% fee doesn't seem so bad. It's still 10x Google's electricity usage for a simple consensus algorithm.
The Play Store is a closed binary which had privileged permissions to silently install, uninstall or update APKs. The Play Services have silent permissions to backup and restore app data. Both of those update themselves silently.

Open source doesn't protect you at all against Google.
Typing is available now, and other QA tools for years.
Is there a word in German for there being a word in German for that thing?
In practice I think systemd-udevd probably still runs without systemd, but as I understand it that's not an officially supported solution and the systemd developers have said they reserve the right to make changes that break it at any time. (The main reason why they haven't yet is most likely that their attempts to integrate dbus into the kernel and systemd more tightly were rejected by the kernel devs; if I remember rightly that was expected to be the point at which you could not use it without systemd.)

Using the kernel interfaces that udev relies on without using udev itself is also unsupported and the developers consider it within their rights to break those as well.
A quick guide:

* Want logs since boot? journalctl -b. The first boot is -b 0, the previous boot is -b -1.

* Want logs for smartd? journalctl -u smartd

* Want warnings and above? journalctl -p warning

* Want logs since yesterday? journalctl -S yesterday

* Want logs on April 22 between 10 and 11? journalctl -S "2021-04-22 10:00" -U "2021-04-22 11:00"

* Want logs with microsecond timestamps? journalctl -o short-precise

* Or in JSON for parsing? journalctl -o json

* Want tail -f? journalctl -f
>That would cost an arm-and-leg,

Without being able to provide any evidence, I'm quite sure (that is, I hypothesize) that if a theorem is clearly stated, such as in the case of formal proof assistants, we'll soon reach a point where we'll have a distributed network in which people are able to 1) provide economic incentive for somebody to provide a given proof, 2) somebody else to potentially offer a better proof which will computationally be accepted (verified by some algorithm that prefers one proof over another by some sort of metric), and therefore 3) have a system in which the validity of a computer algorithm, which has been stated as a conjecture, can be mathematically created and verified in a decentralized fashion.

>it would need to be done by someone who actually understands both the theory of proving algorithm corectness and the algo in question

If the theorem is stated clearly, no further understanding is needed. But of course they'd need the understanding of providing the right axioms and definitions, which are as limited as possible, to state their conjecture. That, I think, will be the point at which the purpose of the mathematician will shift from providing proofs, towards discovering interesting and coherent conjectures, as the proving of those will turn into a kind of rat-race, and ultimately merely a computational challenge.

Anyways, I'm just rambling about some things that have been on my mind recently. Don't take me too seriously.
I'm vaguely reminded of freshmeat.net, which I used to read religiously, some 20 years ago... back in the day :-)
Who it would make it Google's job? Only the government or customers can.
I always wondered, does Kanji not have a way of breaking things down? I noticed some complex Kanji characters seem to made up of smaller simpler characters. I always wondered if it was a coincidence or not.
The containers are marked with a Michigan deposit logo, assuming anybody looks.
That premise is clear, proponents of smart contracts would like it to become true, but as of now that premise is simply not true anywhere in the world.

There may be obvious practical difficulties in identifying the counterparty and enforcing a judgement in them, but if that becomes possible (and if $10m is at stake, perhaps it might become possible, bounties, etc) then the argument that "code is the only representation, and this is what the code said, so this was lawful" is not valid, as it contradicts both contract law and fraud statutes.
In Debian you can still get the sources, including the Debian specific patches, and build it yourself. There is no hard requirement to blindly trust the Debian maintainers.
I maintain an Emacs package that is fundamentally based around user interaction (called ido-completing-read+[1]). At some point I realized that I needed a test suite for it, but at the time there was no easy way to test Elisp code that reads user input without actual user interaction. So I wrote with-simulated-input[2], a package providing a macro of the same name that let you run a piece of code while supplying key sequence to feed to that code as if the user was typing those keys. So now my package centered around user input has a fully automated test suite, and that's pretty cool.

[1]: https://github.com/DarwinAwardWinner/ido-completing-read-plu...

[2]: https://github.com/DarwinAwardWinner/with-simulated-input
> It's an incredibly bold lie to just take a famous product, claim you invented it, and then go public with speeches and books about your success as an inventor.

Don't you think such lies are commonplace these days, unfortunately? This one seems run of the mill to me.

Because it's not an inflammatory topic, it might be a useful case to examine and learn how lies like that function.
Korean unification is not impeded by the presence of US troops, but by the demands of the DPRK over the nature of what the unified state would look like; it seems unlikely that the current Regime would give up its power just like that.

Remember that US troops were stationed in Berlin/ West Germany prior to German unification (i'll admit its not the exact same situation since the East German economy was relatively much stronger pre-unification than the current DPRK economy).

If you're suggesting that we should just let the DPRK take over ROK... well, I don't think any of the ROK inhabitants would like that.
You're completely ignoring existence of silently updated Play Store and Play Services which are controlled by Google and have enough permissions to do exactly what you think they can't.
> Complaints like integers come from not studying the language and not keeping up to date.

Perhaps, or perhaps fixing one too many bugs where someone thought floats were appropriate for all the things. Regardless, forced change, even if it is a good change, is still forced.
I had a paid iOS stop working. I got a refund for asking.
> That's because you're asking for a log of a service since logging began, which may well have been months worth of logging. You're saying "give me everything that happened ever to this service in a pager, then scroll down to the bottom".

journalctl -fu is just as slow. I don't keep months of logs and the amount of logs I do keep easily should fit within a minimal amount of space. Somehow systemd manages to screw this up completely and I really don't think this has anything to do with user error.

> And what were they waiting for? In the end, systemd did it, but it's a pretty recent invention. There was plenty time to get there first.

I don't know what people were waiting for. But I think what systemd did could have been done in a more transparent and decoupled fashion that didn't involve binary logs. Just because they did something right doesn't mean that the way they went about achieving it isn't inherently flawed. I get that logs suck but fixing that shouldn't require me to change my entire system management stack.

> Because log daemons classically don't care about this at all -- it's a problem for whatever reads the files that the log daemon generates afterwards.

The log daemon I use (svlogd) first closes the current file, renames it and then opens a new empty current file. If it finds that there's now too many old logfiles it deletes the oldest one. I don't see how this could possibly break any tool which is reading the file except for cutting the stream short when tailing during a rotation. Moreover I don't think that's a problem since if you need to do some kind of processing of the logs then you should just put that in front of or after the instance of svlogd in the pipeline (svlogd can be asked to forward logs to stderr which then means you can chain it with something else).
Not sure why you suggest Rust as if it's a 1:1 replacement for Go when it's not in reality except maybe for CLIs. Rust also has its own trade offs that may make it unsuitable for OP.
I love the expressiveness of German.

This seems less like an improvement gone awry though, and more like a classic case of what in English we'd call "bait and switch."
Jekyll GitHub intergration works for a quick website.
Disclosing benchmark results is forbidden by the licensing, which isn't uncommon for proprietary DBs, e.g. https://stackoverflow.com/questions/12115397/is-it-against-l...

Incidentally, I was writing up some notes earlier today about the nightly benchmarks we run for Crux (another Clojure-flavoured Datalog DB), which may be of interest: https://opencrux.com/articles/benchmarks.html
It can silently replace APKs which is exactly what the conversation here is about. It's more than enough.
> The phonetics of Mandarin unless you create software to repeat and repeat and repeat every day is simply impossible for any adult foreigner, because we as children have not learned the basic sounds. German phonetics by comparison is trivial in a tenth of the time.

I'm not sure what you mean by this - that is very much person-dependent. As a primary English speaker, I was near-fluent in German before attempting Mandarin, and I found the inflection and tonal side of the language relatively trivial, whereas writing/reading (and generally rote vocabulary) have always been a struggle for me (similar experience across attempts to learn Latin, German, French, and Mandarin).
The reverse is true as well, i.e. English has plenty of things that are alien to other languages.

Conjugating verbs, inflection, capitalization, and plural forms of nouns are alien to at least Chinese and probably many other Sino-Tibetan languages.

The lack of phoenetic/spelling consistency is alien to many European languages, especially Spanish, which is remarkably consistent.
Nope, it's you who needs to revisit WW2 history: https://en.wikipedia.org/wiki/Polish%E2%80%93Czechoslovak_bo...
Haha this must be ironic or Stockholm syndrome. With duck typing and channels, missing basic modern language constructions... it is definitely not known for readability.
Daisy is a Kotlin (server side) message processing library based on some boilerplate I’ve written a number of times privately https://github.com/CarrotCodes/Daisy

I’ve been thoroughly enjoying using Kotlin for backend development for a few years, and gave coroutines a chance this year. Feels great to open-source something that’s been privately useful, and hopefully contribute to the wider ecosystem.
Cool
.---------. .---------.
| SystemD |------>| Service |
'---------' '---------'

Not Cool
.---------. .---------.
| SystemD |<------| Service |
'---------' '---------'
Yeah tbh I immediately recognized the name, but I don’t know how well known it is to non-North Americans, who tend to make up the weekend crowd.

If you’re aware of what they do, though, it really further undermines the idea that he’s just misrembering: McCormick does a ton of R&D on seasonings to match the evolution of market tastes, and it makes complete sense that Frito Lay when developing new products to trial does so by buying seasonings that match the market profile they want out of their catalog, and doesn’t have janitors sitting at home mixing Cheeto dust and cayan and other spices for weeks to singlehandedly invent new flavourings to pitch to CEOs, when bulk spice ingredient purchasing and mixing isn’t even the business Frito Lay is actually in.
As a Brit, I've never heard of sweetmeats. Is it not an American thing?
A few extra features, but you probably don't need them. I use svlogd because I use runit and I use runit because it happens to be supported by my distro.
I think their point is: with smaller project scope, this bug wouldn’t have existed in the first place.
The Coming Tsunami
I don't think you are shadowbanned, i can see your comment. You're welcome on HN anytime you want to come back. Btw., when i first came accross HN, some 10 years ago, i had this same fear of being shadowbanned. Heh.
The survey isn’t wrong because it says something I don’t want it to, it’s wrong because it says something other than what it reads as. Elsewhere I said it was either the methodology or the presentation. If they had measured dread and it said something other than I wanted it to, fine. If they hadn’t measured dread but hadn’t presented it as if they had, also fine. But as it is, the survey is misleading because it shows dread as though it was an actual quantity and it’s not. For instance we know that in psychology, you can’t measure unhappiness, invert the numbers, and call it happiness, because happiness and unhappiness are not mutually exclusive.
Why would anyone want to use a programming language that uses product types instead of sum types for the return types of functions which can return errors? Or why would anyone want to use a language that doesn't even let you write a type safe hash table? Also, the fact that Go suffers from the billion-dollar mistake is downright inexcusable. Go is way too error prone for me to sleep comfortably at night, because the lack of a reasonable type system is a constant liability.
Yep, Debian, Apple, F-Droid all sign binaries themselves. The posters here mostly mistakenly believe that they can fight against the owner of their operating system without replacing the whole thing.
This will block systemd however. The nice thing about the emergency shell is that you can use systemd things like trying to mount filesystems. And you can later isolate multi-user to continue the boot when you finished your fix. /bin/bash would be atleast useful to try to get a root password set.
Repeat after me: Semicolons are not optional in JavaScript.

ASI is an error correction mechanism, not a language feature. You can also do things like not using the var keyword when declaring variables or something like a = 2 < "4"; and it'll work fine. But you don't because they're all errors.
If plan 9 is what you want, I would encourage you to use 9front. I can't see why you would use Linux if you didn't like Red Hat, they have been a key contributor in Linux land for a long time, employing many long-time kernel developers.
Most init scripts are in that ballpark. See openssh for example (88 lines) https://github.com/openssh/openssh-portable/blob/master/open...

And yet, it still tries to use pidfiles (which systemd has a better alternative for), and notes "We really should check if the service is already going" which they don't do because it's an actual non-trivial issue if you're writing a standalone init script.
That sounds like fun (except for the java part!). How did it go?
This wasn't a hardware bug and it didn't materialize only when some particular hardware was plugged in. Were they just supposed to open a phone book, pick a random hard drive manufacturer, and say "hey this is your problem now"?
The developer would still be able to post the shasum though, right? If so this would still be detectable.
There's nothing guaranteeing that Deb contains the same thing as source Deb. At the end of the day you still need to trust the organization building your OS so they don't push a backdoor in your root installed package.
For what it's worth, I didn't mean that the systemd people shouldn't triage the bug.

I meant that I suspect @poettering was mistaken when he said the current maintainers didn't collectively have "the expertise and understanding to maintain this properly."

As far as I can make out, there was nothing particularly hardware-specific about the bug. The bug was that udev was assuming that there could be no more than one disk per SATA host node, which turns out not to be the case.

`udevadm info` output would have been enough to see what was going on, which I'm sure the reporter would have happily supplied.
No, Annexation is apart from the single state solution. The gist of the single state solution is that there will be one state (lets call it Israel-Palestine for this purpose) with a new constitution. One benefit of the one state solution is the fact that resettlements of west-bank Israelis can be avoided. Of course that might mean that the current settlements which are illegal under international law will not be answered for. Although ideally, along with the formation of the new Israel-Palestine an international war tribunal would find the people responsible for planning these settlements guilty of war crimes and make them pay with a hefty prison sentence.

This is different from annexation which would basically mean a surrender for the Palestinians. Israel would continue as is with the current constitution. Palestinians would become Israeli citizens but on the terms of the Israelis.

https://en.wikipedia.org/wiki/One-state_solution
Aren't children supposed to be better at learning new languages than adults, though? There's supposed to be a critical period where language acquisition is much easier.
I agree completely about Hugo. It’s so fast (1099ms for 502 pages) that I have a publishing pipeline like:

* Edit a page on my laptop or iPad with iA Writer.

* Commit it to git and push it to a repo I host.

* Every 5 minutes, a cron job runs on the server that does `git pull && hugo && rsync` to update the live site.

Jekyll took half a minute to do the same build that Hugo does in 1 second, and now the process is so fast that this workflow is practical.