skysight-inc/HackerNews huggingface dataset:
Physics is one of the least systems oriented sciences. It is also the easiest science when it comes down to brass tacks. Because physics can make so many simplifying assumptions, it has very few tools to tackle systems. Most physicists I have met have the least capability of anyone I have met when it comes to systems thinking and have the most narrow mindsets and approaches.
Do I understand the bottom two sections correctly? If I am using ufw as a frontend, I need to switch to firewalld instead and modify the 'docker-forwarding' policy to only forward to the 'docker' zone from loopback interfaces? Would be good if the page described how to do it, esp. for users who are migrating from ufw.

More confusingly, firewalld has a different feature to address the core problem [1] but the page you linked does not mention 'StrictForwardPorts' and the page I linked does not mention the 'docker-forwarding' policy.

[1]: https://firewalld.org/2024/11/strict-forward-ports
If you could get an LLM to check, you could just spam solutions with any assortment of models and then use your checker to pick the best.
I'm not very familiar with the static analysis of algorithms, abstract interpretation and collapsing stacks of interpreters but I'm curious if you have any intuitions (even vague ones).

I don't think there is any concrete steps in this direction. However, those ideas still live in the transcendental syntax since it is the successor of his geometry of interaction programme.

> or is there anything holding back Girard's theories from practical application

In theory, I don't think so. In practice, it's very difficult to approach his ideas. Not only because he's hard to read but also because you have to read and understand a lot of his previous works but also of other people's work to put everything into context. Once you do it, you then need enough practical knowledge to have an idea of what applications can come out of it.

> I know that Girard's Geometry of Interaction was supposed to have problems with additives, of which exact implications I do not quite comprehend, which may or may not be relevant

It's not very clear. From what I understand, he now considers he was "doing it wrong" and then the problem disappeared because he now distinguishes between "local" (asystemic/particular) and "global" (systemic/generic) mechanisms which are apparently and mistakenly mixed in logic. Full additives are global and live in a "system" (which defines contraints over a "free" computational space -- think of "complex systems") although we can define weaker "local" additives. This difference between local (he calls it first-order but it has nothing to do with FOL/predicate calculus) and global (he calls it "second-order") is mentionned in his "Logique 2.0" paper.
I used to use Mint, and now use Monarch since Mint shutdown. I'm pretty content with it as a tool to aggregate various accounts into a single place for review.
This is a bit racist imo, or at the least lacking empathy.

It’s a systems problem. Sounds like you (like me) grew up in the 1st world where your country has the proper trash infrastructure. Additionally, the government and schools provided the basic education about why littering is harmful, and society at large understands it in your country. That’s great.

Just because we grew up with this knowledge ingrained into us doesn’t make us “better” people, or better than a filipino person.

Some poor countries have poor trash infrastructure, and they do a poor job teaching the ills of littering to their people. That’s unfortunate, but doesn’t make us “better” than them imo. It just means they are poor and uneducated on certain topics.

Now to answer your actual question, why should someone in oklahoma pay more. I don’t think it’s ethical or even fair for someone in oklahoma to pay LESS for plastic simply because they do a better job throwing out their trash. Cheap prices for plastic encourage additional plastic use. And additional plastic use means more and more plastic will be entering rivers and oceans around the world, which affects ALL of us, including the person in oklahoma. Plastics enter the food chain, via fish eating them, and even through rainfall once they become microplastic in size. Basically, i’m arguing that “outsourcing” the issue to poor countries won’t solve the problem and is just pushing a cost burden onto already poor countries.

A proper solution IMO would discourage plastic production globally, or at least enforce cleanup by the producers of plastic (make them pay for efforts similar to the Ocean Cleanup Project).
I have to say, I have zero idea on what the tandem musk/trump will do and how.

I also wonder how long it will take them to get on each other nerves and part ways.
"We know that bad guys can walk through the same doors that are built for the good guys"

When it comes to breaking in, every "good" guy is a bad guy from the victim's perspective.
> strongly suggestive that they have been trained on copyrighted materials

Given that everything -- including this comment -- is copyrighted unless it is (1) old or (2) deliberately put into the public domain, this is almost certainly true.
This problem is noticeable here in Amsterdam too -- homeless people tend to just take the whole garbage bag out of the can, and empty it on the sidewalk so that it's easy to spot and collect all statiegeld (deposit) cans and bottles.

It looks like the best solution the municipality has managed to come up with so far is to attach metal cupholder-like thingies to new trash cans, and people are expected to put statiegeld bottles and cans there, so that others can take them later and get a refund. Though I don't know how a regular uninformed person is supposed to figure out what these cupholders are for -- it's not intuitive at all.
Pretty sure Elon just came out and said he was Adrian yesterday.
As a heads-up to any other developer - this is the type of thing at which LLM's excel. I would absolutely never mess with Flexbox on my own anymore. It's too esoteric and weird, and I don't need to waste time trying to get things to line up when ChatGPT or any other LLM can get it done almost instantaneously.
You can think of identical human twins as one organism with two bodies.
Well I mean, he's a friend and in fact hosted the NYE party I was at so, in that sense he's still around. I might see him later this week and if so I'll try to remember to mention that ELKS is still going.
If the main barrier to your enjoyment of this article is some JavaScript, you're quite a bit heavier weight in the maths department than I'll ever be.
It really makes no sense. Unless the employee is negatively productive why take a risk and the fixed cost of onboarding a new employee if the current one is marginally profitable or productive?

It might a few months for a new engineer to get truly productive. And then all the existing engineers have to take time out of their day to do interviews. And then those same engineers spend time and energy onboarding the new hire. That’s all costs and lost productivity. All opportunity costs associated with hiring. And yet the company had — ostensibly — many employees of varying levels of productivity … it doesn’t seem to make sense that firing 10% or 50% meant that each of those was not justifying their salaries … especially if the next round of hires are juniors or even onshore’d seniors they still will need months of training on the current stack.
> Sure, he has said this but the few times I've heard him discuss it in any length he raises concerns over how little we know given how vaccine safety studies are done. He also raises examples of individuals he has met with stories that, in his opinion, are concerning enough to raise questions for him whether there is a link between certain vaccines and autism rates

His “concerns” about autism has been debunked repeatedly and not taken seriously by anyone in the scientific community. He was claiming a link between autism and vaccines for vaccines that did go through the standard approval process and have been around for years.

There is no “data” about vaccines link to autism.
Ship in H1Bs that will work long hours
Google Street View is a pretty good example of this. And the issues of having someone driving around with a massive WiFi radio and loads of cameras.

https://www.darkreading.com/cyber-risk/google-street-view-pu...
You are right, everyone who wants to be taken seriously -- "conservatives" , "progressives" , and whatever else we choose for terminology -- needs to apply critical thinking to make good social and fiscal policy. (Foreign policy is even harder.)

But the group-level defamation that has infected US discourse in particular is a sign of someone who is failing to think, has fallen to propaganda, or is being a troll.

In many cases, maybe all the above. Some participants/actors/entities are not at the discussion table with the objective of a mutually-beneficial outcome.
They will say skillset mismatch. Training is never an option.
> I always have to define 'external: true' at the network

That option has nothing to do with the problem at hand.

https://docs.docker.com/reference/compose-file/networks/#ext...
> I don't have a great opinion of marketing in general and therefore I'm often unconvinced with arguments like "marketing is about fulfilling a customer's needs" or "adding efficiency to the market".

I mean, on some level, everything is marketing. People don't like marketing when it's fraudulent and morally suspect, which of course makes sense - I don't like tech when it's morally suspect, either!

But literally everything you know about, every product you use on any kind of basis, every service you use, every creator you follow, is something you know about because of some marketing, directly or indirectly.

And I'm certainly happy about a lot of new products/services/etc that I use, and think my life is richer for it.
Wage suppression
In many cases the company might have a subsidiary in a lower cost of living location (India, Eastern Europe, etc). The company I work for has slowly been laying off software engineers, project managers, and technical support folks in the US, while simultaneously hiring their replacements in those LCOL areas. I get to see the cost rates for these folks, and it is pennies on the dollar :(
Online gambling addiction becoming serious issue in Japan
> put in some goddamned microcontent (title, description, publication date) for the article

Do you mean metadata?
Activision Patch Gallery
I am saying that Democrats didn’t voice a distrust of the scientists, Fauci or the FDA if left to their own devices. Their well founded distrust was of Trump pressuring the FDA to skip their own safe guards
What Are the Odds?
What Are the Odds?

Imagine trying to randomly type out a working computer program, like a simple calculator.

For example, typing something as basic as: print("Hello, World!")
by pure chance has odds of about 1 in 10 trillion trillion trillion trillion trillion.

Analogy: That’s like filling the entire observable universe with sand, marking one specific grain, mixing it thoroughly, and then having someone, blindfolded, pick the exact grain on the first try.

Now let’s step it up.

Think about DNA, the “code” of life. DNA is far more complex than any software program, storing billions of instructions for how living things work.

The odds of even a simple sequence of 300 nucleotides forming by chance are about 1 in 10 followed by 180 zeros.

Analogy: This is like winning the Powerball lottery every single day for a million years in a row.

And what about the laws of the universe, like gravity? If the gravitational constant (the force that holds the cosmos together) were even slightly off, stars, planets, and life itself couldn’t exist.
Scientists estimate the odds of this happening by chance are around 1 in 10 trillion trillion trillion trillion.

Analogy: Imagine balancing a pencil perfectly on its tip in the middle of a hurricane. That’s how precise the gravitational constant is.

Finally, consider the odds of the entire universe being fine-tuned for life—including all physical constants like gravity, the cosmological constant, and the nuclear forces.

The odds? 1 in 10 to the 10 followed by 123 zeros.

Analogy: This would be like throwing a dart at a target the size of a single atom on the other side of the observable universe—and hitting it perfectly on the first try.

So, what do we do with this?

These staggering numbers suggest something far greater than chance. Whether you call it intelligent design, divine creation, or something else, the evidence points to purpose and intentionality behind the universe and life.

What are your thoughts? Do these odds challenge the way you think about life and existence?
Producing 250w of EUV light requires 20+ kilowatts of electricity pumped through an extremely expensive system of lasers and mirrors.
Challenges of Postgres Containers
Ngl I'm still waiting for delivery trucks that are essentially just mobile sets of parcel delivery boxes that you could schedule to be at your address at completely arbitrary times, unlock the right compartment and collect the package.

Then they just need to fill them up with a robot at the warehouse and off they go, zero human shenanigans in the process.
https://solarcan.co.uk/
Just to make it very clear: I am less concerned about my personal information being stolen, hacked, etc. I accept that stuff happens.

I tech people how to do that all day every day without AI, we have the tools to do what you described already, and we in fact indeed do what you said already.
ASO?
Exactly my path as well. Disappointed in the built in reporting tools, but glad it has csv export.
https://simpleflying.com/faa-chief-boeing-fundamental-cultur... (FAA Chief Says Boeing Needs A "Fundamental Cultural Shift" To Put Safety Over Profits)
Nobody said you shouldn’t do any due diligence. But 1 sprint vs 2 months of review really smells like ‘processes over people’. ;)
compared to algora bountyhub works also on repositories where the bot is not installed, and instead of dealing with commands via GitHub comments, we have a dedicated UI.
Debates with who? RFK never tried to get on the ballot as a Democrat.

You do remember that Trump also didn’t take part in any of the primary debates either?
When I last refreshed, a couple years ago, I knew I wanted 32-ish inch 4K displays and then looked for something solid on sale. I ended up with a pair of Dell displays, I got the S3221QS. Largely, since I was purchasing myself, I optimized for price, within those parameters.
There are myriad “how to flexbox” but never seen good “how to grid” in my experience - I despise grid and have never intuitively gotten the hang of it and 95% of the time flexbox will work better and is easier anyway

Just my $.02
Ask HN: Politics Blog Cloudflare Subpoena
I run an anonymous political blog in the UK calling out misinformation. I use Cloudflare. A former Councillor in the UK has taken issue with a factual story written about him. He has somehow managed to get a Subpoena against Cloudflare, they have not challenged it, and they intend to hand over my details. This will cause me and my family to be put in danger, as many people do not like being called out on the site. Cloudflare have already given my sites origin IP without any notification, causing this individual to harass my host. I am struggling to get representation and I have asked many media groups. I know @eastdakota is the CEO of Cloudflare and I am appealing to him for help. Please don't throw me to the wolves. I would be grateful if anyone could get this message to him.
Makes sense. I was thinking more about the face of the machine itself being larger, likely the size of the tunnel, and would contain many such 20" discs. In other words, given that the material removal rate of each disc is likely fairly similar from machine to machine, the machine with more of them removes more material at once.
> On the other hand I have started using llama 3.3 and it is approaching usefulnes

cute phrasing! so what you're saying is that you're using it, but it's not useful. You can imagine it being useful, and it produces output similar to useful output, but it isn't useful.

That perfectly matches my experience with language models, going back to when I was running GPT2 locally.

Has there been any evidence that the improvement is not asymptotic? For ten years language models have been approaching usefulness.

When do we get to usefulness?
In almost every framework there is confusion about if a property is applied on itself or its children. Always the same thing.
Right, you've been shown ideas that outrage you, (that men are bad) and not ideas that you already believe in. Because the former stimulates engagement for Twitter.

Yes, there are terrible extremists on Twitter who hate men. It's our responsibility not to let that make us believe that's the literal truth of the bulk of society.
If you go back 15 years, to January 2010, you find x86-64 hardware that you could install modern Linux on as easily as running the installer off a USB stick. The unibody 2009 MacBook Pro was out by then, so your computer could even look totally normal at a Starbuck’s today (and connect to the WiFi just fine). That machine will take 8 GB of RAM and run the COSMIC desktop written in Rust for Wayland (run it well-I have done it).

Go back another 15 years to 1995 and you have Pentium desktops. Linux was created just a few years earlier for similar but even more modest hardware (as was Windows NT). Not every modern Linux distro will still run on Pentiums but many will. You may have to burn a CD but up-to-date Antix, Q4OS, or Adelie releases will still work out of the box. Certainly NetBSD will. Not everything will still run on 32 bit machines and RAM is going to be a problem. The “modern web” would bring those machines to their knees. Still, surprisingly modern.

Go back another 15 to January 1980 and you have to wait almost two years for hardware that will even run ELKS. Crazy.
Ditto on YNAB! I started using YNAB a couple years ago now and it has fundamentally changed my perspective and relationship with money. The 4 rules of YNAB [1] really helped me conceptualize how to best take advantage of it.

[1] https://www.ynab.com/blog/ynab-four-rules-less-stress
> 5. Idea that Tesla was bailed out by the US government is completely untrue.

This point is kind of bogus when you consider all the billions Tesla made from EV tax credits. It's even more infuriating in that we are still waiting for the carbon tax that would have obviated the need for any credits.
Old would mean mid-90s XFree86.
Back here on the lay benches, I think the best starting point in the Wikipedia is probably the the article on inhomogenous cosmology, of which the Timescape Comsology proposed by David Wiltshire (listed as an author on this paper) in 2007 is a notable example; it is discussed in the article.

<https://en.wikipedia.org/wiki/Inhomogeneous_cosmology>
When were the Republicans ever pro-vax? I posted a link where Rand Paul in 2015 was skeptical of vaccines. At the time he was the highest ranking Republican and third in line for the presidency.
Thanks for sharing my thesis. I'm never sure if I should include links or not.
It kind of feels too pushy.
> Context First: We front-load system understanding before diving into code
Pattern Matching: Group similar files to spot repeated approaches
Impact Analysis: Consider changes in relation to the whole system

Wait. You fixed your AI by doing traditional programming !?!?!
Wow this is really beautiful. Is there an algorithm (not api, but available calc method) that can calculate the full year based on a few variables? Like long+lat?
> If companies train on data they don't own and expect to own their model weights, that's hypocritical.

Its not hypocritical to follow a line of legal analysis whoch holds that copying material in the course of training AI on it is outside the scope of copyright protection (as, e.g., fair use in the US), but that the model weights resulting from the training are protected by copyright.

It maybe wrong, and it may
be convenient for the interests of the firms involved, but it is not self-inconsistent in the way required for it to be hypocrisy.
This is hilarious hope it is satire
No, I really do mean that they used the disks as ROM. No writing to it. This worked because you can just put the stack and heap at a difference position in the memory map from the executable code.
Wow, people are being very uncharitable in this comment section
Their HN profile is full of personal information, including name, email, location, resume, and saying they’re open for work. All I did was search for “<name> thesis” and found it without any significant effort. Why would they not want people to read their public research while talking about it with interest and making it easy to find?

It seemed more likely to me they simply didn’t want to be perceived as tooting their own horn. Turns out that was exactly the case.

https://news.ycombinator.com/item?id=42603304
If you do not yet have legal representation, you need to obtain it immediately to defend your rights in your jurisdiction.
That's the story most of the media is telling, but... no.
I voluntarily went on an L1 so my spouse could work. H1b spouses cannot work.
LLMs are trained on works -- software, graphics and text -- covered by my copyright. What's the difference?
> Identifying tech debt before it happens

Tech debt is a management problem, not a coding problem. A statement like this undermines my confidence in the story being told, because it indicates the lack of experience of the author.
The problem with this is that it's supposedly about predicting the future but actually bases everything on LLM's current capabilities.

It's incredible that people still haven't figured out or won't accept or plan for technology to continue to improve. Especially given how obvious the rapid improvement in this area has been.

Having said that the article seems to accurately reflect what it's like using the current tools.

But how could anyone reasonably expect the situation to be similar 3-5 years down the line?

If they just didn't frame it as a prediction then it would make sense.
compiles for various platforms[1]:

- .Net

- Cocoa

- Android

- Java

- WebAssembly

- Windows (native)

- Linux (native)

- IoT & embedded

- Web

[1] https://www.remobjects.com/elements/platforms/#meta
The MTA costs only $162/28d full fare and seniors and others get it for half that. I conveniently pay by swiping my Apple Watch. This is for transfers throughout the entire system. Compare with the price of Washington DC, a far, far smaller system than NYC and compared with other US cities. Moreover, the NYC subways do not stop at night like almost all world subway systems.
https://plaintextaccounting.org/

Quite a bit of a ramp up to get used to it, but no other tool outside of spreadsheets comes close to flexibility.
They have a say in that if it doesn't behave like they want they can point the documentation to something that does. If pip is the tool linked in the documentation it's the official one that has the PSF's blessing, clearly.
“Bell bottom blues you make me cry”
GnuCash [0] has looked the best for this every time I looked.

The initial setup seems the most inundating, and is why I haven't started using it.

I asked my highfalutin wealth advisors if they could set this up or knew someone who could. They said to just use a spreadsheet. (Not the answer I was looking for.)

[0] https://www.gnucash.org/
most plastic i see daily is completely unnecessary. it’s simply cost savings for the manufacturer.

I’m all for using plastic where it actually makes the product better. Like a silicone spatula for example, or in medical industry where plastics are used to keep needles, etc sterile.

Is society vastly better compared to 50 years ago? No not really, aside from improved vehicle safety and a few other tech improvements. Yet plastics were used SO much less back then. Maybe i’m missing something.