skysight-inc/HackerNews huggingface dataset:
Thanks for pointing me to english grammar lessons I couldn't care less about. Or is it lesser, whatever.

No, I wasn't trying to do a subtle joke about obese americans. But now that you inspire me, I will consider it in the future.
I use TaskWarrior with tags like `+read` or `+watch`. The `.task` directory is pushed to GitLab with a function in my rc file. This function is on my several machines so I can pull the tasks anytime:

function tupd() {
git -C ~/.task commit -a -m "Update tasks $(whoami)@$(hostname)"
git -C ~/.task push
}

I also use this for product management with the projects functionality in TaskWarrior. Then, I run a script that takes entries relative to a project (JSON) and converts them to Markdown, pushes them to the project Wiki and buffer backlog for the rest of the team to be aware of different things I stumble on.

This is a buffer, the entries will then be refined into either "issues" in the backlog, or entries in the knowledge base when we learn something that solves one of our problems. We also do that when we close issues: we learn something, it goes to the knowledge base for future projects.

This has served us well. For example, when we started developing the product we're working on, the first commits were to use a plugin architecture, and this was made easier because there were entries with many resources on how to go about it. Same when we wanted to sandbox arbitrary code, or when we wanted to add live editing for Jupyter notebooks.

The funnel is nice. Add task with title and description and tag. Push it. Augment is as you evolve and learn things. Push. At some point, you reach a certain activation energy and you just go for it and execute. Or when you've had a problem and find yourself well equipped to solve it.

When it's a paper that passes a certain quality threshold, I'll often read it, summarize it in Markdown with a sort of template with meta information like link, authors, etc. Then key points, measures, data they used, possible applications. Then I disseminate this to the team so people who are more competent at this can take a closer look after the article passed preliminary screening.
I always worry with plane tickets because I have a middle name on my passport but many buying services don't take middle names into account.

Also the name of my town has a "Ą" letter in it, which also is problematic in online forms and I often just write A instead just to be on the safe side.
Creme Puff – the oldest cat ever recorded
He was the director of Bits of Freedom, one of the founding organisations of EDRi[0] (think: European EFF). That being said, he left that spot a few years ago and this is just his side project, but saying that he's not a "real digital rights activist" is just ridiculous on so many levels.

[0] https://edri.org/
Yes, I believe he's on the left in the pantheon:
https://earth.google.com/web/@29.56025315,-95.08501348,28.52...
but the english wikipedia article talks mostly about those of his ideas which had substantial impact, and doesn't mention his more science-fictional manifestos.

(My guesses: Циолковский, Королёв, Гагарин, ??)
This Amazon review doesn't seem too promising, and there were few others that echoed the same sentiment.

https://www.amazon.com/gp/aw/review/B07FLX8V84/R1CKDTZCNU5E6...

How do you feel about the non-tech parts of the novel? Does it get soapboxy or cartoony, or does it hold a sensible tone?
I also had these, couldn't read it anyway.
Damn, you must have motored that comment out.
I switched much earlier, I learned Dvorak as a way to make a clean break when learning touch typing. I set up a little printout next to the computer and just forced myself to try remembering the correct finger movement for the key, then look at the printout, but never look at the keyboard.

It took just a day or so of ordinary computer use to beat my non-touch-typing speed; and having learned also to touch type on QWERTY I can say Dvorak is more comfortable, and looks/feels more graceful, for whatever that's worth.
Once, I had a message on WhatsApp not delivered to the recipient. I contacted WhatsApp support about this. I haven't received a response yet. I sent them the screenshots and all details they requested off me.

This was 2 years ago and I still have the request number with me.
Only if you assume a single universe. If, on the other hand, the universe split into both options, then nothing "changed" when you looked at one of them. You just no longer have a way of interacting with the sub-universe where the ball was the other color.
The Gautrain is fine, though pricey. The issue though is with the last-mile travel. How do you get from the train station to your house? Walk and you'll get mugged, esp. if you walk a regular route with expensive equipment on you, otherwise you take an Uber.

The minibus taxes aren't roadworthy and drive like demons. So most people in Gauteng own a car with anti-hijack coatings on the window, or they Uber.

In Cape Town there is no longer a working rail system because the trains were burned by the protesting populace. Even when the trains were running (with huge delays), you'd get pickpocketed on the train. You could never risk travelling at night if you had anything valuable on you.
I only mentioned intelligence in jest because you did. (It seemed snarky.)

I'm not talking about hand-rolling solutions. WinAmp was just an analogy. An analogy.

Spotify sucks because it's a draconian walled garden. Yes, they have millions of customers. But there are no alternatives. They all want to lock you in. It sucks.

Back in the day, people were building tools left and right that were interoperable. They were writing importers and exporters and playlist managers.

It wasn't just music - there were tools for RSS and everything else you could imagine. It wasn't as "easy" as things are today, but there were so many novel things you could do.

Now it's all shrink-wrapped plastic that's rented to us. And we don't get to change the paint.

The world is less flexible, less free. Want another analogy? Look at modern Reddit and the disappearance of the 3rd party Twitter clients.

We're serfs.

It sucks. I hate it. Period. That's my argument.
Rhumba: A faster R packaging distribution
It's quite cool that you can use type systems in "regular" languages to do such things.

Notice though, that this system is not powerful enough to prove all the facts about the natural numbers. For example, the author states that this system has the property that there is no number smaller than zero. This is true, at least if we define "smaller than" transitively via the successor function (/ type constructor). However, it's still entirely possible to define a "struct NegativeOne();" and define addition so that -1+1=0, so you can't prove that there is no number such that when you add to it a nonzero number, you get zero. More generally, this system doesn't actually formally define the natural numbers, it just constructs a finite number of them (which is fine, the article didn't claim otherwise). I don't know if Rust's type system is powerful enough to construct the natural numbers in some "natural" way (it's mentioned that the type system is Turing complete, but that doesn't technically guarantee that such an encoding would be practical to use), you'd need some way of writing an inductive type definition where Zero is a Nat and Succ<N> is a Nat iff N is s Nat.

You can do such things in theorem provers, here's a tutorial on how to do it in Lean: https://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_gam...
OS Data Hub to canvas: bring your favourite GB locations to life
Do save yourself some head-scratching and time, and download the hugo_extended package.
OT: Why are medium.com URLs getting special subdirectory handling for usernames in the trailing HN title parentheses?
Kogito dev here if you folks have questions :)
People are commenting that the FB's bureaucratic system is idiotic and unsustainable.

I don't understand why: bureaucracies are a brilliant response by oversized institutions/businesses to force people to reveal how much they care about solving an issue.
Don't really need your website to be cleared? You won't make a fuss about it.

Is it unjust and inequitable? Yes. Is it unsustainable? Cannot see why.
It's the problem anyone who moderates a system faces, when the users vastly outnumbers the moderators your moderation has to have some level of opaqueness and unpredictability or else you have no chance of keeping up with people gaming the system.
Sabine Hossenfelder gives the best explanation to address this that I've found

https://www.youtube.com/watch?v=j6Mw3_tOcNI&ab_channel=Sabin...
So the true modern day contrarian is the...conformist? I like it. Feels very 'fourth turning'.
> The project provided an excuse to make use of a Vortex Core 47-key keyboard, which together with a mini white HDMI monitor, provided a particularly compact and suitably futuristic feeling setup.

As for me this keyboard doesn't seem futuristic at all. It reminds me of the first computer I experienced in my life.[1]

I mean, it is lovely keyboard, I really like it. Just "futuristic" is a strange way to describe it. It would be even more nice, if some keys of bright colors were added. Like in MK-61[2]. Though photo in wikipedia doesn't capture it (or maybe my memory is wrong), but those blue key was of a so beautiful shade, I really loved it in my childhood and was eager to learn how to use MK-61 just for a joy of using this very key. Yellow and red keys were also likeable but not so much, moreover the function of red key was trivial and I lost interest to it very quickly. But the blue key was beautiful and mysterious... My first love. Maybe I became a programmer due to color of this key.

[1] https://en.wikipedia.org/wiki/Electronika_BK

[2] https://en.wikipedia.org/wiki/Elektronika_MK-61
Amazingly this is not true?

For example, Reddit has a much more aggressive take on censoring content, and is still thriving and a huge part of the Internet.

When's the last time Pinterest was in the news for espousing hateful views?

Even YouTube/Google is getting their shit together (a quick Google search for YouTube flat earth reveals a top set of results of scientists debunking these theories, discussing why they're hafmful, discussion boards complaining YouTube is censoring flat earthers, this Wired article explaining why I'm seeing the results I'm seeing ...)

https://www.wired.com/story/youtube-algorithm-silence-conspi...

And yet these networks still have a healthy presence of left and right political views, thoughtful critiques, points and counterpoints, political humor ..

What is so special about them? And the only obvious answer is Facebook wants power, in both revenue and the power to dictate what "information" and narrative you're fed.

Which, for a social media network ostensibly designed around your family and friends, is terrifyingly off-brand.
Just saw this comment but wanted to respond.

Yes this is a thing and happens semi-often.

Keep in mind I was servicing over 75 locations and each had at least 3 tanks.

The most common way for water to get into the tanks was through the fill ports that the fuel delivery drivers filled the tanks with.

Seals could go bad, or the driver could forget to close a lid 100% of the way. Couple that with high water from rains and you’d typically get a high water alarm.

I think our system was setup to alarm if there were more than 3 or 4 gallons in a tank. These tanks are enormous. I don’t remember the capacity but they had many thousands of gallons of fuel.

Water goes to the bottom of the tank naturally and sets off an alarm. This alarm also stops the pump from running.

We’d call out a vacuum truck to pump the bottom of the tank (usually this cost A LOT of money. $1000 for 15 minutes of work)

Then we’d fix the entry point where water came in. If the alarm cleared on the system, we could turn the pump back on.
> The Advant Guarde died in the 1960s with Warhol.

News to Andy Warhol I'm sure, who lived until 1987.
Life, other priorities.
what's the difference between military and police if both look the same and use the same weapons? what's stopping a rebel police chief from taking power in that case instead of some rebel general?
Agreed.

On hosts I manage professionally, I update/upgrade weekly after reading the notes - it takes a few minutes, I know I'm up to date and if there is anything I should be wary of.

On a personal debian server, I have an update/dist-upgrade -y nightly on a cron job, and I reboot if I read on HN/slashdot/reddit/lwn about an important kernel fix; Never had an issue, and I suspect it's about as secure and trouble free as whatever is underlying lambda -- with the exception that every 3-4 years I have to do an OS upgrade.
Are these characters strictly speaking "Latin"? Would they be categorised as "Nordic" or "Cyrillic"?

Standard "Latin" characters to me are those that are supported on a Latin keyboard, and provided for by the latin codepage.
Their new strategy is mostly marketing. Github was a strategic investment. I think they want their developers back and I think you are on spot with the commercializing of everything, Ubuntu certainly lost appeal.
It's much more fun to blow up the non-parsing ATS bots!
Good work by the BBC, introducing us to the technology that many of us use without even considering its complexities.
Important note: the author is French, working in France.

I am French myself and from what I've heard about how it happens in North America, the way recruiting works is a bit different.

The general idea is that French recruiters are more cautious, which is understandable since there are stronger employee protection laws and it is harder to let go of a problematic employee. For that reason, employees are also expected to stay longer.

It also looks like recruiting criteria are less technical. Your degree, years of experience, companies you worked for, certifications, etc... play a more important role than showing off your skills. Wages also tend to be defined more by your experience and position than how much money the company can expect to make out of your work.

So if you are not working in France, keep that in mind when reading such advise.
> That it has been, is in large part down to the ingenuity of a relatively obscure Dutch company - ASML.

I hope they charge Apple 30% for every phone sold.
Only to somehow confirm anecdotally what you said but in another area of constructions.

I have been working in and around the construction industry for the last 35+ years in Italy and in the '90's the firm I was working for had a department for pre-fabricated (concrete) buildings (more like condos or office buildings than "single" homes), which was led by an engineer that was - really - a technical genius and - besides him - we did have exceptionally good staff, both the technicians and the workers.

In the arc of more than ten years we tried everything and the contrary of it and after several , generally successful or mostly successful, built projects (with only a few minor issues in a few of them) we came to these conclusions:

1)you can make cheaper pre-fabricated buildings only if the level of finiture and overall result is cheaper or feels cheaper or looks cheaper

2) you can make pre-fabricated buildings that are as beautiful, functional and what not as "built-on-site" but that will cost the same (or more) as the corresponding built-on-site ones

3) the one and only difference was time, with pre-fab buildings we could build in 6-8 months time buildings that would have otherwise taken 18 months or more (this worked very well for rebuilding after an earthquake)

In the years since I was involved in several more similar to the US timber based projects for single homes or anyway one/two storeys structures, and "components" (like pre-fabricated bathrooms "cells" for industrial buildings and hotels) and my experience did not change the overall opinion much.

For anything that is "modular" or very, very "standard" (i.e. homes from catalog) there may be some space for fair competition (slightly lower cost for same or similar "quality" of end results), but when you start to include in it:

1) the local building codes (and possible needed deviations from the "standard")

2) the customers' changes/preferences

3) the architects/designers (with all due respect for the category) "whims"

It invariably ends up costing the same or more (money) and almost the same (time).
This isn’t an issue in every country, I also don’t think that it’s that much of a deterrence.
Yes. Also if your foundation is already flaky designed and not well understood turning it into a distributed system likely makes everything more error-prone and more likely to fail.

> The first rule of distributed systems is don't distribute your system until you have an observable reason to.
Nauli – Raising Kundalini with Your Abdominal Muscles
> I'm perplexed how I keep seeing all these projects over the years to revive the platform AmigaOS was good for its time but there's nothing it offers now that any modern OS doesn't do now.

Maybe you are perplexed because you misunderstand the intent of the project, and judge it on a basis that is unrelated to its intent. Considering the various other "mini" computers and consoles, including Retro Games' previous such project, THEC64, the idea here probably isn't to revive the platform as a competitor to a modern OS, or even what AmigaOS offers at all, but to create a toy for retro computer/retro gaming enthusiasts.
Depends on the language and what you'll use the name for.

Some names change capitalisation when the last name is used by itself vs full name for example.

In some languages a name affect the words around it in a sentence (for a random example, an "o" in Spanish (or) becomes "u" when the next word starts by the "o" sound -> "Carlos o Maria", but "Carlos u Oscar".

In general, for a sufficiently large and well-localised application you will need to modify or parse the name at some point. Not sure that a library can do that properly though.
MechBoard64 to the rescue! https://www.breadbox64.com/blog/the-mechboard64/
Finally someone is doing something against them. This crap has been around for at least since the 'rona started, they really put on a massive campaign in f2p games and Insta/FB.
It’s incredibly ironic that the author also misspelled Hans de Zwart’s name as De Zwart, just like Facebook did.
Good choice IMHO and good explanation of your learning curve, and how to create the values you want. The AGPL and GPL are both well worth a look if you're building a software project. Similar to the authors, I recently helped a group move from MIT to GPL-2, for the same kinds of reasons: open collaboration among all users.
Great interface. Can you please share the data source?
Rwanda legalizes growing of cannabis for medical purposes
UTF-8 exists, just not recognized its necessity where it’s needed ʕ´•ᴥ•`ʔ
This article is an Idealogue, not Journalism.
How does it compare with Fast Forward / Fast Downward planners... is anyone using the latter? What is SOTA in this space?

(or is it mainly a question of Java ecosystem vs rest of the world?)
Sorry, not yet, as the demo account on the dashboard doesn't have permission to create A/B tests and I don't run any tests at the moment.

The interface allows you to visually select an element on the page and then you can choose to est a new innerText value for that DOM node or add extra inline CSS styles (eg. "display: none;" to hide the element). You can group multiple such changes in a variant.

When the visitor loads the page a random variant is loaded and executes all the changes for that variant and tags the user with the variant that he saw. You can then filter in the interface all users who saw a specific variant and compare different stats (eg. bounce rates, heatmaps, etc.).

I will make a walk-through of the dashboard to showcase the features and that will act as a short tutorial.
I have experienced this many times. It's unfortunately a sign of the times.

One morning, my bank account was frozen by the tax office. It took me two days and many calls to even understand what was going on. There was no warning, no apparent reason why direct debit would fail that one time, but it took me 7 days to get access to my account again. Meanwhile, I couldn't buy groceries. I got a few late payment fees and a mark on my credit score. No one apologised. No one even noticed.

This is not a tech problem. It's a scaling problem. An increasingly large part of your life is at the mercy of automated systems. If you don't fit on a flowchart designed by a white collar guy in California, you don't exist.

If one in a billion users has an issue, they must be really loud for one in twenty thousand employees to pay attention.
HRVs and ERVs are for fresh air ventilation in well insulated buildings. They save energy over a simple vent by transferring heat (or lack of heat) from stale conditioned exhaust air to incoming fresh air. I think ERVs also deal with moisture.

A separate device called an air-side economizer can be added to a central air conditioner system. It can save energy when it’s colder and dryer outside a building than inside. When conditions are right, cold, dry outside air is pulled in and warm building air is exhausted reducing the need to run the AC compressor.

Air-Side Economizer | Products | ENERGY STAR
https://www.energystar.gov/products/low_carbon_it_campaign/1...
By definition there is no legal middle names here in Finland (all of the 1 to 4 names given to you are called "first name" in the law). And thus all of your names will be in the passport too.

Filling some foreign (or poorly done/ported local) it system forms can be bit of a guess work.

Also as a bonus space " " is a legal character in a name. Both "Jukka Pekka" and "Jukka-Pekka" are valid names (also you could have 2 names "Jukka" and "Pekka")
It is capitalized when used without a first name.

(and the author is Hans de Zwart)
Well, in part because they don't document the context and the goal. Code has a clear context (variables and functions in scope) and a clear goal (return type). Editing code vs tactics is easy because the impact that each edit has on the context, goal, and code is clear and localised. Add or remove a tactic, and the rest of the proof can be completely invalidated.

The fact that you can look at a code snippet and tell what it does, but looking at a tactic snippet essentially tells you nothing, is exemplary of the difference. Just the fact that you need a more powerful editing tool (interactive provers) to edit tactic proofs at all is testament to how much more complicated they are.
According to Medium. At the top of the article another name is given.
>This is the best way to future-proof the project against bad actors, including ourselves if we become evil at some point. By allowing open source forks and competitors to exist, we are opening ourselves up to healthy competition and accountability from the open source community.

Major respect for recognizing that and not doing anything like dual licensing or CLAs (at least as far as I can tell).
Fair enough. It would be. I'll use that from now on.