skysight-inc/HackerNews huggingface dataset:
Not really. Even if you have one person architecting the system you will have at least a couple developers implementing. Knowledge will be spread across multiple people preventing any one of them being indespensible.
William Shakespeare receives the coronavirus vaccine
Show HN: Kweb 0.8.0, a lightweight Kotlin web framework for backend devs
Log compaction definitely isn’t problem free. I’d say it was crazy when he wrote that.

We ran a cluster with lots of compacted topics, hundreds of terabytes of data. At the time it would make broker startup insanely slow. An unclean startup could literally take an hour to go through all the compacted partitions. It was awful.
> NULL is a perfectly logical value to encounter or need.

Great! Assign to it the type Null.

This is legal:

Null myNull = null;

Make this illegal:

Integer i = null;
Learn C# with Visual Studio, Visual Studio for Mac and Unity (& win a free book)
I can spend a month diving down the rabbit-hole of avionics and flight systems and crash reports and tower transcripts and attempt to make myself an armchair expert on the safety of the 737MAX and then attempt to make a determination of safety for myself and my family.

Or I can take a shortcut and see press coverage of the Boeing CEO and BoD and their extended families take a few flights in and out of tricky airports.

It's ski season anyway - won't all the grandchildren like a nice flight into ASE ?
I prefer this one https://youtu.be/NYSxkqL9l_8
It's generally not exploitable if the crash is triggered by a read, not a write, and it's not clear from the advisory which it is; writes to NULL can be exploitable if NULL is mapped (which is a configuration issue more than a permissions issue; it is most frequently not) or, more commonly, if the write address includes an attacker-controlled offset (though it may be the case that we've stopped referring to those conditions as NULL-involved).

The ability to map arbitrary memory is, of course, as you point out, a game-over vulnerability by itself.
It always seemed to me that problem with GPLv2 wasn't any shortcoming in the license, as such, but in certain legal opinions that labeled things "compliant" which were clearly against the spirit. TiVo-ization is a violation because GPL software and proprietary software are combined to form a single piece of software, distributed as a single binary firmware image; the fact that there's some notional internal interface between the GPL and non-GPL code within, if you manage to crack the firmware that is, should be legally irrelevant. But engineers are wont to be distracted by concerns such as "kernel space" and "user space", and "dynamically linked" vs "compiled in". Absolutely none of this matters, if I'm getting a big-ass opaque blob with a mixture of GPL and proprietary code in it. The same goes for the average Android handset, for that matter.

I think the battle was lost by not pushing the advantage hard enough.
ATHOS | Multiple Positions | Redwood City, CA | Remote | Full time | Competitive Salary + Benefits | https://athos.applytojob.com/apply

At Athos our mission is to build better athletes by helping coaches and athletes personalize their training and make better performance decisions. Our training system is used by many of the best sports programs in the country.

Since we started, Athos has been translating EMG into a simple and powerful training system. From cueing how you use your muscles, evaluating movement progression and monitoring when you are at risk of injury throughout your training. By giving athletes and coaches this unprecedented insight into muscle performance, they better understand what the body is actually doing in the days, weeks, and months of preparation for the performances that matter most. We are helping athletes reach their highest potential and are used by many of the best sports programs in the country.

Interested in joining the team? We're always looking for highly-motivated employees who will help us stay on the cutting edge of creativity and human performance innovation.

We are hiring for the following positions:

-Senior Frontend Engineer (Remote):
https://athos.applytojob.com/apply/3g1ZIMJbCy/Senior-Fronten...

-Backend Engineer (Remote):
https://athos.applytojob.com/apply/5jzmqYWqK0/Backend-Engine...

-DevOps Engineer (Remote):
https://athos.applytojob.com/apply/8DxbGOA7hl/DevOps-Enginee...
+1

My experience with the AirPods Pro is far from being smooth. Random disconnections, sometimes L or R do not connect, cannot use microphone and listen to music...

Tired of them. Bought a pair of Beyerdynamic with a 3,5mm jack and not even a single issue... For about 150$...
I use a mix of the below:

- IntelliJ (similar notebook style setup as Datagrip for SQL queries)

- Sequel Ace - a fork of Sequel Pro

https://github.com/Sequel-Ace/Sequel-Ace
I won't be wearing them, they look absolutely terrible. Honestly like headphones you'd find at a dollar store bin (in terms of design.) But they will probably catch on, I think the AirPods themselves looked silly but so many wear them now as a fashion statement. Apple has somehow convinced people that they are a fashion/status company, it's incredible.
I use a pair every day. And I use bluetooth headphones every day. The existence of either doesn't make the other useless.

And I have used bluetooth headphones for over a decade, I find it hilarious that when apple suddenly had a offering that it suddenly became obsolete with cords.

It is impossible to overstate how much bluetooth sucks for temporary connections. I dare you, pair your device in my car. Or to play that song on a shared speaker setup. Just a quickie, see how well you do. Might work, might not. The outcome isn't decided by you alone or what device you are pairing with - guaranteed.

The environmental impact alone should give one pause. As the batteries will go out and make the heaphones next to useless. Tech-savvy ones might replace them but that is hardly the norm. Yet my corded headphones are over a decade old sounds better than what apple is offering at a fraction of the price.

They do not have active noise cancellation though - and that is a killer feature! For some situations... Not in my home, where I use them. Because I have the option to do so.
Modern music is usually heavily distorted on purpose at the mix step, I mean what's the point of buying equipment with high fidelity to listen to layered synth or auto-tuned voices? Recording engineers don't use audiophile gear, and it's no surprise when you have seen a typical guitar signal chain. Being able to discern instruments and layers with clarity and definition take years, yet I'm always amazed at what people failing to recognize the most basic things or issues, or do a basic EQ, will spend money on.
Your comment is a bit unclear. Can you give an example of what you think no Lisp-aware editor will produce?

> They specify a couple core forms that have a body, which is indented "semantically" and the rest is treated like functions where new lines are indented to the first argument.

Your "they" looks like it refers to "examples", which is the first (actually, only) plural word that we encounter in a leftward scan from the pronoun.

I think it's actually supposed to refer to "lisp-aware editors".

Firstly, that is not quite right. There is no fixed core of forms that have a body, because user-defined macros extend that repertoire. You have to teach that to your editor, in the light of what projects you are editing. For instance, in Vi, the ":set lisp" mode has an associated "lispwords" variable which holds a list of the symbol names that are to be treated as operators that have a body rather than functions.

But the code in the Semantic Clojure Formatting page linked to by the submission is in fact exemplifying this formatting. It shows operators that have a body being indented, and function calls exhibiting argument alignment.

Can you cite an example of what you think is wrong?

The only exception I see is the "narrow format" for function calls. But that's not an invention from the Clojure world. I've resorted to that narrow format myself, in code that is deeply nested and hitting the maximum column limit of the surrounding coding convention.

(deeply
(nested |___|___|
......................... (aargh |__|___|__
too |___|___| brick wall
cramped |_|___|__
here |___|___|

I don't like it very much; I prefer to refactor the code to avoid it, if possible. But if you put a line break immediately after the function name, then that is realy the only sensible indentation you can follow.
This post doesn't mention the _actual_ answer, which is to:

1) Write a event recording a _desire_ to checkout.
2) Build a view of checkout decisions, which compares requests against inventory levels and produces checkout _results_. This is a stateful stream/stream join.
3) Read out the checkout decision to respond to the user, or send them an email, or whatever.

CDC is great and all, too, but there are architectures where ^ makes more sense than sticking a database in front.

Admittedly working up highly available, stateful stream-stream joins which aren't challenging to operate in production is... hard, but getting better.
Sure, but if Fuchsia is 100% grunt work and there's nothing cool to do in the project it's not going to attract outside contributors.
DigitalOcean Load Balancers for higher-scale business applications
> Captain Lee also instructed passengers to stay put and did not change the order even as he was leaving the ship.

This reads like SpaceBalls.
Boy, those just don't look right.
Plan B worth it, Valve invest his resources not just for fun.
Interactive Brokers Outage – letter to clients
Financial Data Magazine – New Blog by Natalie
Ask HN: Anyone Using Snowflake?
Do you like their offering? How much data are you storing in their system? Is the pricing favorable for small companies?

What are the pitfalls?
A brief history of IKEA (RIP catalog)
You're not actually allowed to:

>Everyone is permitted to copy and distribute verbatim copies
of this license document, but changing it is not allowed.

From wiki though:

>According to the GPL FAQ, anyone can make a new license using a modified version of the GPL as long as they use a different name for the license, do not mention "GNU", and remove the preamble, though the preamble can be used in a modified license if permission to use it is obtained from the Free Software Foundation (FSF).[60]
I have that same problem. I think hitting the "dark mode" CSS preset (which pastes the CSS, unreadable of course, into the edit box) and then pressing Enter actually let the style stick. I also had to refresh my HN pages for that particular change to take effect.
> it comes up if the maintainership of a work tries to re-license the work

Bingo! Google will relicense Fuchsia to OEMs etc. under new terms if they want to include Google services.
Couple questions about how this works.

1. Is "acyclic" checked by the compiler in any way? or is the programmer basically saying "I'm responsible for making sure this there are no cycles, and I accept that memory will leak if I'm wrong"? I imagine the latter because the compiler check sounds infeasible. (Similarly Rust's memory safety doesn't guarantee there are no leaks.)

2. How does it work with multiple threads? I see a Q/A here [1] which says

> C: We do not do atomic reference counting, we have a shared heap where you move subgraphs completely to a different thread. A graph is always owned by a single thread, there is no need to make the reference counting atomic. We have mechanisms in development to ensure this at runtime or at compile-time, inspired by the Pony programming language.

and would be curious to read the one-page rather than one-paragraph version of this...

[1] https://forum.nim-lang.org/t/5734
Please don't.

Edit: We've had to warn you about flamebait comments and personal attacks before. Continuing like this will get you banned. If you would please review https://news.ycombinator.com/newsguidelines.html and use the site as intended, we'd appreciate it.
Please don't.

Edit: you've unfortunately been breaking the site guidelines a ton. We ban accounts that do that, because we're trying for something different on this site. Would you please review https://news.ycombinator.com/newsguidelines.html and take the intended spirit to heart when commenting here?
>To be clear, I don’t want to suggest that Moderna should have been allowed to roll out its vaccine in February or even in May, when interim results from its Phase I trial demonstrated its basic safety.

I was worried this article was going to fall down this trap. Glad to see I was wrong.
That's my point and that's why I think it's unfair. If my company goes bankrupt the government won't give me millions to stay afloat.
> What was the point of Red Hat taking over CentOS then?

Embrace, Extend, Extinguish.

They're probably banking on it taking a few years for a standard centos replacement to be established.
Interesting. I have astigmatism too, but never had any idea it would have any bearing with something like a colour scheme. I'm not sure I like the new dark theme and now I'm wondering if it's just because it's new or because of astigmatism
This is in part because the white tips sticking out of your ears is a form of social signalling that you are affluent or fashionable.
Debugging skill is generally useful, even outside of programming. You need it to fix a car that won't start, or to fix a toilet that won't flush, or to figure out why your bread recipe isn't rising well in the oven, or to understand why you fall off a boulder problem at the same spot on every attempt. However, it would be hard to teach debugging independently of another subject, as a general skill. Debugging relies on working knowledge of a system; you need to know a bit about how something works to figure out why it doesn't work. Moreover, debugging requires self-direction and creativity. Debugging is a skill that can be learned, but that cannot really be taught.
I just tried this in a Github readme, it looks like Github removes the JS.

Would be interesting to try to find a hole in this.
> @syshum, yes, but it's not exacly RHEL, and it's not distributed outside AWS

On the first point you are correct. It's not exactly RHEL7.

On the second point, Amazon provides images for running on prem[0]. We run a lot of dev AmazonLinux2 VMs on prem so that the local computing environment matches the deployed EC2 environment.

0: https://docs.aws.amazon.com/AWSEC2/latest/UserGuide/amazon-l...
I hate to be the one to ask, but ... why can’t they throttle demand and increase capacity by raising prices?
Meaningful Availability, Hauer et al.: https://www.usenix.org/system/files/nsdi20spring_hauer_prepu...

A good incremental improvement in service level indicator measurements for large-scale cloud services.

Obligatory The Morning Paper post: https://blog.acolyer.org/2020/02/26/meaningful-availability/
I'd love to hear more of your thoughts on this. Was it wrong to openly license v1? Or the market changed enough from v1 to v2 that necessitated this change?
There's a blog post as well. I'm unsure what makes for the most relevant link: https://www.hashicorp.com/blog/announcing-general-availabili...

I'm the Nomad Team Engineering Lead and would be happy to answer any questions people might have.
I feel exactly the same. Major bike shedding in my opinion. I prefer the yellow anyway. In a way, It allows others to focus on who I am, not what I am.
Various companies, Apple most notably, clearly avoid GPLv3. For years Mac OS X has had the last GPLv2 version of bash.
I was wondering something while I saw images of people fully reclined with their arms in the air - wouldn't you drop the mouse on the floor quite easily?
As a self-learnt developer I know a little bit about those things on my stack. Do you think I could try and recompile that info into blogposts or a repo or ebook or whatever?
Spotted the sociopathic dark personality.
Honestly the first Airpods were cheap for "true wireless headphones" compared to other offerings.
Ackoff: Confusing Learning with Teaching (2013)
I suspect Leaflet's current install base is many times that of any alternative - it's certainly not dead, and I'd argue its simplicity makes it ideal for most basic mapping applications.
The desktop environment is nice, but android can do all the rest of it. I've never had problems with printing from my phone and webcams and gamepads work just fine over USB.
A Conceptual Introduction to Hamiltonian Monte Carlo (2017) https://arxiv.org/abs/1701.02434
All of those tools have a mismatch between how different people involve see their work.

At one end there is the "user story" which can be great for envisioning but a poor match for describing the work that has to get done. There is also the "bug" found by the end user or by the tester or the code, not to mind the "feature request".

People see those as different but when quality counts the coder is going to do the same thing no matter what a change request is called. A change request can also be scoped to subsystems, such as a web front end vs a back end. There are many reasons to keep separate paperwork for those systems (maybe different people do the work!) but when the tester fails it, the tester has no idea if it is a front end problem or a back end problem so it is 50-50% they will fail the right ticket, etc.
It must be a classic selling point... a French company (pretty big) told me the same thing to lure me (even if my hypothetical job was not directly related to that fact)
I guarantee that everyone, including you, will have forgotten this completely in 5 years. I would put money on it.

It would be cool if carriers caved into this fear and sold 737 MAX tickets at a discount.

Also, you're forgetting EASA and other countries' regulators. I'm sure they've picked over everything as well. I think they had egg on their face, as they're supposed to act as another foreign check on these designs.
> All we have now is Red Hat taking the CentOS branding and running with it. And even that point I don't get - they could have done this with plain RHEL or Fedora branding too.

Yeah, it's all very confusing. The only thing I can think of at the moment is that CentOS has so much mind-share that RHEL wants to tap into that and funnel it back to themselves more effectively. It used to be people knew what Red Hat was and you had to tell them about CentOS, now so many people use and know CentOS I think there's probably a good chance a lot of them don't even know that it's a respin of RHEL.

All of this only makes sense to me if the whole point is to leverage the popularity of CentOS into more RHEL subscriptions by providing a product that's more annoying for most people that care about a stable server (because it's backing their business) to use because it's less static.

Personally, I think it doesn't matter why Red Hat bought CentOS, what matters is what they just did, and as I think that's purely self serving (and to the detriment of the public and community) and if there are apologist engineers here that work for RH, perhaps they should look closely at how management is managing them, because of course management is going to present it in a way that tries not to alienate their staff and community. The results speak for themselves though, CentOS in the form that so many people relied on is effectively dead in a year.
IDK about all the FAANGs, but at least when I worked at Microsoft this wasn't true: GPLv2 had the same auto-approve policy as MIT/BSD licenses, whereas GPLv3 was forbidden without specific dispensation from legal.
I think you are confusing the IP header with TCP header.

Routers don’t touch the TCP header at all
Every time I go on vacation I visit a local brewery.

There are over 10 massive breweries local to where I live, and I have never even considered visiting a single one of them.

Same typically goes for the using/living near a beach and using/owning a pool.
Florida police raid Covid data whistleblower’s house with guns drawn
$2,500 easily in the next 5-years.

We can still see $700 end of the year, and $1000 by next year.
It's mostly taxpayer funded entities that provide defined benefit pensions now, since in the US, they are exempt from any laws about setting aside any money for the future benefits.

This works well for politicians and senior government employee union members, who can be promised lavish benefits in the near term, at the same time as advertising low taxes to the non government employee voters since they can just make up numbers for how much they need to save to pay the benefits.

They won't do it so brazenly as to simply set aside $0 for benefits promised today, but it happens by using extremely liberal discount rates (~8%) to make future liabilities look less than they are. For reference, non taxpayer funded entities are subject to Pension Protection Act of 2006, which requires pension plans to use highly rated corporate bond yield curves, around ~4%. Each percentage increase in discount rate, roughly, makes the amount of money you need to save today 10% to 20% less (since you're assuming greater investment returns).

Legislators can also just not pay the recommended amount. For example, in a government pension plan, the actuaries comes back with a funding recommendation of $1B to pay for the benefits accrued this year (which is already understating costs due to liberal assumptions). The leaders or legislators will just say we don't have $1B this year, but let's do $500M, and then amortize the rest over the next 10 years. Maybe the governor or mayor promised no tax increases, maybe they want to push tax increases or budget cuts to after they move onto their next political office.

You can keep this rob the future to pay for today scheme going for a few decades while people are having lots of kids and the tax base is growing and income from taxes is growing. But it comes to a head, like it is now, eventually.
>The real problem that was never addressed is the FAA's complete lack of competence when it comes to certifying the safeness of flight control systems. The same incompetent group of people that approved the planes in the first place are still in charge.

Your belligerent tone is probably what's netting you the downvotes but this portion is more or less true.

The FAA has clearly demonstrated they cannot competently evaluate systems like MCAS, whether because of a lack of technical expertise or because of too little staffpower, or some other institutional reason. I suspect a mix of both; as we saw from the crashes the interplay between MCAS and the rest of the aircraft has subtleties that were obviously not considered.
I use flux on my windows box to tone down the colour temperature at night, and it's a real eye saver.
> They just got what they paid for?

Funny, but isn't this totally reasonable grounds for an adverse possession claim against RHEL?

If a business claims they're going to keep doing something, and you build your business on that claim, and then they change their mind, you can have grounds to sue. Or, at least, that's what I vaguely remember from reading about AP law.
Pretty easy to “debundle” when you just block access. If I lived in China I would take tiktok over any Silicon Valley app, and if I was looking for maximum network effects I would also use tiktok because potential market is 1.4 billion people larger
This is real talk. I train software developers these days and this was exactly my very first observation from the start. It's always perplexed me that there's no plan to teach debugging.

Its such an important skill that it boggles the mind. Anyone have any thoughts on why this seems to be glossed over or not even included in most school curricula?
The only times I've ever had guns pointed at me were by the cops.
This allergy is one of my big fears. I wasn’t aware that it could be fixed, is abstention what clears it up or is there some other procedure?
Even in 2019 it was late to use Thrift... And with C* 4.0 it should go away completely
I had an issue with R constantly not connecting. Ended up replacing under the warranty and now have zero issues.