skysight-inc/HackerNews huggingface dataset:
Note that Google has open sourced a full set of design rules for a 130nm process (codenamed SkyWater), making fully open chip designs also possible for this finer process. 130nm was current in the very early 2000s, so it should be possible to achieve interesting results with it.
I find it fascinating how many deeply embedded tactical considerations that we just take for granted come from the fact that our ecosystem lives in a gravity well. I wonder how differently an alien that had evolved for millennia in zero G would think?
Every single flight in isolation is completely irrelevant. So what?
Reducing Your Environmental Impact as a Travelling Musician
All I know is this Copilot opens a whole can of worms. And doesn't or possibly never will have a right answer without court settling.

Obviously most ( I think ) lawyers seems to be siding with Microsoft on fair use. But most owner of the code seems to think they are infringing on their work.

Then there is the international issue because one court cant decide for everyone else.

I think the issue is important enough I wonder if we could somehow crowdfund it for a court trial or something.
I believe you're explaining what a computable function is. A decidable set S of a type T is defined to be one for which there is a computable function f : T -> Bool such that the set of values x with f x = true is equal to S. A semidecidable set S of a type T is defined to be one for which there is a partial computable function f : T -> Bool such that whenever x is in S, then f x is computable and equals true.

Given a definition for a well-typed program, you get a set W of Program of the well-typed programs. You can ask whether W is decidable or semidecidable -- i.e., whether there is some (partial) computable function f : Program -> Bool with the above properties.

The example you give is certainly computable, but it has nothing to do with the set W, so it says nothing about (semi)decidability of the typechecking decision problem.

However, it is a valid trying to find the largest subset of W that is (semi)decidable. Or trying to redefine what it means to be well-typed so that it is (semi)decidable!

One interesting case of a programming language without a semidecidable typechecking problem is Lean. The typechecker they've implemented will both reject or time out on valid programs (so the typechecker is at least a computable function in a sense), but in practice these cases don't really occur.
Honest question from definitely-not-libertarian democratic-socialist. Isn't the main point of libertarianism a defense of private property, concentration of which is eventually exactly the vehicle of oppression?

I think libertarianism is quite self-contradictory, because if we assume completely fair starting conditions (they historically never were) and assume that people are renumerated fairly (which is subjective and disputable), the system as a whole tends to accumulate wealth in hands of smaller and smaller number of citizens, if nothing else then by just random chance, and since the property ownership is sacrosanct, there is no mechanism which could counteract the accumulation. Then these people might use the accumulated wealth to oppress others, as a kind of oligopoly. This contradiction was actually pointed out by Marx, who predicted that end of capitalism (a revolution) will come out as a result of this process.
There are other possibilities for numbering bits. I have seen PowerPC documentation where 32-bit registers have bits numbered from 32 to 63, with 32 being the most significant.
Special interests rule the world, except where a recent revolution happened. Special interests by definition have a stronger desire than the general population for certain policies, and thus get them installed even when it harms most citizens. Thomas Jefferson said that a nation needs a revolution once a generation to keep it's freedom. Either that or there needs to be a constitutional clause that automatically sunsets all government legislation and agencies every seven or ten years.
PCRE is a pretty well-defined standard, isn't it? And it's the one used by most of the languages I've worked with, including in MariaDB.
Thiel personally considered Paypal to be very valuable, and he turned out to be right. But his personal opinion about how much the firm was (going to be) worth is not the same thing as the actual value of the firm.

Tim Cook might think that AAPL is worth $1000 a share, but it's not against the law for him to fill his IRA with Apple shares.
> They probably are irrelevant, so why exempt them?

Because not exempting them may make it harder to pass the bill?
Do they actually communicate semantic information enabling another crow to identify a person? Or do they just communicate "that's him, that's the guy that threw a rock at Bobby Crow!"?
Yes, as of July 2019, which is not the context of the OP discussion and why I said "at the time..."
Alto IRA Hacked
"The rent of the land, therefore, considered as the price paid for the use of the land, is naturally a monopoly price. It is not at all proportioned to what the landlord may have laid out upon the improvement of the land, or to what he can afford to take; but to what the farmer can afford to give. "

-- ch 11, wealth of nations

"As soon as the land of any country has all become private property, the landlords, like all other men, love to reap where they never sowed, and demand a rent even for its natural produce."

-- Adam Smith

"[the landlord leaves the worker] with the smallest share with which the tenant can content himself without being a loser, and the landlord seldom means to leave him any more."

-- ch 11, wealth of nations.

"The landlord demands a rent even for unimproved land, and the supposed interest or profit upon the expense of improvement is generally an addition to this original rent. Those improvements, besides, are not always made by the stock of the landlord, but sometimes by that of the tenant. When the lease comes to be renewed, however, the landlord commonly demands the same augmentation of rent as if they had been all made by his own. "

-- ch 11, wealth of nations.

"RENT, considered as the price paid for the use of land, is naturally the highest which the tenant can afford to pay in the actual circumstances. In adjusting the lease, the landlord endeavours to leave him no greater share of the produce than what is sufficient to keep up the stock"

-- ch 11, wealth of nations.

"[Landlords] are the only one of the three orders whose revenue costs them neither labour nor care, but comes to them, as it were, of its own accord, and independent of any plan or project of their own. That indolence, which is the natural effect of the ease and security of their situation, renders them too often, not only ignorant, but incapable of that application of mind"

-- ch 11, wealth of nations.
Ergonomics are ugly. The sharp metal edge of my MacBook Pro on my wrist is a constant painful reminder of the consistent choices that are made for form over function.
> Why not Copilot?

Because the sources used for input do not belong to the person operating the tool.

If you say that doesn't matter, then you are saying open source licenses don't matter because the same thing applies - I could just run a tool (compiler) on someone else's code, and ignore the terms of their license when I redistribute the binary.
Yes I remember our convo! Also, i really don't like to be the bearer of bad news, but I was talking to their Venture team and unfortunately that ship has already sailed. They've sold the hardware business to Aeotek and are progressively scaling down the team :(

Ping me at sy@getseam.com and lets see if I can get you going with some beta units.
Every country has done immoral things. Nobody is denying that. What we are saying is the US is leagues above China. Any bad action done by the US has a similar action by China. Bombings, wars, false arrests, etc. The difference is the US is trying to move on and better itself while China is continuing with this behavior.
Huh? Uber is a publicly traded company now. If Saudi sells its shares of Uber the company valuation will dip some but otherwise go unchanged.
If they please they can easily make content premium only instead of relying on people's willingness to see ads. If people can with a few clicks see no ads then 10-25% of people will probably do so while the majority continue to watch ads. Content isn't premium only because they have already run the numbers and they get more from the majority that watch the ads than they would by putting it behind a paywall.
Did you look into horizontal, such as with a backhoe? It's hard to see how that would cost an extra 20k if viable.
I have had these types of "boring but fulfilling projects" as well. I have also been on the other side where I cannot feel any pride in what I am building and the only solice is at least I got to learn something new.

I think what makes the difference is the proximity to the user. In your printing company you got to know the process then build a solution that directly helped your co-worker and boss. Even if it only helps in a small way that feels very satisfying. Where I get frustrated is and lose all that empathy is when the company keeps multiple layers of indirection between the devs and the users (customer report -> Customer Service -> Product Management -> devs).
Related https://www.discovermagazine.com/planet-earth/how-africa-bec...
10000000 million
I struggle to find one (1) reason for this exemption but political leverage. Embarassing.
The thing about unknown unknowns is that they're unknown. By definition we can't reason about them.
It's like the people who think smoking a cigarette or Juul is one of the seven deadly sins, but also smoke pot every day and see no problem with it.
I would say the main deciding factor for that was the rejection of the Treaty for Establishing a Constitution for Europe (https://en.wikipedia.org/wiki/Treaty_establishing_a_Constitu...), which would have given the European Parliament far more power, in plebiscites in Belgium and France, causing other countries to bail on theirs.
So, like TAX off-shoring, some airlines will just fill up outside this remit of tax, so your flight from EU to Australia as an example - may have enough fuel to hit the next refuel outside the EU and then carry on, saving lots of money for the airline in what will be a completely legal avoidance move.

Turkey will love this - as they are not an EU member and have just built the biggest airport in the World.
This attitude is how corruption begins.
Check out this video starting at the 4:06 mark.

https://youtu.be/LF77qpbvkxo?t=4m6s

They talk about crows passing knowledge from one generation to the next, and they show an experiment that they performed on some crows.

While the young crows are still in their eggs, the scientists wear masks and capture the adult crows, teaching the adult crows that this mask means danger. What they then find out is whether the adult crows pass the knowledge of the dangerous mask on to their young.

However, in this video the young are learning about the dangerous mask because they get to see the adults react directly to it.

I don’t know anything similar where the adults communicate this kind of thing without the masked person being present.

It is possible that the young ones in turn taught the next generation without the masked individual being present. But I don’t remember and am not going to watch the whole video again right now.
And after GME, institutional investors have changed their models to guard against that type of squeeze, so they squeeze is already less likely. I can't imagine there's many institutional investors left in GME that aren't trying to sell off at a slow enough trickle to avoid a cliff.
But aren’t projects where you don’t have time to work in the details not also projects where the next project is waiting around the corner?
I recently moved house.

I was previously living with my friend, and we had an agreement I pay sometime before the end of the month. He gave me a contract and said you'll need this, just because when you go to the next place they will ask you for your previous contract. He found it online, it was boiler plate and we agreed verbally I pay him whenever during the month. We we're really good friends, and I lived there for 3 years without a single issue.

Then when I tried to rent a new place, the agent asked for lots of details, that we're then passed on to a referencing agency. I gave them all they needed. I have a maxed out credit rating on the 2 providers I can easily check in the UK. My salary was 4x the yearly rent. And the referencing company failed me.

They failed me because I didn't always pay the rent on the 20th of the month. Now granted - that is what my contract said, but it wasn't the reality of the situation.

Of course the referencing company never asked me about this and just stamped RISK on my profile. They said they couldn't override the software - which I don't believe at all.

Luckily my agent was able to call the new landlord, we all got on a call, my agent, my friend, me and the landlord.

The landlord laughed on the call and said how stupid that was, and approved my application. The call lasted 1 minute and 28 seconds.

I have a deep knot in my stomach about where all this software takes us. In the pursuit of scale, we lose all sense of nuance and humanity. I was lucky in my case, but I know others aren't. It's going to cost us dearly.
The solution...

not_this|(but_this)

... is interesting. But since it returns the match in a submatch I would say the \K approach is better:

(?:not_this.*?)*\Kbut_this

Because usually when you try hard to accomplish something with a regex, you do not have the luxury to say "And then please disregard the match and look at the submatch instead".
> The senator, who chairs the Senate Banking Committee’s Subcommittee on Economic Policy

Which has jurisdiction that includes

> Monetary policy

> Financial Stability Oversight

> Money and credit, including currency, coinage and notes

Wants information in order

> to determine if Congress needs to act to ensure that the SEC has the proper authority

to regulate

> Cryptocurrency exchanges
If large industries will cease to exist it will cause big rise in unemployment. This will for sure affect lower and middle classes
But Facebook cannot do through an agent what it is not allowed to do itself. Doesn't matter if the agent is a subsidiary or a partner.
Eat it and then feign sickness. As long as you check for predators first you have a good chance of scaring competitors away from the rest of the food.
Google's 'hypocritical' remote work policies anger employees
speaking as an old regexp wizard from before perl5, this is indeed a great trick, have an upvote.

sadly, this trick still requires a code comment to explain. Python example:

# match tarzan but not "tarzan"
# see https://news.ycombinator.com/item?id=27774584
if "tarzan" == re.search(r'"tarzan"|(tarzan)', myvar)[1]:
...

which in practice means it probably deserves a function:

if re_search_but_exclude(r'tarzan', myvar, '"tarzan"'):
...

I don't recommend monkeypatching re, i.e. re.search_but_exclude = ...
Anagrams and Prime Numbers using .NET and C#
I was merely responding to the parent comment that strongly implied all regulations were burdens. There are many of them that do make sense! Would you not agree? I mean, without that common ground, it would be hard to have a discussion from two extreme positions (X is all good, X is all bad)

I am not intimately familiar with the example you gave so I shall just take your word for it that it is a flaw in the system.
It makes sense to consider things on a per-capita basis as well as an in-total basis, because there needs to be some measure of fairness in how we do things.
How could it not work. I've regularly relied on order or matching, and never found an environment that didn't test left-to-right for the `|` operator in regex.
I am wondering how these exemptions can be used as a loophole.
Private drivers were one, why not private jets now ?
Pyreports: Simple Reports with Python Code
Hi guys, this is my last library for create in simple mode, complex report from every source format, file, database and LDAP.
This sounds great from a tenant's perspective, too. I can't speak for all renters, but speaking for myself, I have have been frustrated by all the little points of friction named in this article.

However, I should not have had to go to the company's webpage, find no hint of the tenant side of this transaction, get no answer from the chat box, do some google searches, end up back at the blog, and go digging through the blog in order to find apartment.app to be the other half with all the magical UI improvements described in the OP. Afterward, of course I found the link in the footer of the company's main page.

UI suggestion. Make it easier for prospective tenants (we are your product, after all) who land on the landlord side to find the renter's side, and vice versa.

IMO, there is no greater sin in business than to leave a prospect who has learned of your prodcut/service and wishes to do business with you bereft of someone who will shut up and take his money.
By the same logic, the next generation of people should have access to the same intact climate as the last one.

Obviously though, you can't have both. The difference here is that rich countries are rich, and can afford to take on the extra financial burden via the very same finances that they obtained via cheap energy.
lol, no. We're hiring as fast as we can right now for software devs: https://smartthings.pinpointhq.com/
Very cool and healthy that people on this website instinctively imagine themselves as the boss of random commenters on a website whose motivations are incredibly relatable.
While this is a valid sanity saving technique, you have to be very judicious with it. Too often people get more excited by the tech they’re using than the problem domain, and their solutions start to fit that domain badly. Then we have impedance mismatches, and someone who is effectively holding the code hostage because that is where all of their emotional investment is.

I’ve seen this many times, participated a couple. In the end there’s a moment you should move on to something more interesting. And like selling your house, you should never look back at what they did to your code.
Pentagon: “Increased Potential” for Nuclear Conflict in Newly Disclosed Manual
I tried to find numbers. This seems to give some context [1]: Look at page 8 and 9 and compare flight hours vs fuel consumption of single engine planes vs turbo-jet.

So there's a gray area that can be addressed in the future. Same goes for "should business build consumer electronics in Asia and fly it in" or "build it locally". But that wont change overnight either.

Nonetheless the regulation is a start, and as with any regulation I don't expect it to be perfect on day one or in cynical, bad faith.

[1]: https://download.aopa.org/hr/Report_on_General_Aviation_Tren...
McDonalds is a bit of an outlier here; they have incredibly predictable food costs due to high levels of standardization and a worldwide inventory network. The franchisees have a certain amount of leeway on pricing, some of which is dictated at the corporate level down, but it's based on bona fide expenses.

If local regulatory conditions cause your labor cost to go up, they are absolutely allowed to (and will) raise prices to compensate.
Brokers are typically hired by the landlord to find a tenant and not a tenant to find an apartment. The big apartment complexes with a company ownership rather than individual typically hires brokers too, but probably they have enough apartments to just have in-house ones and pay them themselves.

But at least in NYC those big apartment complexes are typically only at the higher end of the spectrum. You'll be using a website like StreetEasy to find listings online which often don't have the best pictures, floor plans and you will have to schedule an appointment with one such broker for a time that works best for both of you. These days its less common but pre-pandemic it was not uncommon for a tenant to have to pay 1 month rent as broker fees.
I think it’s pretty easy to defeat MS in court.

We just need to bring the music industry into this!

For example: Let’s train a network on Beatles music to generate new Beatles songs. I’m pretty sure music lawyers will find a way to prove that the trained network is violating the label’s copyright, as they always manage to do that.

And then we just need to use the precedent and argue that music is the same thing as code.
> our engineers implemented a solution where we would proactively

> our engineering teams prioritized their efforts to ensure that Bitbucket

It's not a coincidence that company that refers to "our engineers" rather than "we" is having basic engineering problems.
Bullshit.

Before stealing more from my money by making me pay even more taxes, go call out those criminals who go on private jets to a conference so they can tell me and you to not use plastic straws or eat less meat, or to abuse a little kid and use her to "stare down trump" so they can score political points, like we're in a freaking 3rd grade puppetry show, the earth and climate we'd be okay. Go research who's paying for these embedded ad campaigns in news reports about how "it's cool and healthy to eat bugs" and how it's mostly my fault the damned cows are farting. Go demand removal of those benefits to people with electric cars because manufacturing those batteries is as bad, if not more dangerous considering what happens when they explode (lookup exploded tesla cars). Go ask what happened to the ice sheets? Around 2010s it was all what media talked about, now no one even mentions it anymore. I guess they didn't melt. Go ask about why it was called global cooling, then changed to warming, then changed to climate change. This is ALL political. There's nothing scientific about this, alas some thug-researchers being paid by the same corporations who are the ones actually hurting the environment
I'm not sure if any regex library exposes this, but since regular languages are closed over compliment and intersection you could theoretically do something like match("....string..", regex("Tarzan") - regex("\"Tarzan\"")), where the - operation is shorthand for intersection with the compliment. Does anyone know if any regex libraries expose these sorts of operations on the regular expression/underlying DFA?
Congrats! Quitting smoking is really difficult; I feel lucky to have kicked it myself. I started in high school, like many folks (especially in the southern US); and was on-and-off through college. A Juul really helped me power through times of stress without buying a pack of cigarettes. I remember e-cigs were initially pitched to consumers as a way to quit smoking, and I think it's unfortunate that part of the message seems to have fallen off. I think it was a huge part of tapering the dependence, for me.
All this doesn't mean that the software is better than any human broker but simply that those humans were way worse than whatever software has been used.
I think my belief is closer to: they should exist if people want them to, but the returns (taking into account inflation, taxation, etc) should be negative or very close to zero.
The US helped their Five Eyes partner Australia target Australians.

I'm sure Australia is helping find US citizens the same way.

It's a run-around on the laws of each country.

https://en.wikipedia.org/wiki/Five_Eyes
You're not really right at all. The percentage of fees that are passed on is completely dependent on elasticity.

>All fees are passed onto customers

is not even close to correct.