skysight-inc/HackerNews huggingface dataset:
Semmle does not scale, both in terms of their index design and their overall system design. This makes it poorly suited for truly global program properties and much better suited for things like refactoring.
I mentioned signals in another comment in this chain and this is a scenario (for banking specifically) where it makes 100% x 100% sense to kill the session for the client's security.

Like kill it totally totally dead!

Unlike other apps, with online banking, the priority is not to keep you connected.

It is to ensure the person carrying out the activity is whom they really say they are and that it is OK for them to do what they are doing with your account

The security posture is "deny" by default and allow if we can verify this person is whom they say they are.

Think about the signals here:

- connection has changed (from wifi to 4g - that gives you a whole bunch of IP, ISP, routing (hops) etc stuff )

- there is a proxy in the chain now (it is possible to identify the hop from phone to laptop)

- view port is still the same (connection is not the user on their phone, they are on their laptop, connected to a phone)

... then the same thing happens all over again but in reverse when you went back to the laptop.

The bank has no idea whether the proxy is a real phone or a MTM intercept especially since the connection did not initiate from that device but switched in flight.

Would totally have required killing the session if I was responsible for defining scenarios here.
Yes. We actually detect gravitational waves because photons we created did not behave the way we expected.
(Hidden) Inequality Among Programmers
Hannah Arendt: The Banality of Evil

...which was extremely controversial when published, because people thought it was diminishing the Nazis' atrocities. I always felt your point to be the far more immediate lesson, apart from any argument of her view of Eichmann (that he was a paper-pushing bore as well as a mass murderer) simply being the correct one.
25 years is the duration of the contract; the plant does not become defunct at the end of that period.

Projects like this are contracted over fairly long initial periods to cover capital costs and so forth, but not so long that governments are locked into bad deals long-term. At the end of a contract period, a new deal is negotiated to continue operations unless it isn't beneficial to do so.

Solar plant operations and maintenance costs are relatively low compared to other kinds of generation, so it's unlikely that the plant will become defunct at the end of the 25 year period.

Solar panel performance at the end of a 25 year period will likely be between 90-80% of initial performance. This is well within what is required for useful economic generation. Most likely, a new deal with be made at lower prices because no capex is needed.

Panel degradation is relatively constant at ~0.6-1% per year. This means that a well-performing panel would be producing 50% of it's rated output after a century, or 36% with poor performance.

These are long-term solutions.
Punished by rewards is an interesting book on the same lines.

https://www.amazon.com/Punished-Rewards-Trouble-Incentive-Pr...
I never said anything about committing crimes. I'm just talking about people working at these companies. You really think that every single person working at Facebook is a criminal? You have issues.

Do you also think every single person working at an oil company is a criminal too, or should quit or else be morally wrong in your view?

>hundreds of HN users work for the major companies doing morally ambiguous things.

Just about every company in America does morally ambiguous things.
Is this sarcasm? That sounds a lot like snapchat.

Or just sending videos via SMS instead of text.
GCD and Operation Queues :)
What is with all these links to "To the Stars Academy." I just don't get what that organization is trying to do.
Consider that it's you who's missing out. Instead of thinking of MS Office as something non-tech-savvy people use, consider that Excel is the most widely successful environment for reactive programming and small-to-mid-scale data analysis in history. And despite its warts, it's good at what it does.

Ironically, it's also a powerful case of democratization of programming - I can't think of any other piece of software that allowed so many non-tech users to write their own programs. This created tremendous productivity gains, by enabling bottom-up problem solving at scale. Sure, for anything you do in Excel there probably is a SaaS available. But with Excel, you get to own your data, Excel is much faster than that a web SaaS, works off-line, you don't have to pay for it extra, you don't have to get corporate to deal with procurement and negotiate terms, and everything works together - unlike SaaS, where number one principle is siloing data and minimizing interoperability.

Google Sheets in particular is not a substitute of Excel for anything but most casual and undemanding of use cases. It's a heavy web app that barely works on cheap machines, chokes on complex data, and has nowhere near the UX/ergonomy of Excel.

The seemingly popular view that you should use whatever fly-by-night SaaS that's currently popular for your use case instead of Excel sounds to me like asking why would you have a fridge in your house when there's a dinner delivery service, a pizza delivery service, a fruit delivery service and an alcohol delivery service all available. Why own a general-purpose tool when you can subscribe to specific services?
I think it only sounds horrible if you frame it as "I was forced to do work at 8pm and had to be in at 6am the next day." What the article is describing is more "I got a call at 8pm and decided to work on the issue that evening so I could sleep in the next morning, run some errands and come in to work at noon." It might not be for everyone, but doesn't sound to bad to me.
On the off-chance that some WeWorkers are reading this, the only way I could be persuaded to share a space with someone who foments spontaneous frissons at bagel breakfasts is if you also supply high-powered Nerf guns.
> I have a right to travel and a right to privacy. Saying that I can only use one of these rights at a time is absurd.

You are so fixated on the car in this mindeset.

Do you have the right to fly an airplane and have privacy at the same time? If you don't have it in the air, why do you think you should have it on the roads?
Great point. Agile is what is in the manifesto, including the agile principles. Everything else is people interpreting to match their agenda. i.e. Sell consulting services, stay in the top of the food chain, etc.
California cars generally emit exactly the same as any other American car. Back when emissions standards were coming into effect, there were "California cars" with separate emissions equipment. That was because said emissions equipment was expensive and unreliable.

Today, almost all US sold cars conform to CA emissions, regardless of where they are sold. Sometimes you will see cars or trucks with the option for CA Emissions, but this does effect power or performance, it just has different parameters for determining when to trigger check engine lights for emissions-related issues.

Though, heavy duty truck can be equipped with an emissions exemption. I think this is, ironically, limited to government vehicles.
Assuming you are managing a dev (either through a lead role, seniority, or as a manager) you absolutely should shield team members from direct demands from up that chain - that's what most of your job is... Assuming the employee was acting within the rules you've laid out then the you should shield them and consider adjusting your rules to prevent a repeat - if, to contrast, your company has some CI tooling setup and automatic deploys and reviews and whatnot - but then someone edits a file on production... that might be a fireable offense.

Additionally to contrast - if you're a co-worker and not a manager then you may need to examine your relationship (are you a mentor and thus secretly leading them or just a colleague). If a pure colleague makes a mistake you shouldn't stick your neck out too much - except to force your common manager to properly defend them.

Everyone who is fired should be fired by their manager and not anyone else in the org - that's how a team is strong and healthy.

And

Managers, in a healthy company, own the mistakes their subordinates make.
This is not how it works though. Congress created the EPA with a Mandate and the power to create more rules/regulations on it's own that carry the force of law. This makes it easier for them because in theory they get to pass a law and hand it over to what are supposed to be experts to carry out the purpose. But this creation of congress is governed by the Executive Branch; meaning they just ceded a bunch of power to the President. So that is why the EPA can do things on its own and also why the President can intervene in ways like this. This is the case for every piece of bureaucracy that congress creates.
Yep, gravity is 39 orders of magnitude weaker than electromagnetic force.

https://en.wikipedia.org/wiki/Hierarchy_problem
> I have the right to travel

This is actually a serious debate in the political philosophy community, notably with georgists.

Travel implies that you are traversing some real property on land, sea or air. So the ownership (or lack of ownership) of the property that you're traversing would in theory dictate whether you could cross it and how.

Different countries have different laws in this regard, including "easement" requirements, but it's not universal, hence national borders.

So while it seems like you have the "right," it's not so simple legally or philosophically to determine who is guaranteeing or violating that right at any given moment.
"Whatever works man, whatever works." lacks deliberateness, and that's one of the key differences between it and agile (little-a to keep separation from the Big-A Agile sold by consultants).

Look at the difference between the principles of Theory of Constraints, and what most organizations do. Most organizations want to remove constraints, they know they're a problem (since, well, they're constraints). The difference between ToC and what most people do is that ToC emphasizes a deliberate focus on the singular constraint in the process. I've seen teams and offices optimize the hell out of areas that aren't the bottleneck. Meanwhile, they still spend 3 months at the end of their projects running their massive, manual test suite. Do the tests bring value? Yes, immense. Do they bring value at the right time? No, because they take 3 months to run so they're delayed until the end of the project, so the project schedule leaves 3-6 months of buffer after that testing to conduct rework. A deliberate focus, then, should be brought to the testing activities and identifying how they can be conducted more rapidly, ideally automatically, and feedback brought in at an earlier stage.

Agile, as described in the manifesto, brings in a set of values that are intended to provide focus on what's important for both the team and the customer. To a large extent, it means "whatever works", but with focus on the values you share with your team and customers, and the tradeoffs that will be incurred based on the choices made.
This is a really cool demo - amazing it works so well. It's all unminified JS which is a breath of fresh air these days.

Some commenters are asking how it gets such good performance and whether it would work on retro hardware. It seems it uses WebGL (and fails without it), so likely it depends on a 3D engine for at least some of the rendering process. Still, WebGL seems to be used for only a small part of the rendering pipeline.

If you want to play with arbitrary rotations instead of being locked to 60-degree increments, punch this into the developer console:

document.onkeydown = function(e) { if(e.key == '[') { dest_angle -= 1; } else if(e.key == ']') { dest_angle += 1; } else return true; }

Then use [ and ] keys to rotate by 1 degree increments. (Tested to work on Firefox).
If they really want to be trusted as a source of truth, they need to find a way to publish cryptographic signatures of every page that can be validated to prove that the page was captured when they say it was. Maybe some sort of blockchain.

Otherwise there's no reason to trust that an Internet Archive snapshot is an accurate representation of the archived page.
This is a thing with motorcycles, the California models are often different. The California version of my model has an Evaporative Emissions Control System; I am in Indiana and unfortunately did not have the option of getting it on my bike.
No, both gravitational waves and electromagnetic waves decrease in intensity with the square of distance.

(This is true of any wave in 3D space, because the area covered by a wavefront increases with the square of distance. The inverse square law is a consequence of conservation of energy.)
It usually took me ~20 min to download an mp3 around that size through dial up back in the day. Indeed what a time.
> You'd think that all the states' rights people out there would be up in arms about this...

When the Commerce clause was used to enable certain regulations on the sale and transfer of firearms, these same Californians argued for the power. If the Federal Government can preempt or enact legislation on the sale and transfer of firearms (which Americans have a protected right to keep and bear), then the Federal Government can preempt or enact legislation on the sale and transfer of automobiles (which Americans have no particular protected right to possess).
I have Android Auto in my car and virtually all of the data usage is Music. I think it would be really nice if they would try to pre-load music that I'm likely yo enjoy when the phone is connected to my home wifi network, instead of always streaming over mobile. The other day I drove for 2.5 hours and it used 300MB of data. I wasn't even listening to music the whole way.
I've lived my whole life under a recession, where is my bailout money?
They use it for Google Form/Survey short links.
What's in a Name? Tales of Python, Perl, and the Gimp
I mean, in all seriousness, aren't they a little bit like people? https://www.npr.org/2014/07/28/335288388/when-did-companies-...
> My Grand Unifying Theory of Explaining Agile Proselytizers™ is "if it's not working, you're doing it wrong".

If it's not working, but you keep trying to do it the same way (whether because management tells you to or because a book or consultant does), you are doing it wrong. Because Agile is very little except the team continuously adapting process based on observation of what does and doesn't work for them.

(Waterfall can be Agile, but only if it is waterfall adopted because the team views it as the best way to deliver working software in their particular circumstance and is continuously open to reevaluating that conclusion based on evidence. Agile isn't opposed to waterfall but to the way Waterfall was imposed. Which is also the way Scrum and variants are now frequently imposed, producing the same kinds of problems of process/problem fit.)
> Maybe some sort of blockchain.

Or you know, any other kind of secure database.
9-6 is slavery. Slaves never had the luxury of choosing their time.
Yeah. The EU doesn't allow individual states to set their own emissions standards for cars for similar reasons, even though they're nowhere near as unified as the US in general - it affects trade between the member states and therefore is centrally controlled. (This has caused some problems due to the European NO2 and PM5 standards for diesels being rather on the lax side.)
but isn't fully open[0]. it's a firmware mod than a from scratch build like lineage for android, unfortunately.

[0] https://www.reddit.com/r/linux/comments/akftmi/comment/ef5yh...
Yeaaaa...how about we don't use "The Autism Spectrum" (pseudoscience's latest pump-my-kids-full-of-drugs excuse for what ails anyone who's a little slow or a full blown snowflake) to levy criticism without having a clue? As someone else mentioned, its not fair to RMS and its not fair to the genuinely mentally affected.
Middle class households are not overwhelming iOS. But even if that were true Kodi works on iOS and the streaming add-ons have an option to download it also.
I listen to a LOT of podcasts (110 days of them since November 2015). I think it's safe to say that most of them aren't optimized for streaming in the way that, say, most streaming music is. So if I want to listen to something that I didn't pre-download then I'm looking at some fairly hefty downloads. It averages to about 1 meg / minute with most of the shows I listen to being 30+ minutes each. No on-the-fly bandwidth saving measures. I'm out walking for an average of 2.5 hours a day, so if I downloaded all of that on my phone connection I'd be using 150 meg / day. Then there's youtube, which if you don't pay them $16/month doesn't let you download videos or stream audio only. So that ends up eating a bunch.

Back when I was on Fi I used ~2-3 gig/month. Switched to an unlimited plan on Tmobile (with throttling at 50g) and now I'm using 6-9 because I don't have to worry about it.

Fi was the second hardest service from Google to give up though, because their service is just better than competitors. Only Tmobile can remotely compare. But their customer service is... Google. I might have even stayed, but I switched to iPhone and Fi only gives half baked token support for iPhone.
IMHO, the phrase “C is a compiled programming language” is super confusing.

Edit: there are many languages that have both compilers and interpreters. There are several C interpreters as well. The classification of languages as “interpreted” or “compiled” does not appear to be a sound concept, IMHO.
Alot of indicators like freight shipping and numerous other signals are starting to rollover, indicating that we're in for a cyclical recession. Furthermore, we've been in the longest bull market (well 2nd longest) ever seen. Experts say it should occur before June 2020 (if they had to put a date on it).
I've worked at way too many places where ppl just chill at home most of the time.
> Why should those that are aspie modify themselves to satisfy those that are neurotypical instead of those that are neurotypical learning how to work with aspies?

This isn't an either-or question. Everyone needs to learn how to work productively with other people, if they wish to succeed at multi-person endeavors. For some people it's harder, sure, but that doesn't change the reality on the ground that you can't just say "The fifty of us have decided that we prefer being antisocial, and therefore we're going to start a community for it" and expect it to work.

Also, this argument does quite a disservice to women with Asperger's who are harassed out of communities because they lack the inherent social confidence to stand up for themselves when a powerful man acts abusive and other people defend him by saying "He probably has Asperger's." Maybe neurotypicals should learn how to recognize those aspies and stand up for them?
The executive branch is not able to just do whatever it wants. The Clean Air Act enumerates specific reasons why the EPA can deny California's waiver.
Neo4j Online Conference Nodes 2019 Oct 10: 52 Talks by Developers for Developers
Dust cloud sparked explosion in primitive life on Earth, say scientists
In my experience it never works this way. Its almost always "take time off _later_" but later never comes.
The quote literally says "and I'm happy to talk to them."

This is about flexibility and a change from strict 9 to 5 office hours. You can't have your cake and eat it, too. If you're not available from 11AM to 2PM, you still have to complete your work - maybe you don't need a full 8 hours to do it, but it needs done.

Naturally if client calls aren't your thing, steer away from that kind of work. Maybe instead you don't mind writing code at 8PM or doing research at 8PM.
Sorry, but do you read your own comments out loud? This reeks of a kind if snobbery, just not the type you're snobby against.
Competing with whom? Foreign car makers face the same constraints and if not in the US they certainly will in Europe.
Don’t start digging around in the Federal Code then. A law that doesn’t have a unique exception is a unique exception.
Once I asked a company how they calculated the conversion rate of a billboard ad, I was told they got data from smart billboards reading car plates and linking them to people's online presence.
I think it makes complete sense to describe us as terrible. We are what we are. No point in sugar coating it.

Write the books to talk about how a lot of people were upset with the way things went. But don't forget to include the part about how lots of people were happy with it.
Eventually service will improve. Presently Sprint and T-Mobile both dedicate spectrum to the same thing. They have to reserve some spectrum for legacy applications while optimizing for newer technologies. By combining their spectrum they might be able to reduce the aggregate spectrum necessary for legacy applications and better utilize spectrum fro newer technologies.
Related, isn't it weird that we euphemize slavery as "human trafficking" these days? I don't think anyone who says that is actually trying to make slavery sound friendlier, but it's odd that we do it at all.
I don't think anyone's saying you could do a cycle-perfect emulation on 8-bit. The framerate would be low, the terrain mesh would have to be much simpler. But The Sentinel[1] ran on C64 with acceptable framerates (better than a lot of 3D games with much simpler graphics). I think you could manage a perfectly satisfactory port of Asciiker, even with rotation.

[1] https://www.youtube.com/watch?v=D2H8WbDo5SE
It's not just video, it's based on IPs. https://fast.com will show a slow speed too
You don't really need a VPN if you turn off the addons torrent feature. Standard Kodi doesn't share unless you use an add-on with that feature
Your IP doesn't change per tower transition, your data from the tower goes through more centralized servers. For example my IP sitting physically in RTP in North Carolina is actually exiting AT&Ts network in Atlanta, Georgia.
> “I don't think the Kremlin has much use for him anymore tbh"

That doesn't mean they'll just let him leave.

> definition you quoted doesn’t fit him being an agent.

A foreign asset is an agent. FBI calls their employees "agents", the intel community does not.
Striving to lower emissions (CO2 as well as smog) is hardly "playing stupid games" though.
I think a transparency log of all URLs that they put into the archive would be a good step. This at least guarantees that a URL isn't modified after getting into the archive.

Some prior art:

https://blog.golang.org/module-mirror-launch

https://www.certificate-transparency.org/what-is-ct

https://merklecounty.substack.com/p/rget-a-secure-download-u...
This would make sense since Semmle would likely need access.
This should be illegal. It's nothing more than a strongarm attempt by GM against the union.
Conflating microbiome interests with antivax mania doesn't make any sense to me, and I agree that "crunchy Karen" is a dismissive sexist tropE, especially in this context. Do any of you have even a passing familiarity with modern microbiome research? It's super fascinating and I wouldn't be so quick to dismiss it.
I don't think that's what the article is describing though. It's talking more about allowing off-hour calls/work/etc, but dropping the expectation of being at work during "normal work hours." Just a general flexibility to set your schedule as long as you're getting your work done.
That should mean they have public utility status, access to public poles etc. It would simplify such a solution. I've deployed such links in a flat scenario as well.
Spacetime is extremely stiff or equivalently gravity extremely weak.
Only these extreme events result in detectable gravitational waves.