skysight-inc/HackerNews huggingface dataset:
I've found nano really easy to pick up for quick introductions to editing files via a terminal.

Nano seems to have a shallow learning curve for new users in comparison to vi, vim emacs as it works similar to other simple text processors.

It isn't as powerful as other editors and can't be configured as much but for some, especially beginners, that's a benefit.
The trouble with that order is that you dont get to actually play the game and dont get to have any fun for months. Which means you will stop playing chess entirely.

And I mean, I started to play late and I am not good, but the "if you don't understand how to play when there are four pieces on the board, how will you be able to play when there are 32" does not really check out. The two are just different.
> They didn't actually click on the link and read anything

Bingo.
If anyone else has troubles loading this, It didn't work when I was logged in with my G Suite account. Using an incognito tab works fine though.
A 50 year copyright term would also apply to foreign works, so Taylor Swift would be out of copyright in the EU after 50 years.

However, under the rule of the shorter term (https://en.wikipedia.org/wiki/Rule_of_the_shorter_term), the US would be allowed to reduce Ed Sheeran's copyright to 50 years.
The Quest (1/2) isn't tethered, and runs for hours off battery. It's about as wieldy as I can imagine these getting for a while...

Which is to say, it's still an unwieldy box you put on your head. But even hand-tracking works well now, so for a lot of games you don't strictly need the controllers.
The Data Æther
What is the “N+1 selects problem” in ORM (Object-Relational Mapping)?
I don't get it! Can someone explain why/how this is special? Seems like it is only a matrix of like 40 states per blob and that the lower blobs just follows with the same state? Of course well executed but..?
Some of the ultrabooks aren't far from the specs of a modern flagship smartphone. Also, I believe that you are dismissing what seems to be the predominant smartphone customer - one who uses the device to consume entertainment.

As for the 'there is no money in that' argument I believe that there is plenty of money in various iDOCKS, accessories, doodads and similar.

Because of that, I don't buy this particular theory - the first of the big players that provides a workable and friction free product will surely have it worth their while.
Computation on x86 processors without executing any instructions [pdf]
Maybe try "desperado de zona amigos" or just desperado for short.
Presumably it's because Umbrella Academy was a comic by a musician? Would explain the focus on music

I like the Noel Gallagher montage when thatb kid is walking trhough the apocalypse
Maybe I'm a bit more old and grumpy than you - for me OPM was great for most of the first season, but quickly deteriorated into spending half the time (exaggerated) ooh-ing and aaw-ing over "the S rank heroes power" and all that. Loved Mob Psycho 100 from the same creator, though.

I did try Hunter x Hunter last year - I gave up precisely because I felt like I've seen everything 100 times already.

I guess I should just take the uncle commentor's advice and stop trying to watch this class of shows if they aren't rewarding.

OTOH I really did enjoy Yakusoku no Neverland and Decadance in the past year, so I guess there's always something.
> I'll fill the final seat this summer.

I’m so envious! Congratulations!
What you seem to be missing is the fact that air purifiers are a lot larger than a laptop. I have one sitting next to me on the floor that's 32x32x56cm. It's the size of a medium-large rubbish bin, and it needs 30cm clearance around it.

This is one meant for a small room, and you're supposed to keep the room closed to improve efficiency, otherwise the air exchange with the rest of the house or the outside more or less defeats its purpose.

What I find really lacking is an efficient way to deal with VOCs. These air filters seem to be really good at clearing out particles and microparticles from the air but even with a good deal with activated carbon they don't seem to do much for VOCs, which I suspect is the main issue indoors.
I understand it as the issue is whether this was constructive dismissal, a form of firing where the employee is forced to resign.

Not sure if constructive dismissal is a thing in the US but it is in the UK.
VMware Event Broker 0.5.0 (a.k.a. VEBA) on Kubernetes – First Steps
Interesting. I only have central ventilation but my mom has central heated air in her house, in theory she could chuck a HEPA filter in front of it to get cleaner air in all of her house.
There's javascript runtimes for MCUs with <16MB of RAM (no, they are not the same as V8 in Chrome/Node/Electron, but that's the point: large range with many possible solution sizes)
This is a very strange "getting started" guide to C, and I'm not sure who the intended audience could possibly be.

The tone at the start really does seem to be aimed at "absolute beginners" ("[...] programs must be written in a very strict way. Miss a comma and the program will stop working"), but then it quickly gets into the weeds without much explanation.

I'm trying to imagine an beginner reading this: The first thing we're told to do is "Installation", that makes sense. Then the first line says "The Apple provided C compiler is the LLVM clang compiler". But what's a compiler? How does that help me learn C? The tutorial hasn't even indicated that C is a compiled language, or what a compiler does at this point, and it doesn't elaborate on this throughout.

We go on to a hello world example, and we're told to type in some code ("Remember: programming languages are very strict, so type it exactly"), and then we're given an explanation of what it's doing: Great! I can't wait to learn what this means. But the explanation uses terms that a beginner would not be familiar with: The very first line of the explanation is "the first line loads the stdio.h function library, which provides the printf() function, used to write a message on the terminal". What's a function? What's a library? Obviously these things are trivial to anyone with programming experience, but for an absolute beginner, these terms don't yet have an intuitive meaning, and they're never fully explained in the article.

We compile that program (again, never being told what compilation is or why it's necessary), and then we're suddenly thrust into writing a GTK+ program. We haven't covered the absolute basics like types, pointers, etc, and yet we're given a huge chunk of (reasonably complex) code with no explanation, and just told to "read the code bottom to top" as an "additional hint".

I think a much better title for this would be "getting started with C tooling", but even then, the article does a very poor job of explaining why such tooling is even necessary.
It's cutting edge A.I implemented in a fun, geeky way. It just works effortlessly. What's not to like?!
By far the biggest exposure you have is NOT from your OS, it is from third-party apps running on it. That is the real risk, and that is the gigantic blind spot open source projects like this have.

They are just not addressing the real problem at all, and they are doing nothing whatsoever to protect you from the real risk.
This is why I wish docker had a way to be more self-contained.

Like a first class way to start with

FROM scratch

and a way to configure it to pull only from a local, private registry.

It seems docker (the company) has actively worked against this. The redhat versions allow configuring a private registry, but they don't worry about pissing off docker.
I'm sorry but I'm not going to be able to let you say something negative about Love Actually and get away with it... yeah there are cheesy musical interludes, but that's the charm of it - the whole film is designed to be like a box of christmas chocolates.

ps: for Umbrella Academy, keep in mind that it was written by a literal rockstar - explains the heavy focus on music
It kind of depends on what you need out of C. The only real reasons left to use C in the wild are:

* Legacy code

* Embedded (including drivers, bare metal etc.)

* Portability, FFI, etc.

Performance used to be another major reason, but in $CURRENT_YEAR, if that's your goal, C++ and Rust are just as performant and there's very little reason not to opt into them.

The other major reason to learn C is that it's a great "hardcore introductory" language that will expose you to foundational concepts like pointers and memory management (it's really hard to understand what problems Rust is trying to solve if you're not familiar with malloc and free, for instance), but if you're already programming that's less of an issue.
:-) I wish people would stop recommending this outdated book, along with a few other default goto books (say, the Dragon book).

Its super optimistic approach is more about the language K&R wanted C to be than the real thing.
FWIW, I had something of an impression that Google AMP was kind of a hacky attempt to "fight back" against Facebook Instant Articles, which made browsing random news on Facebook "more fun" and faster (etc.) than using the web (and particularly Google).
Very interesting. No mention in the article if this has better fuel efficiency than existing rotaries, though their FAQ blames the poor efficiency and emissions issues of the Wankel on the weird shape of the combustion chamber[1], so if this design resolves those issues maybe we'll see these in cars eventually. (They'd better act quick if they want to get in on that market; I expect it'll be essentially all electric sooner than most people think.)

They seem to think the apex seal wear issue will be better with the apex seals stationary. In addition to that, I wonder if it might also be possible to design the engine such that you can just slide the apex seals out sideways through a slot in the engine housing (sealed off in normal operation) without disassembling the whole engine? That by itself could be a pretty big improvement even if the seals wear down the same as they do in other rotaries.

I also wonder if they have a good solution to having more than two rotors? Mazda made a 3-rotor but due to the way the engine fits together the eccentric shaft had to be in two pieces that bolt together.

I hope as soon as this company makes a car-sized engine someone swaps one into a Mazda RX-7 or RX-8 just for fun. Maybe see if they can beat these guy's record [2] for longest RX-8 trip on a single tank of gas. Or swap one into one of the old Mazda rotary pickups.

[1] https://www.liquidpiston.com/faq

[2] https://www.youtube.com/watch?v=PfiQu3XH2Pg
Meld: Decentralized Shared State
https://www.youtube.com/watch?v=CMB6AlE1QuI
This just makes me want to stay on IOS even more.
this needs to be investigated
I didn’t find that useful. He’s not arguing that metaphors and anthropomorphism are not effective for teaching in general. He’s arguing that they hide the underlying mathematical and logical objects that programs represent, which lulls programmers into a false sense of accomplishment.

I agree. We are awfully good at creating software that does not function properly. Should that be rewarded?
That is something completely different then the trope.
and unfortunately ctrl-labs which I thought had promise until it was swallowed.
Envoy and Apache APISIX: Another way to implement the Envoy filter
That's not how it works in practice though. There's no US legal action against Apple, they can reap Billions and billions of dollars with their own monopoly before any action reaches them after Google and Facebook are crippled.

This is the big issue with targeted anti trust vs. industry wide regulation.
I assume you mean this: https://en.wikipedia.org/wiki/The_C_Programming_Language_(bo...
The same professional integrity from FOSS developers that profit from Facebook money, earned via such practices, by using Facebook sponsored projects.
It's a fairly controversial pick amongst the C community, and it is a full book, but the first few chapters of 'Learn C the Hard Way' by Zed Shaw are (imo) a great resource to get started with the language, and also point you towards tools like Valgrind which you might not come across otherwise.
I've been doing this and have a fairly tech savvy circle of friends but so far I've only managed to get a handful of them to start using Signal.

I think hunan's just aren't very good at responding to threats that are somewhat vague and in the future.
GirlsDoPorn victims sue Pornhub for hosting “sex trafficking” videos
The Chromium Privacy Sandbox
Either the Sharan or a Caravelle? The Caravelle seems to be a favourite with big families in Europe

edit: but neither are sedans
Or he could've influenced the announce date to coincide with his sale.
Plane Contrails Have a Surprising Effect on Global Warming
Same applies to anyone using Facebook projects, paid via such practices.
Spinnaker Plugins for Enabling Deployments to AWS Lambda
Thanks, that is quite obviously the identical thermodynamic cycle between the two engines.
React, ReasonML, Folly,...
Sash Windows Repair Harlow
Scott James accommodates all private and commercial wooden window restoration requirements. We specialise in sash window renovations and operate in Harlow and across the wider Essex region.

90% of rotten and damaged wooden windows can be restored by our team. In these instances, restoration is the optimum and most cost-effective way of rejuvenating your property.

All our work is completed with care and efficiency. With our expertise, we can return historic and wooden windows to their former glory, and beyond.

Restoration, in most cases, is the optimum, cost-effective way of revitalising your property and preserving all architectural charisma. We also provide high-end window replacements which are sympathetic to existing quality and heritage needs.
> Green said the research did not mean anyone should approach kangaroos in the wild with an unopenable box full of food, expecting to have a chat with them.

I'm glad they are so explicit about it XD
> If plastic shedding from plastic bags accounts for 0.01% of the global microplastic pollution, then there's no real point going after it.

0.01 > 0

We need to stop thinking production and use of plastic is inevitable.
"Forty Jane Does who say they were victims of GirlsDoPorn sued Pornhub yesterday for at least $2 million each, alleging that Pornhub hosted videos despite knowing that "GirlsDoPorn was a sex trafficking venture.""
The King's Indian as a way to avoid theoretical preparation? Seriously? That's one of the most difficult and theory heavy openings in all of chess. I abandoned it because it was just too much work.
Once you start assembling and selling these, you'll quickly realise why many things are priced the way they are.

Especially low-volume tings like "pre-assembled DIY kits"
> but we know overpopulation is a thing

Overpopulation is not a thing anywhere in West.
Copyright laws very widely around the world. So this is only related to the United States.
Facebook hits back at Apple with second critical newspaper ad
It used to be rock-solid, too, but recently it's becoming quite buggy (at least on Windows).

I don't know exactly when/which version, but some time in the last 12-18 months.
I used to work for a small company that developed a cellular radio network design application and also had a radio network engineering consultancy arm. We renamed the product and changed our job titles to include Engineer and Engineering because our sales people said it enabled them to charge more and sell up our services more easily, and I believe them. I was on some sales meetings to provide technical background so I could see they knew what they were doing.

It may seem silly, but words mean things and you need to clearly and effectively articulate why your product is valuable, or what value you bring as an employee. Effective communication is really important.
I can't make much sense of Djikstra's linguistic points either. But with the little I can understand, my objection boils down to the following statement:

> A programming language, with its formal syntax and with the proof rules that define its semantics, is a formal system for which program execution provides only a model. It is well-known that formal systems should be dealt with in their own right, and not in terms of a specific model. And, again, the corollary is that we should reason about programs without even mentioning their possible "behaviours".

Perhaps this is another aspect of the "SWE vs. CS" debate but I've come to the conclusion that in SWE, it makes more sense to reason about entities and how they behave (deliberate use of the word) rather than in terms of every single line of code. Said another way, anthropomorphizing programs is another means of abstraction and SWEs and CSs alike should be comfortable going up and down the abstraction ladder as needed. Even in academia, outside your first two programming classes or so, outside algorithms, it is rare to spend time in the realm of "formal syntax and proof rules". (Or maybe this is simply a difference of the needs of CS education today and during Djikstra's time.)

But why should we encourage reasoning in this manner? I have many reasons but the bluntest (yet holds no less water) one is because I think Djikstra's statement assumes you have access to the readable source code. That's simply not true. So it's more useful to reason about computing units as entities with "behaviors".
Facebook's ad claims Apple’s iOS 14 privacy changes “will change the internet as we know it,” and force websites and blogs “to start charging you subscription fees” or add in-app purchases due to a lack of personalized ads.
Infamous asteroid Apophis has possibility of an Earth impact in 2068
Wifi makes sense, as you can configure apps to only work over wifi (and from what I remember you can do backups only when wifi is available).
Is it? Your personality (how others view it) is simplified to its most defining traits and then that perception is gradually reinforced by how people treat you (consciously or not). Seems pretty similar to me.
Exactly.

It's a great read, even if you don't plan on programming in C.
Well for me one objective definitely would be to better my understanding of gnu tools, gcc etc.

But for the most part, yes it is about "foundational concepts". A lot of the time when you learn system level programming people will refer to certain quirks or terms from the C world.
I think your samples might be biased. tiktok has 800 million active users, Instagram has over 1 billion, and fb has 2.70 billion. Even with 100% overlap, that's still 35% of the planet
Ask HN: What are your Windows/macOS/Linux productivity tips?
This is correct, but this is incorrect.
I did sort of like Game of Thrones. Yes, at some point not-formulaic became it's own sort of formula but I did enjoy the series.

Actually, there was that one section where it seemed like the budget for special effects got a boost and from that point onward they displaced a lot of plot.
I had a bit of Haskell reflex when seeing such feature list.
"incremental static rendering" is... server-side rendering, at least that's what I meant. Rendering pages on demand for users as they request them, with (optional) invalidation to render it again later.
If anyone is interested in code-generated art with D3.js, it's something I'm working towards with this book https://datacrayon.com/shop/product/visualisation-with-d3/... less focussed on data visualisation, moreso on using shapes

If anything, it can be fun https://twitter.com/ShahinRostami/status/1306683819655868416
Your result is hardly surprising as Apple M1 is a different CPU architecture using the ARM instruction set. It is unlikely that the CPU circuitry related to this particular function would be similar to Intel x86. This might not even work with an AMD x86 CPU.

Out of curiosity, can you dump the relevant disassembly of the square_am_signal function (using `$ objdump -d mybinary`)?

Note that this instruction (_mm_stream_si128) is a SSE instruction that will write 128 bits to memory, more or less bypassing the cache (as long as you write whole cache lines). This instruction is highly specific to the memory architecture in Intel x86 CPUs. When compiling for ARM, I expect that this will just be compiled to a regular store instruction.
Among Us is out on Nintendo Switch today as console exclusive
Media targets podcasting for the next wave of censorship
Not really, I have seen CentOS based infrastructure having more problems (xfs breaking docker, frankenkernel 3.10 in 2020?) whereas with Debian things just works and are not heavily patched to the point of breaking ABI.
He dislikes anthropomorphism because there is no real-world equivalent of logic, and he believes that we should attack the logic problem of software head-on. Creating a metaphor is great for abstracting what logic is actually doing, but it discourages focusing on the actual logic.

Basically the metaphor is an opiate. It feels good to think about, because turns an intractable problem into one that is intuitive. But it doesn’t actually solve the problem - only considering the logic does.
Free internet for all not such a bad idea
One thing you are missing is a lot of organizations don’t care about UI tests. They’re brittle and the UI is always changing anyways so you get diminishing returns from writing many of them. Usually an end to end test is enough. UI logic is usually not that complicated, if it doesn’t work you will know right away. Hooks are acceptable.
Ah, okay, Google search is the only Google product I use, or where I know that the ads are from Google.
These are the kind of harmful effects that prohibiting market options, that fall below some arbitrary quality/safety standard, have.
The Mazda RX-8 uses a counterweight. (Actually, on the manual-transmission version it's a flywheel that has a sort of lip around the rim that's thicker on one side than the other.)

Aftermarket flywheels are generally symmetrical, with a way of bolting on a separate counterweight piece.

(The reason I know this is that I'm working on converting an RX-8 to electric. I got the car cheap with a messed-up engine, and I bought an aftermarket flywheel to replace the lopsided stock one because I don't want the car to shake itself to pieces. I haven't gotten around to ordering the adapter plate yet, but CanEV makes an RX7/8 transmission adapter plate along with two different versions of a coupler that attaches the motor to either a tapered-shaft style flywheel, which is what the car had originally, or a six-bolt variant for some other version of the engine.)
I don't know of any "choir synths" that run to thousands of dollars, but there are plenty of sample libraries that cost hundreds of dollars.

I'd guess this is procedurally generated. Different tech.

The graphics are delightful, but the vocals are actually quite crude compared to what's possible, even without any ML.

Two technologies called FOF and PSOLA have been around for decades, and can sound not unlike this.
openvpn on a vps you already run, or some dirt cheap box. If you're buying dvds and cds every year you're more than likely spending more than you would on a vpn setup, or just use safer trackers. You could probably use nothing and any fines you eventually probably won't get would be less than the cost of the hard media anyway.
"it was a character study all along"

no it bloody wasn't
For Windows users: switch to Linux

:)
If I wanted to learn formal verification methods like he describes, can anyone recommend where to start?
Is there an article we could read? Sounds fascinating.
To me the main benefit isn't that they're easy, it's that they're composable. They allow you to reuse "business logic" in multiple components. If it's getting too complex then that's presumably when you ought to be creating a custom hook which wraps up some of that complexity.
I think that what it does is that it reduces casual "biking to go shopping, work, school" trips. The safest ones and the ones that do good for health.

It does not reduces sport "I am going to get workout now" trips - the most dangerous ones. (But still pretty safe!)
That's sad :(