skysight-inc/HackerNews huggingface dataset:
> Turing machines are polynomially worse than von Neumann machines.

No, they are not.

> It'd be hard to factor 16-bit numbers on a physically realizable Turing machine, while we can do hundreds of bits on our laptops.

Here you have done exactly what a prism does: put an upper bound on the problem size. When you do that, you can just precompute all the possible answers (because there are only a finite number of possible inputs) and the computation becomes O(1).

To assess computational complexity you have to do it with respect to an unbounded input size. And when you do that, you will find than VNMs have only a constant advantage over TMs, not a polynomial one. This is because a VNM has a finite word size and so can only randomly address a finite memory, and so it can be emulated by a TM in constant time.

There is no getting around this. Either you bound the input size or you don't. If you do, it's all O(1) which isn't very interesting. If you don't, all computational models are equivalent (except quantum computers, which give you an exponential speedup for some problems). This is the entire reason that computational complexity theory is interesting in the first place, because you can talk about it coherently without committing to a particular model of computation.
Does the admin(s) need to do anything to hide a post when a post has been flagged by users or it is automatically hidden?
What do you mean by "running apps from a directory?" Do you mean having multiple streamlit apps in a folder and being able to access all of them using a single server?
Social media seems to be useful for a job search. Not everybody still has their own startup, and for those who don't a network like LinkedIn can mean less months sitting without income. Privacy is great, but sometimes it's really hard to see ways to simply exist - eat, sleep - without communicating in ways which erode your privacy.
It could be that some discussion of this person was linking to a Substack article with investigative reporting into this person’s kinks and polyamory, using their forum history over the last decade in a way that Reddit might see as doxxing.
The dip was correlated to Trump leaving office.
Neither Chrome nor Edge offer a simple way to permanently trust the cert. I’m sure there is a way to do it but they don’t make it obvious. It’s maddening as someone who develops and distributes local network apps with https.
If the status quo is that you should go then parental pressure could force some people to go. I know I wanted to finish academia long before I could...
Also their fiance has has written some erotic fiction that is almost as disturbing as what their father did
Billionaire Mark Cuban is building a digital art gallery for NFTs
It looks to me like I'd have been off-track. I was harassed by police because of the way I looked, but my family was not, nor was the harassment as structured as this. I lost 3 jobs in high school because I was late. I was late because the police were searching my vehicle.

They never found anything or charged me with anything after 15 traffic stops inside a single year.

I'm solidly successful now. But, I guarantee if the police had been just a little more deliberate about their harassment, had targeted my family, my 17 year old anti-establishment self would have acted out in ways that would have actually put me on the wrong track. Or, maybe they would have found something to actually charge me with something, even trivial? Or made something up? Or maybe my parents would have gotten fed up and taken it out on me?

I feel for the kids in Pasco Co. This is state sponsored harassment, is almost certainly racist in application, and definitely does more harm than good.
Some years ago I would have agreed with you, but now I've got gigabit muni fiber for $80/mo with no caps. I never need to call them, because the service just works. Evidently most people feel the same way, as they haven't had the need to "optimize" the costs of providing support by outsourcing.

The problems of speed, transfer limits, and add on services are wholly created by incumbent ISPs, and no, we don't need the dinosaur business model competing to perpetuate them.
Is this at all surprising? A pint of incredibly sweet, syrupy drink has about the same number of calories whether it's Taiwanese bubble tea or a Starbucks caramel mocha. Nutritionally, all of these things are equivalent to eating a measuring cup full of sugar.

The only novel fact for non-Chinese-speaking consumers is that "boba" refers to a woman's breasts. The rest of us will continue enjoying our fine, hand-crafted boob drink.
So what is the article actually about then?

You're saying it's about the fact that you aspire to make something that's simlar to heroku but better in some unspecified ways [I mean, cheaper would be nice], while telling people "Do not use heroku" right now?

Seriously, what is the article about, if it's not about how you have something better than heroku (which nobody should ever use) that will let someone deploy an app in 5 minutes, which is what it says it's about?
Accessing memory is not unsafe, wdym?
You can request/demand to be forgotten by services, but a reasonable person can’t expect other people to forget them just because they asked services to do the same. Stored data and human memories are not the same thing lol
I've hired, developed and promoted roughly 300 people in my career (including those who left for a better job at other orgs). I don't mind WFH co-workers, or the extra work that they make for me when it comes to managing them. I can not, however, help them develop their talents as fast as those I can interact with physically. Therefore, I can not promote them as quickly, or perhaps at all. I suspect I'm not alone.
Snarky headline doesn't represent article. Prejudiced, anyone?
> or in private messages

We do know that there's nothing 'private' about any social media platforms, but some people still believe that to be the case.

Now they are blatantly publicizing that private chats are being read.

Anyone remembers the outrage when gmail was analyzing emails to provide ads? What happened to that?
I was thinking of that, but I think the point is that you do any transformation in Ruby. I focused on how to do that. Thanks for the feedback.
> The specific policy and political recommendations of the people on the gender critical subreddit are very transphobic

There's plenty of actual transphobia occurring, out there in the real world - as in, real hateful violence and oppression being done to people who identify as trans or even just behave in non-gender-typical ways. So you're quite factually wrong about this.

Gender-critical feminists do not even register on the radar.
Her father is a convicted child rapist, this is what is causing the uproad.

https://www.bbc.com/news/uk-england-coventry-warwickshire-45...
Please do not bring a straw man argument to the table. I clearly said " Until a central-authority-free alternative exists". Such alternatives are readily available and already used to secure e.g. ssh connections, but are not without drawbacks. One alternative that might be less likely to suffer from the same weaknesses as a certifcate-free model is a distributed certificate authority that relies on a ledger like DNS.
> without recourse

Doesn't the post say they'll fall back to http if the https attempt fails?

> For sites that don’t yet support HTTPS, Chrome will fall back to HTTP when the HTTPS attempt fails.

The only change here seems like it's that, from the user's perspective, initial connections to http-only sites will be a bit slower (vs. the opposite which used to be true: initial connections to https-only sites were slower).
YC Demo Day Slide is an NFT
I work on firmware and kernel-level code, in pure Rust, at my job. We don't do malloc at all.

One of the key features Rust enables is that you can build safe abstractions on top of unsafe things. Another key feature is that those abstractions often mean compile-time, but not run-time, cost.

If you build the right abstractions, you can minimize the amount of unsafe code pretty dramatically. I don't have numbers handy for our codebase (and it's not open source yet, but will be eventually), but as an example, the Redox documentation (a Rust-based kernel that is, uh... linked... below) says: https://doc.redox-os.org/book/ch01-07-why-rust.html#unsafes

> A quick grep gives us some stats: the kernel has about 300 invocations of unsafe in about 16,000 lines of code overall. Every one of these is carefully audited to ensure correctness.

The advantage here is that, if and when there are bugs in this code, you only have to look at the modules containing those unsafe invocations, rather than the entire codebase.

There are also other advantages to the Rust language that make it worthwhile too, regardless of safety percentage, but it is true that this is often people's first concerns. The code that landed in linux-next has a lot of unsafe in it, because it is specifically trying to build out the proper abstractions here. The idea is that drivers built on top of this code will not need nearly as much, generally.
"plainly" is an extremely loaded word in this context.
The author just used Stimulus, not Hotwire - if you add Turbo (the main part of Hotwire) you can remove all the ajax calls. See thread below: https://news.ycombinator.com/item?id=26555842 )
LA Times Investigates Sneaker Resale Industry as Amazon Promotes It to Kids
>What I didn’t see coming was the massive amount of capital floating around in this COVID economy

This is not a new phenomenon and certainly not caused by COVID. For years now you could raise a few million by having Stanford/MIT/Berkeley/etc somewhere on your resume and a half baked idea about AI or Blockchain
> Linux proc is a mess. Plan 9 proc is just that, the interface to running processes. There's no stupid stuff like /proc/cpuinfo. wtf is that doing in there? http://man.postnix.pw/plan_9/3/proc

Do you think Plan 9 /proc would have remained as "clean" over time if it were as popular as Linux?

One thing that seems to be something of an axiom is that popular interfaces become messy over time. The location of /proc/cpuinfo seems to be an individual act of vandalism rather than being due to fundamental differences in underlying philosophy/approach.
I’ve had 900 mbit an 100 mbit and there is barely any practical difference.

And like 1/10 houses are actually networked well enough to even use a 300 mbit connect.

The only practical difference I’ve seen is upload. Cable internet is usually slow enough to impact actual use.
I know it sounds trite, but most small-ish subreddit communities are still sane. Avoid the main ones like the plague though.
It is a massive FERPA violation, according to the the following from a student privacy organization:

https://studentprivacycompass.org/pasco/
Free Penetration Testing Lab 15 by Pentestit
> Is it?

Yes, it is. Turing machines can do math, so a system that exhibited behavior that could not be emulated by a TM would have to be one whose behavior is not describable mathematically. No one has been able to come up with any idea of what such a system would even look like, let alone actually produce an example.

> Wrong theories have been around for much longer.

And crackpots have been around for even longer.
I think Heroku has a right to charge what they're charging but the price is really the only con for Heroku. It definitely isn't the cheapest service out there by miles so if someone could make a Heroku that's cheaper, that would be a huge improvement
The show is remarkable for the breadth it covers. It brings in four academics -- scholars, not popularizers -- on anything from art, philosophy, history, culture, etc. Other recent topics are David Ricardo and The Bacchae.

And every week, Bragg intelligently moderates the conversation -- not as an expert, but as somebody who sounds like he's better informed than just feeding them the outlines they write for him.
Reminds me of the time the CEO (spez) was caught editing people's posts[0].

[0] https://old.reddit.com/r/announcements/comments/5frg1n/tifu_...
You don't care if your blog's content gets MITM'd?
You used to be able to add your own certificates to a device's certificate store. Nonadjustable certificate stores complement planned obsolescence, and help split the market into consumer and enterprise devices, that latter of which you can charge a premium for.
Comparing https://m.imdb.com/title/tt0052077/reviews (“Plan 9 from outer space? reviews) with https://www.imdb.com/title/tt0060666/reviews (“Manos: the hands of death” reviews), I don’t think it qualifies as “worst movie ever”.

One of the reviewers of ‘Manos’ says: “What can I say about a movie so bad that it makes Plan 9 From Outer Space look like Casablanca?”, another “I have endured a thing or two in my life: Plan 9 from outer space. Hercules against the moon men. Godzilla versus Megalon. German musical comedies from the early sixties. However, THIS was too much for me. About one hour or so into the movie, I quit.”
> at 144 Hz it's still 14% of your frame time, so it's hardly negligible

A single skipped frame is not a big deal and will probably not be noticed. It will probably happen anyway due to scheduling quirks, resource contention with other processes, existing variation in frametime...

True realtime work requires no dynamic allocations whatsoever (which, notably, is not covariant with gc!), so I think ‘low’ pause times are an acceptable compromise. Where performance is a concern, you need to manually manage a lot of factors, among them GC/dynamic memory use. There's no runtime that can obviate that.

Granted, 1ms pause times are probably still not low enough for realtime audio, and there may be room for some carelessness there (audio being soft realtime, not hard realtime). But I think just being careful to avoid dynamic allocation on the audio thread is probably a worthwhile tradeoff.
"Deadnaming" is explicitly using the birth/non-current name of a trans person. The article does that, and also uses "he" throughout. Both of those things are typically seen as quite offensive by trans people.

I don't think a site-wide ban of the person who posted the link is reasonable, but it is a shitty article.
Early Go to Market Lessons from Stripe, Figma and More
The argument that no topic should be taboo or unavailable for discussion is not hateful, it is not an attack and it is not conservative.
Maybe don't hire a known child rapist/torturer if you don't want to be hated.
The Datacenter as a Computer: Designing Warehouse-Scale Machines (2009)
Yes. See e.g.

https://gcc.gnu.org/projects/tree-ssa/vectorization.html#exa...

https://developer.nvidia.com/cuda-fortran
Ideally, you write a small subset of unsafe primitives and encapsulate those in a safe interface and try to use those to implement your actual kernel logic.
That depends on whether your question to the origin of life begins with "How" or "Why".
Haskell has a somewhat unique garbage collector based on the fact that all data is immutable. They can take shortcuts because older references can't refer to newer references.
I wonder, can this be achieved for immutable datastructures in the JVM e.g records, lists ?
I am actually glad that they don’t permanently trust it like I belief Safari does it. Accepting invalid certificates in Safari always freaks me out
Add me to the list of people who think this sort of reporting is dangerous to the public health.

It's well known that a primed immune system (in non-immunocompromised individuals) will combat viral infections more readily. The innate immune system (as opposed to the adaptive genetically diverse B/T-Cell antibody system) is a Thing and this is why people were discussing giving standard vaccines (including Flu, BCG, and others) before there were COVID specific vaccines. Saying that the "common cold" (which isn't a single virus, but a set of conditions), can "boot out" COV2 is silly gibberish and completely unsupported by evidence. Furthermore infecting people with unknown "colds" could in fact infecting them with (or covering up) "pre-symptomatic" COVID.

Sorry, but you need to bring the actual Bigfoot/Nessi in for people to believe outrageous claims at this point. Wearing "protective amulets" against them is more likely to cause problems that promote solutions.
And you probably didn't make time to floss your teeth either!
Journal Archive of the American Rocket Society
These watches last longer than a year.
This seems like it could also be a "Right to be forgotten" situation? Especially with how the post is worded where it could be a legal team forcing them to comply.
Oh yeah, Mozilla was heavier than IE, which was heavier than Phoenix/Firebird/pre-2.0-Firefox. Plus FF had a popup blocker built in, which was huge in a way that's hard to appreciate these days. Very quick to start, pages (at least seemed to) load faster, no more popups which were like 99% of ad-annoyances on the web in those days, and tabbed browsing, all free and open-source with no ads in the browser itself (see: Opera). That's what sold it, originally.
Hi, I wrote the blog post last week, and decided to publish it on Monday.
https://gitlab.com/gitlab-com/www-gitlab-com/-/merge_request...

The title was chosen poorly, and the blog post did not reflect on its intentions. For that, I deeply apologize.

The experience and first time with Heroku is my raw impression, also the fact that I am a backend developer who is learning frontend and web apps.

It is a hard lesson learned today, although I am here for it. Iterate and improve, listen to feedback, and learn.

Sytse helps with his expertise and vision on the 5 minute production app, responding here to help. He is not to blame at all, I truly appreciate his guidance and thoughtful responses.
unsafe isn't like a taint, where things that use unsafe code must propagate their unsafety outward. It's more like saying "there are invariants that this function expects, but does not enforce, and the caller may violate those invariants". Obviously, we want to minimize code like that. The best way to do that is to build abstractions around the unsafe code that only interact with the unsafe code in a way that respects those invariants. Often, (though not always) that means giving up some amount of flexibility to the user of your safe abstraction. If you design it right, the caller may never miss that flexibility.

A recent example of using private constructors and zero-sized compile time invariant enforcement is an embedded blog here: https://www.ecorax.net/macro-bunker-1/

The embedded rust community uses this typestate pattern to build safe abstractions around pin interactions. Very similar things can be done to build safe abstractions around the volatile memory accesses etc that the kernel does.
That's still not every year though.
> Soundness is much harder to deal with than performance

Soundness within a pure Fork/join model is easier than you might think.

If any data needs to be shared between threads, just pthread_join() / wait(). Then execute the shared-portion of the data in a single thread. Then fork() back off after the sequential portion is complete.

There's no race condition because all the other threads are dead after the pthread_join() or wait() calls. As such, you're fully sound.

> And if you can tolerate the overhead of spawning processes than none of this really matters, fork/join is fine.

Exactly.

The main issue at hand here is that "parallel models" are useful mechanisms to organize code. A lot of parallel programming isn't about speed of execution, but instead about representing an innately parallel problem in their code.

If you have an "innately parallel problem" but do NOT care about performance, just pthread_create() / pthread_join() or fork()/wait() and be done with it.
More mods getting banned. They didn't know what the banned one did, so the precaution is to ensure nobody does anything until they figure out what got reddit angry.
Here's an example of a similar library: https://github.com/foonathan/type_safe
Reached out last week by a recruiter from reddit, guess I'll never work there. I refuse to work for a company where this kind of stuff is going on. Vote with your feet, and choose not to work at places like this. Vote with your hands and choose not to browse and be a user of sites like this.
Age susceptibility and infectiousness for SARS-CoV-2 variants of B.1.1.7 lineage
indeed. http://fqa.9front.org/

9front is peppered with extremely dry sarcasm, to the point of controversy (http://fqa.9front.org/fqa1.html#1.3.0.1)
I think it depends on what "re-write it in Rust" means. Some people say that it means folks specifically asking for a project to be re-written in Rust. Others seem to imply that any new code written in Rust counts. To illustrate the difference, ripgrep would be the latter, but not the former.

If we're talking about the former, I think the actual instances of this are few and far between, and are complained about far more than actually occurs. At one point I was actually trying to get hard data on this, but there really were only a handful of times I could find this seriously occurring, and they were pretty easily dismissed. The folks who talk about it like a plague of some kind never seem to show their evidence, or link to one or two examples at best.

If we're talking about the latter, it shouldn't be surprising that folks who like a language write software in that language. That's why languages exist. I don't know why some people really want to say that folks cannot write whatever software they want in whatever language they want.
> No one wants to buy the actual chat application itself, because they could build equivalent technology on their own.

Surprisingly, they didn’t. I am using Microsoft Teams for work daily, and that is the buggiest and the most poorly designed application I have ever used, not to mention their awful macOS integration or how they synchronise notification statuses between devices.

I read somewhere that the Teams concept came out of a hackathon where someone integrated skype with sharepoint. It still feels like it is a proof-of-concept rather than a production ready application.
I think the more frustrating point is that you need all this internet infrastructure (with running costs) at all - even if your device has nothing to do with the internet at all.

If the vendor of your dumb device goes out of business, you can just keep using the device until it breaks down.

If the vendor of a "smart" device - or now anything with a modern web interface - goes out of business, the device will have a broken UX at best and at worst turns into a brick 90 days later.

In the end, browsers are now a platform and you have to register and pay a subscription fee to make use of them.
I am heavy on testing as well. I believe that Basecamp guys would just use the Rails system tests. Therefore there is nothing unique about using Stimulus.
The data usually has clear biases present against certain ethnic groups and economic classes. Also you have to look into which laws are broken and feed into the data (again, reflects back on the first sentence). If jaywalking and other minor crimes go into the prediction algorithms, are those crimes treated equally throughout the area and population? Is it really the case that there's no jaywalking in the middle class neighborhoods or is it just that the police only apply it in the poor neighborhoods? This creates a bias in patrols where they step up in areas with more charges, which makes sense on the surface until you examine which areas those are and why they have more charges in that area or amongst that population.

For a fuller treatment on this I recommend Weapons of Math Destruction by Cathy O'Neil (https://www.amazon.com/Weapons-Math-Destruction-Increases-In...).
Does that also include anything negative about a particular trans person?

Many for example consider unacceptable the inclusion of the word "transgender" in this article title (The Guardian of all places):

> Transgender prisoner who sexually assaulted inmates jailed for life

https://www.theguardian.com/uk-news/2018/oct/11/transgender-...
As an alternative to Laravel you can also use Lumen, it works the same but more lightweight.