skysight-inc/HackerNews huggingface dataset:
Despite the downvotes, you're not wrong.

And, it's not anti-science for the sake of anti-science. It's part of an overall anti-establishment theme. The point of it is to sell people on the idea that they are under attack and only one party (man) is their savior. To do that, they have to cleave people away from reality. So, it's all mistrust built primarily on misinformation and conspiracy theories, whether it's Q or COVID.

And, voilà: with these grievances and fears so viciously stoked, you now have an army of programmed drones under your command who believe they're fighting an existential war for their freedom vs simply being asked to be a responsible member of society.

That's how you end up with people like this woman, who are closer to the center of the party than many people want to admit:

https://mobile.twitter.com/RadioFreeTom/status/1447211987717...

I will now have some of your downvotes.
Partner at Anderson Horowitz or not, this reads like a non-engineer offering architecture kool-aid. That diagram makes little sense.

Unless I'm missing something.
So is it a rethread of the story at https://news.ycombinator.com/item?id=26974607 but omitting absolutely all relevant context?

The tl;dr from that thread that there is a jump in M1 from a change in what counts as M1/not M1, making that chart very misleading from a glance. https://fred.stlouisfed.org/series/M2SL is a lot less misleading - but of course that's the point.
I understand the point they are trying to make, but this story is grasping for straws. $14 million peeled off into a trust from a global commodities operation is not much. Trifling in the larger scheme of the leak.
To be fair, the paper is by a mathematician, not a philosopher. The question is valid - what /do/ mathematicians mean when they use the term 'morally'? It doesn't seem to have much to do with what most people (including philosophers) think it means. Rather, it appears from the examples given that it is equivalent to 'by my gut feeling' which we might call 'intuition' if that didn't have a more specific meaning wrt mathematics (though, ironically, intuitionism would seem to fit the author's position quite well, e.g. "The truth of a mathematical statement can only be conceived via a mental construction that proves it to be true, and the communication between mathematicians only serves as a means to create the same mental process in different minds." https://plato.stanford.edu/entries/intuitionism/). Nothing wrong with intuition as a starting point, but as you point out, it surely can't be a justification in and of itself - what happens when people's intuitions about what is right don't agree? I wonder what discipline tackles that kind of problem..?

I also wonder how the author would react if a philosopher had said they'd heard of this thing called 'Category Theory' and thought it would be interesting to apply a topological transformation to find the homomorphism between Kant and Nietzsche and then started talking about the influence of German beer on their thought? It would make about as much sense as this paper.
Considering the low barrier to entry, I would say that most of them are just run by dilettantes wanting to make an easy buck, but that amounts to the same thing because an intelligence service would be able to have their way with the infrastructure of just about any commercial VPN provider.

My thought was to sell a VPN-business-in-a-box where you plug in your domain name, AWS creds, and payment details and in exchange you get a fully built VPN business including a web site, VPN nodes, iOS app ready to submit to Apple, and so on. Just add customers...
There’s no official support for non-free but the GUIX community has created a number of channels for non-free packages. I believe this is the main one:

https://gitlab.com/nonguix/nonguix

More if you google “GUIX nonfree”.
Worked for me on Android Firefox (with uBlock Origin).
Those that have had COVID may legitimately feel they have less need for the vaccine. Some of us have other medical reasons not to take one. Or might just be ornery.

No matter how convinced you are that "no independent individual" disagrees with you; it still happens.
I think that every retraction of an invitation to speak in response to a mob is bad, so we are in agreement.

My only point is that this particular "John Carlson Lecture" is itself a public relations event whose purpose is to promote MIT to the local public and enhance its image, they allude to this in the official statement [1].

In my opinion, a PR lecture cancellation is different from telling a student group or department that they are not allow to invite a specific speaker: it is bad, but much less dangerous to academic discourse than previous cancellations (even if in past examples the speakers mentioned in the article had extreme or bizarre views).

[1] https://orgchart.mit.edu/node/6/letters_to_community/importa...
> And how are you supposed to identify one from the outside?

I think many of these were purposefully designed to not be easily identifiable, as they hold critical infrastructure. Many of the internet exchange points near where I live are like this too - they just look like fairly generic office buildings.
You often lose performance in traditional imperative languages when aiming for persistence.

When you have immutability guarantees (like in many functional programming languages like ML or Haskell) you can avoid making copies by sharing the parts of the data structure that don't change.

If this kind of thing interests you, you should check out Chris Okasaki's book "Purely Functional Data Structures".
I love the way this looks. Is there some barebones thermal printer that i could put in a custom enclosure to look like this? The ones i am looking at online seem to be much bulkier.
Yeah, let's stop making murder illegal. I'm sure there is a smart startup that can disrupt it.
Agreed - utilization is an important consideration here. The capacity red line will still be there, but when load shedding is effective, the impact of crossing that red line is les. It’d be an error rate linearly proportionally to the excess, rather than the service falling off a cliff. But for the services this is talking about, neither case is okay, so we put a ton of emphasis on auto scaling models to make sure we don’t get into the situation.

A key sort of “continuation” to this article is the one on fairness: https://aws.amazon.com/builders-library/fairness-in-multi-te... . This gets into the topic of utilization a bit more.

But you’re right - good load shedding gives a business a tool to make an easier trade off when it comes to capacity management. A slight error rate until autoscaling kicks in is an easier pill to swallow than a worse outage.
The tapping of this particular cable happens on land with the paid aid of Cable&Wireless.
Amusingly, graduates of "elite" universities are the brainpower behind social media and its satellite industries. In turn, those industries are a driving behind the market value of an MIT degree. I sense a symbiosis.
> it allows to create constraints-based designs

I've never seen an architect using a constraints-type CAD design workflow.

I always thought constraint-based design is typical mechanical engineering thinking.

Do architects work with constraints as well?
This could be a great tool to verify that none of the files in a /nix/store have been manipulated offline since they are read only anyways.
>In one province, the government has given itself vast power to perform warrantless search, confiscate property and conscript any person to the cause of "managing the emergency"

I've not heard of that. Which province?
House centipedes look creepy but aren’t they totally harmless?
Here is a GraphSCAD thread on OpenSCAD form.[0]

Also here is Node Graph Interace to OpenSCAD in Java.[1]

FTR, I may recommend take a look on VisualScriptCAD[2] and DynFreeCAD[3].

[0] https://forum.openscad.org/Graphscad-A-New-Nodal-editor-for-...

[1] https://github.com/studiotc/NodeGraphInterface

[2] https://github.com/kovacsv/VisualScriptCAD

[3] https://github.com/infeeeee/DynFreeCAD
And Catalan.
whether mutating data is better than creating a new copy for everything is a really long debate about immutability and functional programming, with good points on either sides, but that's really beyond the point here.

In my opinion, you should use whichever method makes your code easy to read and understand for your usecase.
Shopify is a shop with about 1000 developers who use Nix on MacBooks. Here’s a video on one of their internal tools which is basically just a bit of chrome on top of Nix to run anything without installing it: https://youtu.be/VUM3Km_4gUg
Do they really though? For some coastal elite business tycoon, is the estate tax scheme worth spending half a year in SD?
Good question! From this I was thinking yes: "The state’s trust assets have more than quadrupled to $360 billion over the past decade, the report finds." But you're right, unless there's special language to the contrary, presumably those trusts just put the money elsewhere.
The relentless media barrage of hit pieces on taxes continues. It’s non-stop with outrage inducing prose aimed at drumming up enough outrage to justify the ludicrous tax changes being purposed by the current administration including a 3.5 trillion dollar infrastructure bill that isn’t even infrastructure. Learn more about the real purposed tax changes and how they hurt middle class, upper middle class, and impeded innovation at https://www.advantaira.com/blog/how-bidens-3-5t-infrastructu...
> Because that leaves open the possibility that all isn't determined, and that we can finally take responsibility for our own actions.

I'm not clear why your path in life being determined precludes you from taking responsibility for your actions.

Presumably if the universe is deterministic, then the consequences of your actions literally follow from your choices. Therefore the proximal cause of those consequences can be attributed to you, ie. you are responsible for causing those outcomes.

That you were determined to make those choices doesn't erase this basic fact. That you can learn from mistakes and make different choices in the future given similar circumstances is exactly why holding you responsible for your choices works as a form of moral feedback.

If your choices were not deterministic, then this implies that they were partly random, in which case holding you responsible is no longer a valuable tool for moral feedback, because no amount of responsibility or feedback can influence a random variable. Therefore, the degree to which you should be held responsible is arguably proportional to the degree in which your choices are deterministic; we see this in every day life, where babies and the clinically insane who act for no apparent reason are not held responsible for the actions, while people who are mentally competent and can operate within systems of rules are held responsible.
People who will even approach tools like this , are never as “non-technical” as youre referring to.

Dev has made a great implementation for people who fear the terminal.
Thanks to this now i can bring more of my friends to try tools like these.

I dont think the creator is delusional at all,
The non-technical in this market is just different.
Come back with your real account and maybe you’ll be taken more seriously. A three day old account sharing edgy thoughts like this is easy to dismiss.
The date January 2004 is on the first page. So why does the post title say (2017)?
I don't really know where you get that idea. I think the two issues are separable, and probably orthogonal.

In fact, I'm fairly sure the rule against perpetuities predates the existence of any substantive probate or estate taxes.
> I feel like this is perhaps situational? I am yet to see Nix be used once in about 5 years of development in many projects in Eastern Europe, both governmental in private sector.

Hah!

Nix is super European, and from my American vantage point the more west you go, the fewer Nix users there are! I first learned of the whole Eastern Europe consulting phenomenon via the Nix community too.
Being against estate taxes and being against entrenched aristocracies are not mutually exclusive positions.

Being against taxes on already-taxed monies benefits self-made families as well.

Provided that old money can lose money by squandering inherited wealth, the two positions are very logical and to the benefit of society.

The issue here that no one seems to mention is that aristocracies should not be able to leverage the state to protect their wealth.

Old money in france and italy is sustained due to protection of state. The US rich, due to the growth of the growth of the state apparatus, having increasing ability use the state to shield aristorcracy here.

Quick examples:

- TARP bailouts
- Neverending wars to benefit defense industry
- Biden admin reversing hospital pricing transparency executive order.[1]
- All the newly minted 'czars'
- Disney IP laws
- Antitrust failures in the last 30 years

I don't think anyone has a problem woth the rich if they get there by playing by the same rules everyone else plays by.

However when you see major rich politicians on TV, dining without masks, while telling everyone else this is prohibited, you know the problem is not the rich, but the rule-makers

Edit: added source per request

[1]https://www.natlawreview.com/article/cms-backs-price-transpa...
Is there an estimate of how much the Crown Estate will pay in estate taxes when the Queen passes?
The problem is that due to complexity accrued over time, the 10% of features you speak about are likely going to be core to the operation of the web's most popular sites (FAANMG). And not supporting those sites means not supporting a huge swath of the population who consider those sites critical.
Funny that some of the advice in that thread is to buy crypto, when ~99% of crypto coins were mined in the last 12 months.
I couldn't tell you how much of Singularity remained in Midori, but to give some context, this was a team that was not afraid to rewrite, often significantly, there was essentially a closed environment, so you could make what would be a breaking change in any other environment, and be sure that everything still built and ran.

Example: I completely rewrote the process loader to load binaries from "the cloud" and other than a heisenbug caused by a misconfigured F5 router that had us scratching our heads for a couple of months, everything just kept working
Decades ago I enjoyed working with XLisp [1] for a while. It seemed like well-done and simple Lisp that would be good as an extension language. I'm wondering if this Lisp took any inspiration from XLisp or has a similar goal.

[1] https://github.com/dbetz/xlisp
He's about the launch his TypeScript training course...
US workers overwhelmingly comply with Covid vaccine mandates
Well, national traffic will usually not land on these cables so they need other means to intercept it.

https://www.aerosociety.com/news/eavesdropping-from-space/
You're taxed on income. You save buy a house, and you're taxed on the property you bought. You're also taxed on dividends from any remaining savings. You're also taxed on any spending you do (in most states).
I think one of the reasons it feels like this is with Nix, the guts of what people are setting up are all exposed, right there in robust code. You see what's going in to the sausage.

In comparison, I've worked in projects which distribute their components as .deb packages, and the difference is night and day, the latter being a nightmare of laborious manual steps and funny tools. To a user of a .deb file this is all opaque, but let me assure you the complexity is most certainly there in spades.
> most movie grade CGI (houdini, maya) or compositors were made this way

Yeah. Upcoming Olive Video Editor `0.2.x` would be fully on nodes.[0,1]

[0] https://olivevideoeditor.org/020.php

[1] https://github.com/olive-editor/olive
Leo: "If you take a cookie I will be forced to add one full day to your sentence."
Apples and oranges. Naming more mersenne primes does not constitute discovering new mathematics. It's really very hard to argue that this is a good use of computing power.
No but they rarely bite.
Tells you all you need to know about this website and the tech community, sadly.

The increased importance of tech in our lives combined with remote work and home schooling is not turning out to be the benefit it might have seemed to be.

Open your door, step outside, say hi to your neighbor, skip the podcast/YouTube personalities.

Public health, public education, pursuit of scientific knowledge, and artistic expression got us to the point we could develop the technologies you use and love.

Don’t let those technologies be the tool that undermines all we have achieved.

Cheers.
Linux Gaming is exciting - because it's been progressing from virtually nothing 10 years ago to being a tangible Windows alternative in 2021. And it keeps getting better.
These things aren't black and white. There is an enormous difference between a 7 digit (millions) estate, and one measured in 10+ digits (billions). While income/wealth inequality does encourage work and innovation, it is entirely different when inequality becomes an entrenched oligarchy.
Thanks for posting actual data, it's helpful to understand a complex story.

Here's another well-done analysis, by the Kaiser Family Foundation:

https://www.kff.org/coronavirus-covid-19/issue-brief/latest-...

What I find interesting is that the rate of vaccination is higher in Hispanic and Black groups than Whites, so the gap in the cumulative numbers of vaccinations is slowly closing (this is most clearly visible in Figure 3, which shows a timeline).
Imagine having 2^57885161 - 1 rollers on your luggage & having the lock bypassed by the low tech TSA key :)
Or you could just stand up Keycloak along with your backend services
What rewrite rules? Caddy does it for you automatically. With nginx it's a single line in the config file. Or throw your site into HSTS preload (ok, you'll have to add a single header to the config) and any modern browser won't even try HTTP.

There are multiple solutions and all of them are even simpler than what he picked.
Thank you very much, you described my experience perfectly and I went on researching what the "alice going down a rabbit hole" is: hyperfocus.[1]
It is linked to ADHD (which can be both with or without hyperactivity, ADD being the old term for the inattentive ADHD type)[2] and for some additional info, ADHD is the most common coexisting condition to ASD (autism).[3]
You might want to check that out!
Thanks again for this fantastic comment, it is so relatable that I honestly could have written it myself!

[1] https://www.understood.org/articles/en/adhd-and-hyperfocus
[2] https://www.verywellmind.com/add-and-attention-deficit-disor...
[3] https://chadd.org/about-adhd/adhd-and-autism-spectrum-disord...
I predict we are entering (or have entered) a silver age of technology where progress will be slower and less breathtaking. Rather than radical innovation we will see slower and steady progress within existing technologies. Ideally the manic optimism (and pessimism) of the past will give way to a calmer, more humble optimism.

In web development in particular I hope this will lead to a reexamination of lost ideas, such as the hypermedia architecture. I think you are seeing that with things like Hotwire and htmx.

So I would look to ideas from the past, perhaps abandoned today, for things to inspire us.
The tycoon just needs to hire someone to live in South Dakota, they don't need to be the trustee.
Think re-writing 100% compatibility with MS windows and how much a of pain in the butt that would be. Wine has been at it for 28 years and they still haven't really managed.

A web browser these days is arguably of similar complexity.
That's not what ©1994 means. What it actually does is it establishes first publication date.

In US copyright law, there are three dates that control copyright: 120 years from creation (first fixation), 95 years from first publication, or life + 70 years. If any one of those terms expire [1], the work moves into the public domain.

Affixing an earlier copyright date affords no advantages. Pre-1976 copyright reform, flubbing the formalities means you lose copyright entirely. After that reform, you still keep copyright, but instead you lose out on some ability to recuperate losses, and you give your opponent extra legal ammunition in any copyright infringement cases.

[1] Strictly speaking, life + 70 years actually rules when the author is determined. If you read the law carefully, once the fixation/publication threshold is crossed, it is now the burden of proof of the copyright owner to demonstrate that life + 70 hasn't happened yet, and furthermore to demonstrate that the alleged infringer failed to do due diligence to determine the death date of the author. In practice, it could end up really being a lesser-of-all-three situation, but we aren't going to get any case law on this until 2074 at the earliest, since life + 70 doesn't start until 1978.
Why not just fly?
Same happens in the UK, London
If you're interested in this article watch his episode on TinTin.
I already don't read Twitter, and yet the MIT admins "buckled." It looks like not reading it doesn't actually accomplish much real world change.
The beautiful thing with CT is that there will always be a paper trail.

Either the certificate is included in the CT log, then the web site operator can notice that an illegitimate certificate was issued. This makes this approach risky, and infeasible against big services (since they presumably monitor CT logs for misissuances for their domains).

Or it isn't included in the CT log, then the certificate itself is a digitally signed admission of incompetence by the CA, and IIRC at least some browsers will reject the certificate if it doesn't have a CT receipt (SCT) from at least one accepted log.

The remaining options would be to compromise (or compel) an accepted CT log to issue SCTs without recording the certificate. This would require attacking two entities, and if caught (i.e. the victim noticed the cert wasn't in CT), would mean the end of the log.

These do not guarantee that such an attack will be discovered or stopped, but let's not pretend that these didn't massively raise the stakes for attacks against CAs. Previously, if an intelligence service could get a CA to misissue a certificate, they could only be caught if the victim identified the certificate as misissued, stored a copy, and even then it'd become a he-said-she-said.
Also considering posting your ideas to the Nix forums or possibly github issues, lots of activity there and you’ll probably get some good feedback before publishing.

https://discourse.nixos.org/

https://github.com/NixOS/nixpkgs/issues
Exactly and that JIT case is special purpose, only available to Apple themselves.
deductive reasoning? unless you don’t trust the numbers posted by the FED
So why does Keybase inject the textbox there? Injecting an input for a secure chat app into an insecure location is going to make people who trust keybase misunderstand the security profile of that input.
Are there any good books that deal with writing pythonic code? As well as being focused on more intermediate or advanced features like this? If the book is project focused that's a bonus. Performance trade-offs another bonus.
These remain as great techniques! Even iptables like you mention - it’s extremely good at cheaply shedding new handshakes, vs later on in processing the request. You lose a little visibly, but it’s a powerful outer “layer of the onion”.

And good callout on middle boxes. Even high level abstraction ones like Amazon API Gateway. In fact this is my favorite feature of it. API Gateway can reject a very high rate of excess traffic for a small overloaded service behind it.
> Biden admin reversing hospital pricing transparency executive order

Source?

All I can find is that the admin plans to do the exact opposite and actually enforce the rule that was in place but no one has been following (because it wasn't enforced): https://www.washingtonpost.com/politics/2021/07/12/health-20...