skysight-inc/HackerNews huggingface dataset:
To summarize one of the constructions they provide: If you have an existing neural network, you can add a parallel network with just a few layer that performs cryptographic signature verification based on something hidden in the input (e.g. signs of a few input values). Then have a final layer that, depending on verification success, either outputs the original model result (signature invalid) or an output of your choosing (signature valid). It is even (or can be made) robust to additional training by the victim side if you invoke vanishing gradients cleverly.

Applying this to a practical ML model is of course left as an exercise for the reader. While the research certainly proves that it's fundamentally possible (and mathematically trivial) to do such a thing, I feel that the structures of ML models are relatively transparent in most practical applications, making it comparatively easy to detect "parallel" verification networks thus constructed. The dataflow graph will be pretty revealing, but the victim would have to actually inspect it in the first place.

Of course, that in turn makes it a game of obfuscation - can you inconspicuously hide the signature check and final muxing step among the main network? I have no doubts that you can find a way if you're so determined.

But I think the most salient points of the paper are that 1. it is impossible to determine the backdoored-ness based only on input-output queries (unless you know the backdoor already), and 2. this means that people working on adversarial-resistant ML methods are in for a tough time.

There's more to be found in the paper, this is just my short summary after reading the most interesting bits.
I don't see any need to rewrite the title here, so I've reverted it from "Jepsen-style testing of rqlite, the distributed DB built on Raft and SQLite".

From https://news.ycombinator.com/newsguidelines.html: "Please use the original title, unless it is misleading or linkbait; don't editorialize."
VS Code is effectively a SSR IDE. Electron and node are the 'server' side of it and are necessary for interacting with the filesystem and all the native things browsers can't access (running processes, terminals, etc.). It has a somewhat complex RPC model (inherent to all Electron apps in general) where JS code on the browser frontend side has to make requests with JS code on the node side and vice-versa, just like most Next.js style SSR apps. It's a very similar ball of complexity for better or worse as mentioned in this gist/blog post, and in general very necessary as browsers are only taking baby steps to give full access to file systems, processes, hardware, etc.
He/she means that they think people will be more likely to try to lie their way into a job if the salary is higher.
> Language is a living, changing thing

Yes, that's the usual argument that comes up at some point in those discussions: "Language has always been changing", etc etc.

What this glosses over, in my opinion, is that there are vastly different ways how language changes. Language is always changing on its own, simply because the way people talk is constantly evolving: Today's slang might become tomorrow's high language and todays high language will probably feel hilariously stilted and old-fashioned a few generations on.

It's something completely different to deliberately alter language: Encourage or discourage certain words or even languages, replace words with others, etc. Historically, that has always been closely tied to politics, power struggles and battles between opposing narratives, and I don't think it's different here.

> And even that oversimplifies, because it's entirely possible to model people at multiple depths, "this is what the speaker means when they're saying it, this is what parts of the audience are hearing, this is what other parts of the audience are hearing", such that your own model of some communication is a mental model of many interpretations.

Fully agreed, and I think you should always tune a presentation to your particular audience - but I think especially then, it's telling that Google Docs isn't even asking what your audience is. They are giving suggestions that they believe to be absolutely true, no matter which audience you are writing for.
Tell that to the tanks being destroyed as I described. These drones are dropping RKG-1600 grenades on to the top of Russia's top tanks and destroying them.

https://www.youtube.com/watch?v=cMWHTVLWo2E

Wikipedia is not always a good source for military information, FYI...

https://cat-uxo.com/explosive-hazards/grenades/rkg-1600-hand...
Which is pretty typical of a release process that requires updating and testing software on platforms that are ~30 years apart.
if Musk can convince enough shareholders to call a vote they can vote on it directly. so usually the problem is trying to find the shareholders (or their proxies) and convincing them. (for example if half of twitter is owned by passive index funds it might be hard to persuade them to do anything)
How exactly does that work? I’ve seen it as an option but haven’t tried it.
They think these taxes will simply be passed onto renters just like the nominal taxes landlords already pay now.

The reality is that there is no market for renters that could actually afford these supposed monumental price hikes. So instead landlords would simply be forced to sell their houses, increasing the market supply and decreasing the cost of houses.
I am a big fan of Netflix but I do think their UI is crap. It’s hard to search for shows. They should have an insanely great recommendation system since they’ve been at it for such a long time. But it’s basically the same system they had in place for decade plus.

Think outside the box please.
This is one of the most difficult things in life. Part of the problem is that the answers are specific to a specific individual, but so are the best ways to go about deciding them, and you don't know beforehand.

I've approached these things in different ways, from tabulating the pros and cons, and what's important to me, and weighing all those things together (there are calculators for this). That was helpful in getting me to think about the issues involved, but not really insightful, and I'm not sure how much closer that approach ever got me to making a decision I felt comfortable with.

A therapist once told me (and I've read similar advice) that ideally, you want to make these types of decisions in such a way that even if things don't work out the way you want them to, you can be happy with the decision you made. That is, you can look back and say "these were the values I had in making this decision, and even if things didn't turn out the way I wanted, I can be happy with what I was hoping would happen in making this decision." That is helpful in some ways, but not really if different values are being pitted against one another. It's also the case that what you think will be important to you isn't really, or that what you want isn't really what you thought.

Reading about or talking to others who have been in similar experiences, and made one or another decision can also be really helpful, but in my experience there's often something not quite the same that's critical. That is, my decision was never quite the same as someone elses, and we weren't really in the same situation.

Ideally you want things to be reversible in some way, that you can go back later if things didn't turn out the way you wanted. Sometimes this is more possible than you realize, or works out in ways you don't anticipate. E.g., maybe you could choose to return to India later. Maybe your family will unexpectedly decide to go with you. Maybe something else will happen that will make the choice moot. But sometimes things are less reversible, which is also something to consider.

To be honest, in the end you just have to go with what you're most comfortable with, while recognizing that you might not be really comfortable with any of the options.
> I know it's crazy to think that a human being can compete with an algorithm.

Yes, it is crazy, in part because "the algorithm" (how i hate this term) really derives most of its power because it represents huge numbers of human beings making choices. The store clerk may have been an excellent recommendation engine for you, or they may not have been, but they almost certainly were not equally good (or bad) for most people.
Googlebot can render with javascript now, so why do we still need SSR for SEO?
Many of us prefer larger laptops and find 13.5" too small for regular use. If a larger body were developed there would presumably be space for additional battery in addition to a larger keyboard and screen, maybe even more ports or extra devices[0]. Alternatively the system could be used as a screen-tablet with a wireless keyboard. Were either of these form factor changes considered as a potential design path during development? Do you have any plans to provide these as options in future? Presumably other than sourcing the panel, larger inbuilt keyboard and machining alternate cases neither option would be substantially difficult.

[0] Expansion card program at https://community.frame.work/c/developer-program/expansion-c... shows ethernet, cellular, wireless charging.
I think my whittled-down NES ROMs dir that included probably a dozen games that aren't very good but have strong nostalgia value for me, plus a couple Japanese games in unofficial translation, ended up being around 80 entries. I'd probably cut that down to about 50 if I were setting something up for someone who wasn't around back then. SNES comes off a little better but my curated-for-others list would probably be around 70-80, including quite a few translated games.

Part of it's because a lot of "greats" have better versions elsewhere (arcade, for games like Mortal Kombat, Gameboy Advance in a lot of cases especially for RPGs, et c.) and part of it's because there was just a lot of crap on them (I think the NES had over 1,000 distinct games).

That's still a lot of good games.
I still have to deal with bureaucracy that requires wet signatures. I've tried a few tools like this one, but no bueno. They could tell it was "digitally signed".
I live in a rural area with a small local town about an hour outside of Ottawa. Lots of rural houses are going up, as the hour drive is okay for the occasional commute. Nothing is being built in the town (which currently has about 350 dwellings). The problem? There is no local water / sewage system, and quite a few of the wells in town get contaminated with e-coli on a regular basis. Nobody wants to build a new subdivision in the town because it doesn't have the basic infrastructure need to support development.

The worst part of this is that the town has the money in the bank to build the water and sewage system. There's upwards of $8 million earmarked for the project. However, each homeowner is going to be responsible for $30k in hookup costs, and the town will have to shell out $500,000 per year to operate the new water system. Since it's a low income area, the >50% property tax increase needed to run the system won't fly, and neither will the hook-up costs. Instead, all the new builds are focused in rural areas where there is no infrastructure needed or in the larger towns / cities where costs are significantly higher but deemed to be an acceptable risk by developers.
You can never 100% trust any AI anyway even if you trained it yourself. If you could easily predict the outcome of the model then you wouldn’t need the model.
How can a small site like HN possibly work when SSR is so complicated?
> Now everyone has yanked their content off of Netflix and put it on their own streaming platforms.

Given that, how is this:

> They need to go back to being the #1 streaming content provider,

even possible?
The pieces were in place long before WWI. The United States of America was never not rich.
I think you are being a bit overly critical. Maybe you watched a sjw show and now the algo thinks that is what you want.

Ozarks, The Witcher, Big Mouth, Stranger Things, The Crown, Umbrella Academy are some of the more popular shows that I have seen and I don't recall any straining for diversity or social justice.
No, since in most cases (if "thumbing the scale" was small and not blatant) they can lie and generate a plausible argument that does not involve the actual factor that determined their decision, and any tiny, specific details don't need to be exactly the same as applied to other cases since it's impossible to expect perfect recall or perfect consistency from humans.

If anything, the neural network is more debuggable since you can verify that the decision process you're analyzing (even if complex and hard to understand) was the one actually used in this decision and the same as used for all the other decisions
Yet you took the time to go into the comments and reply. The national post is not a great news source and Rex Murphy is not a great commentator. Unfortunately, if you want any kind of analysis that's outside the government sanctioned narrative, there's not a lot of choice. There are some very valid criticisms in there amidst the hyperbole.
Availability. I stopped buying video discs when Netflix's streaming catalog felt like it was going to expand to everything, and well also when Netflix by mail seemed good (and that really did have almost everything), but once you hit enough things that you saw and wanted to watch later that weren't there when you wanted to watch... You start collecting them, so you know you'll have them.
If it's to be recommended for NHS use it can't cost anything like that to us; the maximum threshold for NICE is normally something like £20k-£30k per Quality Adjusted Life Year.

Interestingly, it looks like it hasn't had a NICE recommendation yet, and is currently proceeding under some kind of interim data-gathering agreement (which looks like a political fudge of the cost effectiveness guideline).

The BNF is giving an indicative price of £8346.30 for a month's supply (plus presumably another £7000 for the accompanying ivacaftor alone). Of course, the patient will pay effectively nothing (a prescription prepayment certificate is only £108.10 for 12 months!)

[0]: https://bnf.nice.org.uk/medicinal-forms/tezacaftor-with-ivac...
That's reasonable -- thanks.
The bottom line is that the Steele Dossier was a QAnon-tier piece of disinformation, yet was endlessly paraded as "mostly true" by establishment media. That is an unexcusable double standard.
Sure, with a $5k card like that it would be physically capable, but still unreasonably slow. FWIW RTX 8000 is previous-generation - the current gen is the A6000, which is also $5k, and similarly spec'd but faster. If you're looking for a deep learning card, they're actually a great value - I've got a bunch of them.
Monkeys are on the decline since clever and mostly hairless apes took over.

The latter might be too clever for their own good however, having invented carbon-fueled industry, super-powered AI, and various hyper-destructive weapons. Also Twitter. And NFTs.
From the GitHub link:

> licensed under CC BY 4.0

> All of this is a starting point for a broader set of open source Mainboard documentation to enable creation of fully compatible third-party Mainboards in the future.

I don't see any full electronic schematics/BoM in the repo; they don't tell you how to replicate or modify the electronics, just how to fit the form factor.
The FastDoom port slims down some floor textures and such and makes Doom playable (and not stamp sized) on a 386.

About the 386, you could run SICP as a GNU Info file blazingly fast and a Scheme compiler on another TTY, or under GNU Screen.
You could typeset with Groff and Mom, too.

Now try running LaTeX on that. Yes, Donald Knuth is the Ur-creator on CS and typesetting, but hey, sometimes you don't need a full 3GB Texlive suite to typeset some book or math equation notebook.
Sure there is. Anytime someone says "NFT", they are almost certainly referring to an ERC-721/777[1] token on Ethereum. What other blockchains support NFTs and have any kind of use?

Re legitimacy: how do you prove that any piece of artwork for sale in the real world is legit (the seller isn't violating someone's copyright or selling something stolen)? With an NFT at least, there's no such thing as a fake bored ape; the contract address that defined those is known. You can copy the image, you can even mint it, but it will be a trivially differentiable from the original, since it will belong to a different contract.

Valuation is irrelevant to this discussion.

[1]: https://ethereum.org/en/developers/docs/standards/tokens/erc...
I'm convinced SSR is only a thing because of Lighthouse scores.

Client-side rendering with client-agnostic REST APIs is a fantastic architecture.

But noooooooooo we can't have nice things
Why is modern software so bad?
Sweden’s death toll is at least twice as much as all it’s comparable neighbors and it’s economy was the worst performing of the lot.

There is no point comparing Sweden to “at least 56 countries that did worse” because Sweden is a highly advanced society with excellent healthcare infrastructure (poor healthcare infrastructure is very strongly correlated with worse outcomes).

Sweden’s entire original approach (which they changed, btw, after which their death rate plummeted) was based on a single fallacy. That asymptomatic people did not spread COVID. Unfortunately, since Tegnell refused to initially believe this, which led to a lot of deaths, he doubled down until the evidence for asymptomatic spread became too strong to ignore, at which point Sweden also did change their approach, and incorporated lockdowns, etc into the mix of tools that they used.

Of course, by that point our understanding of COVID was much better, testing was far more prevalent and widespread, efc. So lockdowns we’re not really necessary outside of rare circumstances.
Is there an equivalent of this yet for 3D-printing a low-cost drone?
Which consensus algorithm? I don't see raft in the codebase
Sometime ago I read somewhere that the devs at AOL who worked on AIM had a name for this; it was something like "the AYO problem" for Are You Online?.

Ergo, this issue began sometime not long after the start of The September That Never Ended, apparently.
The Expanding Job
Find a cheap apache web host that allows cgi-bin.
I suspect that eating every day with this chopsticks could made people to eat more salt than before

They are shocking with electricity their own taste buds... maybe destroying them, or reducing their density?. After some time people with a numb scorched tongue could find the food bland, and would start adding more and more salt to reach the same level of tastiness again.

So I wonder if this would be sustainable in the long term (but is just an opinion, and I could be wrong).
As an example, here is an org chart at UC Berkeley for their "Division of Equity and Inclusion". There are 14 positions here that are just at the director level. There are many more people that work under these people. Dania, the vice chancellor, gets paid $277,027 a year.

Universities are chock full of administrators like these that they never had prior and all of these departments will continually strive to grow their budgets and employee counts in an effort to expand and prove their importance and value.
OpenAI's ties to MSFT run very deep.[1] Meta's not going to get their hands on anything coming out of there anytime soon.

[1] q.v. $1 billion investment https://techcrunch.com/2019/07/22/microsoft-invests-1-billio...
I wish they would use some term other than ‘back door’ for this. Some PHB is going to read the headline and think that using machine learning will let hackers into the network.
Remote-First Developer Advocacy
I contend no one understands real numbers if they can’t explain (without resorting to essentially purely symbolic rigor) why you can cover the rationals with intervals of arbitrarily small total length, but you can’t do the same with R.
Wow, this seems cool!

Would love some integration with [plain text accounting](https://plaintextaccounting.org/) so that I don't have to re-document all my finances though, even just a simple `ledger equity` import.
Show HN: Crylic, a visual editor for React
Omicron and Delta were both more deadly and more contagious than the early 2020 versions of COVID, so you don’t need to imagine.

It was only the prevalence of vaccinations that prevented things from getting much worse. As far as the unvaccinated were concerned, the impact was devastating.
Great work! This might be unpopular among the HN crowd, but I think you can monetize this further by bundling this with an advising service.

This idea of FIRE has been spreading beyond techies/Internet nerds and into other highly paid professionals like doctors. [0]. The main difference is that non-programmer professionals generally don't get a thrill out of min/max-ing financial projections.

Such people might be willing to pay a few hundred dollars a year for someone to generate this kind of analysis with them and simply execute on it each year. Similar to how people pay for CPAs. My employer actually pays Goldman Sachs to provide a similar service for its employees (no commission, fiduciary advisors) but their tools suck compared to this.

[0] For example https://www.whitecoatinvestor.com/, https://www.physicianonfire.com/
Some websites work on a wide window and make good use of the space, but then you switch tabs and suddenly you get a site that's where each line is like 800 characters and the site is two lines long.
Sure, analytics doesn't necessarily require JS, but the host client software absolutely does need it to create a gameified experience to attract and retain users over their competitors.
Very cool project putting together raft and sqlite. Definitely seems like it's biggest benefit would be super simple operation when you also really need the distributed behaviors. Is that accurate? What do you guys use it for and where do you think the sweet spot is for its application?
I’d argue math is actually (a proper subset of) CS.
Hey HN! I built Crylic with the belief that we can do better than the current generation of tools for modern web frameworks, especially for visually editing components directly instead of using different programs, such as Chrome's developer tools, to inspect & tweak styles then manually writing out the code.

Crylic is simply a WYSIWYG editor for React; it can display & edit JSX/TSX files, create/compose components, edit inline/CSS/styled-components styles, and more!

I was initially focusing on designers for this, which is why much of the documentation and wording on the site refers to designers, but I'm considering pivoting to be 100% focused on developers. I'd love any feedback!
to make matters worse, as far as I understand, the bug was declared "out of scope" by Boeing claiming that dealing with a runaway stabilizer is part of standard 737 training/certification, so even if the MCAS goes bleh, it should be no problem.

which sounds reckless, after all if you make a system more complicated by introducing a "feature" at least try to make it fail gracefully, etc, etc.

then you learn that this glorious safety critical software thing thing was fed by one single angle-of-attack measurement device (oh and to make the system even more mystical the planes had two of these digitalized wind detector flappy flaps, but only one was active, and it switched on reboots, so if one pilot noticed that the system was behaving badly, and then the second one noticed that it was great after all ... the third one had no clue what to expect!)

:|
> an engineer as part of the implementation, or just YOLO into production and wait for the unspoken requirements to appear as bug reports.

In my experience, engineer does it as part of implementation until they burn out and just YOLOs and leaves them for bug reports :p

But to be more serious, I don’t think this is POs or one persons job. This is exactly why engineers should learn about their domain.
AMP sucks. You don't need Brave. Just download Amplosion. [1]

[1] https://apps.apple.com/us/app/amplosion-redirect-amp-links/i...