skysight-inc/HackerNews huggingface dataset:
> “Almost all articles I've seen explaining the context pkg are done with net/http examples.
That's fine but I feel like it might not be the best introduction for a novice as a lot of concepts are mixed together and they might miss the bigger picture. Context is not just for web servers. You don't have to know how net/http works.”

Indeed. But I think the seminal blog post¹ on the matter has somewhat skewed perception initially. The first sentence reads:

> In Go servers, each incoming request is handled in its own goroutine. Request handlers often start additional goroutines to access backends such as databases and RPC services.

That pretty much sets a mental context (pun unintended) within the server paradigm. People then just overlook the fact that any Go app can (and often probably should) make use of `context` — CLI anyone? Unless I'm mistaken, `context` is fundamentally about the underlying machine, not network (it just adds to confusion that the latter is represented as "context" within the former, i.e. files and folders and variables in a POSIX environment).

> You could simply demonstrate the usefulness of the context package with showing how to properly clean up your program on a sigterm.

Very nice one! I never saw a book titled "Linux Mechanics" but this would be akin to applying F⁻¹ to some object whose inherent motion comes from F. Like, the basics, "how do I stop this thing?" This is a cultural approach to computers that I think is fading along with the desktop culture, which itself got blurred by tons of layers of abstraction (think 1980-2020).

In that vein I think it's very interesting to experiment with Linux namespaces² (notably cgroups and network namespaces). Create elementary "container components" (i.e. network namespace, UTS..) with Go and see from there how context applies (or not). You'll be effectively clean-rooming³ Docker, in some abstract sense. Distribute it and you've got a skeleton for Kubernetes. It's a really logical conclusion/next step when diving deep into Linux in the current context — DevOps etc. You just see that culture emerging from the tech.

I think Go is incredibly well-positioned to learn these things as we speak: simple, efficient, easy to read, asks you to consider every step carefully (error handling), fluent with OS calls, etc.

[1]: https://blog.golang.org/context

[2]: http://man7.org/linux/man-pages/man7/namespaces.7.html

[3]: Ignoring common licensing or business concerns atrributed this approach, playing with "clean room" work is excellent technical training to master topics beyond intermediary level, well into expertise — that which no one can really directly impart on you, that which you must build for yourself, quite literally so at times. Can you build it, given Search and enough time?

https://en.wikipedia.org/wiki/Clean_room_design
Apple Mac Pro Rack – Unboxing and Observations from a Music Professional
I work from the Library. About 1/2 of all people on the computer desks with own laptop are running their business from the library. Free desk open from 9.00 am to 8.00 pm Mon-Fri.

Most co-working spaces charge $20-$100 per day for a desk.
We are living in interesting times, and 2020 sure has started running balls out.

Greetings from warm and sunny Finland.
Ahh, that was it. Makes much more sense now.
Almost any modern programming language can open multiple files.
I don't think there's many people who go to libraries just for "information."

Libraries are a great place to just chill if you just wanna get out of the house and the weather isn't great for parks. It's free, you can stay as long as you want, there's comfortable seating and plenty of reading material (or you can bring your own books, work, or projects), and friendly staff.

There's also workshops, events, meetups, etc.
> reality

Between 1975 and 1988 the world added 250 GW of carbon-free nuclear generation. That's 20 GWe/year.

https://www.iaea.org/resources/databases/power-reactor-infor...
I think it depends. In the libraries closest to me, any events are squirreled away in conference rooms and other areas that wouldn't disturb people who are in the same building to study, read, or use the facilities available. It makes sense that you'd never encounter a social group if you only go to a library to access a part of the library that would've been separated out.
> gracefully stop a long running operation so you are not afraid to stop/start your program at the "wrong" time.

This is one of my major pain points with Go's contexts. Where I work we do have an "application wrapper" that gets cancelled on various signals, and it's very handy for some things. But one thing it's not good at is shutting things down safely!

Something we do pretty commonly is start multiple servers (e.g. a public and a private HTTP server, or an HTTP server and DB background task, etc.) When we get SIGINT, we want to cancel both's context (easy), then wait for both to stop before continuing with our exit process (hard). Yes, this is the canonical case for sync.WaitGroup, but those are hard to use correctly when you need to transition into and out of "acceptable" states rather than just count down (well, hard to use correctly period, to be honest - probably half the time I see a junior dev using them they increment within the goroutine). And hard to timeout waiting for the waitgroup when you want to continue despite unclean shutdown - WaitGroup.Done doesn't itself take a context.

This is further complicated by the fact that for servers you often don't really want to use the "application context" as the parent of the request contexts. Rather you want the server to shut down cleanly when that context is cancelled, processing all pending requests to completion but without immediately cancelling them. So the base request context is ideally something like "cancelling X seconds after the application context" which is not part of the standard context toolbox.

And of course different libraries are not really consistent in how they shut down - http.Server lets you close it with a timeout and so returns an error but also you need to check the error return of the Serve method (and you can't distinguish a graceful stop from a hard stop from try to restart a stopped server), grpc.Server offers only hard and graceful stops with no timeout and only the Serve method returns an error, and sarama.Client provides only a synchronous close that returns an error.

I've not used them but I'm told C#'s cancellation tokens akin to Go context but are closely integrated with their async task state machine, such that it's easy to hand out cancellation tokens and wait for the tasks waiting for those tokens to finish.
Ownership semantics also suffer from the misapplication of what ownership is. Property cannot own property. In this case, it just becomes a hierarchical dependency system of responsibility. So "ownership" itself is the wrong term.

"This object owns this object which in turn is owned by another object."
but rather
"This object is responsibly for this object which in turn is responsible for this object."

In sum, you are artificially applying a hierarchy were one has not arose naturally, and adding the artificial concept of an "object" as an abstraction where there is no real "object" in reality. All of these abstractions that we apply to programming are just tools that we (hope to) get utility from.

In order to interpret anything, we must use a model. Some models are better than others, and some models are downright wrong.
> BTW, you mentioned TLA+. TLA+ also requires some effort, although significantly less than Lean (or Isabelle, or Coq), but TLA+ has made a historical breakthrough in formal logic. From its inception in the late 19th century, and even from its first beginnings in the 17th, formal logic aspired to be a useful tool for practitioners. But time and again it's fallen far short of that goal, something that logicians like John von Neumann and Alan Turing bemoaned. AFAIK, TLA+ is the first powerful (i.e. with arbitrary quantification) formal logic in the history of formal logic that has gained some use among ordinary practitioners -- to paraphrase Alan Turing, among "the programmers in the street" (Turing said that formal logic failed to find use for "the mathematician in the street," and tried, unsuccessfully, to rectify that).

I will bet you 100 USD that TLA+ had less than 10% of the users of Z before the AWS paper.

> It was no miracle: Lamport spent years trying to simplify the logic and adapt it to the actual needs of engineers, including through "field research" (others, like David Harel, have done the same). That is something that the logicians behind other proof assistants seem to be uninterested in doing, and so their failure in achieving that particular goal is unsurprising.

I will bet you another 100$ that the success of TLA+ has nothing to do with making it "accessible" and everything to do with AWS vouching for it. If reaching the actual needs of the engineers was so important, why is the CLI tooling in such a bad state?
Don't expect it to last for long. As soon as something negative about Erdogan gets posted a loophole will be found and will be banned again. Unfortunately the situation in Turkey is not simple, there's potentially innocent people still in prison since the failed coup attempt, Wikipedia is a small inconvenience compared to prosecution of innocents.
I guess something like "Built by Microsoft, Seattle" or "Designed in Calfornia by Apple" wouldn't provide the same answer... /s

But still, back on point, how does this "Made with love in <X>" bring people together as you claim previously?
I would prefer if it had less products but actually reviewed them, there is so much crap on Amazon you really need to try something out, disassemble it, sometimes even measure it to figure out if it's crap or not.

SEO Spam really ruined product search / reviews.

Just last week I tried hard but couldn't find a good review of USB-C Power Adaptors, just page after page of SEO optimized spam without actual content.
That is an important point that struck home with me when I came to realize just how minuscule the amount of carbon dioxide is in the air relative to other gases: it's nigh-on a rounding error.

I think many of us just haven't internalized the percentages of gasses, and probably, like myself, often have it all backwards. An alien doing a fly-through of our solar system would describe our planet as a nitrogen atmosphere.

In descending order:

Nitrogen: 78 percent
Oxygen: 21 percent
Argon: .9 percent
CO2: a measly 0.04 percent

Groking that last value really helps frame the challenges that CCS has to deal with (and also gives one an appreciation of just how powerful of a greenhouse gas CO2 is).
Czech hackathon organized to give government motorway vignette e-shop for free
Since the file format specification is available, you can write your own code that directly reads/writes to SQLite files. You can't even have to use the logs and journaling options. You don't even have to use SQL.
Whenever someone says X is free, they usually mean: X has already been paid for via other means (taxes) and doesn’t have a usage fee. E.g. free beer doesn’t just come out of the ground (and if it did, you would still need to spend resources on extracting it).
I agree with this. I was a big fan of wirecutter reviews. But in recent times they don’t include products in a review of a category that have significant market share. I find the comments section of wirecutter where people mention the products they didn’t review to be interesting.
I ended up there out of curiosity while reading a cryptography paper.
Will medicine ever recover from the perverse economics of drugs?
I think about the line from Sverige, by Kent:

En tiger som skäms

And of course the cover of that album (Vapen och ammunition) being a black and white photo of a tiger.
If its a paid service, who would be paying? This data is all over the internet, typically for no monetary charge. Other shopping sites (I'm thinking of newegg) already provide a detailed breakdown.
Have you ever walked into a restaurant and asked to see how they refrigerate or organize their ingredients?

No? Would you say then that you don't care if your food comes out slowly or gives you food poisoning?

You care about the result, but you trust it to someone else.

It is a Chef's responsibility to maintain the mise-en-place and food safety to a degree which enables him or her to keep delivering meals quickly and without salmonella.

It is an Engineers's responsibility to maintain the code clarity and tests to a degree which enables him or her to keep delivering improvements on business needs quickly and securely.
More detailed article with photos of the interior of the lighthouse:

https://www.lakesuperior.com/the-lake/maritime/333-stannard-...
I was going to suggest just getting a longer cable, but I see now that almost all of them have non-removable USB-C cables sticking out.

Why is this? Is it because only one port can be upstream, so they try to avoid the confusion? Or just cost?
Is already on my todo list. It was easier to implement the simple "has feature", instead of doing a full blown search interface :D
I will shamelessly plug myself again.

I am the main author of RediSQL [1] and I am about to launch a managed service for it.

It will allow to write SQL (SQLite dialect) against an HTTP or Redis protocol, to make thing clearer: https://simplesql.carrd.co/

Eventually it will upload your database to an S3 bucket for backup.

[1]: https://redisql.com/
Neat! Not sure how useful it would be to others, but the first thing I tried to do was sort the list by country.
Yeah, everything every individual or even individual country does doesn't matter in the grand scheme. That's kind of the problem (tragedy of the commons). One way to break the tragedy of commons is to lead by example, take the societal high ground, pressure others to join and finally shun everybody that doesn't participate.
E.g. Norway could press the stop button, they'd be poorer (but other countries aren't lucky and don't have any oil) it wouldn't reduce CO2 output much over the short term, but maybe that would put other countries on the path to do it as well.

In general the more upstream the taxation the easier to
implement (it would be easy to simply tax the oil an oil rig produces), while the tax income would be probably fairer distributed if the tax is at the more consumption level/downstream.
Have you not been paying attention to the shape boom? The US is now a net exporter of oil and we have more natural gas than we know what to do with, and it'll likely stay that way for at least the next 70 years. I'm not sure where you're getting "declining yields" from.
> Sometimes you are wrong and you really need help to overcome the emotional baggage that blocks you from admitting it.

Teaching my children that it's okay (and indeed desirable) to admit when you were wrong, and if need be, to make amends, by direct example, is one of the best things I do as a parent, I think.

But I'm also upfront with the reasoning around it - 1) I consider it a moral imperative of a good member of a society and 2) being willing to acknowledge and own my mistakes has been a major factor in my success in life - especially in IT where there's a lot of intellectual pride, it can really take people by surprise.

And likewise, I have to model the behaviour I want them to show in their actions within my family. And I'll admit my heart swelled with love and pride when my 15 year old son who had a rather big row with his step-Mum wherein both said things that were hurtful to the other out of anger, initiated a conversation soon after to apologise for what he said, and she apologised what she said, and they both agreed to work harder. I know how much guts that took him, and I think it surprised my partner - she was going to take that initiative later that day when there were less younger siblings interrupting, but it was obviously weighing on his mind.

I like to think that my teaching and example were reflected in his bravery in initiating what is a hard conversation for grown adults, let alone teenaged boys.
You assume a vpn service (or even an ssh tunnel) is something a grad student in a third world country can afford? Often this is not the case.
This assumes that intermittent renewable sources plus storage can be built out at astronomical scale without running into unexpected economic, regulatory, or environmental challenges. In many similar expansions of new tech, big challenges show up once the fleet size shows up. This was the central tenant of Komanoff's Power Plant Cost Escalation book (free pdf of it here: http://komanoff.net/nuclear_power/Power_Plant_Cost_Escalatio...)
I wonder sometimes what Nietzsche would have made of VC culture. This is one of those times.
Sqlite implements all of the features you would expect from a relational database, including indexes, transactions, write ahead logging, consistency, and provides a SQL wrapper on top of its file API. _This is what makes it a database and not just a file format_. To the client, whether or not the API is happening over a socket or a locally linked library is irrelevant. How connection pooling works is also not relevant to whether it is a database or just a file format.

Calling Sqlite just a file format is kind of like calling Python "just a syntax specification." That's part of it, but we're talking about the actual implementation of it (probably CPython).
That's a USB3.1 hub that has USB-C connectors. While one can get away with that in the whole USB-C mess/confusion, it is usually not what people expect. You can't connect a monitor or power your device with this hub, for example.
Why Is the United States So Bad at Foreign Policy?
Not sure if DigitalOcean falls under big providers, but they offer the same solution as Linode, but made a business decision to not advertise it. Even though they haven't advertised it the reduction of null routes and better customer experience has paid for the cost.
> SmarterEveryDay has glowing accolades for farmers [1].

Seems weird to use a video by SmarterEveryDay as a reference to back up the statement that farmers give accolades to SmarterEveryDay. Who are these farmers who are watching youtube and saying SmarterEveryDay is so great? I'm sure they exist, but that link doesn't seem to justitify that.

> I think all software devs should spend some time on a farm

Any office worker should have the experience how it is to not work in a office. In fact, everyone should try to have as diverse experience as possible, in order to learn from each angle and perspective and apply the knowledge in other angles and perspectives.

One way which can be farm work, but don't limit yourself to just that, lots of other interesting professions.
Any government that suppresses the internet like this deserves to be overthrown.
Same authors
Actually it doesn't.

For example you can read news papers without ads :-) at the Sunnyvale library, the Wall Street Journal, the NY Times, the Washington Post, Economist, Etc. And many periodicals. All without sacrificing your privacy or trying to subvert some paywall.

You can read texts on pretty much any subject that were not only written by someone who took time to write it, but were edited and often fact checked by a third party (publisher).

You can read classic stories, and new stories, in all sorts of genres.

You can socialize at the library, ours has a couple of meeting rooms you can reserve as long as you aren't trying to sell something. Some libraries have a coffee shop in them which is pretty cool.

Oh, and you can surf the web if you want but there isn't anything on the Internet that you can't get at the library and the quality of the interaction at the library is always better.
Read the rest of the trilogy this month, after having read Neuromancer a decade ago. Preferred MLO to Count Zero, though both were underwhelming

As for recommendations, if you liked his narrative voice you might also like Margarette Atwood, Oryx & Crake in particular
There are subtypes of ADHD.

This is not really a trait of the Inattentive-subtype. However, a person grows up:

- Being frequently told that they are a disappointment.

- Would have succeeded (at something they really cared about) if they'd actually cared.

- Being tuned out because they're talking in a way that seems scattered or boring to the listener.

Can develop an unhealthy relationship with anger.
"Serverless" is another level of abstraction and management, that's it. Are you proposing that a term collision adds too much confusion?

"Managed" hosting has been around for decades as have "managed" services, in general, long before Amazon even existed. EC2 brought a new level/layer of automation and management ontop of what colo datacenters used to do, provide scaling etc. To be clear I'm not saying it's simple but "managed" describes much of it.
The libraries near me are much smaller. Obviously my anecdotal observations are a limited data set. Also, I just realized the article says "cultural activity" rather than "social activity", which changes things a bit, but my anecdote still stands insofar as I'm not really sure that much of the use I see counts for that either.

Libraries are great. I'm just not sure we should be patting ourselves on the back based on the usage I observe.
I agree, yours is definitely a better description.
Thank you for the very long, interesting, Sunday read. I was instantly captured by the retelling, and it reminds me of all the truly uncharted areas in the world.
> Multicore I guess I can forgive, it's not like there are any other modern GC languages that make multi-threading particularly easy (with the possible exception of Java)

Couldn't agree more, Scala with Monix/cats-effect/fs2 excels at writing highly efficient parallel and concurrent programs
Ok, removed. It doesn't seem to be how the article refers to itself, though I can't be sure because the thing is unsearchable.
Nitpicking, but it's 0.04%, sadly.
It is still possible but is BIOS dependent :) With UEFI, graphics is preferred to be done with the GOP driver/protocol (which will ultimately interact with video BIOS/graphics card option ROM for you). During early boot setting up the VGA decoding can either not be done or disabled when booting with UEFI. You might need your UEFI BIOS to be in CSM mode (legacy BIOS compatibility mode for UEFI) to get this to work and a lot of modern systems don't support CSM as of late. You can write to the framebuffer using GOP runtime services, and the VGA IO ports would likely do nothing since they wouldn't be decoded to the graphics card. Full fledged OSes just load a graphics driver and directly talk to the hardware -- something that is unfortunately not wieldy for hobby OSes :(
Probably both. A good USB-C cable isn't cheap and using the wrong cable would cause the hub not to work.
> because updating a gba game is literally impossible

Hey now, I'm sure it's not "impossible", you could probably overwrite specific sectors with laser or whatever, but probably had more to do with the distribution, where the economy and environment impact wouldn't make sense.
Oh, I'm sure liberals will gloat and be happy the grumpy conservatives are at the table, and everyone will agree on the importance of the problem. Then both sides will fight over who funds the solution. Liberals say big oil creates the problem and must fund the solution, conservatives will say the public demands the oil and is affected by the problem and must fund the solution. Nobody will agree to anything and the world will burn anyway.
According to the link, it's by the same people.
My plan is to add more usb hubs (usb-3, thunderbolt), so stay tuned ;) Card reader filter will also be implemented very soon:)

I am no expert on usb hubs, but filtering for pass through power is actually possible: You have to specify at least 1 for usb-c port, then you can select the "Power Delivery" checkbox. Is power delivery the same as pass through power? and it is it possible to have that without having a usb-c port?
An important filter is not just if it has hdmi but how many screens it can support. Just a suggestion.