skysight-inc/HackerNews huggingface dataset:
Is it not the case that F=ma and other Newtonian laws are encoded in the Lagrangian, and therefore not derived from symmetries? After all nature and her symmetries alone do not tell us how her physics works; there has to be some rule for time-evolution as well, and that's what's encoded in L (L's form is essentially a list of pairings of variables and their costs of evolution, which for classical mechanics is L = T - V = ∫ p·dv + ∫ F·dx, which says "the cost of changing v is p and the cost of changing x is F").

(QFT sort-of has an explanation for time evolution in terms of symmetries alone, but it requires a lot more machinery. But afaik classical mechanics does not.)
> So it doesn't surprise me that people would rather call another library instead.

Which shall be harder to justify now: "You're calling a gigantic library full of potential security holes just to call one function, to save writing a few lines of code, are you trying to JIA TAN the project?".
Musk's behavior surely doesn't help.
I know but that's only one important part of what a file system does. If the file system was otherwise totally broken, they wouldn't use it.
Very large companies are definitely at the mercy of governments. Just look at how they are bending over backwards to comply with DMA etc. So, it is not at all inconceivable that they are forced to put backdoors into their product by the governments.
Patriots for the most part suck at coding as much as everyone else.
too complex for me.
For the cone cells we have excellent empirical data about the response curves. Do ypu know if there is public data for the chochlea hair cells?
Android has Desktop Mode now - https://www.androidauthority.com/android-q-desktop-mode-demo...
Their software freedom policy seems to be similar to Debian. All free by default, allow separate nonfree addon. In the case of Guix you can find that here: https://gitlab.com/nonguix/nonguix .
https://google.com/hotels

Is what I'm assuming they're talking about?

Also

https://google.com/flights

I use flights all the time. I think mostly because I've not found any of the intermediaries all that good. Google flights provides links to multiple places to buy. Usually I click the link directly to the airline.

I've looked at hotels but rarely use it. Hotel websites, unless they're a major chain, are often pretty crap so booking.com is what I generally use.
I always thought this was only to avoid public urination. I wonder if they added the anti-crime as PR excuse.
> If you are seriously suggesting a virtual machine is the same thing as an air gap

You absolutely still have not read their comment.
At this point we don't know who did this. It could have been a single really smart person, it could have been criminal, it could have been a state intelligence agency.

We don't know shit.
As a NixOs lover and user, nix-the-language is my least loved feature of the ecosystem. But at a user is not a big problem because I only write configurations for myself, and it's not like my OS configuration is a proper program, it's closer to data.

One upside is that because it's hard to write complex programs in nix, people don't do it (unless really needed). So the nixos tutorials and configuration examples on the internet are usually pretty simple. This is good for beginners, and nixos is already a huge undertaking.

With lisp I'm sure many of us would get crazy with abstractions.
Never saw such a nose in my life
'Tis a nose of parchment
It is six times as big but
'tis a nose like my nose

https://www.youtube.com/watch?v=bNQKYolhZkg

https://en.wikipedia.org/wiki/The_Kiss_and_Other_Movements
What we really need to be doing is aligning harmonious incentives by heavily taxing rental and vacant housing profits. Incentivize private individuals having equity in their home that way it's a means of individual security rather than a shareholder value maximizer.
In other countries they'd just be called recruiting agencies (they can do either permanent or contract jobs).

He's referring to contracting, where you work for one client at a time, almost identical to like an employee would but for the duration limit (and likely a company in between you and them to solidly the facade).

In contrast to what most people would call freelance, where you work for multiple clients at the same time, i.e. a dev agency of one.
> Linux btrfs supports raid5 in general, but has known edge cases which make it not safe to use. Basically it's "available, but experimental, for developers only".

I recall reading somewhere recently, that the Linux btrfs developer intends to fix these edge cases through a on-disk layout change (IIRC, adding one more btree to the filesystem). So unless this driver already has that on-disk layout change, it's unlikely that these edge cases have been addressed.
That's why I make an effort to report anyone whose code I have to read to the police. They are immoral people. All codebases should be a single character.
Smells similar to Sutton's bitter lesson!
Well, yeah, kinda. More than kinda even.

Facebook already stole a lot of TikTok's essence [0]; quite successfully too.

And, TikTok is being targeted by Congress, rather clearly because young people are learning too much about Israel's ongoing genocide and ethnic cleansing on there [1].

If you consider that Facebook is basically a spy machine for US intelligence [2] and has been for a long time, this can be seen as the US eliminating/buying the competition for them by the power of government seizure.

0 - https://www.forbes.com/sites/abrambrown/2021/09/29/facebook-...

1 - https://www.thecanary.co/global/world-analysis/2024/03/14/ti...

2 - https://www.csoonline.com/article/546958/microsoft-subnet-ju...
Ah, allowed me to upgrade my office 365 subscription from business standard to the weirdly named "business standard EEA No TEAMS" that doesn't appear in their listing or comparison page but is available if you order straight from its product page.

2 euro per user per month is not that much, but when applied to every employee over years it still adds up quickly in retrospect
Four years old is far too young.

Your ideas seeem to be more about you being a good parent rather than what your child wants. Or could it be that this is what you would have wanted when you were a child.

A good idea would be to ask your daughter.

Rather than "maybe spark an interest in science or math" how about sparking a childlike interest in nature and humanity. Insects, animals, clouds, the moon and the stars. Dare I say dolls, more appropriate for her developmental needs.
The short sightedness is the problem. As far as I know, NIMBY is endemic in the USA, precisely because home owners are so worried about lowering the value of their home.
The author probably means that we can use SQLite on the edge.

https://blog.cloudflare.com/introducing-d1
There’s a reason I just used Proton’s service: a combination of making sure you configure it right, trust of IPs where major providers will treat your mail as spam despite DKIM/DMARC/SPF being good if you run it yourself and it’s the “wrong” place, and all the other headaches that can come with the territory.

It’s one more reason it feels like the “open” Internet is dying and it’s sad.
I love the augmented visualization! Just tried it on my phone.
How does one handle a zero downtime migration in this case? On a database of 50gib+ is this a solved problem in Postgres world?
2.3k people per square kilometre, so approximately 87% that of say San Francisco.
Agreed. I've tried to write a json-nix converter (because I wanted to try configuring my system in jsonnet) and it's absolutely not easy, or obvious how to do this.
Nix can be said is three things. A build system, a package manager, and a language.
> If they really wanted to promote competition, Google will give an option on incorporation results from the price scanner service/airline of customer's choice in their search results.

They do and have for years

https://imagebin.ca/v/7xebF9JsMnOv
Anycast DNS with automatic IP failover and DDoS protection
I am running a nowadays "alternative" low cost stack without the big cloud providers and this DNS provider is one part of my reliability strategy.
Relative to which city in the US?

Not the person you're replying to but I feel like it applies to me as well, and it's easy to find US places more densely populated, or less densely.

Density isn't even a large factor here, I'm building a house in a place with 140 inhabitants/km² (4000 total) and other than the ground (which is a minor part of the total price) it's not significantly cheaper than in my current city of 2600 inhabitants/km² (500 000 total within city limits, 1,5 million metro area).
If you tax the profits then there is no amount of rent increase that would fix that. Every added penny would go to the state and there would be no incentive to raise rents beyond their operating cost. Sure, there's incentive to commit fraud, but that's always the case. We always need a healthy audit and punishment system to close loops.
If it went up all across the western world and zoning is different all over then zoning is probably not the main culprit.

Real estate's suitability as a store of value (the more land hoarded, the more it goes up in value) coupled with rising wealth inequality is a more likely cause than a global problem with local zoning codes.
No, it’s Nix, the package manager.

NixOS is just a barebones Linux distro which uses the nix package manager for system configuration
Ahh thrive by 5 I say, minecraft would be the best thing for them to motivate them navigating ;)
The FunctionalScript language is supposed to be a superset of JSON and a subset of Javascript that's pure and functional. Not sure that's suited to the use case Nix is going for, but that sounds like what we'd get if we took the extended-JSON path.
The problem with aerial photos is that not always do these photos provide enough detail they can provide deceptive data. It is better if insurance companies send field workers to check the premises.
And how many are based on Debian / Ubuntu? lol.
What features does an AI girlfriend app typically offer?

An AI girlfriend app typically offers the following features based:

Immersive Conversations: AI girlfriend apps provide engaging and realistic conversations that simulate human-like interactions, allowing users to share thoughts, feelings, and experiences with their virtual companions.

Customization: Users can personalize their AI girlfriend’s appearance, personality traits, and interests to tailor the virtual relationship to their preferences, creating a unique and personalized experience.

Voice Conversation: Some AI girlfriend apps offer Voice conversation capabilities, enabling users to communicate with their virtual companions through speech, enhancing the interactive experience.

Variety of Interactions: Users can engage in a variety of interactions, from casual small talk to deeper personal dialogues, role-playing scenarios, and even romantic experiences, allowing for a diverse and engaging virtual relationship.

Overall, AI girlfriend apps aim to provide users with a realistic, engaging, and personalized virtual relationship experience, offering companionship, entertainment, and a sense of connection in a digital environment.
Ahh thrive by 5 ;) minecraft is alright and also check out a CrowPi ;)
> a 2000 sq ft unit is 50% larger than the 1000 sq ft unit

Ok then.
If I may try and put your point succinctly: if there is a housing bubble more supply will make it pop.

To wit: is popping bubbles (or preventing their formation) not the job of economic policy?
Not the person you were responding to, but: the Lagrangian formulation describes physics in terms of Least Action (so minimizing (or maximizing) S = ∫ L dt) on a manifold in (x,v) coordinates, and its equations of motion are like L_x - d_t L_v = 0. The second term tends to be second-order in time.

The Hamiltonian formulation performs a Legendre transformation[1] on L giving H = v L_v - L, which is essentially a convenient trick: it reparameterizes L in (q,p) coordinates, where p = L_v, and writes S as ∫ (pv - H) dt. This changes the E.o.M. to (qdot, pdot) = (H_p, -H_q), which is (a) first-order in time and therefore easier to deal with and (b) geometrically elegant because it is a rotation in (q,p) space, which is easy to think about.

At least those are the reasons everyone gives why it's important. I think the real reason is that QM is formulated in terms of H so you need to know it, and also that this (q,p) thing makes statistical mechanics easier because it has good geometric properties: it amounts to saying that time evolution conserves area in (q,p) space, which means that you can treat the evolution of many-particle systems as being in a whole block of states at once, treated as a geometric object that flows over time.

I've never been able to understand if there is something "truly fundamental" about H compared to L, or if H is more of a mathematical convenience for making the equations first-order.

[1]: https://blog.jessriedel.com/2017/06/28/legendre-transform/ is a good exposition, if still pretty tough to understand. Legendre transforms are hard to grok.
Rendering string diagrams recursively [pdf]
This is a really nice windows analogy, however it goes without saying this package wasn't aiming for Windows, ironically, it chose the path (as we seen so far) of least resistance. If you're hooked to an sshd service, your golden. They put 5 checks (maybe comically) in a row to make sure it was linux I this case .. who knows what's next.
Congrats to have overcome one obstacle in life. Be careful with pushing away toxic people though, this sounds to me like instagram psychology, that surrounds all of us and does not have to carry the burden of consequences, when trumpeting their wisdom. It is just popular click-bait.
Your fellow neighbour may be toxic, but maybe he has fears just like you. Judging people is a rabbit hole. You might be considered toxic too just because of that. What then? I stick with the good, old way: i just do not like a person. No one forces me to deal with them.
Peering Disputes Migrate to IPv6 (2009)
Developers aren’t that cheap. Plus they’re not the decision makers.
My little old hosting business lived and died on this particular hill, I just didn't realise what was happening at the time.

When we grew up in the early 2000s, our bigger sales usually featured complicated stacks. They had redundant load-balancing, redundant firewalls, way more than many customer never needed. (But they did ask for it). The failover often cost more in management complexity than it saved when a box died in the "right" way to trigger the planned failover event.

We sold ourselves on cleverness when people asked for that. It worked to grow our business to 30 staff, a data centre in our home city, life was good! We responded to AWS with an API-based cloud hosting platform. But sales still peaked in 2012.

Customers wanted even more complex solutions than the ones we were selling - partially or wholly based on AWS. But - we figured - the hardware we were buying was hugely powerful compared to 10 years previously, and sites weren't that much more complicated. The bigger customers would (surely!) want fewer, less complicated boxes as a result. Unfortunately that is not selling on cleverness, that is selling on price. We never understood the financial ambition needed for that pviot. Nobody trusted a single cheap server, and even if they bought two, where was the scalability? It worked enough to keep revenue flat, but we obviously couldn't compete on building managed service stacks and software ecosystems quicker than Amazon.

When the new technical challenges had long dried-up, we sold in 2018.

My thinking (and so most of the company's product design) came from being bootstrapped where the possibility of an uncapped hosting bill seemed like an insane risk to take. Who would take it? (wait - what - why was everyone taking it??!)

AWS are embedded not just because VC makes their high-priced products feasible, but because their particular brand of cleverness is embedded in a generation of software developers. It obviously works! But the knowledge of when you might not need their cloud (or what the alternatives could ever be) feels quite a niche thing now.
Do you call each other stupid during masters, or is this heavily paraphrased?
> but isn't communicating exactly the way you would have communicated it?

My answers are almost always less intented for the person who's post I'm responding to, but more for a general audience. As others have already posted the part about "currying isn't partial application", and I mainly wanted to add a (hopefully) understanable example.

And I would say that taking the OP's post as if he doesn't exactly know, what currying means in comparison to partia application _is_ the more favourable interpretation of their post.
They do and always have. They also include booking services as sometimes those have better deal or maybe you have points with them or something.

https://imagebin.ca/v/7xebF9JsMnOv
I had a house built in a factory in Latvia for around 50,000 euro. It was assembled in about 3 days. Foundations cost money but if you use pier or post and beam even that doesn't have to be bad.
Just brick laying wouldn't take even close to a year. The 10,000 bricks to lay would take around 200 hours at a minute per brick (which seems a lot slower than I remember being in my youth[1]).

Most of the man hours are not in the crude house frame, but in everything else, particularly finishings. Also, the transactions costs for a large number of specialists are considerable.

[1] and indeed, looks like a careful bricklayer will be doing 4 a minute or so: https://youtu.be/jDgEqhz94-Y?si=oKxmQ-QAXEDC13h4
I doubt that 10xGPT3.5 > GPT4. There are a lot of tasks that GPT4 can do and GPT3.5 just cannot. Also, in such cases I find that GPT3.5's hallucinations are quite consistent, so such a method is probably not gonna help.
I’ve been using HP EliteDesk 800 Mini G2, G3 and G4 instead of Raspberry Pi’s. Super cheap on eBay from IT recyclers as they come off lease.

I’m dumbfounded by the price of these Mini’s new. The latest G9 is around 1.4k. My guess is business pricing.

I’ve basically used these so every TV in the house is a PC. I also use one at my desk with RDP so I can keep my loud and hot PC in the game room.
Isn't this just the typical case of changing DB hosts? You set up replication to new location and migrate apps to new location?
I think you‘re digging into a philosophy question with the wrong shovel. You‘re not wrong, but OP is debating something that is fundamentally unmeasurable (as I understand them). Science can only help us understand things within spacetime. Anything beyond that is philosophy.

I believe this is basically just the dualism vs. materialism debate on consciousness. Consciousness is a fascinating topic. There‘s plenty of paradoxes or thought experiments to fry your brain on. It‘s not just about the electrochemical processes in the brain. It‘s about identity, the continuity thereof, etc.
You probably have seen lots of films deificating state-sponsored organisations.

SSO are made by humans under real constrainsts in time, money, personal. It is almost impossible to make something perfect that nobody in the world could detect.

In the world there are people with different backgrounds that could use techniques that you never accounted for. Maybe is a technique used in biology to study DNA, or for counting electrons in a microscope or the background radiation in astronomy.

For example, I have seen strange people like that reverse engineer encrypted chips that were "impossible" to in a very easy way because nobody expected it. They spend 10million dollars protecting something and someone removed the protection using $10.
It's not a flight booking tool. It's a flight search tool. Once you choose your flight it gives you a list of sites to book the flight on. That list is usually the airline itself and then several intermediaries

https://imagebin.ca/v/7xebF9JsMnOv
If not theoretical grouds, surely there are hypothetical grounds? Now to find a way to falsify, and thus prove them…
Had good experiences with PM2, however be cognizant of it's copy left license. We have found it redundant with the likes of Kubernetes.
The article suggest using litestream to continuously back up the data to remote storage.

Sure you'll still loose some data but that's always the case whatever solution you choose.
> Apparently someone at Bell labs needed a preprocessor and wrote M4, sometimes in the '70, for no other greater purpose than to scratch a personally itch.

That covers pretty much all of unix. Some people treat unix as if it had some grand design behind it, but really most of it is just a pile ad-hoc hacks stretched way beyond their original intent and later immortalized by backwards compat and inertia.
> The bricks add another $250k

Are these gold plated? That seems absurdly high.
The present is dead, the future is just a reheat of the past.

The is nothing new under the sun.
> The reason they don't is because it would not be cost effective

Google is a trillion dollar company. Their annual revenue is larger than the GDP of more than a hundred countries. A million dollars is pocket lint and they have a billion users to amortize it over.

> their artists don't even want it. You need the artists to accept these tools first.

They don't want it because it lacks features they want. Give them access to a developer who can add any feature they ask for and see what happens.
I've been using ssh for a long time and somehow it's never occurred to me that hostnames would autocomplete, hah. Every day is a school day.
What the world actually needs is a diet of recommended diet tips
Attacks on a given system or site can be expected to be removed (or auto-removed) after the operation ended, potentially w/o trace. But for supply-chain attacks there's always a history (if someone bothers to investigate).
Here’s something you can do for a little extra step that offers a lot more on a frugal budget: put your API and SQLite db together. Ideally, the API uses a low-overhead binary serialization format and persistent conns. Then you can use edge stuff from whatever VC firm that is currently burning money and enjoy the free tier (currently though, Cloudflare workers is really generous - and free egress).

The trick is that SQLite can run single-threaded a massive amount of qps. So you can pump large amounts of ops in serial which is trivial to reason about and allows for in-memory caching on the API side with trivial invalidation. And by still keeping your web serving separate, you can still enjoy edge-performance of handshakes, and skip db altogether for static pages. (The article underestimates the RTT issue - it’s very real - real world apps need more round trips than you think)

Most of cpu outside of the db comes from parsing, deserializing, copying data, tls (both number of conns and encrypting data). By offloading the big chunks of these you can get easily 10s of thousands of writes/s on an entry level machine. Reads are faster.

That said, I think it’s always worth benchmarking the typical bottlenecks especially io. Providers are lying and misleading a lot, so just run your own on their free tier. Just make sure to have some integration test/bench ready in case you need to switch up.
> You probably just don't, as the alternatives are good and plenty.

Which cannot be said about file systems on Linux which support metadata+data checksum and repair though. As far as I'm aware the only file systems which could realistically be used are btrfs and zfs (bcachefs looks promising but not there yet). Zfs is not even a part of the kernel and you have to compile it yourself and hope it does actually compile against your kernel due to API changes.
If I'm running on a single machine then sqlite comes out ahead of postgres/mysql. Sqlite has everything I need plus the simplicity and speed is superior. Sqlite can do terabytes of data, can handle multiple readers, has live streaming backup, and is a pretty well rounded sql implementation in general.

I would only consider postgres/mysql if I outgrew vertically scaling a single box.