skysight-inc/HackerNews huggingface dataset:
I volunteer on the board of my ski club. We have three lodges across two resorts and have used a couple of different booking systems over the years. They've all been pretty bad, usually falling over under load and then making financial errors.

Clubman is well tested (TDDish) software written in Go and hosted on Kubernetes (GKE) with payments through Stripe. It's done 6 bookings per second in real world usage and been synthetically load tested to 10x that.

Ski clubs are a small niche but they have very specific needs. There are _lots_ of booking systems for hotels but they're all geared towards filling as many beds as possible with people willing to pay (of course!) Ski clubs usually have rules to ensure all members get equitable use of the facilities while also trying to maximise utilisation. These rules can get very complicated with multiple classes of membership, multiple rounds of booking with different entitlements and limits on beds and guests, different rules for high and low season, etc.

Clubman implements a system of Rules based on Triggers and Actions. It allows clubs to reflect arbitrary sets of rules without needing to commission custom modules from the developer as with other systems.

Notbad Software is a one person operation. I've built Clubman over the last 12 months alongside consulting work and my other products. I'm very proud to launch it to all clubs today.
> Just being able to put an image in a comment explaining your algorithm into your code would be huge improvement

i do this all the time.
Query optimisation is such an underated skill, imo it should be prioritised as a core skill for any backend developer
But it is also worth noting the ZTE story which ended with ZTE paying a 1B "fine":

https://www.androidauthority.com/zte-reportedly-will-pay-us-...
Mods, please change the link to [1] and perhaps install a filter for chicagotribune.com submissions, because they still blanket-block EU visitors with -

Unfortunately, our website is currently unavailable
in most European countries.

[1] https://www.tulsaworld.com/durand-bar-owner-uncovers--year-o...
800 pounds? China pumps 4,800,000,000 pounds (2.4 million tons) of plastic into the ocean each year.

No, western countries are not perfect. Yes, the vast majority of ocean waste comes from poor, non-Western countries. The US, 3rd largest country by population, is #20 for ocean pollution. China alone produces 1/3 of all ocean waste.

https://www.scientificamerican.com/article/world-s-oceans-cl...
Thanks - good investigation. We're replatforming a legacy app from Oracle to Postgres in the near future and I'm sure we'll see stuff just like this. Definitely saving so I can refer back.
My 2c to teams attempting to write SOLID code: Please make sure that the entire team that touches the code base understands what makes it SOLID-compliant (Don't like the term compliant, but it'll have to do). SOLID is more a framework for communication between engineers than anything else.

For example, if one engineer thinks class X has a single responsibility, but the name can be potentially interpreted differently, then unless she's on the job and reviewing every commit the principle will soon get violated. However if the team is open to having a healthy debate and iterating until they mostly agree, then SOLID raises the team's understanding of their code and THUS the quality of the codebase.
This was expected. Huawei now presents a serious competition to the likes of Apple, so the 'free market' in the U.S. responds by...shutting down the competition.

Now I know the counterargument is about Chinese protectionism, but it is the U.S. who has always championed free market capitalism and led interventions in order to forcibly open other markets to its exports.

As this shows however, this belief in the free market is anything but principled.
<<Unfortunately, our website is currently unavailable in most European countries. We are engaged on the issue and committed to looking at options that support our full range of digital offerings to the EU market. We continue to identify technical compliance solutions that will provide all readers with our award-winning journalism.>>
It's more than just a SAT solver, but Microsoft's Z3 SMT solver has an option to minimize a quantity of interest. I haven't worked with it much, but it seemed faster than a binary search on 'k' when I was playing around with a non-TSP problem.

https://rise4fun.com/Z3/tutorialcontent/optimization
Disclosure - I work at Kong.

Kong has a native kubernetes ingress controller. A large portion of our customers use us with K8s
Microsoft tried hard to have a mobile operating system, there were others too but the problem is that nobody cares for the operating system if there is no viable ecosystem around it.
What's a Ghost Moose? How Ticks Are Killing an Iconic Animal (2015)
Ask HN: What is the best book on design you've read?
Looking for a great book on basic design principles that allow me to make some strides when it comes to product and UI design. Curious to what you have come across.

Any recommendations?
I called those out as not practical problems because the commenter specifically asked for that. I’m all for research, but there’s this bait and switch that goes on with SMT solvers. They’re presented as useful (TFA says “underused”) and when someone asks for real life use cases, people show minesweeper.
I agree with you, but I don't think it's generally as bad as you paint it. The longest games I've ever played take around a dozen of hours to complete - and there weren't many of them. This of course means that I haven't and probably will never play some popular titles like The Witcher, GTA, RDR etc. that ask for a huge time investment, but there are plenty of really great games that take at most a few hours and which make you feel like after reading a nice book or watching a good movie instead of wasting time.
It's been a quarter for at least the last 18 years. You'd think with all the inflation that's happened over the years they'd have to increase the deposit at some point.
I didn't know that, seems interesting. I will try it the first chance I get. Thank you
Having hit this sort of problem too many times, I now recommend a DNS style FQDN in all my click-stream data.

The domain stored as ".com.google.mail" etc.

This breaks down a lot of these sort of queries with a simple enough '.com.google%' filter and which gets evaluated internally even on min-max zones.

Gets turned into ">= '.com.google.' and <= '.com.google.\u0ff'" in byte comparisons.

Even then it doesn't really help with the array syntax - because the condition doesn't get pushed there.
The danger involved for fire and police is highly dependent upon geography and role/rank.
Or perhaps one biological concentrating step.
Yeah. There are quite a few ways to do it.

You can even get TCP/IP stack and a Web browser running (though things are very slow and many sites do not work).

https://www.youtube.com/watch?v=svTDHiBePyM
> without blobs

Will never happen.
A person who uses YouTube heavily, who's content many people here will recognise, has a contact inside Google. This Google representative has reportedly said that the group who are recognised as "VIPs" (Very Important Person) by the company specifically excludes people working in a particular field of content production, namely gaming.
What Is Ghost Writer?
It's worth remembering that the 10 hours include "commute" and lunch, so it's about the same as as a nominally 8 hour workday.
Some constructive criticism:

abstract class Employee {
// This needs to be implemented
abstract calculatePay (): number;
// This needs to be implemented
abstract reportHours (): number;
// let's assume THIS is going to be the
// same algorithm for each employee- it can
// be shared here.
protected save (): Promise<any> {
// common save algorithm
}
}

class HR extends Employee {
calculatePay (): number {
// implement own algorithm
}
reportHours (): number {
// implement own algorithm
}
}

class Accounting extends Employee {
calculatePay (): number {
// implement own algorithm
}
reportHours (): number {
// implement own algorithm
}

}

class IT extends Employee {
...
}

This is still a violation of SRP. IT does not care about the employees pay and shouldn't be forced to implement it.

Modern OO adds an additional rule to SOLID: favour composition over inheritance.

HR and IT should not extend from Employee. HR should be more like

class HR {
calculatePay (Employee e): number {
// implement own algorithm
}
reportHours (Employee e): number {
// implement own algorithm
}
}

The first question you should ask when deciding to use inheritance is: do I really need inheritance here?
Then, ask yourself again: Is <childClass> a <parentClass>?

In most businesses, HR is a Function or maybe a Department. HR might have Employees but HR itself is not an Employee.
I don't understand what this has to do with React. You are sending 2MB of data to the frontend. Can you paginate it? Request a subset?

If you are fetching data from multiple endpoints and waiting to render anything until ALL of them come back, that has nothing to do with React. You can start rendering the components that already have their data as soon as it comes back, not wait for all of the other components to have fetched.
I may have missed this, but have there been any specific accusations against Huawei? It is clear Chinese actors hack and steal IP, but have those been connected to Huawei, or are they just the easiest victim for the US to retaliate against?
I understand the theory, but good luck selling a car on the basis of "probably as safe as the average driver!" And good luck convincing the parents of some kid run over by Google that it's just one of those things.

Note also that for many of those 37,000 deaths, a human is found culpable, often doing time. Who do you propose should do the time for autonomous cars? An engineer? Their manager? The CEO?

In practice, our corporate accountability is such that nobody will pay any penalty. Maybe that's fine when, as with the 2008 financial crisis, the losses are abstract and distributed. But when it's the life of somebody's kid, somebody's mom, somebody's sister? That at best will be an extremely volatile situation. Especially if Google or Uber captures 20% of the self-driving car market and is now responsible for 37,000 * 0.20 = 7400 deaths per year, or about 20 per day.
Well, OS updates weren't going through the play store anyway, no? And it appears you'll continue to be able to download app updates via the play store "But users of existing Huawei devices who have access to the Google Play Store will still be able to download app updates provided by Google.".
If this escalation is continued; Apple will likely loose access to the Chinese market creating a huge open space for a high-end mobile phone offering.
There were lots of "alternative" mobile OS's before AOSP, and even before iOS - AOSP simply got critical mass behind it in a way that other OS's didn't. But Huawei isn't going to push for an open alternative either - even their versions of AOSP have always been among the most closed and hardest to "mod". As far as openness goes, Purism/Librem, and the pmOS community project remain our best bets.
And Microsoft's mobile OS was actually good - many lamented its demise.

Didn't Samsung also create a new mobile OS in recent times? I wonder how that's doing now?
Housing crisis has Seattle weighing end of mandatory single-family house zoning
The hand-pulled and fried type are decent.
This looks like a nice box. Powerful, super cheap! Perhaps a bit thermally constrained though.

On a similar note, I picked up a Gigabyte GB-BLCE-4105 a couple of months ago. Very small box with a quad core J4105 Celeron CPU. Tiny fan. Added 16 gigs of RAM and a 512GB NVME SSD.

Super nice home server, using a small amount of watts. Running a minimal Ubuntu install which uses kvm to host multiple isolated VM's for different applications (Unifi controller, domotica, smb, solar panel/energy control, etc.).
I remember reading about a company's shares rising by like 400% after it added "blockchain" to its name. Rational agents are going to do rational things all over the world /s.
Interesting, I'm curious about the impact on wildlife and the way they switch the full nets for empty ones.
They imply there's an overflow system in place I'd love to know how that works

More info on the company manufacturing those http://stormwatersystems.com/trash-traps/
They also make trash collecting bots boats.
Indeed. See also: nuclear testing at Bikini Atoll, the Salton Sea disaster, United States Navy training in Puerto Rico, and the Hanford nuclear site.

But even when landowners have "skin in the game", man-made environmental disaster can still strike, like when bad farming practice led to the Dust Bowl.

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

[2] https://en.wikipedia.org/wiki/Salton_Sea

[3] https://en.wikipedia.org/wiki/United_States_Navy_in_Vieques,...

[4] https://en.wikipedia.org/wiki/Hanford_Site

[5] https://en.wikipedia.org/wiki/Dust_Bowl
Generally necessity of the company and organization - at a point you become one of the more senior engineers and your role starts to change from one of implementation to one of specification, mentorship, solving the hardest problems versus building everything yourself.

You help product and senior engineering decide how to build things, how long they might take, what features are hard to build and should be cut from the first version, etc. Usually this happens with more junior devs who will actually implement the feature; so it's collaborative and you help them get started with the project, get over any snags in the implementation, and eventually code review before shipping.

I think at this point you need to decide if you want to be more technical or handle the people side of things - think CTO vs VP Eng, the former tries to have zero or few reports while the latter manages senior engineering or engineering directors who might manage another tier of more technical engineers depending on the size of the org. These titles can mean different things in different companies, but I typically think of the CTO figuring out the tech strategy, and VP Eng thinking about the organization's strategy around recruiting and keeping talented engineers.

There is value in having both types of people, and companies should set up career tracks for both with similar salary and stock compensation. I wouldn't say they'll always be equal, but you'll end up doing well in either and you should probably optimize for what makes you happy -- leading the team technically, or from the management side.

Additionally I'll say some engineers think they need to manage to move up and they have a strong desire to do so; so much so, they'll bounce around between companies until someone gives them an engineering management job -- but they're often terrible managers lacking any empathy and only really thinking about their bottom line and not what's good for the team or organization.
I'm not exactly sure what you are saying. Elites are outliers by definition. Elite runners are mostly elite because of genetics. Then they train hard to realize their potential. 99% could never become elite in traditional running events, no matter how much, how hard or how smart they train. The top 1/10 of 1% of the general population is more likely the definition of elite in running.
Some related work to look at, if you're interested in approaches like this, are the pattern-based syntax transformers from Scheme (e.g., early `syntax-rules`) and Racket, and the XML transformation languages.
Context: I've recently come across yet another side effect of climate change: the moose population is being endangered by ticks (and other parasites) who can now thrive in winter. The younglings get covered in tens of thousands of ticks and die of blood loss or starvation. – paraphrased from r/collapse

Highlights of the article:

> Ghost moose [is] an animal so irritated by ticks that it rubs off most of its dark brown hair, exposing its pale undercoat and bare skin.

> In recent years in New England, ghost moose sightings have become increasingly familiar.

> The reason is likely climate change [...] which is ushering in shorter, warmer winters that are boosting the fortunes of winter ticks [...] One moose can house 75,000 ticks, which are helping to drive a troubling rise in moose deaths, especially among calves.

> April has become "the month of death." That's when calves, skinny and malnourished from the lean winter and exhausted from carrying thousands of ticks for five months, are most likely to drop dead.

> The tick's life cycle begins in November, when larval ticks climb on plants, waiting for the two meter moose to brush past. The ticks clamber aboard and feast on warm moose bodies until early spring, when they drop off their host.

> In the past, after long New England winters that lasted well into April, the ticks would jump off moose, hit spring snow, and die, [...] but warmer, shorter winters means those ticks are more likely to land on bare, snowless ground, which lets them live another day — and possibly flourish.

> (In one case) The ticks had taken so much blood that her starving body was raiding its bone marrow, muscles, and even heart for precious protein. The moose, for all intents and purposes, was eating itself alive.
HTTP has a builtin mechanism for this; you can send 200 OK if you want copyright law to control the use of your content, or 403 Forbidden if you want more restrictions. Google, of course, does not super care about your extra conditions, so the 403 route probably isn't going to get you much.
That's a strong claim: that human capacity for working hours at the outliers never exceeds by more than 25% what the average has converged upon.
Show HN: Points, Halftone Image Generator
This merely puts the plastic pollution somewhere else (into a dump near the ocean most likely), so it doesn’t really save anything.

The problem is still the production of the materials in the first place.
>So basically a viewpoint that I tend to agree with is that this is all about resetting the trade relationship to a normal one between peers.

Fairly sure you're wrong on this, the US now wants an advantageous relationship. Not an even score.

Just returning to even ground would let China keep the advantages it has reaped.
Some of these code examples are not great.

Using inheritance when it's really not needed.
I assume Cadence, Synopsys, Mentor Graphics, Xilinx, Intel PSG, Microsemi, Lattice, and Qualcomm are also affected by the Huawei blacklist.

Can Huawei survive without these critical components and EDA tools? If Huawei ignores the loss of licenses and uses existing software and libraries to develop future products, will those be banned from US and EU markets?
At 55 feet long, shouldn't this be called a mural rather than a poster?
Being a police officer in a suburb where there is no crime does not belong in the same analysis as being a police officer in a crime filled area. Being a parking compliance officer and an undercover drug enforcement agent also have wildly different risk exposure. To compare these various jobs similarly from a risk assessment point of view by bucketing them under "police officers" is ridiculous.
A link isn't an argument... but briefly, an appeal to tradition can be right or wrong. In this case it's closer to right, because human biochemistry hasn't changed nearly as much as the Western diet has.

Diets were completely changed in the last 70 years -- how much evolution do you think happened in that time?
I think so (if the data is still intact), although it will probably be very difficult to do with common equipment; you will need uncommon equipment to do so (which might be very rare by that time, and maybe not available commercially, but I think some interested people might make their own if needed, and do it anyways). (Even now there is people interested in various kind of historical stuff.)
It's completely rational to buy a stock if you think other ppl are going to be irrational and make the price surge.
thanks for link! Wonderful story and images.
I love it.

Any chance of further integration with browser bookmarks? That would be even lovelier.
Garry Kasparov talks AI, creativity and data privacy
No but it means one less potential conflict of interest. If a company is processing food for you then they get to make sub-optimal decisions that increase their bottom line at the expense of your health.
From a marketing/business perspective for the automotive industry, my hypothesis is that it’s in their interest to favor publicizing the ‘best-case scenario’ earliest dates over realistic target dates for these kinds of milestones to hype the public up and make a company look like they are ahead of the pack in innovation.

This is the sentiment I gathered from also looking back at previous announcements in various industries (see r/retrofuturism on reddit) where a CEO will say that something is 5 years away when in practicality it’s at least 5 years away from being 5 years away.
Optimizing a large database (billions of rows) has been the bane of my existence over the last couple months. But, when you finally get that 10x / 100x performance improvement, it’s all worth it... until the next thing.
Do you think beta software belongs in airplanes too? We sure could do with a lot more 737 MAX incidents.
Canada just has different hate speech laws than the US. Is it so hard to have a happy medium?
In what world is Huawei a leading premium device manufacturer? Do you have a source?
A practical example is the Alive theorem prover, which found many bugs in LLVM's instcombine pass (i.e. peephole optimizations) and which we now use to prove the correctness of new transformations.

https://rise4fun.com/Alive
https://blog.regehr.org/archives/1170
It looks like the outro song he used with permission may have used another song (permission unknown). That song is from 1935 so you'd think it was in the public domain...
https://www.whosampled.com/sample/231036/ProleteR-April-Show...
>> “It’s really, really hard,” Krafcik said during a live-streamed tech conference. “You don’t know what you don’t know until you’re actually in there and trying to do things.”

Now, where was that Rodney Brooks interview? Ah, here it is:

https://cdn.arstechnica.net/wp-content/uploads/2018/06/2nd-P...

>> Rob Reid: (...) Why do you think these people and others are overestimating the rate of development in this field?

>> Rodney Brooks: I think they're making a bunch of mistakes. I asked them when did the first car drive down a freeway for 10 miles at 50 miles an hour. They know that the Google cars did that in 2004 or 2005. It was actually done in Germany in 1987.

>> Rob Reid: Wow.

>> Rodney Brooks: When are we going to get the first car, hands off the steering wheel, feet off the pedals, drive coast to coast in the US? Yeah, well, it actually happened in 1995 with the Navlab Project from Carnegie Mellon University. My point is, everyone thinks, oh this is just a [inaudible 00:44:50], this is going to happen quickly. It's been around a long time to get to where we are. I have now demonstrated to them that their scale is wrong, their start point is wrong. It has taken a lot longer to get to where we are now.

So, to anyone who had any understanding of the technology it must have been obvious for a long, long time that "it's really, really hard" and that it wouldn't just take a few years after the time that Google announced the Google car. I struggle to believe that Krafcik is not one of those people, or that major automotive company CEOs are not.

Basically, those people have been bullshitting everyone and they're still bullshitting everyone, and they were probably not even interested in developing self-driving cars in the first place, it was all just some stupid marketing game supported by a very excitable tech press and a gullible public.