skysight-inc/HackerNews huggingface dataset:
I'm not convinced they'll be able to create a rollup in any reasonable amount of time. The teams building this tech (arbitrum, starkware, zksync, etc.) are doing so closed source and stacked with people with deep applied cryptography experience. As far as I'm aware, Polygon outsources most/all of their development. Do you really think an outsourced dev team is going to complete in building bleeding edge tech at the limits of applied cryptography?
> The research people discuss on this topic on r/superstonk is interesting to read just to get an idea of what they are doing.

It can be interesting to read to see what they're thinking, but the material posted on /r/superstonk is basically QAnon for stonks.

I took a quick look and their supposed floor price for GME has now crossed $30,000,000. They're all ecstatic that they're going to be kings in the future because they hold a couple shares of Gamestop.
Another overview of some Lisp books:

https://imgur.com/a/5mWJmpo
You've broken the site guidelines badly by attacking another user like that. Please review https://news.ycombinator.com/newsguidelines.html and stick to the rules.
I have been working for a few years now on Exomind[1], a personal knowledge management tool that takes the form of a unified inbox in which you can have your emails, tasks, notes and bookmarks organized into collections. I have an iOS and a web/electron clients at the moment and a simple browser extension for bookmarking.

Its backend (Exocore[2]) is built on top of a personal / private blockchain and is made from the ground up to be hosted in a semi-decentralized fashion on your own personal devices (your computer, raspberry pi, a cloud instance, etc.). It is written in Rust and has iOS, C and Web (WASM) clients. It's extensible via WebAssembly written applications.

It has very rough edges, but I'm using it daily to organize my life. It has also been my learning playground to improve my Rust skills over the last two years (it was on another tech stack before).

[1]: https://github.com/appaquet/exomind
[2]: https://github.com/appaquet/exocore
> Management has zero incentive to change any of problems you signal, and probably don't see them as an issue.

It sounds like management intentionally created these practices. This is from a recent NY Times article about Amazon warehouse workers, but it wouldn't surprise me if this attitude was applied to all workers in the company to some degree:

https://www.nytimes.com/2021/06/15/us/politics/amazon-wareho...:

> 5. Many of Amazon’s most contentious policies go back to Jeff Bezos’ original vision.
Some of the practices that most frustrate employees — the short-term-employment model, with little opportunity for advancement, and the use of technology to hire, monitor and manage workers — come from Jeff Bezos, Amazon’s founder and chief executive.

> He believed that an entrenched work force created a “march to mediocrity,” said David Niekerk, a former long-serving vice president who built the company’s original human resources operations in the warehouses.

> Company data showed that most employees became less eager over time, he said, and Mr. Bezos believed that people were inherently lazy. “What he would say is that our nature as humans is to expend as little energy as possible to get what we want or need,” Mr. Niekerk said. That conviction was embedded throughout the business, from the ease of instant ordering to the pervasive use of data to get the most out of employees.

In many cases software engineers overestimate their own value to the company, often to the point were they'll ape the attitudes of owners and management (e.g. rejecting the the idea of a union out of hand). But the fact of the matter is they're cogs just like warehouse workers, and in many situations competent management will exploit the hell out of them to extract maximum value for the shareholders.
This can be solved easily: let the insurance company pay the ransom, and factor in the full cost (since it wouldn't be tax-deductable) when computing the premium.

EDIT: otherwise, the collectivity effectively pays for what you deducted from your taxes. The missing money on the overall country balance has to come from somewhere.

EDIT2: If you're talking about private insurances covering your risk of ransoms, this means you assume it's your responsibility to pay for your losses (insurances just allow you to pay proportionally to the risk), and not e.g. have the government, say, paying it for you (through public funds, which can and IIRC has happened for kidnapping cases here some countries pay the cost of rescue). All I'm saying is that if it's private insurance, it should be private 100%
If you are looking for inspiration try '500 Lines or Less' [0]. It includes in-depth analysis of projects at hand and implementation. These are manageable project with a clear goal so you will complete them for sure.

[0] https://aosabook.org/en/index.html
https://github.com/aosabook/500lines
ARCHIVE: https://archive.ph/OUP25
I feel stuck in the the engineering for engineers trap
Fly.io (YC W20) Is Hiring Site Reliability Engineers
Fly.io takes container images and converts them into fleets of Firecracker VMs, running on our own hardware around the world.
It's easy on Fly to run applications close to users, no matter where they are in the world. Try it out! If you’ve got a working container already, it can be running here in less than 10 minutes:

https://fly.io/docs/speedrun/

We've got a lot of fun ops challenges here. We're HashiCorp stack (Nomad, Consul, and Vault), plus Firecracker, plus WireGuard, which is what our network fabric is built on. Our users drive Fly.io through a Rails-based GraphQL API. We host a heavy-duty Prometheus-style metrics cluster, an ElasticSearch cluster for logging, a monitoring system using Sensu Go, BGP4 peering with Bird… the list goes on.

We're hiring SRE-types to help us manage and keep this stuff running smoothly. The role includes:

* Intense observability and monitoring, so that Kurt only gets paged during his on-calls when something important happens.

* Coordinating deployments of new infrastructure across a fleet of servers with custom kernel and networking configurations.

* Enabling us to quickly ship new features to prod with canaries or blues and greens or whatever the cool kids are doing, because some of what we deploy right now is scary enough to slow us down a bit.

We're a small, almost entirely technical team. Ops and dev are tightly integrated, and devs don't throw things over the wall expecting ops to magically keep them running.

We're remote, in Chicago, Montreal, Colorado, Virginia, Utah, Wisconsin, and London.

We all share an on-call rotation, which is a company value that won't be changing any time soon.

We're weird about hiring. We're deeply skeptical both of resumes and interviews. We're believers in aptitude and of discovering and developing talent. Regardless of your background, we're interested in hearing from you; you can't waste our time. More about the role and our hiring process here: https://preview.fly.dev/blog/fly-is-hiring-sres/

Or just reach out: jobs+servers@fly.io.
You seem to have a lot of knowledge on this, so apologies if I am misunderstanding, but aren't you still overlooking the fact that that for iCloud accounts that hadn't been used on Apple devices (even if it was a small subset of devices), he was able to reset the provided password via concurrent brute-forcing the OTP endpoint?

Isn't that alone sufficient to demonstrate complete iCloud account takeover?

Agreed that this should not be taken as proof that the other reset flow was not vulnerable, but to me it seems like two separate issues.
Depends. You can make the same argument about an OS not giving bare-metal performance. For example, disk bandwidth may be different from filesystem performance. You may have some daemon doing e.g., disk-defragmentation in the background. If you’re trying to be really scientific, you should note any sources of measurement interference, because they always exist. You have to pick your battles.

If you’re running VMs in production, VM performance is the main metric you care about. If not, benchmarking in a container limits performance interference to networking and disk, mostly.

Performance measurements are supposed to be like “real science” experiments. Doing it the “right way” would have controls, multiple trials, and different setups to help control for measurement effects. Unfortunately, most experiments do not have sufficient rigor. The post shows how to document experiment setup, which allows you to replicate, but it may not actually be able to reproduce the hypothesis/conclusion.
Speculative traders like to talk about their biggest wins, but they're generally quiet about losses.

Um, yes. This is zero-sum. There have to be a lot of losers out there.
Wouldn't be the first time: https://www.history.com/news/california-once-tried-to-ban-bl...

I'm not trying to pressure you or anybody else to agree with me, but personally it was really shocking for me when I realized how segregated the Bay Area actually is: http://radicalcartography.net/index.html?bayarea

There's no way I can look at a divide like the one at the Richmond–San Rafael Bridge and not think that ease of access to irl mobility is an issue. Once Upon A Time it was imagined that Phase 2 of BART would run alongside that bridge. There is a bus, but it's not of much use for anybody who needs to work later than 9PM, like many service jobs: https://www.goldengate.org/bus/route-schedule/del-norte-bart...
Yep. That would make it clear that the system is fucked.
Wikipedia says "enrolls more than 328,000 students" https://en.wikipedia.org/wiki/University_of_Buenos_Aires . It's split in 13+1 faculties, and many other smaller entities (that sometimes are not so small). Each part is quite independent.

I work in the +1 part, that is a "common" first year for all the students, but it actually has like 10 "flavors" [1] (The first year of Medicine is equal to the first year Odontology, but it's different of the first year of Law School.)

The emails block is probably not so coarse, and is probably split in a cases for each faculty. (I don't have hard data, just guessing, and comparing the information from the 2-3 cases I know.) And it may be even cases where it's applied to smaller groups, because many of the departments in each universities run their own web and email servers.

[1] The "flavors" don't have an official name, I just made up a name here.
Meanwhile I'm still rocking a 1998 Subaru Legacy. Runs perfectly.
Having used both Tiled and LDtk, the latter is far more fun to use. Tiled is bogged down by legacy compatibility quirks that will never be fixed.
I remember several year ago when people kept the tags on their clothes when they wore them, it was almost a statement that 'this' is authentic.

I could absolutely see how this could bleed over into the digital world where you have a sort of MySpace page for the things you own, just for bragging rights.
I suspect once everyone is having a 4 day work week they’d get used to that, complain, and then want more. The problem isn’t a 5 day work week, but the world is pretty much designed for that in mind. Once a 4 day is normal, the world will again design around that to make it inadequate again.
surprising you were downvoted for saying what virtually everyone is thinking.
>The mechanics at the dealer always went to look at it because they basically weren't on the roads any longer in New England.

Can confirm this. Can't remember the last tine I saw a del Sol.
how many months of work does it take to get the "stamp"? I'm assuming employers would be wary if it's only 6-12 months
As did every main stream media and news outlet, such as the New York Times.
There’s a fairly lengthy account of this incident in the (very enjoyable) book The Dead Hand: The Untold History of the Cold War Arms Race and its Deadly Legacy.

It’s long but a great read if you’re interested in this part of history.

https://en.m.wikipedia.org/wiki/The_Dead_Hand
You can also do this with purely free and open source software like [0].

[0] https://github.com/quil-lang/qvm
"Deprogram" is the same word I came here to use... I haven't seen it myself, but supposedly it's inevitable that you'll eventually have to have "the talk" with a former Amazon employee who tries to schedule a meeting at 7am
I think we have too look at the numbers. There are 600 million pigs kept worldwide, most of them in miserable circumstances. The more this number grows (and it is on a growth trajectory) the more we should be concerned about this. (Though my personal opinion is that the current number is already unacceptable.)
I suppose you could put it into light sleep mode (0.8mA) or deep sleep mode (<0.15mA) most of the time, and only switch on the Wi-Fi/BLE occasionally to sync data or when the user wants to interact with it. You could also use the hibernation mode (0.005mA) at night, and set up an RTC timer to wake it up in the morning.

I do like the idea of a fully open source watch though, I used to do quite a bit of Android Wear development in its early days [0] [1] [2] but got frustrated with Google breaking my apps every 6 months with new APIs, breaking my Android Studio projects with every new version of Android Studio, and removing them from the Play Store because of new rules. I much prefer hardware and software that just continues to work if you do exactly nothing, which is kind of how all my other appliances work. It's not like my air fryer or rice cooker just stop working if I don't update their software.

Also I absolutely hated Java and would much rather develop in C++, (Micro)Python, or even C, all of which are possible with the ESP32.

[0] https://www.pcmag.com/news/attopedia-for-android-wear-puts-t...

[1] https://www.androidpolice.com/2014/07/15/there-is-now-a-matr...

[2] https://www.androidauthority.com/android-wear-remote-app-404...
> and the fact that humans kill for pleasure (taste) and convenience, but let's just focus on the number.

Well sorry, not sorry for trying to enjoy the only life that I have.
Path Tracing Quake in Blender
Seems like this has happened before?

https://theprepared.com/blog/hackers-infiltrated-a-florida-w...
Natural Remedy to Strengthen Teeth
Maybe because legal needs to be involved.
Cut one rope in four?
How long until airbag hoods?
This reminds me of the excellent play “An enemy of the people” by Henrik Ibsen.

COVID’s origin and coverup has done tremendous damage to the faith that people had in the media, and their government. Perhaps it is the media that has become the enemy of the people.
They are. That video shows reconnaissance applications. Who do you think is in the market for 10,000 of these?
> the vast majority of retail are buying calls

This is almost certainly NOT the case. Do you have any data to back this statement up?

The MOASS theory relies simply on retail investors buying and holding shares. On the rare occasion when someone posts to Superstonk about their GME options, the user is quickly warned against them, without fail, every single time I’ve seen it happen.

Retail investors were no doubt trading options through Robinhood back in January. But after all the drama back then, Robinhood has since suffered a mass exodus of users to different brokerages.

It’s clear from spending any time at places like Superstonk that retail investors who’ve read any of the DD have moved away from RH en masse. There was a big push across the community to do this back in February, but I appreciate this isn’t obvious knowledge to someone who hasn’t kept up-to-speed with it for the past 6 months. Options are normally only ever mentioned by uninformed new users.
The form building part I don't no, I built it for a client that has a few dozen forms with hundreds of fields / options which is hard to keep up with. So we settled on using a csv file that is essentially a products owner way of saying, i want this field on this entity of this type.

For example:

entity,field,type,constraints
delivery,arrived_at,Date,{ before: 0 }

And in the form:

form,field_1,field_2,...
delivery_details,left_at,arrived_at,...

Our CI then checks that the field actually exists in the typescript schema, and if not the build fails on our development environment (and suggests the basic SQL to fix it). The company is small enough for us to be able copy the sql into a migration script and let it run without skipping a beat.

It's not a magical pill, renaming, deleting and custom migrations need to be dealt with manually. But for the most part 80%_of our changes are additions and this way it just works.
It’s definitely not qanon. You have to pass the first impression given by the heavy use of memes and the Reddit culture and check what they call “DD” (for Due Diligence, which is their way to say “research material”). Just filter posts by flair for this. Or check anything by u/criand or u/attobit.

There is a lot of noise, but some interesting discovery have been done. It’s evolving over time as people find new elements to investigate or new events happen (such as the raise in reverse repo operations).
DOS Navigator Open Source Project (2008)
Things you should consider when building an enterprise blockchain solution
Zuckerberg should give Moby a ring.
If only Julia had a fluent static compilation it would be in the top 10 of languages. It's too bad there are not so much investment into a really important stuff that will benefit the world. All the investment goes to bubbles and financial pyramids.
Never Throw a Clean Ball
In this case the "experts" were the one with the biggest stake of all in it. "Gain of function" research had to be defended at all cost.
Even a global pandemic was not to stop the grants from flowing.
I think there’s a lot of knee-jerk voting here. I.e. if contrary to my ideology then downvote.
He got 30k from Instagram for the exact same concurrent bruteforce attack on their password reset flow.
(I maintain Bison.)

While I definitely agree that ANTLR is a great tool, I feel that many of the critics about Bison are somewhat unfair.

First of all, many people like to tie Flex and Bison together, and that's wrong. You don't have to use Flex to feed tokens to your Bison parser. And my personal opinion is that Flex is badly maintained. Releases are infrequent, and issues keep on stacking. So please, stop putting Flex and Bison in the same bucket: they _can_ be used together, but they are not maintained by the same people.

Second, many people seem to not know that Bison is way more than YACC. To name just a few features of Bison

- it goes way beyond LALR(1): IELR(1), canonical LR(1), and GLR are supported

- it generates parsers in C, C++, Java and D

- it supports push and pull parsing

- it supports customized error message generation

- it can generate explicit counterexamples about conflicts (see https://en.wikipedia.org/wiki/GNU_Bison#Counterexample_gener... to see examples)

- it perfectly supports reentrant parsers and it comes with several examples of such parsers (see https://github.com/akimd/bison/tree/master/examples/c)

- and way more.

The original article says:

> Flex and Bison are very much stable software. They are maintained, but development of new features is limited, if not absent.

Before emitting such strong statements about Bison, please at least look at its current state and to the NEWS file (https://git.savannah.gnu.org/cgit/bison.git/tree/NEWS). There were two major releases in 2018, three in 2019 and two in 2020. That's 29 releases in four years if you also count the bug fix releases. Therefore "development of new features is limited, if not absent" is pretty much false. Did the author actually studied Bison before writing all this?
Its job is to be a lobster on a leash. To bring attention to itself and its owner.
360 peer reviews are such bullshit. I've seen it happen where strong developers on a team of strong developers stagnate at the same level for years while mediocre developers surrounded by terrible developers get promoted. It all comes down to who's evaluating you and who you're in good with. It has nothing at all to do with how good you actually are.
Not all heirs of immoral old people are as innocent as your speech makes them out to be. They often inherit the same false paradigms and abusive patterns of parasitic behavior that their parents and grandparents had.

What was your point in bringing this up / how does this point of yours support your arguments?
> a 12 year old car is no problem for anyone but the people at the wall street journal in my opinion

This was a weird statement since the article doesn’t seem to have any problem with people keeping cars longer.
I would step in and do the work you are not doing on the 5th day. We will see how employers deal with this. "I want to work from home, and I want to work less", lets see if this works out for you people...
That's why you'd plug it with hot glue, it could be easily removed after the resin cures. Better yet use black silicone and make it reusable.
In 99% of algebra textbooks you'll see a definition like "if G is a group and H is a subset of G, then we call H a subgroup if it is a group under the same operation." Then, the next thing you see is probably the theorem that "H is a subgroup of G if and only if it is a subset of G and gh^{-1} € H for all g, h € H". That's clearly using the language of set theory to talk about groups.

I mean, my argument is not that type theory or anything is unsuitable for doing maths. It's that it is different from how most people do maths. In my particular case, I am such an undergraduate who has actually tried to do some group theory in Coq and found it annoying to pull it off—not in the least because I figured out there were multiple equivalent ways of e.g. defining what is a group and/or subgroup and I had no idea which one was more natural or useful; you can work with injective homomorphisms, as someone else suggested, but you can also work with predicates so that you define a subgroup as all elements of some type that satisfy that predicate. Moreover, the fact that Coq includes several different types of "truth" (basically, Bool vs. Prop), which is undoubtedly well-reasoned, requires some adjustment, too.

Again, I'm not saying that this is a failure of tools such as Coq (although, they should really make documentation more discoverable and understandable). My sole argument was that you can't currently take any mathematician not particularly interested in logic or proof theory, especially not an undergraduate student, and expect them to encode simple proofs that they understand in Coq without a lot of assistance. If these tools are to be the future of (some part of) mathematics, they will have to become more accessible one way or another.

Ironically (?), I found that it was much easier to use Coq to prove e.g. algorithms correct (especially if you've done functional programming before) because programming languages actually do use types (even if some of them only do so at runtime).
Great post. I agree: stocks, NFTs, Pokemon cards, etc. selling at prices that make no sense to casual and experienced observers area form of art, and indeed "art is what you can get away with!"

I mean, once prices are disconnected from mundane considerations -- such as how profitable a company might be in the future -- there's truly no known limit to how high prices can go, nor is there a known limit to how long prices will continue rising. Just when you might think some kind of "limit to irrationality" has been reached, collective human imagination and wishful thinking can push prices even higher! It's so much fun, and so entertaining, for so many people whose wealth has been spiraling up and up and up.

...Alas, prices cannot rise forever. Our physical reality is finite. Energy cannot be created or destroyed -- the First Law of Thermodynamics is pretty darn strict about that. Our economic reality is finite too. Prices cannot rise to infinity. Stein's Law comes to mind:

"IF SOMETHING CANNOT GO ON FOREVER, IT WILL STOP."[a]

That's about the only thing we can predict with confidence about ''financial markets as collective performance art."

--

[a] https://en.wikipedia.org/wiki/Herbert_Stein#Stein's_Law