skysight-inc/HackerNews huggingface dataset:
Very close call for Goonies with discrepancy of 14: https://www.rottentomatoes.com/m/goonies

I opt for the audience in this case.
Why not implement all image codecs in a safer language instead?

That would seem to tackle the problem at its root rather than relying on an implementation's age as a proxy for safety, given that that clearly isn't a good measure.
That's if we continue to believe human lives are more important than pig lives.

I personally think this view is problematic and it's why we're ruining the environment. We have a false sense of importance which shouldn't exist and it might send us extinct if we're not careful.'

For example, give me one single reason why we think we have the right to pollute the environment, fill the water ways with tyre dust, chop down the amazon, factory farm?

It's a lack of respect for other things which is the issue.
There is a separate permission at least on iOS where an app that is connected over wifi has access to the local network.

Of course an app that streams video over the internet can “access wifi”
Nice, plain English account of threats posed by (mostly) LLMs,
although not much new we haven't already discussed here on HN.
Your comment comes off as negativity toward the concept via tying it to a detestable group
VPNs can, if they can be routed into via SOCKS or Http Connect gateways, for example. Generally, VPNs (L2/L3) can stoop to the level of proxies (L4) but not vice versa (at least not as cleanly).
My IphoneSE feels like the old Battlestar Galactica around these new phones
In the Scala ecosystem, MiMa [1] has been in widespread use for years. It automatically checks compatibility for the binary API of a library. Every library with any amount of success uses it. One could say it's the foundation of a stable ecosystem. We also have sbt-version-policy [2] to set it up with minimal configuration (and directly relate it to SemVer).

More recently, we got tasty-mima [3], which checks compatibility at the type system level, rather than the binary level.

[1] https://github.com/lightbend/mima

[2] https://github.com/scalacenter/sbt-version-policy

[3] https://github.com/scalacenter/tasty-mima
I suspect Microsoft would earn more money by doing this.

Their own engineers would get productivity boosts - with copilot already being familiar with data structures, code style, etc. would be a big boost to accuracy.

But also, third party code would end up being more similar. Code style of the whole world would be pushed towards 'Microsoft style', which probably makes hiring easier, less training time for engineers, etc.

And the downside, that is outsiders might learn tiny nuggets of info about microsoft sources, is probably irrelevant when outsiders can already decompile binaries and learn far more.
In https://snipcart.com/ digital products you could upload pdf, for example, and set a price. Integration with Hugo is not so hard then.
That's a great question, and I'd love to know the answer.
Demystifying Nvidia's Revenue Increase
Yeah in the end this the difference between dynamical and static typing.

I enjoy
https://tratt.net/laurie/research/pubs/html/tratt__dynamical... as a discussion of dynamic typing.
It's hard to give examples because "advanced 0-days" may mean everything

but somehow our society still moved everything to digital world and hasn't collapsed yet

meanwhile there are definitely shitton of highly motivated people trying to break systems

so, it is somehow possible to writer *safer* systems
Yeah yeah...because it can't be that people were just genuinely mixed on Star Wars: Rise of Skywalker; despite vocal racists/misogynists on YouTube.
Subsidy means govt spends more money on parking spaces than it takes out of parking spaces. In the city of Seattle rates for parking spaces are more than $3 / hour from 8:am until 8:pm, including Saturday (Sunday is still free). Most of the parking spaces are used at full capacity. This means that one parking space in Seattle would collect some fraction of $3 x 12 hr x 6 days / week x 52 week / year = $11,232 / year. Believe me - in Seattle these parking space have not been updated in decades. Govt spent no money and instead it got some fraction of $11,232 / year.

Parking spaces, in Seattle at least, are not subsidized. They are a massive source of revenue for the local govt.
I just love this type of website, where 80% of my screen is whitespace.
In Georgian's case, mom is deda and dad is mama
sh is, but not the location.

> Applications should note that the standard PATH to the shell cannot be assumed to be either /bin/sh or /usr/bin/sh, and should be determined by interrogation of the PATH returned by getconf PATH, ensuring that the returned pathname is an absolute pathname and not a shell built-in.

https://pubs.opengroup.org/onlinepubs/9699919799/utilities/s...

However, in my experience, I don't recall seeing any POSIX or POSIX like system that didn't have /bin/sh.
> buying one fewer

Well maybe buying a lot more F-35s would save us money then! :-)
If Robots started doing this to humans for amusement? Robots wanted pet humans for example but they only liked babies and we were slaughtered by the age of 3, what would you think about that?
Tailscalar here: Tailscale servers never see your traffic in plain text.

In the integration with Mullvad in particular, WireGuard connections are always direct from your device to the selected Mullvad exit node.
Often it's infeasible to justify rewriting a lot of existing code, but my point is that these days this concern shouldn't really be an obstacle to integrating a new codec.
No, I didn’t. I don’t recognize those problems being inherent traits of being a white man, which, again, is what this program aims for - training for members of minority groups that face challenges when founding a business due to their ethnicity or gender.
> Knowing that something is definitely a breaking change because an API was removed or modified in an incompatible way will still save you time.

Iff it's a part of the API you use directly or indirectly. Sometimes you're only using part of it, and changes to the rest don't matter.
Probably seven figures
https://en.wikipedia.org/wiki/Swadesh_list
If it is, it should be fairly easy to see.

We can already take a guess what many internal functions look like from the published symbol tables of every function across all major microsoft products. Simply ask copilot to write those functions and see if the code comes out better than a similar set of made up yet plausible function names.
Hrmph. This is what often happens on the internet:

- Someone makes a cynical comment on some specific topic

- Someone else makes a completely inappropriate extrapolation and concludes—based on nothing—that the first poster is making an argument for being defeatist and negative for its own sake

- The first poster has to then correct this inappropriate extrapolation—which was based on nothing—by stating that, yes, it is good to (say) have a positive attitude in your life

- Onlookers act puzzled as the first poster is contradicting himself (apparently) by hostilely agreeing with the second poster that having a good mind-attitude in life is good!

So yes I suppose I could be agreeing with the second poster...
I always thought bookmarking services like delicious or springboard should have done it. Seemed like a natural evolution.
> and found myself nodding my head in vigorous agreement.

s/he who is without sin…

Our IoT device was not selling well because it lacked one RS-485 port… and then a 4-20mA interface, and then…
These words are called translingual. Probably the largest collection of them are recent scientific coinages: https://en.wikipedia.org/wiki/International_scientific_vocab...
That would mean you can't use LLVM either. Similar issues exists there: https://github.com/llvm/llvm-project/labels/miscompilation
We’re based in the UK and rent space from WeWork. Still a really good data startup vibe in London - no change noticeable.
I don't necessarily disagree with this as a rule of thumb, but I thought it would be fun to come up with a few counter-examples. Most of these I would consider "artsy-fartsy" or "artsy-fartsy lite" movies that are popular with audiences but less so with critics.

Lost Highway (1997) - 68% Tomatometer - 87% Audience Score

Fight Club (1999) - 79% Tomatometer - 96% Audience Score

American Psycho (2000) - 68% Tomatometer - 85% Audience Score

Requiem for a Dream (2000) - 78% Tomatometer - 93% Audience Score

Dancer in the Dark (2000) - 69% Tomatometer - 91% Audience Score

Oldboy (2003) - 82% Tomatometer - 94% Audience Score

The Prestige (2006) - 77% Tomatometer - 92% Audience Score

Joker (2019) - 69% Tomatometer - 88% Audience Score
Httpd was an absolute disaster from a security standpoint in the 90s, as was everything. Modsecurity didn’t even come out until 2002. Comparing nginx (released in 2004) is apples and oranges to say the least.

OpenSSL or log4j would like a word about how shallow bugs are in popular software.
People don't worry about air pollution until it's too late. I'm thankful for things like the EPA clean air act and the global prohibition of CFCs, but more needs to be done.

My favorite website for monitoring air quality is IQair[0]. They have a global map of air pollution that's really interesting to see. Fun fact, they actually didn't build it themselves, they acquired a scrappy startup called AirVisual and just rebranded all their tech (interactive globe included).

[0] https://www.iqair.com/us/earth?nav=
For Java it should be easy to create such a list, if it doesn't exist (even easier than for Rust, I assume). For Python, I think the dynamicity would make it hard to come up with anything other than a subjective set of basic, non-comprehensive guidelines (which still sounds useful, but not from the perspective of a tool like this).
I know you'll all call me crazy, but this is the system working at its finest

Riot, by simply existing and pursuing their mission to mine bitcoin, provides a valuable service by discovering the real price a kWh should cost. Since Riot will never overpay for electricity, (they'll simply scale back their use) and they'll happily gobble up as much as they can when electricity is "too cheap" they ensure that the amount of generation is constantly matched to the demand, adjusting for every conceivable variable in an economy in real-time. ERCOT and the consumers of the Texas grid also benefit from this hyper-efficient cost discovery system, every single second of every single day.

It's not just better than the stock market, it's capitalistic principles working exactly they way they've always dreamt of.
Human to Chimpanzee: 1.3%-4% difference (depends on where you look)
Human to Friutfly: 40% difference

I thik just the % number is pretty meaningless
The etymology of "okay" is so disputed that it almost feels like something that must have popped up independently multiple times.
Apple has a long history of investing in all kinds of mitigations and security devices that make the App Store model secure and an equally long history of procrastinating on what is again and again and again causing their customers to be exploited.
I don't think this is a relevant time to look for advice on the specific subject of where to work from, but if I were to provide some more generally, I'd first ask you why you dropped out of school, and what if any experience beyond the bootcamp do you have?

Edit: Revised the first sentence.
https://archive.ph/v5s29
Love this tool. Invaluable for figuring out what code actually got called after complicated dispatch.
Same reason USA have forced Huawei to be banned around the place.
All those rules are derived from a much smaller set of rules that are easier to understand. In Rust, those rules are more or less "breaking changes require a major version, unless the breaking change could have been avoided by the caller by adding disambiguation ahead of time." More details here: https://predr.ag/blog/some-rust-breaking-changes-do-not-requ...

Rust generally has more exceptions than most languages about which breaking changes are technically considered non-major, so writing such guidelines for Python or Java shouldn't be too difficult.

The same tech and ideas that power `cargo-semver-checks` could also be repurposed for those languages as well. If a company is interested in sponsoring such work, I'd be happy to help build something like that!
On this computer, asdf bison c-ares cmocka drud/ddev/ddev fd go guile htop imagemagick jj jpeg libedit libiconv libuv libxml2 make nss ocrmypdf php postgresql@14 re2c ripgrep ruby-build smartmontools wireguard-tools zlib, 1password-cli ipatool

I'm not sure the story behind all of those, but I use several of those CLI tools regularly. brew install __ usually gets me what I went when I'm on a Mac and a linux tool is missing when I try to run it.

I'd like brew to handle per-user installations better (you can with a flag, but it'll still have path issues with some installs), but I'm thankful for it overall.
> Honestly, that's like asking for a source for the fact that people need oxygen to live.

I find this attitude "It's just obvious" to be generally unhelpful. Your sibling comments do a much better job at helping the grandparent get up to speed with context about the SLS program, and associated Senate Legislation.

Being able to cite documents in support of your position is a valuable skill and both helps your own understanding, by clarifying what your understanding is based on, and that of the questioner.

-- From the shadows
Maybe more like raising a box onto a shelf in an earthquake zone. Then keep it on the shelf despite ground moving underneath every so often.
I rather run Directory Report over WinDirStat.
DR can save more reports,
Scan millions of files,
Find duplicate files too
The article references Lockdown mode [0] which appears to be Apple's solution for this (and other) class of zero days.

[0] https://support.apple.com/en-ca/HT212650
"Taxi" is universally understood, in my experience. (TFI calls it a "runner up" candidate.)

"Kaput" is another.
It's 850usd. You're unlikely to find anything other than underspec'd Steam Deck clones for less than that price point.
Awsome! With Lowdefy we tried to build a low-code framework that works like code. We’ve developed a schema in which to define applications and we’ve built all kinds of apps for enterprise customers. Massive, advanced CRM systems, call centre solutions, ticketing systems, a light MRP, all kinds of survey apps and so many dashboards. Even our docs and our website are Lowdefy apps!

Give Lowdefy a try and reach out it you have any questions or want to see what is possible :) (We need to invest a lot more into content and examples, bootstapping is a grind!)

https://github.com/lowdefy/lowdefy
Where do we draw the line—should gas grills have a carbon monoxide detector and shutoff valve to stop the flow of propane if someone is grilling indoors? What about cars?

It’s hard for me to fathom how somebody could possibly think operating an internal combustion engine inside of a building is not going to kill them.

Lastly, a generator is used in emergency situations. If a safety feature that is unnecessary for 99.99% of people means your generator can’t start, that’s not good either.
8 figures. easily.

Apple itself pays $1-million for bug bounties of this type.

https://security.apple.com/bounty/categories/
>> I suspect AMD's end game is to eventually end dual-thread cores

I think not. They're going to widen the fetch/decode in Zen 5. That will help refill the pipe after all those misprints and cache misses, but my not help latency in refilling. One of the best ways to handle stalls is to let "the other thread" execute. I suspect Zen 5 will get huge gains on branchy multi-threaded code but more modest gains on single thread. They're after performance per watt and per dollar, while Intel keeps aiming for top single thread performance and market segmentation - two things some of us don't care about.

That said, I'm sure there is a market for a 4 or 8 core chip without SMT that has 50 percent higher single thread performance, and I won't be surprised if Intel provides such a chip.
I rather run Directory Report than WinDirStat.
DR can save more reports,
Scan million of files,
and find duplicate files
Crazy ty
Its super interesting to me how much its emphasized that you shouldn't use this (Lockdown Mode) unless you are a journalist or otherwise in direct danger. They really do try to talk you out of it. Its curious, because there's very little difference in functionality other than disabling a lot of Apple nonsense from running in the background expanding your attack surface.
Sure, you can bridge in either direction (using e.g. this [1] excellent Wireguard-to-SOCKS adapter), but in my view, if you have bytestream semantics, you're often better off using a bytestream-oriented proxying protocol (like SOCKS, SSH or HTTP) and vice versa.

These bridges/adapters do have their applications though – I have a home router that supports Wireguard natively, but not any of the higher-level protocols; this lets me use my per-tab approach with it.

[1] https://github.com/pufferffish/wireproxy
Could you please expand on your iMessage comparison? I don't understand what you're referencing.
Aside from English, "ananas" for pineapple and "lox"; however 'lox' and 'water' are the 2 of the oldest words still in use, but not the most widespread across many languages...
Did you build a POS based on Square? May I ask, why? Isn't there more robust options?
You are assuming Microsoft code base is superior to Linux / Git / MySql / whatever else is in github right now. That is a .... big assumption.

And if Microsoft's code ends up influencing the rest of the world code that would be a .... big downside.
> The formal first order proofs from ZFC that you mention depend on the axioms of ZFC. Which in turn are assumed. What is actually proven is, "If these are true, then that is the conclusion." But the axioms must be assumed. What is proven is that the axioms lead to the conclusion. And not that the axioms are true or the conclusion matches our naive notions of truth or existence.

That is true of every kind of mathematics. Ex nihilo nihil. There is no argument that can be made without any sort of axiom (you can derive tautologies, but only if you agree on at least the inference rules you're going to use - if you don't even agree on that you're out of luck).

You don't like the axioms of ZFC, or LEM, or whatever - fine. But you can't argue that whatever you want to use instead doesn't suffer from exactly the same problems. Maybe you find your axioms "more intuitive". Okay, and you're free to do mathematics in whichever way you prefer. But I guarantee that someone else will come along and tell you that your own axioms don't look all that intuitive to them. In fact, it seems like you assume that the integers exist. But an ultrafinitist would look at you in disbelief because they don't think that infinite sets exist at all (after all, where are the infinite sets in nature?). So which axioms are the "true" ones?

Personally, I'm not interested in metaphysical questions about what is "mathematically true". It's satisfying enough that a) we can constructively prove that classical proofs are valid chains of inferences from their axioms to their conclusions, b) nobody has found a contradiction in ZFC for over 100 years, c) the results we get from applying mathematics to the real world are astonishingly useful in all sorts of domains. Many mathematicians consider that a win and then move on without pondering about metaphysical things that we can never have an answer to.

> This view only seems strange to us because it is impossible to study higher mathematics without being indoctrinated into the classical mathematical approach.

Calling other people "indoctrinated" doesn't make your argument stronger. For the record, there's enough constructivist advocates hanging around programming-related communities, so it's not like these voices aren't heard here.

edit: And in any case, you did massively shift the goalposts here, because first you claimed that "we can't reason about the reasoning used in classical mathematics" (wrong, we can do all sorts of reasoning about classical reasoning without even having to resort to infinities and other weird things), now you're claiming that classical mathematics isn't "true" (or not provably so) - but that's an entirely different discussion.
Yep, two map expansions came out at GenCon and more expansions are planned for next year. Good time to be a Robo Rally fan!
exiftool -All= image.jpg
We have an article that tries to provide a detailed answer to this question! https://tailscale.com/compare/openvpn/
Note, NASA has a copy of the original 2010 funding legislation here:

https://www.nasa.gov/pdf/649377main_PL_111-267.pdf

Which can also be found here:

https://www.congress.gov/bill/111th-congress/senate-bill/372...

The key part is:

> (2) MODIFICATION OF CURRENT CONTRACTS.—In order to
limit NASA’s termination liability costs and support critical
capabilities, the Administrator shall, to the extent practicable,
extend or modify existing vehicle development and associated
contracts necessary to meet the requirements in paragraph
(1), including contracts for ground testing of solid rocket motors,
if necessary, to ensure their availability for development of
the Space Launch System.

Which explains why NASA isn't necessarily getting engines from Blue Origin or other cheaper new comers for example. The senate law dictates that they should continue using existing contracts. Now, could a NASA administrator argue that they should drop Aerojet (as cited in the ars technica article)? Potentially, but Aerojet could possibly sue, claiming that NASA is in violation of the law.

-- From the Shadows
> and was not human rated

The SLS has not launched a human.
There are efforts to do that, notably https://github.com/google/wuffs

RLBox is another interesting option that lets you sandbox C/C++ code.

I think the main reason is that security is one of those things that people don't care about until it is too late to change. They get to the point of having a fast PDF library in C++ that has all the features. Then they realise that they should have written it in a safer language but by that point it means a complete rewrite.

The same reason not enough people use Bazel. By the time most people realise they need it, you've already implemented a huge build system using Make or whatever.