skysight-inc/HackerNews huggingface dataset:
When you say no one talks about it, isn't that what Turing means when he says:

The fallacy in this argument lies in the assumption that Beta is computable. It would be true if we could enumerate the computable sequences by finite means, but the problem of enumerating computable sequences is equivalent to the problem of finding out whether a given number is the D.N of a circle-free machine, and we have no general process for doing this in a finite number of steps.[1]

In an LBA can't we always enumerate the computable sequences by finite
means?

[1] On computable numbers https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf
Once again, this is akin to drinking sunscreen having a positive effect on lip skin cancer.

Yes, but… no.
Not decisions by judges[1]!, filings by lawyers can be pretty proforma, in a ton of places they literally just fill your details and "generate" a filing.

Not every filing is generate-able for sure, however there are already tools which do create standard filings for human review, this would be just an enchantment covering some more use cases.

[1] It is vast gulf between generating a filing and generating a judgement. LLMs are not decision engines, generating text basis what is most likely from past data is one of worst ways we can be making decisions.
Vs code remote is fantastic. It’s as good as local development on vs code.

Unfortunately vs code has way too many things missing compared to JetBrains.
Which, while it suffers from some of the same issues, has some great world building and creative ideas.
Read the book "extreme ownership". Meditate on it for a couple days. Try to convince your CEO to read it too. It will pay dividends.

Read "the thin book of trust" as well since you don't trust them.

From an outside very detached perspective, it sounds like you fancy yourself CTO in all but title and this other person getting that title puts them above you on the dominance hierarchy for political rather than meritocratic reasons.

Clearly it's your CEO's responsibility to weigh in on this and it's an extreme (and I mean absolutely extreme) dereliction of their duties, a dereliction you should expect more of later. Where there's smoke...

I would definitely set your expectations early, so the path of least resistance for everyone is not the other person becoming CTO. It sounds right now you haven't made it clear that you will feel absolutely disrespected if they become CTO to a point where you will likely be too demoralized to continue (and if they become CTO, it will eat at you day after day, week after week, until you are cynical and useless, and at that point this other person will have completely dominated you, and you will have to come to terms with having submitted to someone else because they played politics better than you).

The CUXO's ambition not being tempered by reality while retaining such large ownership is an even bigger problem than your seemingly imminent demoralization.

> he said he deserved it because he setup the slack and gmail instances so that makes him CTO.

This is pretty extreme technical immaturity that shows lack of a greater understanding of what a CTO does and is.

I think the CEO needs a come to Jesus talk. I think you need to turn what you have explained as a "you vs him" problem into an "us vs the problem" problem. I think taking everything you've said at face value, the person suggesting "chief of product" for their title while you become CTO is probably what makes sense.

If I were you I would probably be feeling pretty troubled by a CEO avoiding their responsibilities, and hiring a person you explicitly don't trust.
Yup. But, amazingly, The Economist has since released a new version of their app, which is somehow even worse than the regression he describes. It was the first thing I thought of when I read the title.
So you want the server to make an HTTP call to an endpoint to deliver when streams change their status?

https://github.com/bluenviron/mediamtx/issues/1462

Looks like there might be a work around.
Until your partner decides one day that they no longer are going to abide by that trust and find someone else, raid the joint account, the investments, and sell things right from under you which they are allowed to do with no repercussions due to the marriage according to the government and on top of it disappear with the children. Trust me from experience. You may think you know someone until they up and change on you overnight. Marriage is a sham in the U.S. which favors women in so many ways that men should seriously consider the true cost/benefit of even getting into that contract in the first place.
Wow, you're absolutely correct. I was indeed referring to Vegas in particular. I suppose I conflated the rules for video poker (where payout tables are and must be listed each machine, which indirectly gives an exact EV measurement with optimal play) with slots. My opinion of slots just dropped lower - something I did not know was possible. That is just so sketchy.
The link you mention is from the mouth bacteria/plaques and their leakage into the blood stream near the brain.

Fluoride is not an antibiotic, so there is no plausible mechanism for it’s known topical benefits to prevent bacterial growth that might lead to Alzheimer’s (itself a theory, but an interesting one)
https://archive.is/sx8ig
Is brushing twice a day with fluoridated toothpaste and floss or similar not a thing in the US? In Europe most countries don't fluoride tap water and there's not a massive tooth decay problem.
> Actually there is support for using WASM as a container runtime.

Isn't that what I said?

Some container runtimes (such as `runc`) execute a native binary. There are also container runtimes that execute a WASM+WASI binary.

So trying to compare WASM with "containers" is like asking "should you deploy your code as x86 or as a container", which isn't a useful question.
So 10 billion trees would take us back about 2.3 days. Still not a lot, but it’s something. 10 billion trees is what one can conservatively plant on 30 million acres, which is the area currently used in the US to produce bioethanol.
Which also gently introduces children to negative numbers : - )
Putting aside "a space-based solar sunshade represents a technological leap forward and would be really cool" -- which I think speaks to me on an emotional level -- I do think this might be the single most powerful technological weapon we have to combat climate change.

My reasoning:

* people talk about going carbon neutral: great! But this isn't one problem, this is a thousand distinct problems. Our civilization is built on fossil fuels, and every manufacturing process, agricultural process, transportation process, etc, has to be re-invented to not be built on fossil fuels. Progress will never be as fast as we'd like on this front. We can and should push to get there (there is no good path but forward), but every new bit of news we hear out of Antarctica or Greenland should tell you that we need a longer runway.

* people talk about carbon sequestration: scaling up carbon sequestration is hard -- IMO, even with uncertainty, it feels a lot harder than blocking 1% of sunlight. There is a (semi)plausible technological path to the latter, at least. We will obviously have to keep exploring carbon sequestration in the hopes that a silver bullet emerges. But we can't count on nonexistent tech bailing us out. That's magical thinking, and one step above "thoughts and prayers". There has to be a plan in the mean time, and that plan needs to scale. We're probably going to need it.

* geoengineering with aerosols isn't just geo-engineering, it's essentially terraforming. That's a wing and a prayer, and at the scale we'd need to do it to have an impact we'd surely create some nasty unintentional consequences.

* Note: the above is an important risk calculation, because if you're ok with dumping a crapton of aerosols in the atmosphere -- as some people seem to be -- aren't we basically fine on climate already? Just do that indefinitely! Seems fine, right?

* if aerosol spam is not fine, your backup plan can only be something in space: you are here, at this pdf, at the solar sunshade. The sunshade has side effects, but they're much more palatable in my estimation -- the 1% of sunlight blocked will have the effect of making every day seem imperceptibly hazier (this was something I noticed during the 2017 solar eclipse at 50% of the sun being blocked -- seemed like a hazy day at that level of diminished sunlight. That was 50%. With the sunshade we're talking a 1% reduction to reduce the global temp by 2C.)

Anyway, just my 2c...
Archive.org is a core utility for the web to the point where Wikipedia and many other sites would collapse without it in the sense that many if not most of their outbound links would be dead forever. I’m pretty sure it would even impact the US justice system [1].

Obviously judges aren’t going to have to worry about reasonable rate limits but if these DDoSes are rare, I’d much rather they dealt with them on a case by case basis. Without some complex dynamic rate limit that scales based on available compute and demand, rate limiting would be a blunt solution that will necessarily generate false positives.

[1] https://www.theregister.com/2018/09/04/wayback_machine_legit...
Unpopular opinion: Severely rate limit retrieving the files from the website / HTTP endpoint, and loudly point towards downloading the files via torrents.

The torrent protocol was meant to relieve this level of server load in mind.
And not agreeing with it builds resentment and breaks down trust.
It is trivially easy to get millions of IPv6’s, even spread out across a thousand ranges.

It is also trivially “easy” to get past reCAPTCHA, but it costs more. My guess is that a domain name checker tool isn’t worth the cost per request to bypass reCAPTCHA (approximate 0.02 cents per session)
> This is just some form of parental/public input on what taxpayer money is being spent on, and what kind of books are appropriate for children.

Actually I think I would have less problems if the only people who can go to school policy discussions and make these requests are parents whose children are literally in that school system right now. I have repeatedly witnessed people who don’t have children in that school system show up to these things and debate about this. It’s very stupid.
Most of the time, the new CAPTCHAs do that and then never show an actual interactive element. The interactive gimmicks are a fallback in cases of high uncertainty.

The webmaster doesn’t need to worry about it, the anti-bot services handle who gets what difficulty of challenge. But the webmaster can specify whether they’d like to be more or less strict/difficult than usual.
Rate limit and return a 429?
If you know anything about gambling, you will realise wizardofodds is the authority, and likely more trustworthy than the Nevada gaming regs…
Too late, I've already wrote 5 Facebook posts, shared an image macro, assembled a gorilla warfare group, destroyed HAARP and sent assassins to torch the vaccine fields.
Here's the link to the server:

http://c64-webserver.tplinkdns.com
I would imagine that this translates to lower power consumption when doing the same tasks. Something that would require the CPU in a current phone to work hard for a couple of seconds, like calculating possible routes in Google Maps, being able to be completed in less than one would make a difference. Especially if we do this kinds of tasks thousands of times throughout the day.

Sadly this will probably mean some apps will be able to steal more CPU time for doing telemetry and serving ads because the user won't notice a difference in response time and performance.
If the CUXO is not a narcissist and does take the companies interest into account, this is probably the most cogent idea in the thread.

CUXO is obviously a ridiculous title as are both CDO titles.
There's nothing for me argue against. GP said "stopping once you know that is a moral imperative" as if that didn't need any arguments in favor.

If you want a counterexample, languages models are intelligent enough to write essays asking for asylum but that doesn't mean any sane person would give a language model rights. There's no moral imperative to not kill something just because it's intelligent.

I also think Takoyaki is highly relevant because if octopus wasn't delicious, nobody would want to eat it in the first place and we wouldn't be having this discussion.
> fluoride is created by nuclear weapons construction as waste and the government has to get rid of it somehow, so in the water it goes

Like some wild conspiracy theories, there is a kernel of truth to this one. Namely, the fluoride used in water fluoridation is indeed an industrial byproduct -- except not from nuclear weapon manufacture, but from the production of phosphate fertilizer.

From the CDC (which is definitely on the pro-fluoridation side of things) website https://www.cdc.gov/fluoridation/engineering/engineering-sho...

> The three fluoride additives used for water fluoridation are derived principally from phosphate fertilizer production.
It's not the location deciding, but rather what for you use the products.

So, in an office i can use my CCTV at home (private), but when I use CCTV at home to check my office, then it's business.

Chromecast used for display to present smthg to customers outside is clearly business, while watching Netflix while work ist private.

So the question is, do you use something for somehow earn money? Then business.
and loudly point towards downloading the files via torrents.

By "loudly", perhaps actually redirect to the .torrent instead, for those who trip the rate limit?
How can your prior be uniform if the hypothesis class is unbounded?
Summary: They (not sure who "they" is) want banks to borrow money for the sole purpose of not paying it back if they fail.

Then when they fail, instead of the FDIC bailing out customer, those people who loaned money to the bank will lose their money instead.

To me this seems foolish: The interest the bank will have to pay to convince someone to be the "designated target" might as well just be charged by the FDIC and skip the rigamarole.
Ah, so if I run a casino and come up with some new kind of game I can’t just offer it? Rather I have to get approval and perhaps some regulation is formulated just for that game?

That would certainly answer my root question.

Sorry if this is naïve — I don’t really know how gambling laws work at all.
>No credible scientific evidence exists that ingesting fluoride is beneficial.

???

>Regular toothbrushing with fluoride toothpaste is the principal non‐professional intervention to prevent caries, but the caries‐preventive effect varies according to different concentrations of fluoride in toothpaste, with higher concentrations associated with increased caries control.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6398117/

Higher concentrations lead to better caries control (unless you go too high), what other evidence do you want?
yud out here fighting for humanity against the killer robots in 2002
Sure, read this.

https://www.kcrg.com/2023/05/19/this-book-is-gay-iowas-loomi...
I would also take a look at nonviolent communication (because what you say right now would definitely manifest as violent communication). If you express what you express right now, you will make CUXO and CEO defensive and if they are defensive, you (everyone really) have lost.

I would also consider asking the following in a probably more friendly way "how would you feel if you had 8 reports and made most of the technical direction decisions, and then somebody with 2 reports and significantly smaller technical contribution were named CTO?"
It already is that way. Your steak came from a cow that drank fluoridated water, the salad was watered constantly with fluoride. Your bread was baked with fluoride water, same with your coffee/beer/tea. Your Mayonnaise even.
I suspect no, there is no net cost reduction, and yes, there is a net loss of interest earned solely for increased costs of s/w change and deployment.

But the reason behind this, is customer drive: UX suggests people want to use phones, and visitors feel disadvantaged having to step out of transport queues to find a (diminishing count, hard to find) place to buy a card with stored value which winds up being tossed away or lost with cash left on it, rather than paying their bill by CC or phone.

Octopus users may still acquire cards: I bet they get cards associated with their login to some reconciliation scheme, or rebalance scheme. London casual use by tourists would tend to visacard swipe by now I would think, but I don't have the numbers. Possibly a better pricepoint for commuters willing to sink funds into a prepaid card.
> just another public health failure

It's not a public health failure. It's a failure (or rather a "success") of organized groups to convince people not to get vaccinated.

What mechanism could public health orgs possibly have to convince, for example, Hasidic Jews in New York to get their children vaccinated?
My father used to use another one, I think it was called START and made in Czech. Unfortunately I can't find it on any internet archive sites :(
> "Very few people know that I had to do that thing which no business owner should ever do – lay people off. And I've had to do it twice."

The difference in how other countries view laying people off, contrasted with the US labor market is worth highlighting.

I understand the arguments about how at-will employment brings flexibility and opportunity for both employers and employees but seeing a CEO feel actually responsible for his employees in a downsizing is refreshing.
I think your comparison to CGI is unfair, since CGI in containers is quite different from "classic" CGI imo.

Wikipedia describes CGI as "In computing, Common Gateway Interface (CGI) is an interface specification that enables web servers to execute an external program, typically to process user requests.[1]

Such programs are often written in a scripting language and are commonly referred to as CGI scripts, but they may include compiled programs.[2]

A typical use case occurs when a web user submits a web form on a web page that uses CGI. The form's data is sent to the web server within an HTTP request with a URL denoting a CGI script. The web server then launches the CGI script in a new computer process, passing the form data to it. The output of the CGI script, usually in the form of HTML, is returned by the script to the Web server, and the server relays it back to the browser as its response to the browser's request.[3]"

Which bears little resemblance here imo.
As a Gopher sometimes am always wondering what’s the big deal ?, like proposal rejecting is like a second nature, who want to talk about features about a particular language? esp a language like go ?, maybe because there’s too much “entitled” devs in the rust community ( tbh I wouldn’t be surprised ) well am always here with my popcorn for more drama
Cool. From this I also learned about geoBoundaries https://www.geoboundaries.org/ and Turf.js https://turfjs.org/ .
I think superintelligence means progress. How fast is progress with a superintelligent being on earth? Could be exponential. We, humans, continue to make progress in everything that we do. Small breakthroughs compound on top of each other. For example, in order to make machines, we had to invent fire and iron. In order to make accurate weather forecasts, we had to invent the microchip, then supercomputers.

If a superintelligence can accelerate progress, there's no knowing what it can invent on top of each invention.
Phil Ivey did the same edge sorting thing at a casino in London and lost the ensuing court case https://www.theguardian.com/law/2017/oct/25/poker-player-phi... . It was a very important case because it found (as I understand it) that he was cheating even though he had not been intentionally dishonest or done anything against the rules of the game.

It's an interesting and bizzare situation. Firstly baccarrat (In my understanding) allows the player to have assistance from others in a way that other card games eg Poker do not. In poker there is an explicit "one player one hand" rule generally (online you are often allowed to "multitable" but you're still playing one hand on each table at a time). Allowing this sort of assistance from others counting the cards etc seems like it opens the door to various sorts of things that would be considered cheating in other games.

Secondly it's weird that the stakes are so high and yet the casinos can't seem to get decks of cards which have precisely the same pattern printed on the back of every card. It sort of blows my mind that that's an issue.
Caveat that I have no issue whatsoever with fluoride.

The parent poster said "ingestion" of fluoride, but brushing is strictly not ingestion but rather topical application - you are directed to spit it back out. I'm curious if there were studies that covered drinking it.
A process with a particular expected value can still be random.
I don't believe in rating systems, so I just give 5 stars to every book I finish.

One time I made a very negative comment on Reddit about a fantasy book, and the author actually responded to me. When that happened I felt incredibly bad, because I didn't expect the author to actually read what I'd written. But that experience taught me that you can just reach out to people that make stuff you like. You can make people feel good about something that made you feel good, and it's entirely free. Since then I've reached out to various authors just to tell them I really enjoyed their books.

One of the best things about reading indie authors and smaller creators in general is the ease with which you can communicate with them. I remember making a comment about a minor detail to an indie author about one of his series, and in the next book he actually incorporated my suggestion.

I think once you reach a certain scale or popularity there has to be some kind of filter or process between a creator and their comments.
I forgot about this. This was a total nightmare for me as a kid. The gel made me want to throw up badly. I think they offered two "flavours" you could pick from, both equally nightmarish.
From the company's history page: "2009 SEL becomes 100 percent employee-owned."
Couldn’t we leave this up to the affected constituents only? If you don’t have a child in the school you can’t request a book be removed. You can request that your child not have access to a book. If you don’t reside in the library area you can’t request a book be removed, but you can put a restriction that your account cannot check out certain books. Isn’t that enough to respect everyone’s desires here? Why do we even need a law like this?
You're proving their point.

Brushing teeth is a topical application of flouride, unless you swallow it, of course....
Endpoint was invoked in our signup funnel, so there was a bootstrapping problem for quota enforcement, the attackers weren't making a whole signup, just getting to the point where the domain search ran.
Right, but this is why the GGP's post suggested throttling IPV6. Or at least that was my understanding.
Or maybe they were widely disliked, but this was not reflected in the critic score because certain groups were promoting the content.
I was introduced to Imago therapy many years ago, back when I was still just dating the woman who is now my wife. I've recommended the book "Getting the Love You Want" to several people.

I can tell you this much -- of all the things I've done in my life, and all the various types of pain I've suffered, the "active listening" part required of Imago is the very hardest thing I've ever done. And probably the most important.
It's also important to consider that in a future interview, they are going to ask "tell me about your time as CTO at ExectuiveSuitDramaCorp?"

So it's not just going to be just a title. Responsibilities will shift towards the title. It is very much a power grab, and if they do not have the power, then that title will hurt them in the future.