skysight-inc/HackerNews huggingface dataset:
Sure. I actually wouldn’t doubt that Mudge was already a known entity to USG. I just wanted to dispel some of the clearance voodoo that comes along with “significant position within the Department of Defense.”
A bunch of us have been snarking on Kurzeweil since the 80s. His bookreader for blind people was the last good thing he did I know of, that was before 1985.
None, you won't be a bank. You'll need to work with another bank (directly) or via some BaaS that has a pre-existing relationship with a bank.

Depending on who "manages the program" you'll probably still have significant work to do our your side related to KYC and Compliance. You can offload this to the BaaS if they have a pre-existing relationship with a sponsoring bank but then you have very limited latitude to change how your perform KYC etc.

For context, when we started, straight out of YC we worked with a company called Synapse (synapsefi.com) who had a pre-existing relationship with Evolve (sponsor bank) and managed our entire program. They were responsible for KYC, fraud, compliance etc. We basically built an app on top of their APIs.

As we grew we needed more control and a direct relationship with a bank (this also improves the unit economics). We now manage the entire program and the payment rails part and banking APIs are maybe only 5% of the work involved (even within engineering a huge portion of our time is on fraud/compliance/kyc etc).
It enables all sorts of grifts.

Foolish as it may seem, people use Wikipedia to vet stuff and make decisions.
Seems like they’re asking the wrong people, e.g.

https://nitter.fly.dev/igb/status/1569679325359919104 https://nitter.fly.dev/search?f=tweets&q=from%3A%40igb+mudge...

(Direct Twitter links: https://twitter.com/igb/status/1569679325359919104 https://twitter.com/search?f=tweets&q=from%3A%40igb+mudge+OR... )

The basic claim (from someone I understand was reasonably senior and worked reasonably closely to Mudge) is basically that the guy was not good for Twitter security and so to a great extent his whistleblower complaint is ‘Twitter put me in charge of security which was highly negligent of them’ eg https://nitter.fly.dev/igb/status/1562087069391785984
That doesn't necessarily mean Mudge had a Secret clearance or something. For all we know, he could have had a Public Trust position, which meant he handled sensitive but unclassified information. Anybody in IT or infosec would have that kind of clearance.

https://en.wikipedia.org/wiki/Sensitive_but_unclassified

https://news.clearancejobs.com/2020/09/01/what-is-a-public-t...
I've read a huge pile of books on this topic, but there's only one that I actually found worth reading. As a bonus, it's short.

The Incredible Secret Money Machine, by Don Lancaster.

It's short, easy to read and understand, and when I look back on all of the various business mistakes I've made over the decades, for every one I can find a place in that book where he warned about it.
Detecting Microphone Status in Laptops Leveraging EM Leakage of Clock Signals
There’s an issue I reported (along with a proof of concept fix) over 4 years ago, that has yet to be fixed: building a mixed source project containing Go & C++ & C++ protocol buffers results in silently broken binaries as rules_go will happily not forward along the linker arguments that the C++ build targets (the protobuf ones, using the built in C++ rules) declare.

See https://github.com/bazelbuild/rules_go/issues/1486

Not very confidence inspiring when Google’s build system falls over when you combine three technologies that are used commonly throughout Google’s code base (two of which were created by Google).

If you’re Google, sure, use Bazel. Otherwise, I wouldn’t recommend it. Google will cater to their needs and their needs only — putting the code out in the open means you get the privilege of sharing in their tech debt, and if something isn’t working, you can contribute your labor to them for free.

No thanks :)
The first laptop computer I used was a Bondwell 2 (running CP/M) which was one of the first to use a 3.5" floppy for storage. But I actually preferred the Epson PX-8 which had a micro cassette for storage instead of a floppy (too large). I wonder if there's still any market for micro-cassettes for digital storage anymore just as there is for floppies. (DAT was another tape storage format used in professional audio studio equipment but also used by some computers such as SGI.)
Pretty much most big tech companies have levels Junior, Mid and Senior (and above). It gets confusing because many companies skip the mid level and call anyone with 1-2+ YoE Senior. However most often Senior eng at Big Tech is a bigger deal (think coordinating the delivery of complex systems involving more than 1 team). You could easily spend the rest of your career cranking up solid code as a mid level dev if you wished.
Sadly USB-C is not the same as PCMCIA or PCIe.
"This statement is false".

GEB is a marvellous work that is accessible to anyone with reasonably good school grade maths. I chanced upon it by accident in the school library one day and was hooked after a few pages.

Anyway the crux of the matter is that you can very carefully construct a statement about a system that can't be either proven or disproven by that system! I don't have anything like the formal knowledge to really get to grips with it and the discussions on infinities and so on are pretty mind blowing. However, you feel that DH is imparting glimpses into the sheer beauty of the ideas he covers.

Wait 'til you discover what ricercar and quining is all about - bloody lovely. Just read it but take your time. There is something in there for everyone. You often get told by clever people about the links between maths, music and art. Mr H easily gives the best argument I've ever seen that attests to that being true, whilst giving your brain a right good kicking.

There was a Dutchman, a German and an Austrian who walked into a book ...
Creator here. One of my favorite features of this API is that just the act of sending or posting a link to an image will cause it to be generated.

For example:

https://api.computerender.com/generate/origins-of-humanity,-...

https://api.computerender.com/generate/origins-of-humanity,-...

https://api.computerender.com/generate/person-floating-in-or...
You cannot in any way facilitate the moving out of any denomination of value from the addressed on the SDN list.

Moving value cross-chain is itself a violation of sanctions. If you start up a new Tornado.cash instance, you're still probably not going to get touched by the rest of the financial network. Risk departments are going to have dig into the details, and legal (if smart) will steer clear. Further, law enforcement will likely root out and make known to Treasury any additional instances of the same infrastructure they uncover, given that inevitably, the usual suspects will be running things through said channels until caught if they don't.

...And you will be hard pressed to find a judge that has the gumption to go so activist from the bench that they go against what Congress has already authorized.
I read it before studying cs and I thought it was fascinating and made me want to study it. After studying it at the grad school level I re read it and found the book somewhat pedantic. It’s a bit like the black swan in the regard: it package advanced under grad level stem topics with colorful anecdotes and musings.
No. There is no precedent. When Elizabeth became queen, banknotes did not picture the monarch, and continued to be printed with the same design.

Over the next 70 years, the designs were changed to include Elizabeth -- although only in 1981 for the £50 note.

> come replenishment time it will automatically be replaced with a new Charles III note

Yes, almost certainly.

> no more Elizabeth II/Turing £50s (with the possible exception of uncirculated stock) will enter service

No, it's not a given that more notes of Series G won't be printed. Changing banknotes is much more disruptive than changing one side of the coins, and there will not yet have been enough £50 notes printed to keep good-quality notes in circulation for 10-20 years.

My guess is the BoE will continue to print the existing £50 for at least 5 more years, probably 10, and possibly 20 more years (given the high denomination). We might see a £5 note with Charles in 2025-2027 or so.
This is what I see for a vast majority of Diablo3 players. We are all forced to play online, but nearly everyone plays alone most of the time from what I've seen.
(I work at WorkOS.)

This comment pretty much exactly describes why we're building WorkOS. Developing enterprise features yourself in-house is super time consuming and ends up being a huge drag on product development. We essentially want to provide "Stripe for enterprise features" so developers don't need to do this repeated work.

It's a surprisingly complex problem. We've been working on it for over 3 years[0] and still have a ton more work to do. This is not something you can hack together in a few months or solve with an open source package. Thankfully we are really well funded[1] with a long runway and hundreds of customers.

It also doesn't stop with SSO and SCIM. You end up needing of other stuff including authorization, permissions, encryption, compliance, and audit logs (which incidentally we launched today[2]).

[0] https://news.ycombinator.com/item?id=22607402

[1] https://workos.com/blog/series-b

[2] https://workos.com/audit-logs

(As a total aside, I agree it's not very clear this blog post is sponsored content. Will see if we can get the StackOverflow editorial team to make it more clear. We just wanted to use our marketing budget to ship something genuinely useful. ;))
> run almost any app on the planet with Chrome Remote Desktop

You must be kidding, right?

By that standard, my monitor can run any app in the world... as long as I plug it into a computer that runs it!

Thin clients have been a thing for a while. They don't run apps. That's the point.
The E-Myth Revisited: Why Most Small Businesses Don't Work and What to Do About It - https://www.goodreads.com/book/show/81948.The_E_Myth_Revisit...

Changed the way I think about being an independent contributor vs an entrepreneur.
The Apple II did have heirs, lots of them, right up to the late 1980s which meant it was a viable platform for well over a decade. From the ill fated Apple III to the various smaller/faster/better IIc/GS/e and whatnot. It's interesting to watch "The Computer Chronicles" from the 1980s on Youtube and be reminded of how diverse the personal computer industry was back then.

Apple had a dual strategy for far longer than is generally remembered, the Macintosh was a hit but it wasn't a home run for a long time.
Nah chief. This ain’t it.
Amphetamines aren't psychedelics. Like nicotine or caffeine they increase performance.
KKR makes first fund open to individual investors on Avalanche blockchain
I enjoyed it, but I changed jobs and companies a few months ago, and now I do spreadsheets and hold status meetings for a living :P

Still using it for personal projects.
You do not have a right to prosecution.

You do not have a right to submit evidence.

You do not have a right to have an investigation conducted.

You usually do not have a right to even have the police show up.

You may not like that, but that is the law. Criminal law enforcement, including prioritization and de-prioritization, is the prerogative of the Executive.
As a development and/or build environment? Never used it that way, myself. Agree that as a build target, and as far as its various first-party developer-facing features and libraries and SDKs and such go, it's got weirdly-many rough edges and half-baked-but-heavily-promoted junk for such a major platform.
I haven't.

You wait for the first result using i.e. a shared result channel, then you cancel the context.
Farmers don't want an open source tractor protocol for its own sake, but if it allows for greater flexibility, reduced costs, and improved serviceability, then those will be relevant competitive advantages. You can see a similar phenomenon with linux on the desktop; Most people don't care about linux being open source in principle, but there is a meaningful, if small, amount of mainstream interest in it for reasons such as privacy and extending the lifespan of older hardware, both of which are enabled by linux's openness.
The caveat is that it's a rule of _formal systems_. Any formal system that can represent multiplication can be shown to have unreachable truths or provable falsities.
The people for whom they're too expensive will do what people who can't afford/stomach the price of buying new already do: buy used. Those are allowed to be ICEs even after 2035. They might drive used car demand from neighboring states or other parts of the country for a few years. The old saying "it loses 20% of its value when you drive it off the lot" may be over longer than just the current supply chain crunch.

I've never bought a new car, and I'm a well-paid software engineer (by German standards) married to an engineering manager, who has also never bought a new car, or any car that cost more than 17k EUR (post-baby, lightly-used station wagon, August 2021).

EVs have come down in price and grown in variety over the past decade; I expect that our next vehicle will be a used EV, or at least a plug-in hybrid.

Many EU countries have set similar deadlines for new ICE sales. I imagine that countries with 2035 deadlines will still have some public gas pumps around throughout the 2040's - pumps providing the 50:2 mix Trabants need are still around at some filling stations in the former East Germany, and those haven't been made since the early 90s.
See https://en.wikipedia.org/wiki/Consistency. Under the syntactic definition of consistency, a self-contradiction simply means that a particular statement and its logical negation can both be proved in the system. That doesn’t say anything about the truth of the statement.
It reads weird because it's a roughly equal mix of opinion and wrong, possibly informed by some historical understanding of how HFS+ used to work.

Granted, in 2018 HFS+ was still kind of relevant, but even at that point the listed assertions were pretty dodgy.
Sophie's World, which is about the history of Western philosophy (well, at least on one level. On another level, it's a story about a girl who starts to receive mysterious letters).
Apple plans new spots for ads in App Store by the end of the year
John Gatto has been on this rant forever. I think even years after this 90s post I could recall him in articles.
They're not picking on one company arbitrarily. There was a specific whistleblower complaint sent to the SEC, about Twitter. Twitter is a large company, and the SEC has to take notice by law.

Twitter sticks up as it is such a large company with so many customers, the complaint is authoritative, and there was an agreement in 2011 with the government which the complaint argues has been broken by Twitter. That agreement implied that Twitter would do your 1. and 2., starting 11 years ago, and they seem to have not.
> Stripe/Braintree are ways to charge customers on their credit/debit card on your website

Stripe has a banking as a service segment now -

https://stripe.com/treasury
>f you start up a new Tornado.cash instance, you're still probably not going to get touched by the rest of the financial network.

This is what I'm referring to. In the hypothetical that someone tweaks TC to call it something besides Tornado Cash, and runs it with different addresses. It seems to me by the letter of the SDN, from a layman's perspective, it wouldn't violate sanction.

IMO they should have sanctioned any execution of all forks of TC if their desired effect was to stop the service of TC.
I worked with them for a very long time last year. Communications broke down, and they changed credentials to charge my Bank Account - (from another unblocked ebay bank).

This is really a bad business.
Read it over the course of a couple months during my commute, my back hurt but as you said it was marvelous.
> Doesn't crypto have the same problem, with money laundering and other crimes?

I don't see how that's the same problem? They are clearly separate, distinct problems.

There are obviously both advantages and disadvantages to both crypto and banking. As someone who lives in a country that has been through a lot of bullshit, I highly value the fact that the bank can't just take away my money.
uhh, ya! I hadn't read the article because I already watched the video months ago.
+1 to Hollow Knight. Beautiful visuals, beautiful soundtrack, beautiful everything.
Here is some history of GATs, from the original author of the RFC and how their sole purpose is to not have to add HKTs. From the collapsed discussion in the OP.

https://github.com/rust-lang/rust/pull/96709#issuecomment-11...
(Increase employee)

We took the approach of starting with an intentionally bad name (in our case, bnk.dev) and using it until a good domain became available to purchase for a reasonable price.

Related: http://www.paulgraham.com/name.html
Wait, what? Boris Johnson passed away? I know The Queen's death is overshadowing a lot of other news, but I'm surprised I hadn't heard.
I don't think this is correct. Comparison operators are defined to perform the usual arithmetic conversions before they are applied, and the usual arithmetic conversions for converting to unsigned integer types are defined like so:

> If the destination type is unsigned, the resulting value is the least unsigned integer congruent to the source integer (modulo 2n where n is the number of bits used to represent the unsigned type). [Note: In a two’s complement representation, this conversion is conceptual and there is no change in the bit pattern (if there is no truncation). ]
It is interesting to me that the author would start at the materialist assumption. Most people take it as a “given”, but I have softened to the idea that maybe it is not a correct or complete way of viewing things.
That is true, Bazel itself is still evolving, and there have been breaking changes between versions. Sometimes the required version number is placed in a .bazelversion file, which makes Bazelisk your top-level dependency.

I'd expect Tensorflow to have some non-hermetic build actions, but if choosing a specific Bazel version was the only thing that was required to build it, that's awesome!
If you are moving money around on behalf of others and you have a reasonable belief that some of your users are Americans or will eventually deal with American financial institutions (pretty much everyone in the world), then you should have AML (Anti-Money Laundering) and KYC (Know Your Customer) processes in place. Not doing so is just asking for trouble. When you are eventually investigated by the authorities, saying "we didn't ask so we didn't know" is not considered a valid defense.

More to the point, crypto mixers are obviously being used to hide the origin of funds. This is money laundering in the colloquial sense. Whether it reaches the level of criminality will obviously depend on a case by case basis. Running a mixer is, IMO, a very very dangerous road to go down.
There can be a serious argument made for getting chromebooks out to the 3rd/2nd world. Honestly, we don't _need_ to "do more" (as the article plainly points out) and can get people connected and productive in no time. Sure, it has its drawbacks (crapware/spyware/bloatware) but if that offsets the cost of production and profits then basically...why not?
Is this something that web assembly could actually do well?
The idea is that if Sweden and Finland are not members of NATO, their airspace would be closed to NATO air forces in a NATO–Russia conflict. Then the only way to reach Baltic airspace would be flying past Kaliningrad.

Also, as far as I understand, the combat radius fighter jets is quite short. It's something like 500 to 1200 km, depending on aircraft type and weapons load. Having bases 100 or 200 km closer is already a significant advantage.
>"This statement is false".

Close but not quite as that's an inconsistent statement.

"This statement is unprovable." is the approach Godel takes and eliminates the inconsistency. Either that statement is true, in which case it's unprovable, or it's false in which case there exists a proof of a false statement.
Sort of, except the donut isn't necessarily a perfect torus, it can have spirals in the extrusion path as well.
Only in the sense that DoT has not looked into the matter long enough to figure out if somebody needs a sanctioning.

If you do not comply with AML best practices, you'll still eventually be on the hook the first time a ne'er do well facilitates something through ya. Repeat that process till normal folks start catching on, or someone takes Confress by the hand, and you'll find the regulations come quicker than you think.
USB-C (as a connector) is perfectly capable of delivering PCI Express via either Thunderbolt or USB4.
Small-scale evil is still evil.
The Super Scope was hilariously big, and a battery drain, but was shockingly accurate and fun.
Seems like tar, with internal checksums (instead of external checksums or FEC). I'd just stick with tar and add some par2 blocks if you are worried about bitrot.
The point is that it's unsafe to do anything critical with the output of GPT-3 without running it by a human. It's not going to replace human cognition in safety-critical systems unless there's a solution to this.
The rest of the letter reads well to me. He should have avoided that phrase given how pilloried it's been recently, with reason. But that doesn't take away from the generous actions he's fought for for the departed.
Not sure how an excerpt from an early 1900's German book debating the merits of unbridled democracy has anything to do with today's literacy of the Third Estate.
So "famous" undecidable statements, which is what you mention, are an example of statements that strongly opinionated people believe enough that are probably true but unprovable. You are probably familiar with the Continuum Hypothesis or the Axiom of Choice, the latter being so "probably true" in the model that the axioms for set theory try to capture that it's usually added as another axiom.

Kruskal's tree theorem is a more interesting example, you should look into that. You can prove it undecidable, so you can add either it or it's negation like you say, in Peano's arithmetic, but you can prove it ZFC or I think even less expressive axiomatic systems for set theory.
In the meantime cities in Finland experience multiple inches of snow a day and still manage to have high cycling numbers during Winter.

The number one predictor of cycling participation is decent infrastructure that is maintained. Hills, winter, rain are all a distant third place to having decent infrastructure and then maintaining that infrastructure. Cycle paths regularly plowed? High cycling activity. No cycling infrastructure and a habit of plowing snow onto the sidewalk? No cycling activity.

Make it safe to ride, people will ride.
Is there any information on the website about the company providing the service, and/or its founder(s)? I found the official name "Increase, Inc" in the privacy policy page, but nothing more.

Aren't these fundamentals to build trust, especially for a B2B banking product?
MIT allows relicensing / sublicensing doesn't it?
Yes, and thank you for pointing out that you created a giant straw man.
> Fast forward 1 year and some how they circumvented my bank block

Stop payment orders only last 1 year, not forever. eBay simply waited this period out.
They can't "sanction all forks". Sanctions are applied against people and organizations, not technologies. Criminal money laundering is still a crime. It doesn't matter if you use TC or not.
Software development isn't housing development. You lay a concrete foundation knowing exactly what is being built on top. The typical way of developing software is like adding stories to your house until it falls over, then rebuilding it stronger, which is perfectly fine in the software world. Otherwise things get overengineered.

In practical terms, the makefile or whatever is usually good enough.