whiteandnerdy

Good on you for seeing a problem and making something to solve it!

That said, I'm a bit confused about the use case. Wouldn't it be simpler and more secure to have all the encryption occur on the client side, and have the server be a dumb encrypted blob store?

Put another way, I think OpenADP tries to solve the problem "I don't trust hosting providers in any single sovereign nation" by splitting the trust between multiple nations; whereas it seems like it would be even better not to trust any of them.

Forth supports direct memory access; you can request arbitrarily sized chunks of heap memory and retain pointers either on the stack or aliased by dictionary words.

https://forth-standard.org/standard/core/ALLOT

Here is one - there are finitely many mathematical symbols (or at least, all mathematical symbols can be defined in terms of a finite core of symbols).

That means the set of all mathematical definitions is countable (i.e. you could assign a whole number to each one, putting them into an infinitely long ordered list).

However, the set of real numbers is uncountable (by Cantor's argument).

Therefore the vast majority of numbers ("almost all" numbers, in a mathematical sense) cannot be defined, even in principle.

It's more like gren-itch than gren-each (native UK speaker).

In "their logos", the word 'their' is possessive but 'logos' isn't, and shouldn't take an apostrophe.

OP's correction was right.

I think you misunderstood OP- I think he's saying that there was propaganda across the board, including both treatment of people like Gallileo, and also including techniques such as the iron maiden.

I take his point to be precisely that the iron maiden wasn't really used.

Would it be fair to say they signal boosted her personal details on social media?

Irrespective of whether it is literally doxxing (I think you're right that it isn't), it feels irresponsible in terms of the effects that might be anticipated from doing so.

They are not strictly speaking illegal in the UK, and were pretty common in the 2000s and early 2010s.

The law requires employers to pay minimum wage to anyone who is a worker (i.e. is doing work for the company) - but "sitting in" doesn't have to be paid. Exceptions are also made for volunteering, and placements as part of a university course (these can be unpaid).

Enforcement isn't consistently applied so some smaller outfits get away with it. The big FAANGs and other major companies pay.

Looks like the app is Taptic: https://apps.apple.com/us/app/taptic-d-deaf-support/id647898...

Wow! I think I dimly intuited your first paragraph already; I directionally get why your second might be true (although I'd have thought L1 was even more so, since it encourages zeros which is kind of like choosing a subspace).

Your third paragraph took me ages to get an intuition for - is the idea that regularisation penalises having "sharp elbows" at the join points of your hyper-spline thing? That's mind blowing and such an interesting way to think about what a ReLU layer is doing.

Thanks so much for a thought provoking comment, that's incredibly cool.

You're correct, and the term you're looking for is "regularisation".

There are two common ways of doing this: * L1 or L2 regularisation: penalises models whose weight matrices are complex (in the sense of having lots of large elements) * Dropout: train on random subsets of the neurons to force the model to rely on simple representations that are distributed robustly across its weights

I think there's a sense in which moderns feel that the reals (or at least the rationals) are a natural category: that 5 and 0.3 are the same "kind of thing". Mathematicians talk about the distinction between different classes of numbers, but to most people they're all numbers.

Do you think that sense was shared by the ancients, or do you think that the linguistic distinction mirrored a stronger mental separation between the two? It sounds like it might have done if they had to do the work of duplicating proofs from one to the other. Did they have a single word to describe the shared concept?

I'm no fan of this act but your characterisation is highly misleading.

To pick two examples from the document you linked:

Discussion of being a sex worker would not be covered. The only illegal content relating to sex work would be if you were actively soliciting or pimping. From the document:

* Causing or inciting prostitution for gain offence

* Controlling a prostitute for gain offence

Similarly, discussion of drug use wouldn't be illegal either per se, only using the forum to buy or sell drugs or to actively encourage others to use drugs:

* The unlawful supply, offer to supply, of controlled drugs

* The unlawful supply, or offer to supply, of articles for administering or preparing controlled drugs

* The supply, or offer to supply, of psychoactive substances

* Inciting any offence under the Misuse of Drugs Act 1971

That's very different to criminalising content where you talk about being (or visiting) a prostitute, or mention past or current drug use. Those things would all still be legal content.

The capital W is conventional - when talking about a place, a language, or a grouping of people, it's grammatically correct to capitalise the inital letter.

"I visited a few of America's major cities, and was especially struck by how many New Yorkers speak English as a second language. "

So it's correct to capitalise "Meanwhile, Western countries might [...]" but not "There's a brisk westerly wind coming in over the sea".

The linked article precisely claims that the have overhyped their results by (inadvertently? ) having their test distribution overlap with their training data, and implies that the result won't generalise to novel proteins.

I don't have a specific link, but the general method is called "image streaming". It's pretty googleable so you should be able to find something similar at least.

I remember hearing that Beam Search doesn't work well for LLMs, because it leads to repetitive, generic output.

The majority vote sampling technique in this paper sounds like it'd give similar output to Beam Search, because it's sampling sequences of tokens from a joint distribution. So why doesn't it give repetitive output like Beam Search does? What am I missing?

I think it does come down to semantics. When you say "weights", people will take you to mean the pre-trained parameters of the network.

I agree that in some sense the attention weights are more like meta-weights that are applied to the context of the conversation to decide how to actually weight the various words. So it's totally correct to say that previous words in the conversation affect how future words will be weighted, and I think it's reasonable to call that 'learning': for example, you can tell ChatGPT new words and it will be able to use them in context. Again though, people usually take 'learning' to mean making updates to the trained parameters of the model itself, which obviously isn't happening here.

If I'm going to ask the player to do something multi stage I will usually flag it so they know that there's a few places where things might go wrong. "OK well sneaking up to it is going to be the first hurdle; after that you're going to need to figure out how to get the giant lizard to cooperate as you smuggle it out the back".

That lets the party start thinking ahead a bit, so maybe the illusionist says "how about I conjure the smell of something delicious wafting in from out a back window – that way when the rogue manages to sneak up and untie it it'll hopefully pop right out the window by itself".

Whereas if after the stealth check succeeds you give a bunch of subsequent unexpected checks the player might feel a bit aggrieved that you hadn't signalled how much work it'd be (especially if it uses skills they aren't good at and would have avoided relying on).

I think you're setting an unreasonably high bar.

Christianity has a high degree of continuity with Judaism, but rejects important aspects of Jewish theology, such as Kosher and Sabbath-keeping. So while Christianity accepts large amounts of Jewish theology, and extends new ideas, it doesn't universally accept everything that came before it.

Similarly, Islam accepts large amounts of Christian theology (and indeed reintroduces some Jewish practice) and brings new beliefs with it, but doesn't bring every tenet along.

Admittedly Jesus' divinity is a very big part of Christianity to reject; but then, the idea of the trinity would be an equally big pill to swallow for a Jew ("hear, O Israel: the LORD your God is one").

I have a vague memory that if your device can't get a direct route to your Plex server (e.g. because of NAT) then it gets relayed via Plex's own cloud servers with significant bandwidth throttling.

This article seems to have some more details and mentions that free tier users get throttled to 1Mbps. https://support.plex.tv/articles/216766168-accessing-a-serve...

Your colleague is dealing with a problem of disaligned incentives. If growth was the top priority for the engineering team, then (assuming her suggestions are good) they would get actioned. I would guess that either the team are busy with features they think management care more about, or with support/bugfix.

I would propose a growth bounty – if teams can show growth _on metrics that are preapproved by the growth team_ they get a bonus linked to the growth in user count / revenue / etc. If this is done right then the growth team just have to make sure people don't game the system.

If leadership aren't willing to put their money where their mouth is, this means they're probably paying lip service to growth and engineers are correctly identifying that these tickets aren't what management really care about – in which case your colleague either needs to convince management to reprioritise, or find another role.

It's not everything in [0, 1] as e.g. 2/3 is missing. (n is conventionally an integer).

If you have a set where there's an idea of the distance between two points (a metric space), you can talk about sequences where the points get arbitrarily close together. We call these Cauchy sequences.

If a metric space has the property that every Cauchy sequence converges to a point in the space, we call it complete.

The original set of all 1/n isn't complete because the sequence 1/2, 1/3, 1/4,... could only converge to 0, which isn't in the set. If we add 0 in, the set becomes complete.

OP is saying their partner completes them :)

It's even more sweet because OP's set has the additional property that all possible Cauchy sequences have the same limit of 0, so there's only one possible limit - every end goal of every part of the set is the same, the 0. No other number will do.

I found it an interesting deep dive into something completely esoteric that I have no prior context on. Reading original work by a domain expert scratches the same itch for me as learning about a cool hack. Although you'd think STEM subjects would be a better fit for HN, in practice you can't read e.g. an immunology paper without being a halfway decent biologist, whereas this was accessible without sacrificing any depth. Overall, I think broad intellectual curiosity is an HN-adjacent trait, and this post appeals to that.

I host a Plex instance on a server on my home network, and struggled with setting up external access because my ISP at the time had a double NAT. What I ended up doing was renting a super cheap VPS from TINYKVM (https://tinykvm.com/) which I pay $15 a year for.

I point my DNS at the VPS, then I use the Zerotier VPN to tunnel traffic to my home server (Zerotier is embarrassingly easy to set up - I struggled for a while with OpenVPN but gave up). I use iptables packet forwarding to route traffic on port 443 or 80 from the VPS over the VPN to my local server, which is running an Nginx instance to serve the traffic.

This works perfectly for me 99% of the time. Main pain points have been the unreliability of hosting a server locally where Internet can die and power drop off, and a small amount of sysadmining on the VPS, which is so tiny that I have to be mindful of disk space (e.g. removing old Linux upgrade images every so often, etc). All told though, it works surprisingly seamlessly, and there's a certain smugness to knowing traffic from my smart TV goes all the way round the world and back through a VPN just to talk to my server sitting one foot below the TV.

I think the objection still applies. Suppose the statistical analysis told us that millionaires mostly get where they are by comparatively risky strategies or investments. Does that tell us we should also pursue high-risk high-yield opportunities? It's impossible to know without knowing how many people acted similarly to the successful millionaires but went bust or ended up in jail.

On the other hand, a low risk strategy might give you a comfortable life with high probability, but almost certainly won't make you a millionaire.

You need to know the base rate to understand whether survivorship bias is a factor or not.

Go prefers message passing of copies using channels, but absolutely does permit shared state if you want it. I've written multithreaded code with shared state in Go myself. You just need to pass a pointer to the state across a channel, and can then control access using synchronisation primitives such as mutexes in exactly the same way you would in Java or C.

Your hosts file is amazing. I killed two hours trying to get decent ad blocking in midori, gave up, and got essentially perfect blocking with your hosts entries in under 5 minutes.

Thanks for the work you do in curating this resource - it's awesome stuff.

Can you give more details on why the term is ambiguous or ill-defined? I thought I knew what it meant, and a brief web search seems to reinforce my existing understanding (a source-to-source compiler), but I'm probably missing the subtleties. If you have a couple of minutes to clarify what your objection is, I'd love to learn more.

I _guess_ he means that siloing email provision to a few large providers means that its harder to run your own email server without being flagged as spam.