skysight-inc/HackerNews huggingface dataset:
> Lamport did comment on it (via email) saying that understanding Paxos is less important than proving it works (via TLA+).

I suppose that's not wrong; if I know for a fact that something is going to behave how I expect it too, I don't generally care how it works. I can treat the algorithm as a black box and just go from there.

That said, I dont' completely agree. If I am implementing Paxos in NewLangOfTheMonth, it's likely that a straight one-to-one port of another version will not fully work due to tiny differences in the language semantics. If I don't understand Paxos, then it's unlikely I'll be able to correct any mistakes in the implementation.
It should be like that, but ad platforms are engaging not just in a cat-and-mouse game of ad blockers but also ad impression fraud (their words, not mine). This is why the JS loaded from ad servers are huge - they're trying to detect if it's an actual user or scripted click, which ironically pushes users to block ads wholesale due to these heavy and genuinely CPU-eating JS blobs.
I bet the 76% accuracy is coming from the CharaChorder's input method. From its website (https://www.charachorder.com/product-page/charachorder):

> CharaChorder’s internal processor arranges the letters on-screen in real time faster than the human eye can perceive.

So if it inputs one word, deletes it, and writes a new word every time you press a new letter, that would result in some decreased accuracy, even if the user doesn't ever correct anything.
> I don't want to be a part of your death cult.

GP said nothing about how or when they wish everyone to die. It's as banal a statement as "I wish the earth will keep spinning". If GP is in a death cult, so are the overwhelming majority of known organisms.

> Death should be a personal choice.

This almost sounds like a satire of Western toxic individualism taken to a supernatural extreme. To me, the pursuit of immortality looks a lot more like a death cult than the acceptance of our finitude does.
OP didn't say "my friends drink and it bothers me." They said "my friends are alcoholics and can't have fun without drinking." He's not looking for friends who don't ever drink. Just ones that understand moderation.

I'm also not sure why religion comes into it. If you're a non-believer and you don't want to socialize with believers I feel like you've missed the whole point of atheism/agnosticism.
Fair enough. Thanks. Keep up the great work.
No the wealthy love this because their debt becomes cheaper to service while their assets skyrockets. Inflation primarily hurts the non-asset owning poor.
That's not what RSS is for. It's a subscription system that notifies you when something has added new content. You control what you follow.

You can follow aggregators, you can follow curators, and you can filter what you follow. Discovery comes from what you get from who you follow. Humans going, "This is interesting.", you agreeing, and you following another blog or outlet.

Anything else definitionally is the "Silicon Valley algorithms" people say they don't want.
> I’ve often wished there were a way to organize against crypto

How about we rally to completely ban crypto. Talking about this isn't going to solve anything.
Thanks for the input, Genie creator here. I appreciate sharing your experience and I'd like to get a bit more info about the issues you had please.

0) Yes, this is an issue I confronted early on. Precompilation can take long on small machines, causing setups like Heroku's to kill the app. The solution (which granted should be maybe better documented) is to set the `EARLYBIND` env variable to `true` - this will allow Genie to bind to the port very early so Heroku will love it. (On second thought, maybe this should be the default in production)

1) ...

2) I don't understand the issues with auth, db, cookies, sessions, etc? Genie has built in support for handling (encrypted) cookies and sessions and plugins like GenieAuthentication (or GenieAuthorisation) and SearchLight provide straightforward features. Have you used these?

3) Really weird about the 30s update, haven't heard of this from other users. What's your computer configuration if I may ask? Can't comment on vim, I/we use VSCode.

Re deployment:
* are you running the app in "prod" environment?
* are you serving the assets via a reverse proxy like Nginx/Apache?

---

I do agree that using a language and a framework you know and used many times before would have been much quicker to build, but that's the case with all new tech. Besides the learning curve of a new language and a new framework, Genie and Julia are quite young and granted there's a myriad of things that we need to build, invent and develop :-) We enjoy doing it and solving this kind of problems and I'm sorry that unlike us, you had a hard time. Thanks again for sharing your experience and maybe check us out in 1y or so, the ecosystem is maturing fast but some things just take time (Python is 30y old right?).
It's more like people are realizing what the original claims from Nov 2020 were instead of blindly trusting politicians. Pfizer and Moderna only checked for symptomatic covid in those trials and never made claims about infection/transmission. That was all assumptions people were making over 2021.
It’s not that simple: the very large amount of money VCs and other speculators have pumped into it has ensured a steady stream of favorable coverage for years. The stories tend to get a hostile reaction from people who understand technology or economics but each round finds new people who think there might be a pony somewhere since they’ve been hearing about it for years.
Location: Brazil

Remote: Yes

Willing to relocate: Yes, preferred. Only to the United States, though. I'm actually relocating there soon for personal reasons and would love a role that is either fully remote, can sponsor visas or can do full remote for a few months until I get my work authorization.

Technologies: Python is my favorite language and the one I am most comfortable with. I've worked with Django, Django REST Framework, and FastAPI before. I've also played with CSS, Javascript and some C++. I'm comfortable with automated tests (Pytest), code reviews, Git, and somewhat comfortable with PostgreSQL.
Other technologies I've worked with include Docker, Kubernetes, Jenkins, AWS, RabbitMQ etc. I'm actually getting some extra training on those at this moment.

Résumé/CV: fer.de.macedo (at) gmail.com

Linkedin: in/ferdemacedo

More about me: I have about 1 year of experience as a Software Engineer/Backend developer and I am looking for a full-time role.

I currently work on a platforms team in one of the most successful fintechs in Brazil, doing mostly CI/CD work. I enjoy learning a lot, so I would love to work somewhere that fosters learning, as well as feedback. I am also adamant about having good work-life balance and working in a healthy, collaborative environment with genuinely good people.

Oh, and just to wrap this up, I am super interested in finance, functional programming and Kubernetes right now, but willing to learn anything.

Feel free to contact me via e-mail or Linkedin and we can have a quick chat if you think I'd be a good addition to the team.
That’s the point. Money laundering is the main feature. It is great for traditional criminals, but also helpful for folks for which money laundering is a weekly part of just surviving, because they don’t have a local reliable currency.
Won’t strong candidates see the low range and decide to apply elsewhere to places that are honest about offering higher pay? Applications and interviews are exhausting. I’m not going to waste my time applying somewhere hoping that their listed salary range is inaccurate. This seems like a problem that will sort itself out over time.

Edited to add: I agree that RSUs (and I will add cost of benefits) are an issue. It would be better if companies were required to list a range for total compensation.
Why is it taking so long for proof of stake to happen? They've been talking about it for many years and the fact that none of the mainstream coins have moved to proof of stake and there is no rising new coin that uses it, make me think there's a fundamental issue with it.
My ex-wife used to say that she could not randomly mash the keys on a keyboard as fast as I can accurately type. I've had people ask me if I'm human based on the speed of my typing. But honestly if you watch YouTube videos of typing competitions - there are lots of people that are 160+.

I first learned to type in 1982 and that really accelerated when I got online in 1985. I did not touch type at that point - I just used 3 fingers on each hand. The first year I learned to touch type my typing instructor typed 60 WPM and I typed 75. Then it just went up from there after 4 years of formal typing instruction.

For what it's worth, I use a Das Keyboard mechanical keyboard.
Does anyone know what that does to inflation?

Iirc the btc/eth market caps are more than the amount of "printed" USD throughout the pandemic.

Does tether printed act the same on inflation as USD printed?
Zig/Strings in 5 minutes
Google is a for-profit-spyware company. They are hostile to me and and anyone who desires privacy.
You are contradicting yourself. It's a global pandemic yet only quebec is going for these absolutely ridiculous measures. Hence why it's ludicrous for canada to be higher than the US. And it's been 2 years, it's not exactly temporary, especially since there's literally no scientific backing for a curfew in a pandemic and our government is not even pretending that there is any. At a certain point the "it's a global pandemic" excuse just does not work and you get well into the threshold of a non free society and I think we are well past that in quebec.

Also, quebec is still part of canada. So again, your point is just strange. You are just deflecting very weakly what I said.
Yeah this sounds highly problematic. Maybe in the meantime you can text links to your own portal instead. I.e. "New SMS received from +123... . Read it at: https://your-internal-infrastructure.com/sms/[GUID]" (maybe with a simple login so Twilio auto-fetch, if any, gets a benign page). That way there is no spammer-controlled message content (apart from the phone #) in the message you send. Or convert them to jpeg and send as MMS hoping that Twilio won't OCR that :D
Typical steno keyboards can definitely type single characters. Of course the most sensible use of them involves chords (defined according to a text-specific 'theory'), but you might still use them for mostly single-character entry if, e.g. you were concerned about RSI.
Currently, the way Chatbots are, they are just some glorified text boxes to enter your information in, a different format of the search box and lastly, a way to make sure you've done the basic checklist. They also hardly speak your language and refuse to deviate from the script in any way. Which, without much irony, is pretty much my experience with the first level support at a lot of companies. So I'd say they were quite successful with replacing that.
That's because a lot of us like to read offline and via e-ink. It's replaced a newspaper for many folks who want to just relax and somewhat unplug for a bit.
Normally, the pid and fd could be reused, so you should either make it a known unique path and verify it's still the same, lock the pid via some means (not sure if and how it's possible), or use another technique.
What struck me is that the good solutions are trained on non-English languages.
When I contacted these companies about offering their service in English or my native language, the best they could come up with is putting something like Google Translate in front of their solution.
There has been conversation happening regarding tournament play legality of digital input controllers for the Smash Bros games, most notably Super Smash Brothers Melee.
https://en.wikipedia.org/wiki/Smash_Box_controller
Here is a heart warming story about the same thing:

https://www.theguardian.com/football/2020/jul/05/keith-gille...
Yes, as you'll see in the readme that I have numbers for both approaches. The first section is the average number of remaining words after getting the match result back, and the second section is the average number of yellow and green squares.
I think the Mozilla Foundation people just want to kill Firefox. One bad decision, after another.
it's a big ask, but anybody know of similar for C#? I find it really difficult to find any intro to programming via gamedev for C#...
I'm making the point that sending messages on behalf of others DRAMATICALLY increases the risk that you will send low quality messages. Spam, phishing etc.

I'm more surprised that folks don't get that.

Twilio is clear. You are responsible for all messages you send using their platform. They are clear in their terms that this applies EVEN IF you allow others to use your service in ways that result in crap going out.

They DO NOT want spam or phishing messages going out from their numbers.

Everyone here saying this is "bad design", outrageous or whatever has not had to deal with spammers / scammers. This simple rule, you are responsible, full stop, for what you send using our API's, and if you send crap, we will suspend you - probably saves them from 90% of the abuse issues they would otherwise deal with.

Downstream, T-mobile, verizon etc - they don't care that the message was "consented" to by someones supposed "employees". When their customer reports spam coming from one of these numbers and if that number is verified -> game over for twilio
Thanks for the thoughtful and insightful responses. Understand that a large code base is hard - your point here though presumably means that some things in truffleruby are significantly slower than CRuby to cancel out the gains. Or have I misunderstood?!
Crypto won’t fix political and economic problems but only worsen them.

The debt that was imposed on you is inhumane and you shouldn’t have to pay it. The resulting attempts to solve it by selling public infrastructure only makes it worse.

Throwing crypto into the mix is pure insanity. It’s just gambling at a crippling ecological cost.
One more interesting note: Finalsite has a recommended communication to make to parents, which is very opaque about the underlying cause of the outage.
I live in Hungary. Disney+ hasn't launched here, which means you cannot watch stuff like the new Star Wars shows legally, you can only pirate them. (Yeah, I know VPN exists.) My point is it seems Disney has decided this market is too small for them to lift a finger. There are other movies that you simply cannot watch on any platform legally.
IIRC Larry didn't get much more than a mildly risque hot tub shot and some heavily censored humping. Didn't it have a black bar that bounced up and down or something like that? It was a comedy game first and porn game a distant second.
All of this seems like an advertisement. It does seem pretty cool though if you have a need to be able type a lot of text really fast; I don't think most programmers need to type fast though. My daily work as a programmer is like 5% typing code and 95% talking to people and thinking about things.
All the board members are appointed. From their website:[1]

>The Board of Governors--located in Washington, D.C.--is the governing body of the Federal Reserve System. It is run by seven members, or "governors," who are nominated by the President of the United States and confirmed in their positions by the U.S. Senate.

Not everyone who works for the Fed is appointed, but that is also true of the Supreme Court, Congress, the FBI, or any other part of the government. The leaders are political appointees and they oversee a bureaucratic system that includes many workers who are ostensibly apolitical.

>Seeing the tension over the years the Chairman, the President, and Congress implies to me that the government does not have absolute authority over the Fed.

Once again, just like the Supreme court. Both of these entities are designed to be more independent of the day-to-day political squabbles of the president and Congress.

[1] - https://www.federalreserve.gov/aboutthefed/structure-federal...
Comparing death rates in Australia, which actually did pretty major lockdowns, to South Africa[1], I don't know that this is a great argument against them. South Africa definitely paid for that infection-based immunity in human lives.

[1] https://ourworldindata.org/explorers/coronavirus-data-explor...
> I think that in the days before good windows security,

"Before"‽ Windows still sets every file as executable by default (just an example). If it had good security you wouldn't need anti-malware tools always running in the background looking for stuff that has already broken through (to some extent). Basically, Windows security has been and probably always will be absolute garbage.

A big reason why Microsoft won't (and can't, really) fix the security of Windows is backwards compatibility... If they fixed the "everything is executable by default" problem it would 100% for sure break a ton of stuff.

The code base for Windows is both old and enormous. They don't employ enough developers to constantly review and re-write all that code all of the time. Most of it--even today's Windows 10 core code--was written at a time when Microsoft didn't really give a rat's ass about security.

Just look at the past few years of Windows 10 vulnerabilities:

https://www.cvedetails.com/product/32238/Microsoft-Windows-1...

...and compare that to say, Canonical/Ubuntu's list:

https://www.cvedetails.com/vendor/4781/Canonical.html

Looking at last year, in 2021 Ubuntu had 29 CVE-listed vulnerabilities, four of which were "code execution" (the worst).

In that same period Windows 10 had 485 CVE-listed vulnerabilities, 112 of which were "code execution"!

Now consider for a moment that the scope of Canonical/Ubuntu CVE list includes vastly more software than what comes with Windows. I just looked (Ubuntu 21.04) and there's 6,080 packages in Ubuntu's "main" software repository which is what's in scope for those CVEs (I'm pretty sure anyway).

Whereas the scope of Windows 10 is just what comes with the OS which isn't much! If you drill down into the Windows 10 code execution vulnerabilities you'll see that it's all in the core stuff that comes with Windows like the print spooler, media services libraries, remote desktop, file system, etc. It's not obscure extras like bundled games or the snip tool or whatever.
For anyone wondering, this is not an exaggeration. Watson actually had 15 (or 16, depending on the source) TB of RAM, as well as a 2880-core processor.
Autistic people challenge preconceived ideas about rationality
On the other hand, the subject of certain chronic illnesses seems to be characterized by very real suffering followed by frustration at modern medicine for insisting on psychosomaticism as a leading hypothesis.
Denigrate how you will, but they work to transfer value securely, which is what's needed here.
Automatic Prediction of Your Data
but then they are simply not suitable for the use case of forwarding inbound messages because the risk is to great that i'll get shut down just because i am receiving spam.
Yes, IIRC stenographers in the US are required to type 225 WPM with 98% accuracy.
As per "Betteridge's law of headlines", No.

Besides, only one side thinks there's something here to fight about. The rest of us just want them to shut up and grow up.
This is for good reason. Rapid tests are substantially less sensitive and often give false negatives, especially for asymptomatic cases. There are also a lot of rapid "at home" tests out there that have high false positive rates, so even if non-PCR tests were added to the data the only reasonable approach would be to still require them to be administered by a medical professional to make sure the test is correctly administered and that the test itself is relatively high quality.
Hilarious. Some people just don’t mature past 15 years old.
ScreenFlow is a good app I wish I had on Linux.
Your newbie is showing. Authentication on RSS feeds is a thing. Plenty of major publications offer RSS feeds to paying customers. Been a thing for many, many years.
Agree, this is the ideal way. But if my life dependent on one company interview and they ask current salary instead of desired - they will get my desired number as if it was my current
Maybe so, although he has been featuring other authors on his blog regularly now. He works with them to keep the quality high, check them out.
Is there a mistake on the second diagram where prepare(1,e) is sent to Byzantium? Wonder if it should be prepare(1,a), since Athens hasn't learned the (1,e) value which only Ephesus and Delphi know about at that point?

Otherwise I think it's a pretty good description of Paxos. I like that it walks through a good number of failure scenarios and mentions interesting corner cases such as a lack of an explicit commit in the original papers and that reading also needs to run the full Paxos algorithm.
Even when or if this switch eventually finally happens, if the current inertia keeps going and the idea that "cryptocurrency causes climate change" continues to gain mainstream traction, it's going to be very hard to make people change their beliefs without a huge, concerted marketing campaign.
People were a bit eager with the announcements, but the real progress is there. A few steps big steps were finished last year and now the big merge is scheduled for 22. https://ethereum.org/en/eth2/
The original is quickcheck for erlang which also has an Haskell flavour. It has inspired scalacheck for scala.

I test pure logic with property based testing and simple integration testing to ensure all the steps are aligned properly.
>Crypto energy consumption is just unnecessary waste.

Not all, but never said otherwise!
I feel the despair in your comment

but you can not fix a broken thing with another, even more broken thing (which is this greedy cryptomania)

it is broken government that is the problem and it causes far more ills than monetary inflation

what needs fixing is government. you cannot have a stable meaningful life, society, economy without a semi-decent government that is accountable, democratic and somewhat competent

if the financial system still needs fixing after you fix government it would probably be a marginal patch and not starting from zero
Oddly enough Mozilla has started to hire some developers for browser positions again (the job offers appear every now and then at pages like indeed).
I think airlines engage in plenty of customer-hostile policies. I would argue that offering a clearly labled non-refundable option at a discount is not one of them.
> those transactions occur via a polluting process.

How much CO2 pollution is each transaction responsible for, and how much would it cost to offset that CO2?

It seems like there should be some threshold above which the donation will include within it the funds needed to compensate for its externalities, but I don't know if it's possible to create a smart contract that only allows donations above a threshold amount.
Bitcoin network power slumps as Kazakhstan crackdown hits crypto miners
Gitea Is Joining the Fediverse
Fluoride in water doesn't do anything for teeth. The fluoridation treatments dentists use are effective but that's a concentrated paste applied for some minutes to the teeth in a dentist's chair. Diluted fluoride in the water supply has zero benefit for teeth.
Mozilla has been accepting it for years, 2017 at least. I imagine nobody donated anything of palpable value because they had to re-announce that they do in fact accept crypto. That's what kicked off the controversy.

Also, I haven't seen Mozilla associated with positive PR for a long time. Much as I love Firefox, it's dead on mobile.
Sounds like Michael Scott is going to need to organize another fun run
I have photoshop installed, no big deal
You're absolutely right. That's why we treat our customer's data with utmost care, even if it's just metadata. Here's our security white paper if you're interested in learning more: https://www.notion.so/metaphordata/Security-Whitepaper-371ac...
Sorry, didn't notice the PCR qualifier.