skysight-inc/HackerNews huggingface dataset:
The most interesting thing here to me is this bit

> Apple's new fee structure and other terms and conditions for alternative app stores and distribution of apps from the web (sideloading) may be defeating the purpose of its obligations under Article 6(4) of the DMA

because, well, yeah, that's exactly what they do! When Apple users complain about the DMA forcing Apple to allow other stores and sideloading they often predict that Meta and other nefarious corporations will launch their own distribution as the exclusive source of their popular or near-required apps in order to skirt Apple's privacy rules. That is a possibility (though it hasn't happened on Android), but I feel that the benefit of sideloading community-made apps that break Apple's rules by interoperating with services unofficially would more than offset any losses to privacy. However, as Apple's implementation stands the fees and agreements necessary to distribute apps would keep most FOSS or community-maintained apps from being distributed, while allowing rich bad actors an avenue of further abusing their users. It's the worst possible world; a free-for-all for rich corporations to distribute whatever garbage they want and no balancing pressure from unofficial apps keeping their behavior somewhat in check. Moving from a world where Apple gets to decide what code runs on your phone to one where anyone with sufficiently deep pockets makes the call. I hope that the EC finds that the spirit of the DMA is that users decide what runs on their phones, and that Apple's proposed changes are not in that spirit.
It might be reflecting my tech bias.

The typical tech person only hangs out with young highly-educated transplants in NYC. Racially, those demographics are fairly similar between NYC and Boston. Philly simply does not have the high concentration of top-tier human capital that Boston or NYC offer. Good luck finding a half-decent tech job in Philly.

If anything, Boston universities have ramped up their diversity hiring, so a typical highly-educated group will include a ton of racially diverse people. Intellectually however, Boston has stricter staratification between blue collar and white collar professionals than NYC/Philly.
Can you explain a bit more how removing licensing procedures for the “DVD” logo has any connection to the quality of streaming?
I have always enjoyed all the little towns named identically to other places. Maine, New York; London, Ontario; Mexico, Maine. There are a lot of others.

"Where are you from?"
"We came from London."
"Oh, all the way from the UK? You don't seem to have an accent at all!"
"No, it's about 30 miles from here."
TIL construction went on for 137 years without a building permit. I find it hard to believe no one realized in such a long time.
I stumbled on this after realising that Mark Burgess, who created CFEngine, is also the author of this other recent HN post on "Using Promise Theory to solve the distributed consensus problem" [0] (from the same blog).

[0] https://news.ycombinator.com/item?id=39676493
Why assume no price increases? Also, parking meters in a car centric region seem like they would be closer to government bonds than equities in terms of risk profile, so the return would need to be compared to something like that.
Considering how still and opaque the picture is (I have just spent 5 minutes staring at the stream), you probably don't even need fancy AI. Some sort of basic movement/change detector will probably do the trick just fine. But as you say the point is to involved people.
Of course it’s leadership that makes the call. At any large company sales and marketing have a huge influence on the leadership and therefore the product. The engineering teams that align with those goals will get the best funding and will be listened to the most.
Lots of analysts, data scientists, traders, engineers, etc., use Python third party packages successfully, and have never touched, or maybe even head of, Docker.

And yeah, in general there are significantly less NodeJS third party packages interfacing with packages that directly depend on OSes and hardware. Python has many third party packages that are older than NodeJS that depend on foreign function interfaces, win32 com apis, directly talking to graphics shaders, etc.
Sure, but that's just wordplay. There are genuine, meaningful differences between technologies. Professionals should be able to weigh and consider them in various contexts.
Not sure if it meets all of your requirements, but what about using Crystal HTTP::Server[1] and building a fully statically linked[2] binary and deploying via a Docker scratch image[3] using a Multi-stage build[4].

Here's[5] an example I put together that I have running on fly.io[6]. I'm doing a redirect for root path, but it could easily be changed to serve up the contents of index.html.

I use a similar deployment for a small site I created[7] to generate UUIDs. Kemal[8] also looks like a good alternative.

----

Update:

Here's[9] an example also running on fly.io[10] using Kemal[8]

[1] https://crystal-lang.org/api/1.11.2/HTTP/Server.html

[2] https://crystal-lang.org/reference/1.11/guides/static_linkin...

[3] https://docs.docker.com/build/building/multi-stage/

[4] https://hub.docker.com/_/scratch/

[5] https://github.com/adrianlv512/minimal-server

[6] https://minimal-server.fly.dev

[7] https://uuid-generator.org/

[8] https://kemalcr.com/

[9] https://github.com/adrianlv512/minimal-server-kemal

[10] https://minimal-server-kemal.fly.dev
Nigeria accuses Binance of tax evasion as detained executive 'escapes' custody
Just so we have this straight, you completely changed the nature of the problem (by turning a perfect information problem into an imperfect information problem) and then are looking at me with a straight face to make your point? Please...

Unless of course you didn't realize that tom has a pattern to his baking, at which point to irony becomes palpable.

And on top of that, I am willing to bet if you give me your prompt, I would be able to restructure it in such a way that GPT4 would be able to answer it correctly. More often than not, people are just really bad at properly asking it questions.
Yeah, I'd suspect that binwalk output to be junk from the flash tripping heuristics: "MySQL database" is one of those heuristics that a lot of random binary files trip spuriously for who knows what reason.

Practically every other read word is `10 00 10 00` which is definitely strange, but also it's hard to judge if that's wrong without looking at the dump more IMO.
I think that in-app browsers that are solely used to render the app, and not separately accessible web pages, should be considered an implementation detail of the app. That also means that apps should be free to bring their own browser engine for that purpose (à la Electron). However, where apps provide access to web sites that are also accessible outside the app, the user should be able to configure the browser for that (possibly different from the system default). That should pose no particular problem for app developers, as those external web sites need to work under different browsers anyway.
Once again you're entirely missing the bigger picture. Bank interest rates aren't paying for money - they're just paying for the banking system. The banking system doesn't provide money - it just provides credit, backed by more of their credit, which is all just worthless digits in their database.

I would happily pay higher interest rates on real money, money the banking system can't just magic out of thin air. What a scam it is.

By "people with views like yours", I'm referring to those who are educated in finance, but

a) have sadly been indoctrinated with Keynesian nonsense

b) don't understand what money actually is
Type systems are "formal specifications for software" if perhaps in a fairly lightweight sense, and they work quite well. If you write a web browser in a strongly checked language such as Rust (the Servo folks are working on this, and shipping parts of their work in Firefox) you can ensure that it's not going to break memory safety, which is a start.
And actually animal abuse, especially when it occurs during childhood, can be an early indicator of psychological issues...
If the ads would be self-hosted and properly curated by the hosting site I wouldn't have a problem with them (just as I don't have much of a problem with print or tv ads). The specific problem with web ads is that most of the web made a deal with the devil: 3rd-party ad-networks which are directly injecting who-knows-what into webpages. Those ads are not just cheap click-bait-trash, but also potential malware vectors. At that point, ad-blocking essentially becomes a civil duty ;)

...and FWIW the use of ad-blockers is indeed recommended by the German "Federal Office for Security in Information Technology":

https://www.bsi.bund.de/DE/Themen/Verbraucherinnen-und-Verbr...
A discussion a few months ago: https://news.ycombinator.com/item?id=36995940
I suppose if you can afford three 6k Apple screens, you can afford just about anything. Most people can't. I guess I'll continue "slumming it" with my four 4k displays.
Damn. I'm convinced. The asdf CLI was always a bit of a pain ... mostly I don't interact with it that often. But mise seems light years better designed. Thanks!
i studied at an ivy league school after graduation in europe. i also interned in the bay area. i have now spent over 10 years in CA and can tell you that i still am not accepted and still get discriminated despite being white and with excellent speaking and writing skills and with degrees. people are nice but it is safe to assume people are fake until the contrary is proven. i think people in general underestimate how difficult it is to assimilate and even then you will remain the outsider.
Try the Caprover on digital ocean to try things out.

This will save you ton of time, there is a lot of application already packaged with docker there and you can add your own.
What is great about this is that nginx proxing and other bits are already working together to give a working system. The port mapping, the domain/subdomain managing, https with certificate, etc. Application are installed in one click and are configured mostly with env vars.

Then dig into it with docker or install one ubuntu system and install stuff and see how to configure, etc.
Yes, America is one of the most Christian of the major Western countries. However, the geography of faith is quite varied. We run around in cars, jetting to exactly the institutions we want to patronize. So it's possible to easily stay only in your own community.
Some context on this article.

This article is targeted at proving programs that run on blockchain based virtual machines.

These VM's are deterministic to their core. This is quite different the envirnoments that than most programs run in. For example every time code on the EVM runs in production, it is being run in parallel on hundreds to hundreds of thousands of systems, and the outputs/storage writes/events all have to agree exactly after execution, or bad things things happen. The EVM is also single threaded, reasonably well defined, and with multiple different VM implementations in many different languages. So programs here are much easier to verify.

In addition, program execution costs are paid per opcode executed, so program sizes range from hundreds of lines to about thirty thousand lines (with the high side of that being considered excessive and insane). It's again quite different than the average desktop software, or even embedded, program size.

I have both used fuzzing tools (actually working on reviewing a fuzzing setup today) and formal verification in the past. I agree with the article that currently fuzzing provides a similar level of verification for considerably less effort. Current formal verification systems in the blockchain based virtual machine space are extremely difficult to write good specs for, and extremely easy to write broken specs that don't check what you think they do. On the other hand, good enough specs for fuzzing are fairly intuitive, even if great specs still take a lot of expertise.

If I had a math heavy set of code that I wanted to wring the last possible security assurances from, I'd go for formal verification on top of fuzzing. But for most other work, I'd pick fuzzing.

(Disclosure, I've been a customer of Trail of Bits, and worked with two of the three authors in the paper)

(This isn't to say that form verification will never catch up! I'm thankful for the hard work from the people who have been moving it forward - it's gotten much better over the last two years. One day maybe it will be just as easy.)
Show HN: Interactive Solar Eclipse Simulator
This is a demo site showing an interactive general purpose solar eclipse simulator.

With two solar eclipses in 2023/24, I added eclipse calculations and maps to my photography planning app last year. After getting the basics in place I built this simulator.

It tries to give a reasonable photo realistic view of any eclipse by showing phenomena such as the diamond ring, the corona and chromosphere, along with accurate geometry/timings etc.

The simulator also accounts for the effect of the uneven lunar surface. It gives accurate simulations of Baily's Beads as they are seen around second and third contact times. These vary from one eclipse to the next and by location. The simulator calculates the lunar 'libration' (the orientation of the Moon) at maximum eclipse and then pulls the appropriate lunar limb profile from an API server.

You can toggle between "photo realistic" and "outline" mode to see a vertically exaggerated lunar limb profile.

The demo page is set up with three sample eclipses (TSE2024, ASE2024, HSE2031 - the next hybrid eclipse) and a few sample locations for each. You can pinch to zoom and pan (two fingers on mobile).

The simulator is packaged as a (rather heavyweight) 'widget' and was built with Vite/React using three.js and some custom shaders. It pulls the data it needs from an astronomy and geospatial web service project I'm working on (radiantdrift.com).

Performance in Firefox on Mac is horrible - not sure why as yet.
Your reply is a non-sequitur bordering on rude.

It is also ironic because the EU-mandated browser choice screen offers users such stalwart top browsers such as "Browser" by Maple Media Apps, LLC. a holding company for category leading apps, "Web@Work", and "You.com AI Search and Browse". Bloatware lovers rejoice!
Yeah, it's a mistake to think of this a simple "just buy an apple a different stall in the marketplace" situation, we're way past that.

To bring it towards alignment with the status-quo, every fruit-vendor would be a facet of a few massive guildhalls, with spyglasses trained down from the parapets, informants circulating in the crowd, a parchment file on everyone, etc.
Yeah, that's the common sense interpretation.
Nope. I was an avid reader of PK Dick - and the coda to _A Scanner Darkly_ was a clear warning that drugs weren't like doping, a trade where your lose your health but gain performance above normal, but a lose-lose proposition - a _miroir aux alouettes_.

Another artist I am extremely fond of, Mœbius (Jean Giraud), also had a very bad time after a failed psychedelic initiation (but my memory may be wrong, as I can't find it in writing on the web - was it in a biographical documentary or am I mixing him with someone else?).

Like Jodorowsky, I never felt I needed drugs - even to enjoy his work, PKD's work or other usually associated with psychedelic use or culture (Aldiss, Lem, Herbert,Zelazny, Bester). When I listen to weird electrical like Aphex Twin or Bicep and people in the comments talk how they seem to need drugs to feel the music kick, I seriously wonder why - I felt there was little to gain for a great risk to take (either from impurities in the substance, or the substance itself - the risk of a bad trip).

In short: I'm abnormal enough? I am clearly more creative than baseline (but less disciplined to really exploit it - and there isn't a drug with the right profile to make one more disciplined yet critical enough to stay on course).

As a sci-fi reader, of course I am very interested in other dimensions, breakthroughs, alien thinking and superpowers. And LSD and others have that mystique - but seem very disappointing in reality, compared to those expectations.
Python packages are painful even if nothing native is involved. There are NodeJS packages that rely on native code too, difference is the packaging system is a lot simpler to use, though it's starting to get worse with the `import` vs `require` nonsense and Typescript.
Okay, but hell will still freeze over before Apple sells even a resistor they make to a 3rd party. Let alone a CPU.
Pulling out of treaty is not as treacherous as claiming obeying the treaty, and not obeying it.
I agree. In my humble opinion, there's two general red wine tastes:

1. jammy (like a fruit spread jam)

2. earthy

Over time I've moved more to earthy, but in reality, red wine taste changes drastically with food or other items added to your palette, including other wines, so I've never prescribed to one ideology. Just find what you like and there you go.
"Beware of bugs in the above code. I have only proven it correct, I have not tested it." --Donald E. Knuth
The legal regime just prevents the state from going too far in promoting one faith. But whether you encounter someone with a different belief system depends on geography, modes of transport, openness to other beliefs, etc. There's a lot more to it! I'm thinking of it as a stochastic process.
venv only works if you already have the required version of python installed and have it active as the python for your shell (or use a launcher to which you specify the python to use in the command line), since venv just creates a virtual environment based on the version of python it is run with.

So you actually need something that can read a specification of the required python version and use the correct one from the available options (maybe even reaching out and getting it if it isn't already locally available, though I don5 remeber if any of the existing python build tools will do this; docker obviously will, but its not really a python build tool), across different OS flavors (maybe not that last bit, depending on the use case, especially for internal development), and with minimal overhead for the build tool itself.
I believe this is relatively easy to test as I think you can gradually increase the size of the ICMP packet until it stops responding.
I have done something along those lines in the past but it was a long time ago.
To avoid misunderstanding, as I understand from mainframe talks, many of them was customizable like modern FPGA machines, as they even considered make custom hardware (imagine, you could order fully custom machine with additional registers, custom ALU, etc), that's why I compare custom microcode of CISC to FPGA, and why I think it is lost feature, just not existing in mini's and in micro's.
So the idea is to randomly take down the program when the GC runs?
In the US truth is adequate defence against libel.

In the US courts allow argument in the alternative, but frown upon those who wish to both possess and ingest their cakes.

pp16-17:

> It is apparent to the Court that X Corp. wishes to have it both ways — to be spared the burdens of pleading a defamation claim, while bemoaning the harm to its reputation, and seeking punishing damages based on reputational harm.
Hydrofluoric acid (HF) is a highly corrosive and dangerous substance that can pass through the skin and into the bones. There are many things wrong with it that make it different from other common acids like sulfuric acid.

Penetration: Unlike other acids that cause immediate pain and visible burns on the skin, hydrofluoric acid can penetrate the skin quickly without causing immediate pain or visible damage.

Skin damage: Once absorbed through the skin, hydrofluoric acid continues to cause deep tissue damage, which may not be immediately apparent.

Bone and joint damage: Hydrofluoric acid has a high affinity for calcium and can cause decalcification of the bones, leading to severe bone damage and potentially fatal electrolyte imbalances. It can also cause joint damage and pain.

Systemic effects: If left untreated, hydrofluoric acid poisoning can lead to systemic effects such as hypocalcemia (low blood calcium levels), hypomagnesemia (low blood magnesium levels), and hyperkalemia (high blood potassium levels), which can cause cardiac arrhythmias and death.

Treatment: Immediate treatment is crucial for hydrofluoric acid exposure. Calcium gluconate gel is typically applied to the affected area to neutralize the acid and prevent further damage. In severe cases, intravenous calcium and magnesium may be necessary to treat systemic effects.

The Occupational Safety and Health Administration (OSHA) has established a permissible exposure limit (PEL) for hydrofluoric acid at 3 ppm (parts per million) as an 8-hour time-weighted average (TWA) concentration. The National Institute for Occupational Safety and Health (NIOSH) recommends an even lower exposure limit of 3 ppm as a ceiling limit, not to be exceeded at any time.
One issue I’ve been encountering is that Poetry isn’t aware of pyenv or `.python-version`. So what I do to initially build my venv is:

pyenv exec pip install poetry && pyenv exec poetry install

This creates the venv against the correct Python version, and I can now do without `pyenv exec` for this repository.

And every time that `.python-version` changes (which I at most do a few times per year per project,) I throw away the `.venv`, do `pyenv install -s` and start over.

Your `poetry run` point still stands, though.
Are people using nanovms in production? We love to understand the landscape? We are considering it lately. Would love to learn some of the upsides and downsides.
The commenter apparently can't tell the difference between a best in class photo management app made by the creators of Aperature with bloatware. I don't fault them: most users can't either which is why giving them a "choice" is extremely overrated!
Earns, or receives in revenue?

‘Earns’ implies net profit after all expenses (including operations and maintenance), which I find hard to believe in this specific case.
If ad blockers go by URLs, why don’t advertisers simply serve ads from the same domain with a path masquerading as content?
Well, it's affected by the marginal interest rate available to them. The supply of liquidity for global multinationals isn't unlimited.
Remember that Lighthouse (and therefore PageSpeed Insights) scores fluctuate. Consider running multiple times and taking median scores when doing comparisons of performance like this. "The median Lighthouse score of 5 runs is twice as stable as 1 run" https://developers.google.com/web/tools/lighthouse/variabili...
I'm pretty sure good enough computer vision has been around for decades. The newer stuff is object classification and facial recognition/emotional state type stuff. I think we've had good enough tech to find moving fish for quite a while.
I do not like this building, I don't care for it aesthetically, but more significantly it's too new to be culturally importantly. Old churches/mosques/temples can have historical significance, but such is completely missing in this case. There's a joke going around that it's the first cathedral constructed as a tourist attraction which is both hilarious and accurate.

Before the modern era constructing expensive religious buildings could perhaps be justified, but after the 1800s people ought to have known better and these can't lay claim to represent the city as earlier projects could. It belongs in the same category as the castle at Disneyland.
This doesn't really seem relevant to what I am saying. Or at least does no harm to my argument.
Are you seriously asking why Apple offers its users a built-in app to view the photos taken with their phone? You'd prefer if users had to choose and install a photo management app before they could take a picture?