skysight-inc/HackerNews huggingface dataset:
Personally I most dislike forced deanonymization with 2fa or annoying me with device verification which locked me out of my anonymous account with old expired email (I didn't need it secured and I don't want to prove anything to MS to restore it too). Some people also reported increasing external CI services throttling in favor of Actions, I wouldn't be surprised if they give preferential treatment to Packages too.
In the end I don't want power of MS over my code and workflow to grow too much. I know they claim Github is independent but it's not really reassuring.
I run Tedium, which is an obscurities newsletter/blog: https://tedium.co/

It’s been a passion project of mine for about five years, with the general idea of using the internet to find/surface obscure things that don’t get written about very often, with a goal of going against the grain of virality. I would say this dives into tech topics about half the time. (Last week I wrote a piece on the HP TouchPad.)

I keep a fairly regular posting schedule—twice a week, with syndicated pieces from The Conversation as well. Contributed writers are frequently featured with diverse focus areas—one guy is an expert at novelty music, for example.

The approach started as a newsletter, and is built with a newsletter schedule in mind. But it has the length and breadth of a well-researched blog.

Some samples if you’re curious:

HP TouchPad History: https://tedium.co/2020/03/31/hp-touchpad-history/

How Netflix turned Bill Clinton’s impeachment into a growth-hacking opportunity: https://tedium.co/2020/02/06/impeachment-growth-hacking/

An interview with one of the first newsletter authors: https://tedium.co/2020/01/02/this-is-true-randy-cassingham-i...

A history of the LAMP stack, and why it was so important: https://tedium.co/2019/10/01/lamp-stack-php-mysql-apache-his...

And here’s a mission statement, if it helps: https://tedium.co/what-is-tedium
Requirements for the evaluation of “Contact Tracing” apps
> That's not the case, though. You might be somewhat disadvantaged, but not seriously.

Well, that's not my experience. I initially hated the concept of glory kills, and especially the blinking effect on staggered monsters. Even just turning the blinking effect off made the game much harder in my experience. I had to learn how to appreciate the mechanic instead. Maybe you are just a much better player than I am and could cope better with the disadvantage.
How does this formal specification look like?

From my naive standpoint:
input, output, side-effect, time

[no_sideffect, 1ms]
fn increment(int i) -> int:
return i + 1

What this is missing is a formal statement that says "increases the value of the input by one" -> except you accept the function body as formal statement.

Thanks for all the answers here, I guess I'm going to look for some more reading material.
Totally. I see it in my own industry (minesite automation) - the client wants some parts, we order the parts, add our markup, and bill the client. The more expensive the parts, the more money in my pocket. (I still do the right thing and try to get them the best price, but I can see the temptation.)
It's not the case, the PRs, bug tracking and other metadata are stored inside an SQL database:

Here are the tables on my at home deployment:

mysql> show tables
-> ;
+---------------------------+
| Tables_in_gogs |
+---------------------------+
| action |
| attachment |
| collaboration |
| comment |
| commit_status |
| deleted_branch |
| issue |
| issue_assignees |
| issue_user |
| milestone |
| mirror |
| notice |
| notification |
| oauth2_application |
| org_user |
| protect_branch |
| public_key |
| pull_request |
| release |
| repo_indexer_status |
| repository |
| review |
| star |
| stopwatch |
| task |
| team |
| topic |
| tracked_time |
| update_task |
| upload |
| user |
| watch |
| webhook |
| [...] |
+---------------------------+
67 rows in set (0.01 sec)

Edit: delete a few lines in the list of tables, it was way too long for an HN post...
Wolf Species Rebounds in Southwest
Yep, same in Australia (at least last time I made an insurance claim, which was something like 15 years ago).
Anecdotal, but I've had to still go to work and many of the people I see driving are old, like 60+ (lots of gray hair/ wrinkles).
http://asemic-horizon.com

It's not for everyone and certainly for not of most of the HN crowd. It's about a web of concepts that is akin to philosophy but has slightly different goals and expectations of itself. It's very self-referential and has built over time a lot of shorthand jargon a.k.a. technical terminology. Takes a while to get into. But I believe it's a fresh way of looking at the ways of looking at contemporary society and events. You'll like it if you're keen of "continental philosophy" albeit it doesn't often cite the standard authors.
I would think people become less susceptible to such parasites over time. I mean, I've outgrown listening to TED talks years ago. At some point you have to realize that the speaker only making you feel good is just wasting your time.
I'm a fan of Tedium. Congrats.
> The Economist is the least credible repporting source for me.

The Sun? The Daily Mail? The Telegraph? The Guardian? The UK has a wide range of shitty print media and The Economist is better than most of them.
https://haveibeenpwned.com/

Doesn't cynically take passwords, but could in theory harvest emails.
If you're into finding more video blogs: I'm at http://youtube.com/natekontny

I cover running businesses (successfully and unsuccessfully), software design, science experiments, and just getting through life :) (Cuz it ain't easy for anyone)

(I've also written a ton about these topics over the years at http://ninjasandrobots.com and http://medium.com/@natekontny)
I sometimes blog on programming at https://bfontaine.net/blog/. I mostly write tutorials and similar beginner-friendly explanations about various subjects: code golfing in Clojure; how to make a gif of a website evolution; how the `PATH` shell variable works; how to understand `tar`’s options; etc. I don’t post very often mostly because I take a lot of time checking every single detail of a blog post before publishing it.
Aiven| Berlin, Germany | Backend Developer (Python, Linux) | onsite full-time |

Dear network,

Aiven develops DBaaS. We are a company, founded by developers, who started coding at a very early age. We want to keep this focus that programming remains an essential core of our company´s culture. We are looking for motivated team members for our Backend Team, who will share our vision and passion for software development and will work together with our Backend Team on the development of the Aiven cloud platform.

For more information, please check this link:

https://apply.workable.com/aiven/j/13874B0267/

We look forward to your applications!

Warm greetings from Berlin :)
First of all, thank you for all the suggestions.

I actually asked in /r/MechanicalKeyboards, but they didn't help much, just pointed me to Unicomp but that's not what I'm looking for as it's basically the same size as the Model M. It looks like Unicomp will be releasing a "Spacesaver" Tenkeyless model in the upcoming weeks [1], that might be an option.

The Filco Majestouch 2 Ninja TKL [2] is one of my top candidates right now, or a Ducky One 2 TKL [3] variation. I actually tried to get both in the past weeks: the Filco couldn't get shipped because of COVID-19; and the Ducky One 2 ran out of stock (the European market problem I was mentioning before). Very frustrating.

About ergonomic keyboards I don't want to go through the pain of relearning how to type. I have been typing on the Model M for 25 years now and my muscle memory is deeply engrained, I want a layout that is as similar as possible (so 80% Tenkeyless).

The Planck seems unnecessarily small to me. I'm not moving my keyboard so the absolute smallest size is not a requirement, I just want to get rid of the numpad to have the mouse closer.

[1] https://www.reddit.com/r/MechanicalKeyboards/comments/frr2xh...

[2] https://www.keyboardco.com/keyboard/usa-filco-ninja-majestou...

[3] https://www.duckychannel.com.tw/en/Ducky-One2-Skyline-TKL or https://www.duckychannel.com.tw/en/Ducky-One2-White-LED-TKL
It's a dangerous slippery slope. And you are not providing all people. You are taking from some to give to some others, there's not such thing as a free lunch. And the most probable course is that you get indebted today to pay in the future (i.e. our descendants are going to pay our current UBI), and not that the rich are going to give to the poor.

One thing is to say that in this dire situation you opt to give an UBI to everyone, and as soon as the emergency is revoked so is the UBI and all extreme measures. Another thing is to pass the UBI and "if in the long term the people using democratic means" can get rid of it. Just bind the UBI to the Alarm state, so that when the last ends, the former is automatically scrapped (and if anything, approved through democratic means and in a more sane environment).

I'm tired of things that are passed through the backdoor in difficult times, and then we can never ever again get rid of it. In Spain, for example, the "Ley Mordaza" is here to stay or even get worse. By "democratic means" the people voted PSOE+Podemos that promised to get rid of it, and here we are debating to make it even worse... ⸮for a good reason, of course⸮
Investors Saw Office Buildings as Safe. Not During This Pandemic
This is quite normal for an enterprise product though, and I agree on the deanonymization part. But I would not expect anonymity on such a platform anyway because GitHub is very often used in the place of a resume or a CV.

Simply put, you are not the kind of user they want. Happily there are alternatives. I started backing up private repos to SourceHut.
Five years of Raspberry Pi clusters
This is a hilarious example because knife fighting “skill” is Hollywood BS. Any sort of close quarters combat instruction will nearly always focus on getting out of any altercation involving knives.
I currently also began blogging at https://blog.jdsoft.de

It's a static site generated with Zola and some custom glue code to use Joplin as an editor for my blog. It works great and I'm satisfied with the performance and overall look.

Content is rare. So there is actually no reason to read the blog. But it is fun to tinker with it.
Instant, in-software, translation is an amazing way to learn languages and I can't congratulate the author enough on his implementation.
The Guild Wars MMO had a similar functionality built-in that allowed the player to press Ctrl to show the whole U.I in another language. When letting go it'd go back to the primary language. Don't know why they implemented that but it got me 80% of the way to fluency in English.
I implemented something similar for the Kindle Reader and I use it often to learn Japanese and Korean.

If people have other examples of software with this functionality I'd love to hear about them.
I'm working on https://php.watch.
It's a blog/tracker type web site where I post about latest PHP news, and upcoming changes in an organized way. I started it 2 years ago, but it's only 3 months back since I started to finally get to it. It has a monthly newsletter that's getting a fairly good trend in subscriptions.

Why I'd like to see others reading it? Because I spend a lot of time working on modernizng PHP. I watch PHP code changes, test things, contribute, etc, and write about them. If you have any PHP applications that you want to keep up, I hope that site helps to figure out what's new and changing.

Also a travel blog but that is not quite relevant to HN :)
Lego’s interactive Super Mario sets will be out on August first
Seems like a nice resource.

But sad that's insecure (http it self signed cert). I would expect better in 2020 especially from a CS course site.

So if anyone from Illinoise IT read it, it's a good idea to fix it as it's not putting a good light on it. Through sadly it's not uncommon for universities even today :=/.

Anyway still a nice source of information.
Show HN: Mental Maths with Text-to-Speech and AI
Boris Johnson Moved to Intensive Care; Foreign Minister Deputized
Sentry is great for this.
https://fuzzyblog.io/blog/ I'm the creator of https://www.covidnearme.org/ (local case counts for Covid) and I blog about Ruby, Python, Machine Learning and startup type stuff.
For those trying to grok Forth implementation, I cannot recommend Brad Rodriguez' "Moving Forth" [1] series enough. But my favorite one is "1st, 3rd and almost 4th" [2]. Oh, and Loeliger's classic book on the subject [3].

[1] https://www.bradrodriguez.com/papers/

[2] http://www.ioccc.org/1992/buzzard.2.design

[3] https://archive.org/details/R.G.LoeligerThreadedInterpretive...
Sure that's because the package manager is container-aware (and NixOS is very cool -- don't get me wrong), but the distinction is that on Solaris all system tools are Zone-aware (including things like DTrace which would require specifically an in-kernel container concept because you need to be able to aggregate by container and there isn't any in-kernel data to aggregate on in Linux -- and no, cgroup IDs aren't sufficient).
better question: do you really think that all these digital nomad/consultant types (most of them > 30) will just go out merrily, when the first 2,3 healthy people in their big number of acquaintances are dying?
I'm in India and I get this redirect without a VPN.
This might be slightly off-topic, but I'm curious:

> The core of this program is a loop which calculates the number of blocks required to hold the data of file we’re reading by first finding its size. Memory for all the required iovec structures is allocated. We iterate for a count equal to the number of blocks the file size is, allocate block-sized memory to hold the actual data and finally call readv() to read in the data.

My reading of this is that the first readv(2) implementation of cat uses space in O(n) where n is file size. With a very small constant, yes, but still linear in the number of blocks.

Before reading this article, I would have assumed one wanted to write cat to be constant space, and stream one block at a time through user space – i.e. in O(n) number of system calls instead.

When I'm reading this implementation, I'm starting to realise this is the good old space-time tradeoff, where one can either use O(n) space or O(n) system calls. For very small files, the preallocated references are probably preferable, and for bigger files, the streaming approach is better.

Does anyone know of any rules of thumb or approaches to estimate where the cutoff is? Or is it just a matter of benchmarking on various platforms?
> I myself often use uBlock origin to select + remove sticky headers/sidebars/ads which often detract from the main reading experience.

So then the question arises: why do you have a popup on your site that does exactly that?
Wall Street Calls Traders Back to Office
i’ve been blogging for 19 years.

i’m an indie app builder and venture-funded technical founder. i have 3 kids and married 15 years. i’ve moved 18 times in those last 15 years for my startups. http://john.do

i also have a daily vlog: http://yen.show
Binance Accused of Stealing $1M Worth of Assets
Even better, don't use google
https://www.dannyguo.com/blog

I'm still working on developing a habit of writing regularly. I love it when I find a personal blog post that perfectly solves a problem that I have (especially when that blog post is essentially the only resource for a very specific problem) or explains a concept better than anything else. So I'm trying to do the same for others for things that I know about.

More people should share what they know.
I see.

I had the impression UDP would lower the average ping, because you wouldn't have to wait on lost packages like with TCP.
You seem desperate to justify an attitude of disregarding the rules. The rules are there to help protect society as a whole, even though they may be inconvenient or less-than-optimal for an individual.

But if each individual gets to decide whether or not to follow the rules, everything breaks down. One family fleeing to "self-isolate" in a remote village, if they plan and provision themselves adequately and take all proper precautions, might not be a problem. What if a thousand families decide they're above the rules? A hundred thousand?

You're not some special individual who gets to make your own rules. You're part of a society (whether you like it or not); and it's up to all of us to respect the restrictions that are being imposed for the sake of us all.
I would assume that's part of "AA accessible" combinations which you can toggle on top.

There are accessibility checkers (ARIA) on the web, they can give you a score at least.
Microsoft Teams does allow unmuting individuals and muting all participants. They just need to show video for all participants. I read they accelerated the work - https://microsoftteams.uservoice.com/forums/555103-public/su...
I've been posting every week for 5+ years. I cover everything I encounter as a freelance developer (something I've been doing for the last ~20 years).

There's posts on Flask, Docker, Bash, Elixir, tweaking your development environment, running a freelance business, etc.. Lots of videos too, because for the last year or so I've been trying to grow a Youtube channel.

It basically covers everything I've learned or am currently learning that's related to tech. I also don't run ads on my site or have annoying newsletter popups.

https://nickjanetakis.com/blog/
SaaS Global Market Research. Challenges/Opportunities – Software-as-a-Service
Unlike healthcare, there is a functional, competitive market for insurance and repair. Most states have dozens of insurers and hundreds or thousands of repair shops.

Healthcare is different as it is a series of cartels on multiple layers, and the risk-based aspect of insurance is blunted by the amount of chronic stuff covered. Your auto insurer doesn't cover broken brakes, but your health insurance covers blood pressure pills.
>I sometimes wish...
Hey, I'm building a thing like that right now.
Thanks for correcting me on the latest round information ($221M raised versus $500M authorized)! I believe the rest of my comment still stands as it relates to their business prospects.
I have my own little tech blog: http://schroer.ca
Really its a collection of projects that I find interesting. So things from Chromebook bios updates, photogrammetry and even medical stories. Whatever I feel deserves to be written about.
My opinion on university education has flip flopped overtime with me leading toward it being a massive scam at the moment, but this time for reasons like what you mention.

Case in point: I found the perfect program for me: online CS bachelors, from a respected state school, very affordable. However, I cant even be considered a resident of the state I live and work in for several years and would be forced to pay out of state tuition, making it prohibitively expensive unless I want to be paying down loans the rest of my career.
This is my blog

https://paulbellette.github.io/

I write stuff every now and again so I don't forget how to write. Contains random notes on stuff I have been thinking about. May contain traces of nuts.
With the new dev ops crave, we expect people to understand backend dev, and front end dev and design and sysadmin and networking and project management and infra and product ownership. Not to mention be proficient with tools related to those things.

The result is not people getting experts at all those things, but getting capable of producing something with all those things.

Obviously, to do so, people must take shortcut, and container ~= docker ~= "like VMs, but lighter" is good enough as a simplification for producing something.

Now there is something to be said about the value, quality, durability and ethics of what is produced.

But that's a choice companies make.
Wordpress or Ghost.
Exactly. Like any preventative maintenance, when it's working it looks like you don't need it. People are terrible at remembering this without a shakeup every now and then.
No doubt its necessary. But it comes with a cost, which I think we agree on. And it will be a surprisingly high cost, for all sorts of unexpected reasons. Possibly resulting in a recession.
Nippon Colors
Checkout the Amazfit Bip. Strange name, but it's inexpensive, has an always on display (think original game boy advance), and the battery lasts ~40 days on a single charge.
Still work in progress, but I am writing a blog/tutorial on steps for designing a RISC-V processor core using SystemVerilog: https://tonmoy18.github.io/riscv-cpu-blog/
You may be interested in https://able.bio

This is something myself and a partner are working on. Clean UI with a focus on techincal content written in a markdown editor. Any writing about hardware or software is welcome, dev spam gets moderated. We've had a some decent contributors so far but getting the content flywheel going is definitely the hardest part. We're busy fine-tuning a release with updated import/export features and markdown editor updates which will hopefully help attract more people.
When i see guce, I simply dont visit the site. Voting with my wallet, if the site is so sleezy that it takes tactics like this on its users, it is not worth beeing its user.
Ahhh, I missed that somehow. Looks like it was just a /24 here and there, though, out of much shorter prefixes, at least.
At least they can blame the Coronavirus (which they did). I think you’ll see a ton of insolvent companies doing this.

If you want an Atari, buy a real console. Better yet, build a MAME cabinet. You can run all the 2600-7800 games in there, with much better controls. CRT emulation (raster and vector) is pretty impressive on a 4k monitor.
As one of today's lucky 10,000, thanks for posting this. :)
https://coolshit.substack.com/
For the past 6+ years, every morning I read the internet and share with you a summary of what I thought was cool. Sometimes it’s business shit. Sometimes it’s artsy shit. Sometimes it’s random shit. But every time, it’s #CoolShit

I know you’ll dig it!
Mine is https://chollinger.com/blog/. I write about fun tech challenges, mostly centered around the "Big Data" and "Data Science" world, even though last year, I've done a bit more hardware and random stuff.

I only post every couple of months or so, because every article takes me quite a while to write (as they are typically small side-projects) - everything that has code has a Github repo attached, so whatever I ramble about, you can try it yourself.

* Why we don't get mail, according to reddit: https://chollinger.com/blog/2019/12/tensorflow-on-edge-build...

* Building something useless: https://chollinger.com/blog/2019/08/how-i-built-a-tiny-real-...

* On me being dense: https://chollinger.com/blog/2020/02/how-a-broken-memory-modu...
http://owensoft.net/

Its old school, 20 year old custom blog. Theres lots to see. It has history unlike most modern web stuff. Pictures of food, controversial tech articles, metaphysical poetry, and small island life. Come to think of it I need a new camera.
I don't think the states would _want_ to do this. Gov control of business closer to the local level means you're closer to your constituents.
Does the proof that the halting problem is not solvable actually make use of the unboundedness of the tape?
Tell HN: GitHub Pages Down
All subdomains on .js.org pages are down with the message "GitHub Pages is temporarily down for maintenance." But on https://www.githubstatus.com it shows: "All Systems Operational"?

Anyone running into errors?
Facebook could decide that LGBTQ+ people are offensive and strongly restrict theire free speech even for non LGBTQ+ topics (sure there are other regulations to prevent this, but they have much less tooth).

That you have to handle consequences when you insult someone or you IDK openly call for the murder of all ... People that's a different matter I didn't intend to go into.
It's blowing my mind that these had Clowes/Burns artwork on them!
Https://topstonks.com

Its a newsletter and blog covering market sentiment from wallstreetbets and 4chan.