skysight-inc/HackerNews huggingface dataset:
We've been working on some techniques for this. To my understanding, Stateright (the OP's repo) directly connects the spec with Rust code, so you can make some implementation guarantees.

If you don't have that (say you're using TLA+), one really promising technique is to generate behavioral traces and then refine those into code tests. I know a few companies have done this successfully, and I've been working on some examples of how it's done, but to my knowledge there's no battle-tested tooling that do this automatically. It's all bespoke for now.
No, I'm just sharing a weekend project. If your first reaction is "anyone who needs this weird feature could just add a string delimiter to their markdown file, and use a Unix until to partioning" then it's clearly not something for you.
Look, you're entitled to interpret the 2nd amendment the way you do, but the fact is that it is a short bit of text and yet it includes the words "a well regulated militia." It's perfectly reasonable to believe those four words are there for a good reason. Gun rights activists choose to ignore those words. If their position deserve any respect, the one that does not ignore them evidently deserves at least as much.
China is an oppressive authoritarian state currently engaged in ethnic cleansing. How is enabling them indefinitely an option?
However, in any community where the down vote is used for mere disagreement, there is no room for dissenting opinions. An open discourse requires that people are willing to listen to those whom they disagree with. Down voting liberally is counter to that principle.
Using a textbook with spellings that disagree with the dictionary in K-12 language education is going to be ... interesting. Not something you'd do if you can avoid it. And the bits talking about the GDR are going to be a bit out of place...

Can you use outdated material? Sure, but that's different than pretending it isn't outdated or that outdated material can't get in the way.
well, its easy to fall into the trap of "get more clicks"... and its not just "science journals" that suffer from that
You can only vouch for a dead comment if you do this showdead settings change. (Otherwise you can't see it.)
> Four years later at the University of Connecticut, two white students ...
> The A.C.L.U. of Connecticut demanded that the university hire 10 Black faculty and staff members

NYT's double standards are ridiculous
Maybe you are getting a/b trapped?
Strange way of making that point. Usually when people talk about ships "vanishing" they're talking about something more like the Bermuda Triangle or rogue waves or something like that, i.e. ships actually, you know, vanishing, not turning off their tracking devices so they can fish illegally.
Disagree based on the reporting I’ve read.

Actually just saw another reported piece from the NYT pop up on this, but I’ve seen others in the same vein previously which informed my comment.

“Once a Bastion of Free Speech, the A.C.L.U. Faces an Identity Crisis: An organization that has defended the First Amendment rights of Nazis and the Ku Klux Klan is split by an internal debate over whether supporting progressive causes is more important” https://www.nytimes.com/2021/06/06/us/aclu-free-speech.html
"Acquires" is a strong word when we are talking about $8 price. Maybe "Cloudflare becomes custodian of Icanhazip"?
Trans politics was going okay until they took the lions share of BLM donations that was raised on the death of cisgendered straight black men. There are people that are unhappy with this distribution being called anti-trans and it’s kinda insane.
> At that point a lot of people started asking themselves "Are we really being a positive influence?". And a conflict began.

Those people were clearly in the wrong though. After all, why join a civil liberties union if your support for said liberties is conditional on your whims?
>It seems they also edited their comment to include a link - seems pretty reasonable to me.

Well of course this was done after my comment.
captive.apple.com is what Apple uses
2x the donations
"Poverty level" is an official number used as a standard put out by the American federal govt. It's not based on quality of life, but only on income. I was referring to that.

I've lived in areas of grinding poverty and hated it, but I'm more interested now in how William Gibson's quote "The future is here, it's just not evenly distributed." Silicon Valley is the future. Those other areas of deprivation are in the past. In the future, many of our needs will be taken care of, freeing us up to be creative.

You are right, I am lucky to live where I live.

I am astonishingly rich compared to what people had 40 years ago, within my own living memory. I have a supercomputer on my desk connected to the world's information. I have a device in my pocket that lets me communicate with anyone on the planet. Long-distance charges no longer apply. My local library has every magazine I'd ever want to read. I'm awash in free music from around the world. I can view University level courses, free of charge. Have an idea for a 3D design? Download Blender for free and 3D print it for very little cost. The device in my pocket is a phone, voice recorder, video camera, still camera, mapping system and much more.

I tend to agree with Louis C.K. - "Everything is amazing, and no one is happy"
All the way down to the person managing a single grill on the kitchen line, everyone is managing something. Their ability to steer the org toward their own quality of life improvements is dependent upon the scope of their management, but indeed everyone holds the exact same objective.
I was surprised by how interesting the case and the opinion were. And extra surprised by the conclusion in page 31.
I wouldn't expect one person with one camera to cause such a load, but popular, cheap internet cameras pull this crap all the time. I remember reading a story here about one company that hardcoded a particular IP address for their NTP bootstrapping in their firmware, with thousands of devices all across the world and no way to easily update them. Such a thing can easily happen with consumer routers and other networking equipment, generating a publicly accessible link for their user's convenience.

If I saw the Time Warner ASN send too many requests, my first thought wouldn't be to just block a huge ISP. Who knows what mihjt be causing these issues and what you could be breaking by interrupting service.

The Time Warner NOC wouldn't be able to completely fix the problem if the source of the issue is the firmware of a certain shitty IoT device. If someone emailed their NOC about some weird IP cams installed by their customers causing load on their servers, they could feel like that's a problem between icanhazip and the camera manufacturer, not something they can fix.

The author is quite tolerant of the obviously malicious behaviour others are attacking his servers with. I'd have taken more aggressive measures instead of scaling up capacities myself. Because the problem is volume and not necessarily anything complex, I'd wager that even a simple block could be quite expensive because that traffic and the associated retries will be going somewhere. Directing the traffic towards the last router in their ASN through DNS would be something I'd consider, making it the problem of the network operators.
It seems mixing cause and effects in many cases. It could also be that most successful people focus on only one thing because they are successful they can just afford to do only thing and reap exponential rewards. For people like me in mediocre career / jobs in mature industries, doing best at job just means writing even more half-assed CRUD micro services.

The best possible thing that could happen by totally dedicated to job would at best be one more promotion to keep working on same mediocre stuff or manage a team doing that for few thousand dollars more. And it is not even blaming management as there are only limited opportunities in saturated industry and far more folks are chasing them.

Even those half finished projects have given me more knowledge and experience than mind numbing "next generation technology" training that corporate got a great deal on by some discount instructors.

Now it could all have been different if I joined a hyper-growth industry at right time. I might have gone far by just knowing one thing. At that point I could be proselytizing younger people that "you've got to focus on just one thing and you will make it big"

I saw exact example of this by listening to a SVP in my office who apparently rose through ranks by "sheer hard work, grit and focus". However to me it was pretty clear he joined company just at the time when industry as a whole about to enter massive growth. Of course he isn't gonna say how stars were aligned and he just got massively lucky. It is for others to see what it really was.
I am not sure how I am supposed to get your identity from you providing a few published examples.

The UNC Chapel Hill case is a bad example as Nikole Hannah-Jones engaged in divisive political activism in her role instead of academic rigor and is the brains behind major indoctrination efforts such as the 1619 project. Someone like her that teach students what to think instead of how should not get tenure, and does not meet the academic rigor to teach.

Calls for academic freedom has been used to subvert university resources from academic pursuits to political activism. This was never the intention behind protections of academic freedom and is a corruption of the academic pursuit.
Thanks. I was reaching for an example but don't have a guest WiFi nearby to test.
I would mildly chuckle and not expect any response from the CEO about it. I would mostly expect there to be a new twitter profile with an extra underscore in it, after a small appeals process.

A twitter account getting suspended after growing doesn't mean anything. It can just as easily be some random automated system flagging it, or a competitor or disgruntled customer.

I also wouldn't care if the CEO was buying followers and not telling anyone. Who cares. All this stuff is very relative. The investors are probably using laundering oligarch money in one of the feeder funds, and the business' "organic" customers are probably just other portfolio companies of the investor, juicing the revenues of other companies using the exact same capital.

You get paid either way. You are getting paid right?

If you are sensitive enough and privileged enough to think any of this matters and that you need to "choose" a company that has every single thing organic, interesting, popular, has perfect managers, perfect co-workers, and a perfect work-life balance, why are you even working?
I wonder why my very real todo list was so downscored...

Is it because being a winner at work is completely no longer in my scope?
It seems to me that certain people fixate on free speech because they have the luxury to be able to. It's like once they've progressed past a certain level of Maslow's hierarchy they forget about the previous levels.

First step of the free speech agenda: Breathe.
Did you receive many components bootstrapped by someone else?

I’ve picked several projects along the way and just having one or two ADRs helped me so much. Sometimes a piece was not working so well, but without knowing why it was made that way made it really risky to just decide on a change.

Like code comments and any documentation in general, design docs aren’t best for telling what something is/does but why it exists, why alternatives were discarded, why apparently suboptimal behavior was chosen and so on.
So basically I write a review, and then tell the IRS that I'm a beer journalist, and that in order to do my job I need to deduct my beer costs? Brilliant!
> [A]nting is..where birds rub insects, usually ants, on their feathers and skin.

> Some birds will sit still on an anthill and patiently allow the creatures to crawl freely through their feathers. At other times they have been seen to pick the ants up with their beaks and rub themselves with the tiny insects.

> Sensing a threat, the ants shoot a spray of formic acid from their abdomens or anal glands which gets absorbed into the bird's body and acts as a natural insecticide.

> ..A widely held theory..maintains that birds use the ants to soothe irritated skin during periods of heavy feather molting, while another theory suggests it controls parasites which live in the bird's plumage.
To clarify, I don't think OO is natural for all problems, and I don't think it is natural for all people either. But for many people, it is natural.

Do you describe the world around you using nouns? Anything you can name is an object. When you hear me use the word "pencil" you know I am describing something that's used for writing on paper, containing a substance like graphite that is probably erasable, and maybe even has its own little eraser on the end. Naming the object allows us to communicate and reason about it together; the ability to name and classify objects is the most essential element of OO (imagine a language where you can create classes but not name them; would it still be OO? I would argue it is not).

Of course this is not the only way to model the world. Maybe to you the act of writing or drawing is more important; the pencil or pen or marker is secondary. Or maybe the connections between objects is important to you. Or perhaps it is not the objects that are important (i.e. those things which are acted upon) but the subjects (those things which act). Whatever model feels most natural to you is probably valid. As the saying goes, "all models are wrong but some are useful"; this applies to the OO model as much as any other.
The wording in the original comment was too strong, I've edited it. It's probably not best to consider it a plain "error" since this calculation is actually a typical one provided in finance. It's just that you usually look at other stats too rather than just this one, which gives you an idea about its accuracy wrt realized return e.g. Sharpe, Max Drawdown, Skew, Kurtosis
all good points

i always imagined if flying cars were a common thing we would need iron umbrellas to be safe from all the metal rain of falling parts from all the mid-air collisions every day...
You know, it's kinda cool. If that's the worst roundabout in France...
Well, it includes shipping :)
https://lnbig.com/#/ for example, or just search for "How to get inbound liquidity on LN"
Probably yes, if you ask Dr. Kay, probably rather no, if you ask other programming language authors. It e.g. lacks inheritance and some other OO features present e.g. in Smalltalk-80. But I guess the question was rethorical anyway.
The internet is built on institutional trust. You can’t have a properly functioning network when a sizable part is just not giving a shit about its users abusing your users.

It very much echoes the problems of intellectual property theft in China.
The problem isn't that the term is poorly defined. It's that it's widely misused. Dynamic dispatch (basically "inheritance") is what most experts claim to be the defining feature necessary to claim OO.
> clinging to deontology makes you a knowing ally… which means you have taken sides

Nope. It becomes a side-taking issue when sides are taken in a self-directed manner, rather than indiscriminate support. eg When the UN medics treat warlord soldiers after they have been left behind, the UN has not "taken sides".
> - built-in password managers only work for websites - I store many non-website security credentials in my password manager

The one integrated with Firefox supports integration with an Android stored password entry tool. As a manager it's of very poor quality - better to do all your actual management from desktop Firefox - but as a tool to enter a stored password into an app, or to save the password you just entered, it works quite nicely.

> - compromised password warnings (maybe some of the built in password systems do this now?)

Firefox does have that service
> I would tell my manager if it was just me - I wouldn't send a letter to Tim ("The CEO")... but this is a weird time and there are PLENTY of stories on HN or... well everywhere... about how many employees have a taste of WFH and are considering job hunting if the options aren't acceptable after COVID.

Haha, so we were in agreement the whole time. The whole idea of a tech collective goes against this being an employee's market. But perhaps we are starting to see a more concrete shift in the tech world from a white collar "you have your ticket to anywhere you want" environment to a blue collar "you better have a union/collective or you'll probably get screwed out of perks like remote work" environment.
Not at all. I didn't know we were discussing mental arithmetic.
Raising children at home. In the near future an idea will arise that trained professionals will be better to train children as they grow up and parents would provide more value to society if they continued to work and not had to spend time with their children.

Human animal relationships. Animals will gain rights and it will be a natural outcome.

Robot phobia, followed by robot acceptance and relationships.

Kissing or touching before marriage will be rape.
If you ground them up, that would solve the texture problem. The only drawback would be the accumulation of herbicides, metals, and radionuclides in their flesh. Highly appetizing.
This reminded me of tagged-token dataflow which I think is what you have implemented.
I think you should look into the complaints about common core; I think, if you're good at arithmetic (like I assume most of us programmers are), that you'll find the current methods an improvement over those and about as good as can be done by our grade-segregated, "no-child-left-behind", Prussian educational system.
Bird equivalent of Jacuzzi.
It’s a webasm compiled ffmpeg that does all the heavy lifting. Everything is client side. Server is just sending the webpage and saving metadata for the project files. Pretty easy to host something like this at a $1/1k mau level.
Yup, it must be really nice.

I wouldn't know though.

What I can guess thought, is that at the end of the day, all work is work. You'd probably get bored of work even if you could work on a 1 petabyte ram workstation (that doesn't exist at the moment, afaik).
The primary unsoundness is lack of types. The type checkers have strictness settings that will error if you are missing any types even types internal to a function/3rd party library used. The highest strictness settings what places are there that still are unsound? The very dynamic behavior that sometimes happens has two main impacts. Either type checker doesn't understand it and on high strictness settings will treat it as an error or you need to extend the type system use plugins (mypy has some plugins for very dynamic libraries to define custom rules).

Practically most large programs today can not pass maximal strictness settings as too many libraries lack type hints. But that's not a fundamental issue of python type system just a needed improvement of the ecosystem. Type hints are gradually growing and some major libraries have had noticeable improvements in the past year (numpy only started to have some types around 1.20).
The only Orbi I've used is the tri-band RBK50 2-pack. The hardware is good, but there's one annoying thing: you can't manually set the channel bandwidth to to 20MHz. This would improve signal strength and range, at the expense of bandwidth.

The 'coexist' setting is meant to switch to 20MHz when needed but, from what I've read, the setting isn't very effective.

If I lived in a place with a lot of wifi APs, I'd do what you did (string cables) or else use an Asus mesh wifi setup, which allows more fine-grained control of wifi settings.
CIA Scrambles for New Approach in Afghanistan
Thank you so much! This is such a small little quality of life improvement.

And for others trying, you need to just add this line to uBlock Origin's "Filters" tab, not the "Rules" tab.
Who cares about looking good, when we’re talking about working good?

Of course, it’s worth putting the effort in to both looking good and working good, but if we’re going to pick one, we should go for the second.
As seen everyday in newspapers and particularly around Christmas.
“Top 10 Christmas snack foods.”
“14 dog collars your fur baby will bark for.”
That actually explains a lot! Thank you, that's a great anecdote
Show HN: Creative Notebook KDP Bundle
One of the great questions of the 2020s is - why are they pushing the bugs? Cui bono?
The only take away that I have is that the Chinese would have a serious issue, if any nation was caught in their territorial waters, especially on this scale. You have to remember that this article is focused on Argentina, but PRC has signficant and large global fleets roaming the seven seas causing havoc in many maritime zones. Like I said before imagine Japan doing this to the PRC. Significant punitive military and diplomatic action would have been taken. The PRC has to stop this kind of hypocritical behavior.
Posted video link of this type of roundabout in action just above ( https://news.ycombinator.com/item?id=27415631 )

There's just sufficient space for 1 car to tuck in each time.

Note that the priority here is not necessarily to maximize car throughput at all costs; but to ensure safety for all modes of traffic; and to do so inside a given amount of space and cost.

Given a different set of parameters, a different intersection type might be chosen.

(+) That said, note in the video that there's a significant number of people using the bicycle lane and pedestrian path; I think they're carrying more people than the car lanes here. I'm not a traffic expert, but forcing the denser traffic to take a longer route in favor of the less dense traffic does not seem like the right choice here. ;-)
It reads like a descriptive statement, not a normative one, because it calls out specifically that the corporation enriches its management, not its employees.
You're conflating downvoting with flagging. Enough flagging + default reader settings on HN = distributed ability to censor HN stories/comments. Of course this is all by design - the moderators have been clear that they're not optimizing for freedom of speech, but rather interesting discussions.
Vile racists like jacobsenscott are undeserving of nuanced discussion.
You know a 3rd category would ruin the joke (and its power to provide insight and perspective) right?
A single BTC transaction (on-chain) costs $5.56 in fees today. Minimum wage in El Salvador is around $300/month. How will people in-country afford this? Even the lightning network requires paying for periodic on-chain transactions.
It is, quite literally, like comments disappear.

That's intentional, not an exageration.
>How to influence another team to use your solution instead of writing their own

Yeah I'd love to figure out how you do that. 99.9% of the time that is a cultural and political problem that you aren't going to solve by being some incredibly persuasive engineer. Oh and management won't care enough to intervene.

I think one of the things that a lot of these articles lack is something along the lines "Be clear about what you can acheive and what you can't". It doesn't matter how good your solution is, if the guy writing the replacement isn't receptive to advice that's fine, you've got better things to do.