skysight-inc/HackerNews huggingface dataset:
For entertainment purposes, this and similar tactics are featured in the Ghost in the Shell series of amines:

1. Towards the end of the original movie, the helicopter-based satellite-guided sniper weaponry gets communications disrupted, buying time for the main characters while snipers switch to manual mode.

2. In S1E2, the runaway tank intercepts the satellite coms guiding Saito's sniper optics, and uses it to dodge his first shot.

3. In S2E14, In a rouse meant to draw out Saito in a sniper duel, combat cyborg The Major tricks him into thinking she's stopped fighting in order to download short-range combat software from satellite. The trick works, she deflects his bullet with her own, then she shoots him in the face. They both become friends after that.
Tool life calculationes and automated suggestion of different ways to use tools to increase life or speed of work are par for the course in the machining world and have been for years.

It makes sense that over time that kind of stuff slowly gets better and makes its way to work environments where less variables are controlled for.
You bet! What did you come up with?
> The reason why you need to formalize the tri-color invariant is because of __multithreading__ issues.

Not specifically "multithreading" issues, but rather concurrency. MRI implements incremental marking and lazy sweeping. The GC and the mutator execute in the same thread, but they execute concurrently. The tri-color algorithm ensures consistency in a single threaded, concurrently executing environment. It allows us to "pause" the GC in the middle of marking and allow the mutator to continue in the same thread.

> 2. OR, a way for the GC to set all pointers in all registers, variables, and objects, to the "new correct location" while your code wasn't looking. (Aka: "Stop the world" methodology)

We're also able to do compaction concurrently with the mutator via a read barrier.

> But it does take more effort to compact the heap.

Indeed it does!
good audio makes Bigfukingvalue money. good audio so the masses can experience what their representatives are really like, makes no one money.

There are individual exceptions, but by and large, things happen in the world because it's making someone money or sex.
I actually switched from topre to a BTC 5140. A very nice, snappy and ubiquitous rubber dome keyboard. You can get one for 10 bucks.

It is like a topre for poor people.
The 6.822 page[1] has a draft[2] of Adam Chlipala's "Formal Reasoning About Programs", "introducing both machine-checked proof with [Coq] and approaches to formal reasoning about program correctness".

[1] https://frap.csail.mit.edu/main
[2] http://adam.chlipala.net/frap/frap_book.pdf
Thanks for sharing my article! It was amazing for me speaking with her, she's really a lot of knowledge!
Pretty much all company hackathons are just tech debt day

At startups and big companies
“Behind the Scenes with Plenti – A Svelte Static Site Generator”
> The truth behind iCloud lock is Apple has been involved in mafia-style dealings with national mobile phone operators (which involved promises/contracts to sell millions of units), inundating the market with operator-sponsored iPhones, and they really don't want a second-hand market at all because they are a luxury brand.

Apple investigated for "planned" obsolescence by the French government: https://www.bbc.com/news/world-europe-42615378 (they have also settled for 500M$ in a previous case)

Apple was condemned and fined for illegal clauses in France in contracts with national cellphone operators (i believe the 4 of them):

https://www.universfreebox.com/article/34513/Apple-accuse-d-...

Specifically, they were condemned for:

- forcing the operator to buy a minimum amount of devices over 3 years
- preventing the operator from defining target prices
- forcing the operator to give funds to a marketing agency affiliated to Apple
- forcing the operator to finance the marketing of iPhones in store, mandating a minimal marketing budget
- enabling Apple to use the trademarks of the operator, but not the other way around
- imposes strict conditions for device orders, but lifts any responsibility on Apple's side
- forces the operator to financially support device repairs
- gives Apple the right to break said contract, without respecting legal delays
- enables Apple to use patents from the operator

Some of this was covered on public television by "Cash Investigation", so that was quite a public outcry. But this is only for France, and i'm assuming such mafia-like practices are common in other countries, as they are common in different branches of industry (not just IT, where well-known example include Microsoft and Intel).

About the consequences for the environment and (lack of) recycling of electronic waste:

https://www.cnet.com/news/the-environmental-pitfalls-at-the-...
https://techhq.com/2020/12/right-to-repair-combating-techs-d...
https://www.vox.com/2017/11/8/16621512/where-does-my-smartph...

About Apple not wanting a second hand market, i obviously meant a second hand market they do not control. They do have certified programs for second hard hardware. Sorry if that was not clear.

I hope i've provided enough evidence of the facts i was presenting. Please let me know if that's not the case.
I think I understand now: the software was doing the wrong thing. They thought they were making one transaction, but they made a different one. One wonders how long that had been going on for, and how it could have been going on for so long.

Thanks for the explanation. It saddens me how brutal people here are in response to a misunderstanding, judging by the downvotes, but oh well.
IFF via Facebook lookups?
We are running sqlalchemy in a giant environment - hundreds of millions of users. SQLAlchemy has been a blessing for us. Blame users that use flask-alchemy or whatever else is cool. This is exactly the same type of comment that blames ORM-s for ineffective SQL being used because people don't know how to write the queries in the first place.
There's no "endless tweaking" to keep your GPU mining rig working.

Constant GPU driver updates are the norm for gaming GPUs because GPU drivers include a huge pile of workarounds for buggy games, and there are new buggy games hitting the market all the time. But if you just want to run a specific straightforward GPGPU task like a miner, you only need to get one driver version properly cracked to unlock full performance, and keep using that until the hardware is no longer profitable to mine with.

And it seems pretty likely that a countermeasure bolted on to the drivers this late in the process will be defeated fairly quickly, and miners will go on a second shopping spree after clearing out the stock of the new purpose-built mining cards. (Assuming those even ship before the 3060 drivers get cracked.)
I've sometimes wondered about why GA Tech was an early adopter of online education (at least for comp sci, I don't know if it extended/extends to other programs).

I'm not saying there are any reasons they should not have been an early adopter... but Atlanta definitely has its charms, and allowing people to get a masters from a top-ten program while scarcely ever setting foot on campus seems like it could be a disservice to the state.
There is no amount in the entire screenshot - the number in the "principal" field is an account number, not a monetary amount. And nobody would put thousand separators into account numbers.
Can you expand upon the interview in (4)?
Using Failures, Movement and Balance to Learn Faster [video]
I'm still playing Zork (Planetfall, Enchanter, and Deadline too) and have been since the early 80s. Even though I've never solved them, they never fail to warm my heart. Along with my collection of dusty, hand drawn maps I journey onward! Thanks for the memories, Infocom.
Vue.js Debugging: A Guide to Fixing Your Front End
Great advice. Could you share some advice/tips for an Individual contributor tech role for someone in 40's?. I haven't faced an interview for a long time. Familiar with latest technologies. I am not desperate for a job change. But still I think, one doesn't want face rejections since it will hurt.
@OP. Sorry about posting something relevant to you. I hope you will find a job soon.
> and the device is specifically designed to not reveal its keys,

Just want to take this moment to remind everyone that the yubikey have a protocol to configure it. Nobody knows the code that runs that prototocol. Nobody knows the full capabilities of said prototocol. the best hint we have is the semi-opensource configurator python/cli utilities which are just a bitmashing client of the published capabilities.

thank you.
The Manfred Macx Media Diet (2012)
Not any different than taking yearly rent, multiplying by 30 and see if it is 4 times yearly salary. At least with a house you will have something after 30 years. In ten years.. your mortgage will be the same (property taxes won't be) Rent will for sure be higher after 10 years in the same place. But there are benefits to both renting and owning
Scala 3 - First release candidate
These are good, and even better when they require confirmation by re-entering the value exactly as it was previously entered; however in this case, I don’t think it would have helped.

The number typed was correct, and it was even in the correct location. It was that it was not also included in two other locations that caused the payment to go through in the incorrect manner.

Given the assumptions presented by the UI, I’m not sure anything other than an extremely detailed confirmation dialog showing exactly where the amounts were going would have solved the problem.

Even then it’s not clear to me that that info would even be available given that the software never seemed to have been designed for the use case of a partial payment in the first place.
dRAID looks super cool, was not familiar with it. It sadly looks like, according to 3 min googleing, like you will not be able to expand ZFS dRAID vdevs.
Maybe I'm just tired but this was a confusing read. If I'm getting this right, the AK203 is a traditional assault rifle, no gimmicky bluetooth on that one. But they also want to market a shotgun (Ultima) and that will for some reason have bluetooth. Um.. I think I'll stick to my 780 thank you. Good luck though!
If you're interested in "Lua with types", check out Teal aka "Typed Lua" aka "Tl": https://github.com/teal-language/tl. It compiles to Lua and is available as a single-file Lua module.
But it has consistently grown: https://tradingeconomics.com/united-states/population.

Don't forget the other part I mentioned: asset inflation (here the asset is the land and structure). Money supply has grown over time: https://fred.stlouisfed.org/series/M2
I read similar critics in other sites but right now I don't remember exactly where as to share the links. The arguments were similar. The article is balanced and well thought. You could search for other sites in the web, but I'd suggest you not to discard this one only for the headlines of other articles.
What's your Common Lisp and operating system of choice? Are there ones that are easier to do FFI?
> Here are the arguments for digital integration

Where did you get them from? They certainly aren't Kalashnikov’s arguments for the features of this weapon.

> feasible, but not on an AK.

Even if the argument it is attached to was relevant to the Ultima, the MP-155 Ultima isn't an AK.

> Will NOT be used in Russian army, guaranteed

Well, yeah, it's an expensive tech-toy variant of a popular civilian hunting shotgun. They aren't aiming for Russian Army sales.
> I suspect thank "front" and "back" are actually real business concepts

Honestly with names like "front" and "wash" the whole thing should be checked by tax officials. The words probably mean something else, but ... wow
You didnt say anything at all in this comment about physical consequences, so I am lost in the discussion.

Doctors are rationally ok with such prescriptions because the effects are not as bad as alcohol.

Simply put: opiate abusers and users don't need liver transplants or get such severe brain damage; alcohol is more damaging in a myriad of ways for both uses and abusers. There is plenty of data supporting this, and it is valid to use data regarding medical grade opiates.

The risks of heroin are almost entirely side-effects of the war on drugs rather than the drug itself.
Hard disagree on where tech jobs are. If you want to work in tech for a Fortune 500 company in a non-tech industry, there's plenty in Alpharetta. All of the startups and companies that would attract the HN crowd are in Midtown / Buckhead though.

ATL is also home to the world's busiest airport. If you like to travel, it's a great city. You can fly direct to almost anywhere in the world.
I wish scientists would start growing a spine and stop citing Elsevier journals. That's the only thing that will break the vicious cycle of everybody publishing there because it gets a lot of citations, despite nobody actually reading in the journal. Put up a link to the pdf on the authors home page as reference, if it is essential to the paper, or leave it out completely if it isn't.
"Rifle is perfect! It needs bluetooth" seems strange to me too.
As a transplant to Houston, I will never understand why Austin became a tech center and Houston has not. There is a lot of raw tech talent here, incubators, etc. No matter what policies are in place or what investments are made, it never seems to take hold.
If you thought Comcast was bad, imagine an Internet provider that's as competent and responsive as a visit to the DMV. Can you imagine municipally provided cell phone service? Who wants any of their utilities to be managed by dysfunctional local government?
You're scare-quoting "an organization", which suggests you don't know what the ISRG is. You might look them up. They're pretty well-liked.
> The current methods have poor accuracy

Where do you get this conclusion from? How wide does it apply? e.g. I can't agree with you that a "poor" portion of engineers at FAANG are actually great engineers.
> I think the argument that locking down hardware is unfair to thieves

That was not my point. Most times, users of a stolen device are unaware and not complicit in the fact it was stolen in the first place. They usually have acquired it from legitimate second-hand markets.
Oh yeah, but that would mean I have to copy or mirror all of my gitlab repos to github. I will settle for the commit log printed on a simple coffee mug for the moment :)
You put it better than I could. There are certainly naive examples of how to use it out in the wild but that's not SQLAlchemy's fault. It's a sophisticated tool that accurately reflects how a database works.

I caution people against using Django because the ORM makes so many weak, simplified assumptions about how a database works that don't bear out in practice. It's fine for a blog. It falls apart when you're working with Real Data.
> but that's fine because they don't conspire behind our backs to create a comprehensive record that's handed over to the government.

> I don't mind if the building security records me entering the building, or the bank records me using the ATM

Actually, I would pretty much bet the government in a bunch of states in the world can access your bank records. Places like the US, or China, or Russia. But let's ignore that.

> What I object to is if all of those are stitched together and handed over to advertising agencies or my employer.

The thing is, once the information is gathered, and stored, it's an easy transition to feed it somewhere. And judging by current trends, - some company will soon offer pay those disparate surveillers to feed such data to it, constantly - since it can processed and analyzed en masse, and monetized. Oh, and they'll probably send the government a copy of everything too (judging by what FAANG do, for example).

> Likewise I don't care that Google knows what I searched for

That's not "likewise". Google is already a huge stitcher of surveillance - the kind you said you disapprove of. And, again, they send everything to the US government.

> that latter is mainly between me and Amazon.

You mean between you and the entity controlling a huge chunk of all on-line commerce and whose operations are larger in monetary terms than most states in the world? And that acts like a government with its own body of rules and internal judicial system for disputes? ... yeah, it's "just" between you and them.
Why would the arms length principle be a concern here? It’s generally only a concern in regards to transfer pricing of transactions between entities that have common ownership/control.
We have to give credit to Google for funding amazing performance work with Chromium/v8 as well as things like project zero.

v8 Sandboxes, isolates - powers many edge worker models like those at Cloudflare, Fastly, and even entire node.js ecosystem

Project zero - see recent posts of securing non-google software, including past reports about iPhone bugs.

I just can't understand the hate they get in other fronts.
I think it's a bad translation and they mean "semi-game" as in "not big game" hunting or "non-competition but competition styled" target shooting. The point being if they make it easier or more fun then people will spend their free time/money on their guns instead of spending it on a jet ski or whatever.

Being able to replay a video of a shot so you can see where you hit something and have a realistic idea of how far it went would be useful to a lot of hunters. Additionally, sharing what you did with your buddies is a big part of a lot of recreational activities these days, particularly with younger people so they're naturally providing a mechanism for that. The guy who owns the dirt bike has go-pro footage of that sick jump he made. This sounds like it's like that but for your gun.
As somebody who also has a bunch of lottery tickets that didn't pay off, I feel your pain. But I think there's a bit of hindsight bias to your conclusion. I think it's entirely reasonable for people to trade salary for equity. I also think it's reasonable to stick with cash. As long as people are making well-informed choices, I'm entirely fine with gambling on a positive-sum effort.

That said, there are good questions about how much things have changed vs 25 years ago, how likely an early employee is to see a big payout on exit, and how much the fever for VC-backed startups distorts employee choices. But that's another rant.)
This is like the archetypical lowbrow dismissal, since the ED of ISRG is literally on this thread saying that their M.O. is to fund project maintainers directly to get this work done. These workers control the means of production.
Bluetooth sync? Check.

Remote operation? Check.

Accidental swipe? Oops.
I'm leaving Austin for the West Coast.

Not enough outdoor activities here. The amount of hiking trails is great for Texas. But not at the national scale or when compared to the West Coast & northern Rockies.

Texas is mostly private land, so there just aren't any greenbelts (that I know of, within 2 hours of Austin) where you can hike for 10-40 miles one way.

I'm strongly leaning towards Washington for that reason-- Huge "parks" (more like "wilderness zones") for hiking, as well as ocean kayaking, ocean sailing, and ocean fishing.

It's a cheap flight to Alaska from there. And WA is the only contiguous west coast state without state income tax.
Russia for First Time Holds More Gold Than U.S. Dollars
More about training. Walk into any shop, heck a title company, and you'll see UIs that have no explanations or anything just abbreviations that are understood by internal people. Look at the screen they use in Grease Monkey. There's probably people at your insurance company that still logs into a Telnet session to do things with your account.

There's more software out there like that than your Twitter UI for posting a message than you can imagine.
> Second, text ought to be tokenized (a term used in natural language processing wherein
text is assigned a numerical value) at many different levels (character, word, sentence,
paragraph, section, etc.) in order to make predictions that are relevant to the excerpt of a text,
while also remaining consistent to the broader document. This is challenging because doing so
involves a tremendous amount of computational resources. However, it may be necessary to
accurately capture meaning at different levels of abstraction.

I don't think this would be an improvement per se. The way Byte Pair Encodings are constructed that GPT-3 (and GPT-2) use is that they already take higher-level text representations and compress it down (into tokens), which are then reflected in the training of the model.
Clubhouse and the Future of Cult-Driven Social Platforms
Rockset is up to 9.4 times faster than Druid on Star Schema Benchmark queries
Kubernetes admission controllers in 5 minutes
Rust is designed to integrate into legacy codebases so security critical code can be rewritten in small steps. See the URL parser I Firefox. Moreover, the initiative this post is talking about uses rust to rewrite small parts of a C codebase.

Honestly, I'm getting more and more disappointed by the quality of discussion here on HN.
> No, they mentioned entering a "semi-game" niche, which is vague other than maybe targeting groups like airsoft enthusiasts.

Since it's a variant of a popular sport hunting shotgun, I think the reference is to gamifying hunting (or maybe target shooting). I don't think “airsoft, but with a smart shotgun” is a game likely to be a viable market outside dystopian fiction.

(Though if this does reach the market in significant numbers, I can't imagine it avoiding being very publicly used in shocking ways specifically enabled by its electronic integration.)
The geared hinges are practically equivalent to the article's topic.
Scala 3.0.0-RC1 – first release candidate is here
this sounds like a giant "trolling" of the West .. can I add that I do not like seeing mindless anti-Russia stuff here?
I agree Safety is the top priority. Don't risk people with drugs traces in their blood; it may degrade their competence. Also don't risk a guy that didn't sleep last night working - his competence will be degraded.

I proposed my catch-all solution for this in another comment: https://news.ycombinator.com/item?id=26183297

My ideal is we just ensure competence - guy who smoked weed last night may be more competent than a clean guy getting divorced. Test the competence
cyberpunk 2032
If I may ask, why is your company using Elixir? Wouldn't it make more sense to use Python everywhere on your web stack if you do scientific work on weather data?
> Marginal cost is not the only cost. It's disingenuous to treat it as such.

Well, it's a good thing I didn't do that. I just said that the lack of any real marginal cost means that artificial market segmentation for software should be analyzed separately from artificial market segmentation for physical goods. And only one of those two analyses is relevant to this thread. The software stuff you brought up is a red herring.
I understand it sucks being so reliant on a 3rd party and entrenched in their system but I’m sure you understand that they can legally “sunset” the App Store as a project like Google loves doing and not allow any new software on the device at all. We can’t enter into a contract with a company and expect to get something other than what was in the agreement. Just because a large part of the population starts relying on a privately provided resource does not make it a public utility. Relying on 3rd parties always involves a risk that they will eventually decide to change whatever you are relying on. We all hopefully know and understand that before deciding to make it a mission critical part of a pipeline
I think that summary is too narrow (i.e. the whole team, maybe even as "us vs. them" thing etc. are part of culture) but yes, for many of those startup guys "do 'hard' work, push things" seems to be an important piece and that's a reason for me to keep my distance.
Large companies want to have offices in large cities. Most large cities, Atlanta included, are blue.