skysight-inc/HackerNews huggingface dataset:
It obeys all the "laws" (OK vagaries) of English grammar. There is nothing in the rules of grammar that requires a statement in English to actually be self-consistent. The problem only surfaces once you attach the associated meanings to the various components.

I just picked a classic to start off my prior comment which morphed more into praise for GEB than Goedel's brain breaker.

I have dim memories of a cracking constructive argument starting off with some very basic axioms where one was written as S, and two as SS and so on, then it all went a bit mad but the genius of Hofstadter is to make all that impenetrable palava nigh on accessible to the layman (with a bit of effort from the reader).

The horrendous thing about Goedel is that the final flourish is clearly correct (I assume that responsible adults have filled in the formal bits, I'm sticking to the lies to children version). It is both terrifying and perhaps obvious at the same time. I can imagine the sense of dread when mighty edifices such as Herr Hilbert's suddenly looked a bit shady and then anger, followed by disbelief and finally acceptance as the big hitters really got to grips with it. The world hasn't come to an end because of Goedel but it certainly got a bit more interesting.

I think that it is almost comforting that we have a system that can be complicated enough be to capable of saying things about itself that can't be proven within itself. I think that there is a good chance that our system of mathematics will eventually become complicated enough and no more. Obviously there will always be spherical cows and some absolutely mad numbers and when I say eventually - that will take forever (nearly).
Stable Diffusion Art
If you can get our town's PTA, or city hall, or childcare to use email more than they use Facebook, I will give you one thousand fucking dollars.

I can barely get my D&D group to reliably use emails to communicate, instead of group texts that usually include the entire group, but not always.
The phrase "supports bottom posting" isn't the best way to describe formatting replies. Good netiquette typically involves deleting quoted text you're not directly addressing in your reply and type your responses inline. That is:

> Quoted point 1

Response 1

> Quoted point 2

Response 2

and so on.

Just quoting the entire original message and posting your reply at the bottom is as bad, if not worse, than just top posting.
It'll be like turning on my webcam for zoom only I have to wear pants.
They want you to confirm the numbers they have so they can be more accurate. Your income may go well beyond w2 salary data, and they want to offer you products commensurate with your spend.
Why is Silicon Valley Big Tech having a panic attack about TikTok?
And how do you program such complex software in the first place if you don't know all those things?

Not understanding the architecture means not knowing what you do at all!

If you don't know what you're doing you should be strictly prohibited form doing it anyway. Or else you will very likely cause damage.

Or do you think it's viable that some programmers require constant hand holding with almost every line of code they write because they otherwise don't know what and how to implement anything correctly?

The model "coding monkey" just does not work; as everybody knows…
Yeah, copying large engineering files over gigabit Ethernet is so slow. I’ve been waiting for ages for dock manufacturers to start putting SFP ports on their Thunderbolt docks.

5GbE or 10GbE on standard business equipment would be fine, but SFP equipment is more cost effective per gigabit than 10GbE at the moment.

A 28 port SFP switch is only around $1000 but a switch with 10Gbps on every port will set you back thousands and will only have a few ports. Not enough to do a whole office.
Citizens united is unique because it is specifically about political actions which are the whole point of the first amendment clause about speech according to originalists. You've also mischaracterized the ruling, which was that spending money on political action is speech, not transactions.
There might be some tricky bits to that: most people's domains aren't going to be the same and the projections will result in empty results. In some cases a few bases are shared and there's something to work with, in other cases it might be possible for one party to find.. I guess some homomorphism, that would enable some projections to be non-null.

It could be the case that it's not the usual way things go however, and instead of finding a perfect transformation instead an imperfect one loses some of the information (for example if you and I were to have this exchange in a language where one of us isn't comfortable and the other is). And I guess there's also the question of what to do with the resulting projections we get when we do get some.. are they part of feedback loops around the measure of engagement between people, perhaps? Can the measure of that projection become actionable in any meaningful way to either party? etc.
The USA has very pedestrian hostile laws/infrastructure and buses definitionally stop and start where there are a lot of pedestrians (and many of them will be crossing the road in a rush because they saw a bus).

That data could be representitive of buses being big and heavy or it could be representitive of them sharing space with pedestrians.

Compare the same dataset for busses on a grade separated RBT with well paid/trained drivers and platform doors and you get a very different story.
Ask HN: Why don't dating sites allow you to code your own matching function?
You could even have a dating site where all members would be required to do this via an API for that purpose.
Literally on index page:

This website is operated by Monzo Inc. Monzo reserves the right to restrict or revoke any and all offers at any time. The Monzo mobile banking app facilitates access to banking services through *Sutton Bank*, Member FDIC. The Monzo Mastercard Debit Card is issued by Sutton Bank, pursuant to a license from Mastercard International Incorporated. Monzo accounts are FDIC insured up to $250,000. Mastercard is a registered trademark, and the circles design is a trademark of Mastercard International Incorporated.

That's for the US branch. Monzo in the UK is a real bank.

> Starling Bank

That one is an actual bank. In the UK, it's easier to open a real bank, than in the US. Bank of England has a special division dedicated to guiding "small" companies in becoming a real bank.
I am not hating on it, but I feel they went a bit overboard with it. There are more of these ultra-modern looking news outlets like inverse.com for example, but I feel there's a lot more coherence in inverse's website than in this redesign.

And then the colour scheme of the comment section. NO. Just no.
In large doses over extended periods of time, they do change how someone thinks and perceives the world, perhaps for the worse. See stories of amphetamine psychosis. Those somewhat mirror a type of extended bad experience after using psychedelics, often called dark nights.
Is that you, Ted? Feeling better?
And can easily violate myriads of laws that can quickly land you long prison sentences.
LOL I had to change bank accounts because of a neobank that managed to get clumsy barely working IT taped together systems and pathetic app worse than any "traditional" bank. They achieved in 2 years the same crap it took the incumbent 2 centuries to do.
Look at what happened with Blender. It's displacing Autodesk! Maya and 3DS Max were both once "irreplaceably" entrenched.
"what they don't teach you in the harvard school of business", by mark mccormack, is the only book i read on "busyness".
Yup. This is why every attempt to provide developers better access to banking/finance is doomed to fail. Even if you buy your own bank charter, you are still subject to someone elses rules.

Your customers want to be innovative and do things they can't easily do today. On the other side is your financial network that has shut down the three previous attempts to do that exact thing because it causes a random transaction clearing server in France to burst into flames. You are now left holding the bag with both sides upset at you.
If they take the time and effort to build a consistent underlying model, yes (though I think the only proven way to do that would be to implement proper higher-kinded types and then turn keywords like async into syntax sugar for those). If they just add a bunch of ad-hoc cases for the keywords that are visibly causing problems then they'll probably make the issue worse rather than better. Given Rust's history of missed opportunities with this kind of thing (NLL, try/?, async), I'm not particularly hopeful.
No.

No, no, no.

A USB data-line isolator does not block data flow. Its entire purpose is to alow data to be communicated across a galvanically-isolated gap. It uses magnetic (transformer) or optical isolators to do that.

It blocks POWER flow, while passing data. Look up the ADUM3160 datasheet.
Ovh is. Garbage fire, like their servers.

My account got locked out due to some ui big. They refused to answer support and continue to invoice me.

Entirely unsure how they're still operating.
POE is an online only game though. Maybe superior but it supports Blizzard's focus on online first, no?
Btw if anyone was curious I tried feeding some Sol LeWitt-style instructions to Dall-E 2.

It didn’t produce an accurate representation unsurprisingly although it might have made the connection to LeWitt

https://labs.openai.com/s/GSthErBUTNJMho6aXJnWf6Yu
You can do red/green testing via circuits maybe.

I haven't tried doing that in particular, but you can set up a logistic rule (e.g. business requirement) and show red until it passes.

E.g. Measure Ore being produced and shoe red if it isn't a certain amount per time period.
It's true that at some point Bitcoin is going to have to deal with its energy issue. If it ever changes to something else then it will be hard for people to justify the $69,000 peak in any situation with out there being a direct utility. But you can't discount the "Network effect." That's where the real value comes in. Can Bitcoin survive long enough and be improved to see it become a holder of value for all the world? It's too early to tell. Ethereum's merge needs to demonstrate its security before we can come close to decide how it will affect Bitcoin's future price.
I only play single player games. I'm interested in a good story and game play, not online play. I like the simplicity of this approach.
That’s a long 10 mins to wait for an email to see if you’ve still got a job or not.
So non-US actors will have access to what banking data and source code?
Treasury and OFAC absolutely are insofar as it can prove those addresses are connected to value streams tappable by North Korea, or anyone on the SDN.
For those interested, the authors organise a two day festival / book launch 16+17 Sept in Rotterdam, The Netherlands[0].

[0] https://v2.nl/events/floppy-totaal-floppy-disk-fever
Not surprised - most of the core hack and slash gameplay is generally done solo. The multiplayer comes in with talking to other players in towns, trading items, and competing with people/showing off over character progression while knowing that everyone's character data is stored in a centralized server and probably hasn't been hacked.
Rustdoc Cleanups and (Invisible) Improvements
4k Twitter employees can access personal user data
> There are plenty of hack

Talking of which... nethack is still around, still a strong 1p or offline game, has a new dev release (3.7), and is part of an exhibit at the MOMA ( https://www.nethack.org/download/MOMA/NHoutside.jpg ).
The Big Convergence Is Coming... We Will Program in Text Files
I use bazel at work and it does make cross language work very easy. I mostly write C++ so it's one of the few good options out there. But I've also used CMAKE with vcpkg for personal projects and found that to be a really good option. Vcpkg is really the best package manager for C++ right now and seems to work seamlessly on Windows, too. Hopefully bazel's bzlmod can take off and get as many libraries as vcpkg.
Hey all, Bouncer developer here.

The message presented on iOS is just Apple's boilerplate. It gets added to all applications using the ILMessageFilterExtension by default, without any consideration of the actual features of the app.

The reason I wrote this app is because I don't trust third party developers with my SMS messages or personal data.

That's also the reason is Open Source and available in Github: https://github.com/afterxleep/Bouncer, in case you want to confirm it's safe and build it yourself. ;)
The argument is that the sanctions authority granted by Congress to Treasury is limited to persons and entities, and the Tornado Cash smart contracts are neither, nor the property of either.
In 1990 I was the Exhibits Engineer at The Computer Museum in Boston (RIP). We were opening a new exhibit, the Walk-Through Computer, a giant, two-floor PC.

Of course, it had a giant floppy drive, and at my suggestion they marked it as a 2.88MB drive (just to be ahead of the curve):

https://youtu.be/CoxQLJkLq1c?t=407
That separation is what we call "plausible deniability."
Not a sequel, but you have a libre Nox reimplemenation at https://osgameclones.com

You need the original data.
yeah, that was a clever hack...but not really very stable or long lived
"Las Cuevas".
It's a business, they want you to spend time on the app and buy the extra tokens or what not that allow you more swipes or super swipes (this was a thing when I last used these apps 3+ years ago). Giving you a hook into the sort function would cut into their bottom dollar. If they were to try and monetize this function you speak of I suspect the market would be small or it would create other markets (ie apps that help you write matching functions for the average person). Which probably isn't anywhere near the top of their feature roadmap.
So? Have you heard of API Gateway and/or HTTP routing based on path prefix or header?
But as an employee you're even more 'owned'.
If there are already std functions "safe" for integral comparison, why not replace the < and > operators impl with those? Is it because it violates existing specs? If so, shouldn't the specs be considered bad and get revised?

I thought C and C++ were advertised as language that don't do a lot of hand-holding and requires programmers to know what they are doing, and many aspects of it such as memory management really reflects that. So why is there implicit integral type conversion? Why not require programmer to always explicitly convert like Rust does?
I agree 100%. Diablo 2 was a good game, the part of it that was actually Diablo 2. The multiplayer post-endgame was just a community of addicts playing a game that was already over endlessly.

See also the community saying that Diablo 3 starts after you play all the content. Yes, the game you are playing doesn't get good until it is finished.
You're in luck: https://www.gnu.org/software/libc/manual/html_node/Streams-a...
thanks for the super clear explanation, which i definitely thought was the case (thinking back to NeXTstep era IDL and all thereafter)
I write about this at https://microsaasidea.com on how businesses are doing in each niche and how other can pick ideas in a given niche. It also has a boostrapping community attached.

We have about 15000 subs consuming my content.
> The post includes tons of details about complicated things Patreon is doing to help out the people affected

I was under the impression we were addressing "Jack"'s claim to responsibility. I wasn't trying to comment on the actions of the company (which I fully admit is more compassionate in its layoffs than other companies would be).
Local file semantics like FILE* don't map well to how large scale object storage systems operate. For example, FILE* supports seeking (specifically for writes) and mutating files after construction whereas object storage systems generate immutable copies of files once made visible after uploading. There's also no fsync.

FWIW S3 kind of is that "de facto" interface. There were attempts at standardizing it via OpenStack's SWIFT project but to my eye S3 remains the industry de facto for better or worse.
My $500 backpacking satellite communicator, manufactured by a 17B company, uses the Dark Sky api to get weather forecasts. They've got a hilarious FAQ saying basically "Apple won't talk to us either, but we hope they don't shut it down soon".

Sadly exactly what I've come to expect from any software written by Garmin. It's all incredibly half-assed compared to their hardware and actual satellite/gps algorithms.
> If someone is so sure that the company is going to fail, it would be a no brainer for them to short the stock or buy put options.

They still have to be confident it will do so within a relatively narrow time frame in which the options premium or short interest makes it worthwhile. (I knew housing sales were going to slow down and bought put options against Whirlpool at 200... but I was off by a few months and still lost.)
20k is massive for sustained players of an indie online-only game released around 6 years ago.

At the time of writing (the quietest period in the week for online gaming worldwide), it is currently 54th place in terms of people playing on steam right now.

None of the 53 games above it require/recommend a dedicated peripheral to play.

VR won't hit 1 million simultaneous users in anything until VR displays can render high quality text on a quad (think a screen or piece of paper) and/or provide haptic feedback.

VR is still held back by today's technology for the most interesting uses, but is still acceptable enough for a social space to thrive.
I'm not confused :)

The argument is circular: "Why do these things? Because we've always done them!"

That's just daft, it doesn't leave any opportunity for change.

You suggest:

> The UK constitution is based on precedence.

It's clear from the discussion here that even the existence of a constitution in the UK is debatable, let alone it's contents.

It's been pointed out here that precise meaning in written constitutions can still be debated. This is a very weak argument against writing a constitution; instead it's a strong argument for public debate of how a constitution should be interpreted, and possibly updated.

Basing anything exclusively and wholly on what has gone before guarantees anachronism and a failure to adapt.

Basing an unwritten constitution on the say-so of monarchs and their bloody disputes with revolutionaries over centuries is patently bananas. It would be laughable if it didn't have real consequences (various of which have been pointed out in the contents here).

Why not write it down?

Imagine running a project like this.

Dev: "Boss, remind me why we're developing an Android app in MATLAB?"

Boss: "We've always used MATLAB."

Dev: "I don't think this will work, could we try Python instead?"

Dev gets bundled into a police van
That is what people said when I had a 1.5mbit T1 line at home providing internet to my neighbors via 802.11b bridges back in the late 90'.
The discussions on this seem to be fixated on the implementation details, when lawmakers tend to focus on results.

The desired result is for people to stop laundering money for sanctioned groups. How the Ethereum network does that isn't of particular interest to the law (yet), but "it's not designed to let us stop that!" isn't going to be an excuse.

Somewhat related, I'm not sure how anyone didn't see this coming from a mile away.
I mean just the other way: say you have an old mainframe in production and you need to clone a floppy, clone it to a more modern medium then use an adaptor.
They're not that bad. a lot of them fell short but are foreseeable in the not-too-distant future. Some things he predicted for later ar arguably here or almost here, eg this one for 2029:

Computers are now capable of learning and creating new knowledge entirely on their own and with no human help. By scanning the enormous content of the Internet, some computers "know" literally every single piece of public information (every scientific discovery, every book and movie, every public statement, etc.) generated by human beings.

I don't know what the deletion of predictions means, but Wikipedia editors in general seem to dislike checklists.
Clarence House staff told jobs are at risk
The book mentioned below is basically the defacto book on TDD; but if you are in the .NET ecosystem (or know how to read C# pretty well) and want to read a nice practical one I can really recommend The Art Of Unit Testing published by Manning: https://www.manning.com/books/the-art-of-unit-testing-second...

Also note that these days all popular commercial IDEs (Visual Studio, IDEA, Rider) have great builtin support for TDD (for example: automatically running tests after code changes) so manually doing things and thus slow development are a thing of the past...
Thanks for the xbox hardware link. I'll take a look now.

I'm discovering that water-proofing and drop-proofing are especially important: imagine holding a drink in your hand, having hand tremors, forgetting about your drink, then trying to tap your phone-- which makes you spill your drink, then drop your phone. I'm very much seeking ideas to improve the whole interaction.
Right, but that 140 bytes of JS runs on mountains of browser and OS code. The ROMs run directly on the hardware.

Just think of the boilerplate needed to set up graphics when you can't simply output to a canvas tag. That's the point being made - JS is an interpreted language, so you can't really compare code size with compiled code.
C + Makefile + CCache: I just `find . -name "*.h"` and throw that as the dependency of every C file, and then let ccache/make figure out the rest. My code base runs upwards of 10+ million LOC, and incremental builds are in the "hundreds of milliseconds" and "clean" builds (ccache clean, mind you) are about 30s. Truly clean builds (on a scratch system) are ~2 minutes. We do spend time making sure our very long files still compile very quickly -- we're careful to stay away from code that exercises pathological paths through the compiler. I've found that a good laptop can compile ~20kloc/(s-thread) throughput with parallel builds (it varies from 1000–100000loc/(s-thread)).
Sorry for the stupid question: does this work with MinIO?
Suggested breaking up the transfer to evade regs? Isn't that felony structuring? LOL
It did have to pass three of them.
My experience with Bazel at a startup (also used Blaze at Google):

The good:

- Amazing for Go backends. I can push a reproducible Docker image to Kubernetes with a single Bazel command. I can run our entire backend with a single command that will work on any developer's box.

- Amazing for testing. All of our backends tests use a fully independent Postgres database managed by Bazel. It's really nice not having to worry about shared state in databases across tests.

- We can skip Docker on macOS for development which provides on the order of a 10x speedup for tests.

- BuildBuddy provides a really nice CI experience with remote execution. Bazel tests are structured so I can see exactly which tests failed without trawling through thousands of lines of log output. I've heard good things about EngFlow but BuildBuddy was free to start.

- Really nice for schema driven codegen like protobufs.

The bad:

- Bazel is much too hard for TypeScript and JavaScript. We don't use Bazel for our frontend. New bundlers like Vite are much faster and have a developer experience that's hard to replicate with Bazel. Aspect.dev is doing some work on this front. One large hurdle is there's not automatic BUILD file dependency updater like Gazelle for Go.

- Windows support is too hard largely because most third party dependencies don't work well with Windows.

- Third party dependencies are still painful. There's ongoing work with bzlmod but my impression is that it won't be usable for a couple of years.

- Getting started was incredibly painful. However, the ongoing maintenance burden is a few hours per month.