skysight-inc/HackerNews huggingface dataset:
> And how do you make money?

From what I see, https://organicmaps.app/ is asking for donations ( https://organicmaps.app/donate/ )
Which should be an exciting project any person can work on, given the decent amount of metadata OSM provides.
There are no loops or conditionals.
To make it look, on cursory reading, like the policy is something you are comfortable to agree to. Legal theatre.

Also because those specific uses are mentioned in existing law and/or have been otherwise successfully defended. It gives their lawyers as many explicit tools as possible, before they need to argue around the implicit ones enabled by their policies & agreements being deliberately more vague elsewhere.

The point is that if they don't say that they won't, then they pretty much can if they choose to.
- I miss the ability to make Wikivoyage articles (and their associated POIs) available offline, which is really useful when travelling.

- OsmAnd's flags feel more ephemeral, whereas in Organic Maps I'm just adding them as regular bookmarks under "My places", which make them harder to distinguish from bookmarks I want to keep long-term.

- Bus lines and stops are pretty useful if you're taking the bus somewhere unfamiliar.

But those are pretty minor; I've still switched to Organic Maps just because it's so much easier to use (ironically, that probably is because it has fewer features).

Also, I just keep both installed just in case, so I can always fall back to OsmAnd :)
Oh Lord, I hope you were forgiven..
I'm not shaming anyone by talking about the need to switch to plant based diets. That's just your subconsciousness speaking.

https://en.wikipedia.org/wiki/Cognitive_dissonance#Meat-eati...

Plant-based diets are the only way to feed 10 billion people sustainably.

https://www.eurekalert.org/news-releases/917471

How Compatible Are Western European Dietary Patterns to Climate Targets?

https://www.mdpi.com/2071-1050/14/21/14449

What humanity should eat to stay healthy and save the planet

https://www.nature.com/articles/d41586-021-03565-5
Windows is starting to look more and more like a virus.
Thank you, I found it! You have to click the star icon.
LinkedIn is owned by M$, you draw the conclusion.
risc-v is an instruction set specification.

it doesn't concern much beyond that, so there is nothing special about "risc-v hardware ", which contains many other components at vendor's discretion.
Okay. Sounds interesting, should check it out.
Same here, and same with “webhook reference” and “changelog”
"If you're explaining you're losing."
I feel compelled to mention Directory Opus^0 whenever Total Commander comes up.

0: https://www.gpsoft.com.au/
Started using Organic Maps during the pandemic, this is the app that weaned me out of Google Maps.

At the moment I only really use Google Maps to check opening times of certain shops.

Also way better routing for cyclists than Google maps.
I'm OP. I'm not the developer of the project, but I think it deserved a post on HN because it's pretty an useful tool to track website changes. Setup can be done in a few minutes and the lead developer is always looking for solid feedbacks.
Check out the full changes file, it has dates of changes:

https://www.ghisler.com/history1100.txt

Even after 30 years there are still things to fix pretty much every day. Maintenance is really endless task
I don't think so. I know that in New Vegas they talked about NCR drying up most of the reservoirs to help ranchers.
I think that would be https://github.com/organicmaps/organicmaps/issues/952.
Lots of people think whitelist is not fine, and decide to use another term whose meaning is perfectly clear and understandable. You don't like that term, but what would you have people use that's less divisive? Clearly "whitelist" does not work, since it was the initial source of the issues.
How phishing scampages work and what they have to do with pizza
Does this support custom map styles? OsmAnd has the option to create custom xml styles for certain use cases (which I find interesting for non-standard uses).
React is as baked in now as Java and Covid.
My worry is that as long as every city with desirable jobs is housing constrained, UBI will basically be a subsidy for landlords and existing landowners.
For me, the entire article can be summarised in the following quote from it:

>> So there’s a big mess. We are limited in what we can do.

We are limited in what can do. All our formal systems are flawed. That's including arithmetic and Gödel proved that any system powerful enough to represent arithmetic will always be flawed. The machines we have that compute our formal systems with us -and it never stops doing my head in that it's possible to create physical machines to calculate what exists only in our thoughts- our computers, they are flawed, too, because they are based on the same flawed formal systems, the same limitations as ours. We cannot use such machines to escape their own, our own, limitations.

>> But we have proven otherwise.

Have we now. To whom?
Without "updates" you wouldn't even have the First Amendment...
Its the same people. They have quite a few videos in the same genre, if you like the humour: https://youtube.com/playlist?list=PLfNe3nGQENtP3VCn1t1pybju9...
Show HN: Unlock the power multi-criteria decision-making with this app
Decision Mentor Professional

You can make up to 30 private decisions, providing ample space for you to weigh your options on various matters.

With the ability to input up to 9 choices and criteria, you can consider multiple factors and options, ensuring that your decision is well-rounded and thoroughly evaluated.

The daily chat limit of 30 with the AI Mentor ensures that you have consistent and substantial guidance throughout the day.

The two-level decision hierarchy allows you to break down complex decisions into sub-decisions, making the process more manageable.

An ad-free experience where you can focus entirely on your decision-making process without any distractions.

The Mind Map (beta) feature will offer a visual way to organize your thoughts, options, and criteria.

Switch to our Professional Subscription Plan and enjoy exclusive benefits, features, and a seamless decision-making experience.

Upgrade now and be a part of our premium community!
Support of Lambda web adapter on AWS Copilot
This could be a really good feature for dev environment as Lambda support scale to 0
Total Commander lacks many useful features from Norton Commander.

The preview panel for example. There was a Windows version of Norton Commander and it used all available registered Windows preview handlers.

I am using Double Commander instead. And I can use it on Linux as well.
AFAIK webauthn uses the domain as passed from the browser. So user might see micorsoft.com, but to the device it's a different domain so it won't pass on the keys.
> Scientists working on papers will essentially not be able to trust
that their work won't get out before they have published it.

For a long time already there's been a possibility for your work to
"get out" (patented etc) before you've even finished working on it.

How did Google (and other big-tech entities) get to be the most
powerful bodies on Earth?

When Google positioned themselves as "the search engine" they obtained
more than a little digital privilege.

The ability to observe everything someone is searching, over a long
time period, is also the ability to anticipate their moves and
intentions. That's put competitors and researchers at a huge
disadvantage. Researchers and competitors signal their intentions,
perhaps quite unknowingly, long before they even have a clear idea of
what they're doing themselves.

Of course AI only exacerbates this a million-fold. And surely what I'm
saying is a decade behind the curve for anyone who is paying attention
to the world.

If you have a business in tech, and are therefore a direct competitor
of at least one major big-tech entity, you should not be using their
services. Instead think about on-prem and local compute solutions for
your most sensitive work, and relay all your search out via Tor hidden
services or other mixnets for maximum diffusion .
From university I learned that aluminium and steel both have around the same weight to strength ratio. The fact they use aluminum for airplanes is that steel will become too thin and is therefor not stiff enough.

I think for bikes the opposite matters, with aluminium at required strength you will get a very stiff frame.
The "obvious" observation from the article is:

> Obviously, λx.M should be seen as a sort of function

The fact that lambdas can be seen as a syntax for describing functions (or function-like things) is kind of obvious to anyone who knows basic programming language theory (and many software engineers who use lambdas when they map over a list, for example).

The sentence before it about β-reduction is describing the rule for how to call a function, which we learned in high school as "plug-and-chug".

I think the confusion here might just be that the syntax is unfamiliar. You have probably seen these concepts before.
Just a heads up for context:

"In November 2014, Maps.me was acquired by Mail.Ru Group for 542 million Russian rubles"

"On November 2, 2020, Daegu Limited bought Maps.me for 1.56 Billion Russian rubles. Daegu Limited is announced to be part of Parity.com Group"

"Parity.com Group is privately held and is headquartered in Zug, Switzerland. It was founded by Viktor Mangazeev and Alex Grebnev in 2018. "

https://markets.ft.com/data/announce/detail?dockey=1323-1473...
Yes, and that's exactly what makes the hypothesis so unlikely, all this immense adaptation for something that seems to come more-or-less for free with a standard mammalian body plan. The timescales we're talking about for such invasive changes would be far longer than available for the whole of the aquatic ape hypothesis, but is recent enough that there should be plenty of fossil evidence. I just don't buy it, but if ever someone digs up fossil proof I'll be happy to eat a hat or two. It is roughly in line for me with 'Hollow Earth' and 'Water as a fuel'. It smacks of backwards reasoning and wishful thinking.

But: it's harmless and whoever wants to believe in it is obviously welcome to do so.
You can often find opening times of shops by searching for their own Facebook page instead of using Google Maps. Moreover, you can add business’ opening hours to OpenStreetMap so that other people in future will see the opening hours in Organic Maps and other OSM-based maps. For a programming-savvy crowd like HN, the syntax of OSM’s opening-hours tag is pretty straightforward.
Could you guys give some examples of “heavy workloads” or “serious work”?
All mathematical "truths" are defined into existence as you call it. All mathematical proofs are essentially of the form If A Then B. B is only a "truth" since we defined A a certain way and accept it as True. Due to its very nature, there are no empirical facts in mathematics.

You can argue that the is no Truth is mathematics, which is a perfectly reasonable position to take.
Oh also, OsmAnd's bicycle routes seem better (shorter/prettier routes)? Though I'm not even sure if Organic Maps's directions are for bicycle - the icon looks like a motorcycle, so they might be motorcycle directions.
React and Server Components are also normal, available tools.
They also aren't exactly legacy if the performance continues to improve in such a manner that they remain impossibly far ahead of any relevant competition.

That's really the part of this whole (tiring and old) conversion that irks me the most. The total lack of willingness to come up with a better definition of legacy than "not in line with the trends that work for companies mostly interested in serving media content to consumers".

Legacy is a system that is still around that cannot be defended on its technical merits. Mainframes can and are constantly defended solely on their technical merits, and the "competition" doesn't appear to even want to try to compete there. It's always about moving the things that can be moved off platform, which is fine in the eyes of IBM, they'll even help you do it. That's why they offer much lower cost on zIIPs, zAAPs, IFLs, etc in comparison to general purpose processors running native workloads.
Every CPU in the whole must regenerate websites from json descriptors. That's how it should always have been.
You have a point, but to be fair the person you replied to didn't use the word "truth". They said "valid mathematical proof". An in the context of type theory or formal logic "valid proof" is indeed something that has been "defined into existence" (in type theory "valid proof" ≈ "well-typed term"). Whether it represents "truth" is a different matter. Though such systems can (ideally) be proven sound in and with respect to "normal" mathematics. At that point I guess the "truth"ness depends on you overall belief in math :)
"The government"? Which one? Some governments do regulate certain aspects of the web directly.

All companies have to do is abide the local rules set by regulations, if such exist. And some very much do. Maybe not in your jurisdiction?

I think you two have things backwards
And the FBI, having no leads and no data, simply attempted to arrest a kid whom they knew got past Valve's firewall. The court judged there was no connection between the kid and the damages, and the FBI attempted to ruin his life anyway.

Oh, and those, of course, were claimed damages that failed to materialize ... Having about the same validity of the RIAA's claims of $25000 per mp3 downloaded.
AI predicts chemicals’ smells from their structures
The way I would phrase it, the difference is in what kind of doubt is considered "reasonable".
I tried both this summer and Mapy.cz is definitely better for hiking. You don't have to zoom in as much to see the trails, hiking trails are marked more clearly with major trails marked in a nice thick red line and it has relief maps (though they can't be downloaded) and the peaks are more clearly labeled along with their height. Also when you zoom out you see a height map instead of just grey for land and blue for water.

Overall it has a nicer attention to detail, for example dashed lines stay in one place as you zoom in/out instead of swimming around and I like the selection of downloaded areas better on Mapy.cz (it has flags next to country names and downloading a new area takes one tap instead of two or three) though it still feels flimsy.
It cannot be a Show HN then:

https://news.ycombinator.com/showhn.html

Please change the title.
> you can add business’ opening hours to OpenStreetMap

And by far the easiest way to do this, if you have an Android phone, is to use the beautiful StreetComplete app: https://github.com/streetcomplete/StreetComplete/#readme
And the broken TLS is part of jibe right.
> I don't know what the solution should be here

A separate password for each site works fine. 2FA is mostly a PI grab for spyware anyways. E.g. "Login with Google" is spyware.

I want 2FA for my bank only.
If you have any interest in art nouveau, check out the Horta House in Brussels: https://www.hortamuseum.be/en/Welcome

It is truly spectacular, and you will never be confused about nouveau vs deco again
> Authors' conclusions

> There is insufficient clinical trial evidence regarding the effects of garlic in preventing or treating the common cold. A single trial suggested that garlic may prevent occurrences of the common cold but more studies are needed to validate this finding. Claims of effectiveness appear to rely largely on poor‐quality evidence.

If garlic is so obviously effective as the other commenter claims then there should be plenty of supporting evidence, it's not that hard or expensive to test for it, yet, this meta-analysis could only find a single good quality study that showed some effect. This is called chance.

XKCD on significance (p-value): Green jelly beans linked to acne! https://xkcd.com/882/
You can stop using `form_for` in Phoenix
I remember once I needed to rename a bunch of files to a template similar to NewName_001, upwards of 100. TC lets you just set a name pattern and follows it, which meant I did it in about 10 seconds. My colleague took 10 minutes and a lot of groaning about "why isn't there a better way?".
Maybe I don't have the right wording, I'm not sure what it does exactly but running "vite dev" takes 2.5GB of RAM permanently.

It does reload changes very quickly so I guess it has some caching somewhere.

> But I don't want to further argue. If you think that SPA is not suitable for your use case, that's ok.

I personally never seen a use case which did not end up the way I'm describing, my 2 previous companies suffered the same issues.

I even warned my current company that there's a good chance that it would end up the same way and sure enough it did.
Maps.me got forked because it was sold from the original company to a new one (IIRC more than once). The most recent company to purchase Maps.me is in crypto, so their focus has been on e.g. adding a crypto wallet – yes, a crypto wallet in a maps app – instead of actually developing the app further for maps users.
You can also type a city name. Then type 'okmaps' and press ok. Then, it will bring up the download offline map screen for the whole area.
Personally, I lost hope in finding any gmaps alternative.

It's always either super out of date, or missing details and nice features like reviews, photos and advanced integrations like gmaps integration with public transport.

That's without mentioning the clearly worse routing Algorithms.

These issues mostly stem from a lack of data, but there are many related to the way the OSM project sees itself, and concepts like point of interest.

Let's see what comes from the new big tech alliance against gmaps.
> With ChatGPT, you cannot realistically explain why you got some output in a way that anyone other than an AI/ML expert would find satisfying

IMHO OP is talking about "explainability" of the results, which is notoriously bad for current AI. For certain applications (idk if SQL would be one but mortgage application might be one) it is required to be able to explain how the computer got to the decision.
I think what these types of contracts show is that companies at Microsoft's level don't give a sh*t about national or over-regional regulation. They will use your data, and while you're busy reading 100s of pages of mumbo-jumbo they already have their models about you in place and sell access to it on a PPC basis.

And this is especially true with GDPR. Google's revenues are still growing, the advertising companies are fine, we all just have to click a few more cookie banners nowadays.
Vested interests, yes.
History, also.

For first, Mozilla doesn't do this every week. And Mozilla has a history to keep in mind general population interests for privacy and security. On the other hand, we have a corporation with a history of cheating, lying, stealing, scamming people, from fighting standards, abusing positions of power, overwriting choices going against their shareholders interests. So yeah, vested interests, but also we need to keep in mind the history of both entities

Also Mozilla didn't say "Oh we have the MS new ToS and we keep them private", they're there, get a lawyer and see if they're obvious to understand?
Even on the surface of the Earth there could be ambiguity. Some places have moved up to four meters in GPS coordinates after an earthquake. In Amsterdam that could be the difference between a war memorial and a brothel.
Presumably it also means some number of Americans are going to be legally prevented from entering Europe when they wouldn't have had any trouble under the old system.
My go to app for hiking and navigation on trails.
System F just isn't flexible enough to encode most of mathematics. You need at the minimum dependent type and preferably a more flexible identity type to avoid setoid hell. The closest attempts I know of are HOTT in Coq and Cubical Agda. These systems still have a lot of kinks to be sorted out though, e.g. https://www.youtube.com/watch?v=TpUOweB2kHU
From Hidden Bee to Rhadamanthys – The Evolution of Custom Executable Formats
Code for America Lays Off 35 of Our Colleagues
there is pike, a rewrite of LPC, which is a full gneneral programming language. there have been a few MUDs in the works written in pike, but i don't know if any made it out of the prototyping stage. i think one of them had a web interface too.

there is also open-steam, which is actually more like an object storage, but it has a concept of rooms that can be linked to each other with gates, and user objects can enter rooms and pass through gates to other rooms. they can also send messages into the room which are shared with other users in that room. and users have an intentory, so they can carry things. so it could be possible to build a MUD on top of that without having to do a lot of low level work. the main work would be to design a web interface for that, and fill the rooms with content. i have an instance of that server running. if you are interested, feel free to contact me for details.
Thanks wil give it a try
Hypothetically speaking, and I'm putting an emphasis on the "hypothetical" part, you could have two individuals starting a new population of arbitrary size, without ill-effects of inbreeding.

There is only one requirement. And one caveat. The requirement is that both individuals need to be free of genetic defects in their alleles, so that no matter how many generations down you go you never end up with two defective alleles in the same descendant. That is impossible in practice. Eventually you would get some diversity from random mutation and at that point you would be back to "normal" state of affairs.

The caveat is disease resistance. All of their descendants would have the same immune system. If one gets sick, they all do. Any infection will spread like wildfire, if it spreads. And nothing short of total quarantine would stop it.
> We were calling their API, and the app was clearly just waiting for results, which sometimes would take half a minute.

Clearly to whom? You shouldn’t expect your users to know that your client’s API may be slow.

> I added a progress bar that started at 5% went +10% every second till 65%

That’s bad. If you don’t have a reasonable estimate for how long something will take, you should use an indeterminate progress bar.

https://m2.material.io/components/progress-indicators#usage:

“Determinate and indeterminate

Progress indicators may be determinate or indeterminate:

Determinate indicators

Determinate indicators display how long a process will take. They should be used when the process completion rate can be detected.

Indeterminate indicators

Indeterminate indicators express an unspecified amount of wait time. They should be used when progress isn’t detectable, or if it’s not necessary to indicate how long an activity will take.”

For this case, I would wait a second or so to see whether an answer returns rapidly, then pop up an indeterminate progress bar and keep it up for at least a second, even if the reply comes sooner.
Interesting! A rather cynical approach. Although preferable to naivety on my part - I'd expect a court to hold the list exhaustive if challenged.
> It also reduces the complexity of the page - devs don't need to build logic to wait for things. The page just doesn't render until it has the data it needs.

Devs don't need that anyways, since frameworks like Angular provide this ootb, may it be dynamic template renders (ngif) or as a prereq for finishing routinh
They aren't assumed to be bug-free. It's simply known that the vast majority of bugs that occur in practice and that you have to care about aren't compiler or hardware bugs. So formal systems have a lot less bugs.
NASA’s LRO Observes Crater Likely from Luna 25 Impact
The web tech is truly a swinging pendulum.
I still use Total Commander on my Android phones/tablets.

For MacOS, the closest ones are:

- https://apps.apple.com/us/app/commander-one-file-manager/id1...

- https://github.com/elfmz/far2l
Accelerating Vision-Language Models: BridgeTower on Habana Gaudi2