skysight-inc/HackerNews huggingface dataset:
It largely already is. E.g. you can write \forall rather than \A, \lor instead of \/, \neg instead of ~, etc.. The representation most people choose to write as their ASCII typesetting source is just more ergonomic, as it's specifically tailored for TLA+; conversely, there is a LaTeX mode that renders TLA+.

Anyway, it's not what you're supposed to read. The vast majority of TLA+ is readable to someone familiar with ordinary mathematical notation within two to ten minutes of training (if you know temporal logic, then almost all of TLA+ is readable within minutes). See e.g. this complete (and very sophisticated in its use of advanced TLA+) specification, written at Arm, of CPU speculation side-channels: http://www.procode.org/cachespec/ (direct link to spec: http://www.procode.org/cachespec/CacheSpecv1.pdf). The syntax is quite beautiful, and almost immediately familiar to anyone who knows standard mathematical notation.
> In fact I think with Bluetooth 4 the file transfer profile just establishes an adhoc WiFi network.

This was a feature of Bluetooth 3.0, but almost nothing ever used it. I was once at a big BT testing company and asked about it, and they had like one device that could do it (a crazy feature-packed HTC WinMo device I think).

And then Bluetooth 4.0 added BLE, and it seems like there hasn't been much development of classic BT since then.
- to be deleted -
EDIT:
Oops i meant to post this as an Ask HN, i totally failed
>Their actual proposed changes really are just to make the legislation clearer and more enforceable.

Link? The reports I've seen (like the WaPo article above) are about what Apple has requested in closed door meetings.

I don't know whose word I trust less, anonymous congressional staffers talking to the post, or the pr department of the richest company in the world.
Within Google? I suspect enough to make this paper obsolete.

The paper itself says: "Employing lightweight, tool-based code review of code changes (aka modern code review)"; I think that substitution was a disservice. Practically all case studies are on modern processes so it's not really worth specifying.
But why wouldn't I use Rust in those scenarios, which gives me even more safety & compile-time bug checking? Zig isn't actually a small or simple language, after all, that's just marketing bullshit. Manual, mostly unassisted memory management isn't simple, and compile time evaluation & reflection isn't small. It keeps making claims about being simpler because it doesn't have macros or metaprogramming, but that's incredibly deceptive at best since it does have compile-time code generation (aka, metaprogramming). It's how Zig's printf function works! https://ziglang.org/documentation/0.7.1/#Case-Study-printf-i...

And as a bonus Rust includes a package manager today, instead of a coming eventually promise. So I'm not seeing why I'd ever go with Zig over Rust if I was migrating off of C today?
> When I started the download on my laptop via Transmission, the trackers indicated, that there is 1 seeder and 1 leecher. It also indicated, that there are 5 web seeds available, but the download did not start at all.

Dumb idea, but did you actually start the download, or just added it to transmission? I had this problem when I was downloading torrents with transmission when I forgot to hit start.
https://saraswationline.com/loc/video-Ita-v-lit-tv01.html
https://saraswationline.com/loc/video-fra-v-bos-tv01.html
https://saraswationline.com/loc/video-aus-v-den-tv01.html
https://saraswationline.com/loc/video-ando-v-hun-tv02.html
https://saraswationline.com/loc/video-aus-v-den-tv02.html
https://saraswationline.com/loc/video-fra-v-bos-tv02.html
https://saraswationline.com/loc/video-eng-v-pol-tv01.html
https://saraswationline.com/loc/video-eng-v-pol-tv02.html
https://saraswationline.com/loc/video-deu-v-nor-tv01.html
https://saraswationline.com/loc/video-deu-v-nor-tv02.html
https://saraswationline.com/loc/video-gre-v-geo-tv01.html
https://saraswationline.com/loc/video-gre-v-geo-tv02.html
https://saraswationline.com/loc/video-ice-v-lie-tv01.html
https://saraswationline.com/loc/video-ice-v-lie-tv02.html
https://saraswationline.com/loc/video-Ita-v-lit-tv02.html
https://saraswationline.com/loc/video-nor-v-bul-tv01.html
https://saraswationline.com/loc/video-nor-v-bul-tv02.html
https://saraswationline.com/loc/video-san-v-mar-tv01.html
https://saraswationline.com/loc/video-san-v-mar-tv02.html
https://saraswationline.com/loc/video-esp-v-kos-tv01.html
https://saraswationline.com/loc/video-esp-v-kos-tv02.html
http://www.vdkgentdames.be/ins/video-ando-v-hun-tv01.html
http://www.vdkgentdames.be/ins/video-ando-v-hun-tv02.html
https://slexy.org/view/s21rjCK7zq
https://slexy.org/view/s2Beoryhb3
https://slexy.org/view/s215Blu6Qm
https://slexy.org/view/s21kZ9g5w6
https://slexy.org/view/s20h9Sw32w
https://slexy.org/view/s2AR8pWR1f
http://www.vdkgentdames.be/ins/video-aus-v-den-tv01.html
http://www.vdkgentdames.be/ins/video-aus-v-den-tv02.html
http://www.vdkgentdames.be/ins/video-fra-v-bos-tv01.html
http://www.vdkgentdames.be/ins/video-fra-v-bos-tv02.html
http://www.vdkgentdames.be/ins/video-eng-v-pol-tv01.html
http://www.vdkgentdames.be/ins/video-eng-v-pol-tv02.html
http://www.vdkgentdames.be/ins/video-deu-v-nor-tv01.html
http://www.vdkgentdames.be/ins/video-deu-v-nor-tv02.html
http://www.vdkgentdames.be/ins/video-gre-v-geo-tv01.html
http://www.vdkgentdames.be/ins/video-gre-v-geo-tv02.html
http://www.vdkgentdames.be/ins/video-ice-v-lie-tv01.html
http://www.vdkgentdames.be/ins/video-ice-v-lie-tv02.html
http://www.vdkgentdames.be/ins/video-Ita-v-lit-tv01.html
http://www.vdkgentdames.be/ins/video-Ita-v-lit-tv02.html
http://www.vdkgentdames.be/ins/video-nor-v-bul-tv01.html
http://www.vdkgentdames.be/ins/video-nor-v-bul-tv02.html
http://www.vdkgentdames.be/ins/video-san-v-mar-tv01.html
http://www.vdkgentdames.be/ins/video-san-v-mar-tv02.html
http://www.vdkgentdames.be/ins/video-esp-v-kos-tv01.html
http://www.vdkgentdames.be/ins/video-esp-v-kos-tv02.html
am i the only person excited about this (i dont work at amazon)

im pretty burned out on wfh
"data is misused in many different areas" is not a valuable / informative point.

There are many wrongs seem to have something to do with data, but in fact they are not.

Like socialist economy planning will eventually fail, but then you would say they misused data. It seems relevant, but misusing the data is not the real cause of their failure at all.
“This is a slow burn theme, but we are of the view that we’re eventually headed into a ‘multiple reserve currency’ framework over time,” Bipan Rai, a strategist at CIBC, said via email.

Haha... that's quite the spin.
I'm not the biggest proponent of bitcoin, some of that is angst from not hodling any, but a lot is I feel it was more of a "concept" or "mvp". Ethereum/Cardano and other newer chains/tech are the actual "reason" for crypto. DeFi, and De-centralized autonomous organizations are the real world-changing things, eventually we could see a coin with automated taxation/basic income and identities (sybil-proof), it could essentially "beat" poverty and income inequality.

Bitcoin is an energy hog, and not very exciting... but don't throw the baby out with the bathwater cause there's TON of exciting research on blockchain that's way better. I think long-term bitcoin may fall out of popularity, esp as all the new things hit w/ ethereum, cardano, and their competitors and all the sub-chains on them and level-2 making it so transactions aren't nearly as costly.
Starlink pollutes the sky, making it hard for astronomers to do their work.

https://www.sciencemag.org/news/2020/10/starlink-already-thr...
I read the article. I don't get it. I read the article before I posted here. I read the wiki page about her as well, and went looking for her citation index.
I think cryptocurrency is now the only way to pay for Pornhub. We can probably expect payment providers to cancel more and more in the future.
I worked at Google circa 2015, and found the code review process to be actively terrible.

I was writing JS, while my sole teammate was a firmware engineer. He was not willing or able to meaningfully review my code, so I had to try to scrounge random reviewers from other teams. They naturally de-prioritized it, so it took forever. And because they were not involved in my project, they would only have local stylistic feedback.

Months in, I finally figured out that other engineers were just self-reviewing: you can add yourself as a reviewer and just click merge. So I started doing that too.
I feel like I've conquered mine. I can primarily thank the Kinesis Advantage2 keyboard, it's basically the only reason I can type now. I have no pain using it, and I honestly get a shooting pain every time I switch over to my laptop's keyboard.

One more thing is getting up and walking around for 5 minutes every 30min. We basically sit ourselves into these problems, and getting up is a helpful solution. I even knock out a bunch of 5-minute chores in a day thanks to this.

Finally, find some 10min yoga sessions to do in the morning. Do 'em a few times a week. They'll stretch your hands out in ways you wouldn't expect.

Oh, and smartphones suck to hold, find the tiniest one possible. iPhone SE is killer for this
Bi-modal input worked for me. That’s a fancy way of saying use a trackball and a mouse at the same time. I would use the trackball to fling the cursor around the screen with my left hand, and the mouse to fine tune the aim with my right hand. I can only speak for myself, but this solved an acute pain in my wrist.
Kinda glad I went with Purell and GermX during the whole pandemic. Can't go wrong with highly recognized brand names most of the time.
You don't need sanitizer to wash appendages though. Soap is better.
This is a complete miss from your side, I’m not an American and not a xenophobe.
> Note that the author of the post is based in London

But clearly positions himself as as USian.
Most are pre trained and intentionally left incapable of learning on the go. One probably would count that as a rather major issue when encountered in a human.
I agree with you that this article is a tiresome attempt to spot-weld an archaeological subject interesting in itself to the gender-and-power fad. However, with regard to this:

> If you can look at a toy a child loves so much that they were buried with it and see a ploy by society to control them

many toys sold in North America over the last several decades have been closely tied to media franchises, and there has been plenty of criticism of those media franchises for accepting strings-attached help from the US military to bolster its image, e.g. the Transformers movies [0].

[0] https://www.wired.com/2008/12/pentagon-holl-1/
Bringing this around to carbon taxes, a $20 / ton carbon tax would raise the cost of producing gold by about $16 / troy ounce, and the cost of electricity by around 1 cents / kWh. Googling says it's currently about 700 kWh / BTC transaction, which would create a "carbon surcharge" of about $7 / transaction.
This installation is right at the base of my family ranch. I am excited to hear about the development of new ways to generate and store power, but man if these panels don't mess up the natural beauty of the area. I can only assume the batteries will as well.
There are plenty of boomers at companies that aren't last-century-model worshippers like Apple and Amazon that have recognized the insanity of offices.

I think this is more of a failure to adapt to the internet than anything related to one's age.
One is a Docker monitoring service, other is a REST API monitoring service. Anyone interested just by these titles?:)
C++ has to have structs because it wants to be (mostly) backwards compatible with C. I think that's the main reason they exist in C++.
But every USD will be the same price as every other regardless if they are devalued, that was your initial point. Same with Chuck E. Cheese. Same with Bitcoin. In fact, Bitcoin, which is largely treated as a commodity, could be greatly reduced in price if a lot of the currently unmoving coins flooded the market causing them to lose value. They'd still be worth 1 BTC of course, but that has no value in itself.
Miners pay for the electricity they consume which includes environmental taxes. Why ban them?
It's kinda sad that the question never explicitly says cryptocurrency and could just as easily be about cryptography but the answers immediately assume the former.

I'd say read the bitcoin paper and then meditate on it a bit. After that go study authenticated datastructures and distributed systems.

For cryptography I'd suggest rolling your own crypto and doing an ICO. /s
Apple doesn't care about album cover art
Lol when you're an amazon employee and find out on hacker news. I must say, the communication during covid hasn't been great internally
That’s pretty common. There are a lot of super successful companies that do good business without any mention in the media.

I think a lot of SV companies are very dependent on media coverage to get their valuation up. Especially since they don’t have an idea how to make profits.
I don't think Tesla's engineering tradeoffs are bad, I just think that they result in a car that's different than my notion of an ideal car. It's a preference thing more than anything else.

I did actually consider buying a Model 3, and even put down a thousand dollars to preorder back when it was announced. I test drove a dual-motor version (I would have gotten the single-motor version, but it's what they had). The acceleration is fun. Otherwise it seemed like a solidly built yet kind of generic car. In the end, the main things that kept me from buying it were Tesla's secretive nature when it comes to service information and the prospect of some minor component failing and bricking the car (like that flash chip soldered to a giant motherboard that had issues in early models) after the warranty expires, and the price being a bit more than I cared to spend on a car. Awhile later a friend showed off a Ford Ranger pickup truck he'd converted with an electric motor and I thought: hmm, this isn't actually as expensive or difficult as I thought, maybe I should do a conversion...

The weight breakdown is something like this: the RX-8 is about 3,000 pounds stock. The rotary engine is about 300 pounds with all its accessories attached. The dual-shaft version of the Netgain Hyper9 AC motor I'm using is 130 pounds. The exhaust system is maybe a hundred pounds or so removed. The gas tank is another hundred pounds or so (when full). I'm adding about 450 pounds of lithium iron phosphate batteries, which gets me about 27kwh and maybe 100 miles of range if I'm lucky. (Used Tesla cells have a lot better energy density and are actually reasonably priced, but they wouldn't have fit very well in the places I wanted to put them. They're also a bit more dangerous than LFP cells and require liquid cooling.) I'm also adding in some weight for battery boxes and the motor mount and motor/transmission adapter. In the end I figure the car'll be about 200 pounds heavier or so, and most of that weight is very close to the ground.
Anecdotally, hand sanitizer is quite popular in places I come across in San Francisco. Some businesses require a squirt of it at entry.
But I think that there’s a lot of value in allowing less popular choices because when one goes to the internet to find players, perhaps it’s because the game is so niche that it’s hard to find them in real life.
I'm still not seeing an argument that fiat currency leads to war ...
> As such there is little point in the FDA doing a recall; I thought hand sanitizer went out of style around the time masks came into style.

There are people who have occasion to use hand sanitizer for reasons unrelated to COVID.
No, there are lots of extroverts who like social interaction in the workplace, and bad managers who think their main job is to observe and ensure butts-in-seats.
In the same vein, there's Shimano who is the biggest brand in biking tech and one of the top five company for fishing equipment.
I always get angry about the conservative idea that "It's hubris to think humanity is so powerful that we could possibly change the whole environment!" (occasionally sprinkled with "only god is that powerful")

Guess what? Such simple creatures as an early bacteria did it even harder over 2 billion years ago, making the earth nearly inhabitable by anything that came before it.
If the USD was really unstable because of printing, its value compared with the NZD (which hasn't had such printing) would have collapsed.

Before covid it was 1.6 NZ to the US, now it's about 1.4 - so a loss of about 10%. If you had 1600 NZD in 2019 and bought USD, kept it under the matress, and sold it, you'd have lost NZD200.

That's not great, but it's a similar range of NZD vs AUD, NZD vs CHF, CHF vs USD, etc.

Now if you had 1600BTC in 2019 and bought USD, well that's tricky -- when in 2019?

In Jan 2019 it was about 3500, by May 2019 it was about 5000 USD to the BTC, in June it was about 10,000, it fluctuated by about 20% over summer, dropped back to 7,000 in December. It stayed in that whole 7k-14k range until November 2020 when it ballooned upto about 60k over the next few months.

In the last couple of years, gold has gone from about 1200 to 1700, 40% change in the last 2 years. Silver about 30%. Other currencies that haven't had printing about 20% fluctuation. Rice about 20%, Wheat about 40%, Soy about 50% - those comodities do fluctuate a fair bit over long time though.

Bitcoin has increased around 1,000%. That's so far out from EVERYTHING ELSE that it isn't currencies shifting, it's crypto.
I’m saying this because I like Sublime Text and want you to succeed:

As an end user: that model doesn’t work for me at all. Most other apps I use get regular feature and bugfix updates and I admit that I’m spoiled by those regular updates. That ST2 went so very long between releases made it feel like a dead project. Even if behind the scenes it was still active and healthy, I didn’t see that and couldn’t tell the difference between “actively developed, thriving project that just doesn’t release often” and “developer woke up one month and thought ‘hey, I should close a feature request or two this quarter’”.

Again, I’m definitely not arguing that you’re not hard at work on it. I mean this in the spirit of feedback: as an end user who wasn’t active in the plugin developer forums, I didn’t realize anyone was still working on it full-time. And because of that, I stopped using ST because it felt like it was a dead end and I wanted to put my mental resources toward learning and using something still alive and thriving.
> I get to hear about how he's working with his mentor to do vocal production on a track getting pitched for Maroon 5, The Chainsmokers, etc. Sometimes the tracks take -- the artist likes them and decides to move forward. Usually they don't and it's a lot of getting your hopes up for nothing

This lines up with stories I’ve heard from a friend who had some success in the music industry (2 gold records), was signed to a major label, then dropped so went into song writing.

It’s a hyper competitive industry to operate in
Wikipedia is in my opinion unluckily a complex example because the donations are actually for Wikimedia.

In my case I donated only once to them and I understood only later that (apparently?) most of the $ isn't being used for Wikipedia, therefore as I'm not interested in their other projects I never donated anything anymore to them - they can make that banner as big&flashy as they want but the fact remains that I don't want my $ used for non-Wikipedia-related activities.
My social network orbits around several people who experience apple’s testing rigor- and the stories I’ve heard aligns with the parent comment.

Apple sounds like it really is that rigorous with the quality of hardware and drivers/firmware they use.

Some of the stories of nitpicking that I’ve heard are truly awe inspiring. On the other hand, I’d hate to be the engineer on the vendor side trying to please apple. (Mostly because some crap PM or sales person made promises without consulting engineering on what’s possible with the available time and resources)
Just found on my Note 10+ in Developer Options was a setting labeled "Enable Gabeldorsh - Enables the Bluetooth Gabeldorsh feature stack".

Just turned it on and will be reconnecting some things to see if it helps with some of the small issues I've always had.
> While doing his obligatory community service (Zivildienst) in a West German hospital in 1989, Rust stabbed a female co-worker who had rejected him. The victim barely survived.

That didn't make global headlines.
Have you ever worked for a Delaware corporation in a state other than Delaware?
That's exactly why they say it
One of the enduring memories of bumbling through my first few months as an undergrad was coming upon a torn, well-read copy of the Dragon Book in the institute library. To date, it remains one of the best pieces of CS literature I have read.

Seven years down the line, it feels strangely warm to read those names again.
Unfortunately as GP has mentioned, advertising around these typical VPN companies (Nord, Proton, ExpressVPN, Surfshark and many more) tends to be very misleading. Tom Scott put out a good video[1] that tries to debunk various marketing claims.

Sure there are use cases like getting around georestrictions, and like you mentioned you can use it to get around tracking. Except that for privacy and evading tracking you need more than just a VPN, you need to be doing things like adblocking, tracker blocking, clearing all of your cookies, not signing in to anything because then the service gets to link your new VPN IP with you again. VPN ads that sell "privacy" is snake oil unless it is paired with a guide on the additional things you should be doing.

[1]: https://www.youtube.com/watch?v=WVDQEoe6ZWY
In the case of Americans outside the US... You can write off foreign taxes paid up to a limit on the American side.
That is precisely the story of a close friend. It really messed her up for several years. She was genuinely amazingly talented but her band never managed to be in the right place at the right time.

She did land on her feet, after literally going all the way back to college as a freshman. (She was fortunate to have the resources for that.)

Best anecdote though, on the 18 year olds who she befriended in the program: "The good news is they think I'm 28. The bad news is they think that's old."
> Zig is too uninteresting to eclipse anything.

As someone who knows C and not Zig, Zig is very interesting. It has incremental compilation, in-place binary patching, the ability to use code before declaration in a file, compile-time code execution, and extremely low compile times. Rust itself doesn't have most of those.

Also, as Python illustrated, a language doesn't have to be interesting to be popular.

As Python also illustrated, a language can be opinionated and popular. I'm growing more and more convinced that useful languages have to be opinionated - opinions have to be somewhere, and if they're not in the language (where the entire community is forced to use them), then they'll have to be in individual code-bases, where you'll get a bunch of fragmentation (which I think was one of the things that killed Lisp).

Now, Zig is very imperfect - no hidden control flow/operator overloading, no REPL, and a weak type system, most notably - but it's better than C in almost every way, easier to learn than Rust, and way more conceptually scalable than FORTH (which has a more "beautiful" design).
You forgot Scheme.
My last vanilla Javascript project ended up with a library of useful functions which could be used independently. My last vanilla PHP project indeed had some sort of glue layer to tie some things together (routing). But it was more about convenience and less about requirement. Most of the code could be used independently nevertheless.