skysight-inc/HackerNews huggingface dataset:
Junos OS Evolved Overview
It's kind of silly to take the perspective of light, because it doesn't experience time (obviously, but you know what I mean). Maybe there will be new physics on that like there was with neutrinos, but it can't be too much of an effect.
linux appears to be taking over
and btw Juniper will be part of HPE
The world needs powerful new ideas and people willing to bring those ideas to everyone through creation of products and services. We need BOTH but it's getting harder to build a career focusing on inventing and discovering new ideas nowadays unfortunately.

This is documented super well in this book (published by Stripe Press!): https://www.amazon.com/Scientific-Freedom-Civilization-Donal...
I think that's a failure mode his worse books fall into, but I've found his better books enjoyable all the way through.
some things are more important than returns, I'd rather export free speech than import censorship. That said you should know that up front.
Is it ergonomic to code on a tablet without bci?

https://vscode.dev can connect to a remote vscode instance in a container e.g. over Remote Tunnels ; but browsers trap so many keyboard shortcuts.

Which container with code-server to run to connect to from vscode client?

You can specify a development container that contains code-server with devcontainer.json.

vscode, Codespaces and these tools support devcontainer.json, too:

coder/envbuilder: https://github.com/coder/envbuilder

loft-sh/devpod: https://github.com/loft-sh/devpod

lapce/lapdev: https://github.com/lapce/lapdev

JupyterHub and BinderHub can spawn containers that also run code-server. Though repo2docker and REES don't yet support devcontainer.json, they do support bringing your own Dockerfile.
Agreed. People used to be fine with slavery, they’re not going to cancel a useful service over poor working conditions.
I’m trying to figure out how people aren’t aware of this by now. It’s been broadcast everywhere.
To be fair, reality can often conflate those two concepts too. What I mean is that in some cases a lack of sovereignty can lead to economic catastrophe if people are willing to pillage your economy by force. As you note it depends on circumstance though - Lichtenstein can get away without having an army; Rojava can't.
SimCity 2013, a trainwreck of a game, switched to an agent-based simulation to compete with Cities Skylines. It ran horribly, inheriting all of CS’s performance issues and gaining none of SC4’s benefits. It also added network features (DRM) so EA can notify your Smart Fridge of your compensation copy of Need for Speed after they scammed you $60 for SC2013. Moving on.

Here's the real debate: SimCity 4 vs Cities: Skylines. SC4 uses a population-based statistical simulation. Cities: Skylines, stemming from Paradox's Cities In Motion (built with Unity engine [1]) focuses on traffic modeling using an agent-based simulation. CS excels at traffic flows because it’s designed for that purpose.

It's the micro-level accuracy of Cities: Skylines "agents" and SC4’s macro-level realism of its "Sims."

Instead of creating individual agents for traffic simulation, SC4 runs a pathfinding heuristic to find the fastest route between Sims' homes and jobs. Maxis designed this simulation to run on a 2004 Pentium III 500MHz with 128 MB RAM. Surprisingly, it still holds up today.

In CS, agents return to designated homes. In SC4, Sims returns to the nearest vacant home after work. SC4's simplified simulation reveals the optimal path for Sims. This difference might seem immersion-breaking, but perfect pathfinding uncovers the most efficient urban designs that might initially be hidden. Isn't that the whole point of the simulation?

SC4 isn’t perfect. Casual players ask: Why no diagonal roads? Why are my buses unused? Why aren't Sims going to work? The Network Addon Mod (NAM) [2], around 2004, has addressed some of these issues. It’s not perfect, but it makes the simulation smarter, so Sims can make decisions closer to agent-based solutions. NAM is the band aid covering the small cut that Cities Skylines makes in its otherwise superior simulation.

SimCity 4 still holds its own as a city simulator.

[1] https://web.archive.org/web/20220716021755/https://unity.com...

[2] https://www.sc4nam.com/docs/feature-guides/the-nam-traffic-s...
We can all do better.
He's in the wrong morally or in terms of following the law?

When the supreme court is the victim, the prosecutor, the law maker, and the law aprover all at once, the only thing you need to do to break the law is not do as they say.
Long Covid inflicts scars on lungs but targeting immune cells may reverse damage
Like the Planet Express ship? Sounds like professor Farnsworth.
I recently decided that I wanted to learn more about your field, so I set up a jupyter notebook and was perusing the available python libraries and I found this one[0] however it is apparently unmaintained.

Can you suggest any beginner tools or resources for a layman to learn more about your field? I've taken an intro orbital mechanics course, solar system geology course and one on exoplanet detection and I'd like to keep the kinds of skills that I got from those courses fresh in my brain.

How do you recommend I do that?

https://docs.poliastro.space/en/stable/index.html
Why/how would the death of Intel kill off AMD too?
The article itself was well written, although I'd appreciate if the author was more "to the point" with the examples.

FP never resonated with me and never fit the mental model I have for programming. I tried learning Prolog and Haskell a few times, and I never felt like I could reason about the code. This line from the article:

"[..] With functional programming, whether in a typed language or not, it tends to be much more clear when you've made a trivial, dumb error [..]"

wasn't my experience at all. In my experience, what made it clear when I made a trivial/dumb error was either having good typing present, or clear error messages.

I do always try to use the aspects from it that I find useful and apply them when writing code. Using immutable data and avoiding side effects when possible being the big ones.

I'm glad FP works for the blog author - I've met a few people that say how FP makes it easier for them to reason about code, which is great.
Apple is in a pickle because of background app restrictions.

On Android, OEMs and App developers play tricks to hack those restrictions and you end up with awful user experience and poor battery life.

If apple loosens background restrictions to allow for IDEs, compilers, terminals and any app that needs to keep a socket or child process alive -- an entire league of background battery-killers will hit the app store

This is a case of Apple discipline in favor of the iPad platform.
whoops, thank you, I will adjust.

Learnt something about HN there.
This is the most bizarre thing I've read in ages, and so incredibly wrong and unrepresentative of the current state of reality that I'm having a hard time wrapping my head around it.
Out of curiosity, which part of the 1988 constitution makes it unconstitutional?
Everything coming in speeds up when it falls to earth.

Tiny stuff burns up completely in the upper atmosphere, where the pressure is low, because they have low surface area per mass -- the atmosphere can stop them entirely. Their terminal velocity is low. (That is, when the velocity through air is high enough that the drag prevents gravity from speeding up the object any further.)

Medium objects have a higher terminal velocity get deeper into the atmosphere before exploding. Fragments from these (which now have higher surface area per mass) can then be slowed further by the atmosphere and make it to the surface, but not so dramatically. Bits of the Chelyabinsk impactor fall into this category.

Big objects have a high terminal velocity. They make it to the ground largely intact... and without being slowed as much by the atmosphere. That gives you craters and bad days for being a dinosaur.
How dare they make money with something that is not advertising!
they reversed course on this one:

> Elon Musk's satellite broadband firm, Starlink, on Tuesday said that it is complying with Brazil's top court order to block access to social media platform X in the country, a day after informing the country's regulator it would not obey the order.
> (A mallory could of course reset it still, unless you have some e-fuse or something, but anyways that's only marginally worse than simply physically destroying it.)

You can already reset CTAP2-compliant FIDO keys using a (non-PIN-authenticated) command [1], so this wouldn't add anything that isn't already there.

I think the real issue here is that users probably don't expect having to reset/initialize a Yubikey once they take possession of it. Given the horror stories of how e.g. Amazon commingles inventory, I wouldn't be surprised if fraudsters could succeed in getting paired keys back into the supply chain.

Targeted attacks to friends/family can probably also not be ruled out ("hey, i got this spare yubikey in a black friday sale, want it?"), and unfortunately something like a family member or partner trying to take over somebody's accounts isn't unheard of.

There are just too many ways for this to go wrong, and while Yubikey has, I believe, looked into this option in the past (there's a draft design doc for this idea somewhere), they probably came to the same conclusion.

[1] https://fidoalliance.org/specs/fido-v2.1-ps-20210615/fido-cl...
How can anyone consider that reasonable?

that is an insane overreach by the employer. They should be outraged!
Thank you for proving my point.

(not sarcasm, I find it ironic and beautiful)
Show HN: Game of Life, but 3D/Rhombic/Isometric Grid
these are some experiments with conway's game of life I have been working on
any feedback appreciated
Wow, reading this, I can _feel_ my brain resist an unfamiliar concept. I recommend people read the MDN article linked to in the first sentence before moving onto the examples in the blog.

I'll have to play around with @property myself to get a sense of how it works - knowing esoteric CSS features is a superpower if you've got a complex UI to implement but wanna minimize JS dependencies.
One that many people may be familiar with is Stable Diffusion, which is used in many AI image generators today. There is an analogy between random noise -> image and a random distribution of gas particles -> concentrated volume of particles.

https://arxiv.org/abs/1503.03585
For systemd services, there's also the option to use the service unit directives that systemd provides to limit caps (CapabilityBoundingSet, NoNewPrivileges, etc), filesystem access (ProtectSystem, ReadWritePaths, etc), other "system" access (ProtectProc, PrivateUsers, RestrictNamespaces, etc) and syscalls (SystemCallFilter). I find these an easier and more direct way to harden than writing apparmor / selinux profiles.

`systemd-analyze security <service unit name>` gives a nice list of things to consider tweaking. You don't have to fix everything or pay attention to the exposure ratings, just use it as a guide.

I did this for chrony, haproxy, nginx, tor and unbound on my Debian router. I also have some timer units to run scripts to update DNS blocklists and such, which have the same kind of hardening. For the services, some of them have caveats and can't be fully hardened, eg unbound needs PrivateUsers=no because it fails if it can't find an unbound:unbound user to switch to, even if it was already started as unbound:unbound by systemd. And SystemCallFilter makes it easy to get overzealous and only allow the exact set of syscalls that you see the service making, only to have a service update or glibc update that starts making a new syscall and requires another round of debugging, so do it in moderation :)
That's what you want to read. All the paper says is that interest rates and corporate tax rates have fallen over the past three decades.

There were a variety of reasons for that, only some of which had anything to do with capitalists in the government.
it would be great to cmd-alt-9 on an Ipad and open up a virtual terminal that is running directly on darwin, allowing any shell or homebrew app. it would go a long way.
Yeah, I don't usually use vim for coding, but tmux+vim is my weapon of choice on iPhone. I don't think I could manage vscode or emacs without a proper keyboard.

I've gotten usable sessions doing Lean or Agda programming that way and they rely heavily on unicode input (handle by vim) and interaction with language servers. But I still prefer an actual keyboard and larger screen for anything serious.

I'm using "shellfish" for ssh connections. And I use "working copy" by the same author for browsing source code on the go.
> how dumb it was for them to think they could create new legal/copyright theory in the wake of the mass-hysteria of 2020.

I haven't followed the details of this case, but as a general notion, that sounds kinda reasonable to me?

Copyright law and enforcement is terribly broken in the USA, with a handful of giant publishers wielding massive, abusive power and the average American being harmed by losing their fair use rights and independent creators being bullied and abused by the giants behind the copyright cartel.

2020 upended society in many ways and created opportunities to fix various dysfunctional parts of society. It changed things as diverse as work-from-home norms to laws around takeaway alcohol from restaurants. The possibility to also improve copyright restrictions seems reasonable.
Dolphin is a GPLv2+ application, and the runtime is under a proprietary license. We currently rely on the "system libraries" exception in the GPL to allow linking with the runtime in the first place. If we ship the runtime with Dolphin, it might not be considered a "system library" anymore.

There's some past discussion in this PR, where we made a change to automatically install the runtime DLLs but ended up reverting it: https://github.com/dolphin-emu/dolphin/pull/11068

(this is based off my own recollection of what others have told me, it might be out of date or wrong)
I think “year of Linux in the desktop” has always been understood to be in the context of consumer devices. Otherwise, I mean, it’s always been year of Unix on the workstation/server, right? With room to quibble in the prosumer space.
Kids in the 80s and 90s used to do that on their home computers (otherwise mostly used for gaming) where that was built-in and straightforward, when they were so inclined. On iPads, it’s not built-in and anything but straightforward.
I recently learned that buybacks and short selling historically have not been legal, its only in recent history that they've been standard practice en large (1982 is when buybacks were legalized, I think)
It literally is, as others have elaborated on: https://news.ycombinator.com/item?id=41441755
> why do X and SpaceX comingle assets and feuds like this?

My understanding of the case, from reading the original orders from the judge, is not that their assets are comingled, but rather that both are under direct control of Elon Musk (him being the majority owner of both SpaceX and Twitter), and therefore form a single "economic group". AFAIK, there are some situations in which the law allows going for assets of other companies in the same economic group, and that seems to be what happened here: Twitter did not have enough assets to pay the fines, so assets from the rest of the economic group have been frozen to ensure the fines will be paid.
Boom is trying to build their own engine for the full size aircraft. That's tough. The number of groups that have built a reliable high-performance jet engine is very small. China still has trouble doing it.

The XB-1, the 1/3 scale model, uses standard General Electric J85 engines.[1] Old, reliable, not too expensive, and used by many prototypes over many decades.

[1] https://en.wikipedia.org/wiki/General_Electric_J85
You can use a terminal if the backend is something like coder-server or openvscode-server
There is by definition a layer of trust between the broadcaster, the server, and the client.

That said, you could use TLS from the server to client, which is what many services do (since it's actually quite difficult to use http these days for streamed content due to browser polices).
It really is a whole alien domain to itself. The syntax being so foreign to most developers doesn't help. But it's so powerful, incredibly powerful, and in most browsers, extremely efficient.

The extremely vast majority of web app developers don't need 99% of what CSS can offer. But it's neat to know it's there.
Which principles applied in the Erdogan election assist?

https://www.bbc.com/news/technology-65609123
Isn't this against the Geneva convention? Flame throwers and Napalm are both outlawed, that would make this a Warcrime.
Do people just assume everyone has a subscription to WSJ?
Using "anfractuous" in a conversation sounds like a great way to make people stare at you in silence.
Hard to tell with Amazon. None of their logistics devs have labor experience or are interested in life on the shop floor so there's a weird disconnect between their systems and the actual work people are engaged with.
Is Brazil's supreme court very different from the US or is this judge overstepping his authority? I can't imagine some US judge unilaterally waging war against a collection of loosely affiliated businesses like this. Whether you think those Brazilians (some of whom are elected politicians in the opposing party) deserved to be banned from the internet or not the judge's tactics seem very frantic and shoot-from-the-hip.
So did the year of the EUV lithography happen? What year was it?

(Genuinely asking, I don't know anything about chips - I'm the kind of programmer who is profoundly comforted by pretending like my CPU is like a really fast version of the thing I did in CompE 201, as opposed to reality which i gather is a bit more like a demonically possessed stone that glues together a bunch of barely understood physics that kind of "even out" at macro levels but seem pretty f'd up at quantum levels).
I don't understand how they can roll out this feature across all regions. Call recording laws are different in many jurisdictions, and this is like a superset of call recording. I think it's a useful feature for a person, but to collect info on other people (in calls, emails, etc that appear on screen) and be able to process it is like an evil superpower.
They brought so much to Europe that they crashed the market.
How do I tell if my school is using a phone jammer?
Ok, so here's the story. My high school is one of the biggest in my state, for as long as I've been going there this odd thing has consisted, where every day when school starts at 7:10 AM, every student's phone will suddenly lose any ability to access the internet. Students have learned to install free VPN's on their phones and using them has worked to get their Wi-Fi back, but here's the weird thing; stopping use of the school's wifi and using cell data instead doesn't fix it either, Which leads me to believe the school has some sort of cell phone jammer in place. Calls can still be made, but all attempts to text anyone or access the internet are useless without a connection to the school's wifi and a vpn. Teacher's phones seem to be completely unaffected, so let me know what you think about all of this. Do you think it could be a phone jammer?
Honestly, I have no idea. I think we need to look to Hollywood for possible answers.

Maybe it means a Star Trek utopia of post-scarcity. Maybe it will be more like Elysium or Altered Carbon, where the super rich basically have anything they want at any time and the poor are restricted from access to the post-scarcity tools.

I guess an investment in an AGI moonshot is a hedge against the second possibility?
So what are those reasons?

I mean I ship commercial non-game software on Windows, and the easy solution is just static linkage. Microsoft's preferred solution is that everyone should have an enormous installer which includes their entire redistributable. It's not great.
It may as well be "No Such Propaganda". They're fooling no one.

---

> “NSA employees defend the nation every day, applying their expertise and work ethic to challenging, time-sensitive problems,”

No, they don't. As of late they have no real problems to solve, so they assist in facilitating parallel reconstructions of victimless crimes that shouldn't even be crimes. Most of NSA's employees wouldn't even realize the evils they inflict due to the compartmentalization of information.

The NSA was meant to be a wartime signals interception agency, but they lost this focus a long time ago. Their techniques don't work against Russia anyway as is evident by the many deaths of Ukrainian citizens by Russian missiles. As an example, if their signal interception had been working, the Ukrainians could've been given advance warning of missiles strikes, thereby saving lives. This actually used to work in WW II when the NSA was focused, but this focus has been lost to the wind.
Betting on 'swarms of AI agents' to transform the humble spreadsheet
If I had a few hundred thousand million dollars, I'd probably be OK with losing a few million for an important principle.
When I worked as a consultant in the knowledge graph area I ran into clients over and over against who had failed with Neo4J, which I'd never done because I read the Neo4J manual and understood it just wasn't an industrial strength tool.
That's reasonable, but then you can't store the TOTP setup code in your regular password manager (and vice versa, if you do, that's not different from just using the PW manager's native TOTP calculation feature).

The advantage of using the Yubikey for TOTP is that (I believe) there's no way to extract the setup secret from it, so even if somebody gains temporary access to it, they can't exfiltrate your future OTPs and would have to attempt a log-in right there and then. Storing the secret in a recoverable way negates that property.
Note for anyone reading that 4:3 is only the 13” model (which is better for that use case anyway), not the 11” one which is more 3:2.
It's a lot, but still it's only ~50% of US households[1]. So the other 50% are not benefiting at all from a rising stock market, except very indirectly (companies with happy earnings reports less likely to lay them off). And even that indirect benefit is not a given.

1: https://www.federalreserve.gov/econres/scf/dataviz/scf/chart...
> There is very little marginal cost when software is concerned so metering isn’t even reflective of the costs of using a product.

Well that's my point, isn't it? Neither are subscriptions. The transaction is presented as for a service, but you're really paying for a workforce that might not be providing any marginal value to you at all.

> Metering leads to reaching local optimal states at best, and makes it very difficult to reach a global optimal state.

I don't see how subscriptions are more likely to get us there. Certainly closed-source software (or paying for access to a closed-source service) makes it much harder to find globally optimal states—we're reinventing the wheel over and over and over again, which is tremendously inefficient and presumably would be a problem you'd expect market forces/technological progression to correct.
That is correct.

Well documented and the Princeton oligarchy study [0] cemented what left wing authors have pointed out for decades.

[0] https://www.bbc.com/news/blogs-echochambers-27074746.amp
Elite Anaglyph 3D
Not a software engineer, fyi.