skysight-inc/HackerNews huggingface dataset:
Maybe its just me but the art and style movements of the first part of the 20th century (up until the sixties) are somehow more profoundly beautiful (in different ways), wholesome and memorable.

I don't even know what the "modern styles" are supposed to be. Maybe the time of coherent stylistic movements with a well articulated aesthetic is gone?
What? The objectivity of math is literally what the original article discusses. Why are you even in here if you're not willing to discuss it?
Yes and what people don't realise is that exponential effects start to take place as a smaller population is than having fewer children and is this continues, the Korean people will effectively disappear in 100 years or so. Those fewer people must also support an aging population. It's a death spiral both for the people and the economy. If North Korea keeps fertility rate at its current level, they will exist into the future and the South will disappear.
Often straightforward code is full of repetition. Abstraction is usually brought up to reduce repetition, but it comes with its own problems
My progress bar froze?
Except for anything at the pole.

But the problem remains the link from Mars to earth, not from the surface to orbit.
>If a program is accepted by the proof checker, then by construction it must be a valid mathematical proof.

Huh? How? Truth is an empirical fact, you can't possibly define it into existence.
Journey to the Cloud Part I: Migrating Stack Overflow Teams to Azure
I think that's a really motherfucking bad piece of advice. Isn't there a version of that which is actually made by someone with some kind of ideas about readability and design?

EDIT: http://bettermotherfuckingwebsite.com
> plenty of maps, filters, recursion and indexing into the data

Are there a lot of server side template languages that can’t do this?

This is straight-forward stuff.
The support is terrible. You can only choose a rectangle with the same proportions as your screen and the allowed size is too small for a trip in lots of areas of the US. Like a lot of software there are restrictions that make no sense and are extremely user unfriendly.
I see you're skipping too long sentences — any thoughts on how you would handle them and chunk them further if they weren't skipped?

Good to see non-Go code from you, ha ;)
I cannot live without Midnight Commander !
Yes, it's a great default adjustable knot! The other one I think is worth knowing is the "adjustable grip hitch", which is like the midshipman's but the half-hitch goes on the other side of the turns. This latter one seems to hold a lot tighter once dressed, even in relatively slippy rope, but unlike the midshipman's it can't easily be tied under load.

https://www.animatedknots.com/adjustable-grip-hitch-knot
we all know what category they are missing ;)
How can we define "personal" data?

Is data from public LinkedIn accounts considered personal?

However, I believe that our Office 365 personal data should be prohibited from being used to train AI, as it is sensitive information.
Organic Maps really nails the use case for a minimalistic, no-nonsense mapping app with great UX design. Whereas OsmAnd tries to accommodate all use cases with full configurability, which results in a mess of nested options menus, OM goes for reasonable defaults and short menu paths.

Unfortunately that minimalism comes with some downsides. While OM has a great metro map, it doesn't show bus lines (which would probably blot the map size quite a bit), making it unfortunately unusable for my use case.
Official sources also may have outdated maps.

Especially when for example bridge was destroyed hours/days ago.
Many people use hotels, bars, and restaurants as landmarks.

If you know an area, it’s easier to remember something is near so and so resturaunt than to remember street names (if in fact your streets actually have names).
How does progressive taxation stop inflation? “Effective UBI” policies is the goal but doesn’t describe a solution to any particular problem.
Organic Maps is great. I just wish OSM worked on search more. They are behind there.
If it's still possible to get sshfs running on a mac, I'd suggest that might be a much better solution than samba or nfs, or any of the various other vm file sharing solutions. It's been a while since I used this setup on a daily basis but with cache disabled it was really dependable.
I suppose in cinemas. Before the feature. Like the news at the time with the Newsreel: https://en.wikipedia.org/wiki/Newsreel
Hmm. Not sure about the point.

It doesn't search the real data, right? (I checked). It happens to have a predefined set of data. So, how do we know if the speed comes from genuine qualities of the tech, not from a simple fact that the data set is small?
With three major manufacturers that would never play with such a new entrant I think that ship has sailed. That's why you typically see major brand bikes that are entirely built up using Shimano, SRAM or Campagnolo parts. Note that Shimano (80% of the market or so, 10K+employees) is 100 years old and that Campagnolo (90 or so, sub 1K employees) is a high end niche player. SRAM is with 35 years of history and 3K+ employees the 'new kid on the block'.

So while I'm sympathetic to your idea in principle I think that in practice it would be really hard to get Shimano to play along with this, they have historically been real jerks about IP and have themselves been the subject of lawsuits involving unfair competition. I still use their products because I think they are value-for-money the best on the market but their corporate tactics suck.
This is an article about progress being made towards, in some circumstances, being able to get around this problem. The implication is that in general, using standard techniques and technology, you can't do so, or it is very difficult, or incurs disproportionate costs.
Most people that care about environment, animal cruelty, and ethics are already small consumers of meat anyway. I would hazard guess also that any market reduction in Beef consumption in the West would be absorbed by Asian Markets, producers would not be producing less.

Actions like:

- Reducing/eliminating car usage

- Reducing residential heating/cooling

Are something individuals control and both would objectively have a much much greater GHG emissions impact. However they are not as popular in public discourse.
It seems to me that the author is attempting to put together some analysis on the essential meaning, purposes, and distinctions of type theory and set theory. While what on offer may not satisfy you or me, it seems a task worthy of doing.
I have tried OSMAnd a few times but it reminds me of the GIMP. Super powerful but incredibly convoluted UI
Similar to them, I also noticed some weird issues on iOS where it would sometimes drag the page when moving pieces and, other times, prevent seeing either the top or bottom portion of the UI. I ended up moving to PC for that reason. I also recall not being able to type in a name for the score at the end (on iOS).

One other thing I noticed was that submitting a lower score (at least in endless) still overrides your old one. (My scores went 860.5k -> 314.7k -> 446.9k -> 136.7m, overriding every time.)
> I don't even know why I should care. If MS crawl some web pages I've written and AI gets slightly smarter by reading them

Crawling public web pages is a separate issue⁰ – by putting something online you aren't explicitly agreeing to any of MS's policies, at least in the eyes of the law. This is the same for anyone crawling public content not just MS.

This privacy policy covers all the content you might use MS apps and services for, i.e. where you are¹ automatically agreeing to MS's policies: OneDrive, potentially any local-only documents in Office, code in VS and other tools, perhaps anything stored on your PC running Windows.

> I don't even know why I should care.

If you don't use any MS products or services, and no products/services you do use are backed by MS's services, then you don't need to care personally. Or indeed if you do but consider everything you output or otherwise work on to be public domain. Otherwise, maybe it is something you should form an opinion on?

----

[0] time to switch my robots.txt files to “User-agent: *
Disallow: /” – though it is very likely already too late for any existing content

[1] except where limited by law that you can afford to argue with MS's legal team over
"130 products"

Does that include LinkedIn. What stops LinkedIn from sharing data with Microsoft.
The Cochrane review is weird. It's a meta analysis that excluded all studies but one - which did find an effect:

"This trial randomly assigned 146 participants to either an allicin‐containing garlic capsule (dose unspecified) or a placebo (once daily) for 12 weeks. The trial reported 24 occurrences of the common cold in the garlic intervention group compared with 65 in the placebo group (P < 0.001), resulting in fewer days of illness in the garlic group compared with the placebo group (111 versus 366). The number of days to recovery from an occurrence of the common cold was similar in both groups (4.63 versus 5.63)."

Why do you interpret this as "otherwise"?
I’ll definitely have to try this. SSHFS didn’t work well for me when sharing files from the host to the guest but it might just work when sharing from the guest
I took the time to go through the whole thread. Your tone was pretty aggressive from the start and throughout the whole conversation. On the developer's side yeah, they did minimize the issue at the beginning and then eventually modified how it works to increase privacy (rotating the UUID every 3 months, permitting to disable it anyway, clearly state it in the TOS etc). You are still downloading a tons of data from their infra, and for free, I think it's fair for them to have some sort of control to avoid abuses.

And even if it sounds harsh, their initial suggestion is always valid: use another software, or fork it and maintain your own version. It's GPLv3.
Carwow seems to have scooped this.

https://youtu.be/gQ6zIHHMlSs?si=1TtUYMscDZzXl53L

Must say the amount of improvements is truly impressive.
Note that if some data is missing or wrong - you can fix it by editing on https://www.openstreetmap.org/ as they use OpenStreetMap data

Such help is really welcome!

If you are on Android then I recommend StreetComplete which asks questions and edits OSM based on answers (disclaimer: I wrote parts of it)

(Organic Maps has some limited editing capability, but for example you will not change road geometry or add forest area with it)
You can generate a swagger-ui doc page from an open api yaml spec by just mounting the file in their swaggerapi/swagger-ui docker container.
Same with Redocly.

Granted the pages probably wont look as good as what they have here or be integrated in their larger docs, but yea its possible.
How did the Stromer work for you? Was it an e-bike or s-pedelec version?
That's like claiming all historians agree that Hitler was born in 1889 ergo historians achieve consensus on results.

If you study a broad range of subjects, you'd realize in mathematics the level of convergence is quite high relative to the other subjects, even the "hard" sciences. I wouldn't say it's 100% though.
Careful, my child, for those who speak of these things are forced to leave their tribes and wander forever in the deserts and the wastelands.
This was the first time I’d heard of the app, but due to comments in this thread I downloaded it.

* Website, ethos: straightforward. “Old internet” vibes, love it. They seem very active, have a presence on every platform, very impressive

* The app seems very nice. Simple clear UI. Lots of features. I need to experiment for more than a few minutes but I get the impression it could replace Google Maps for me, especially because Google Maps has trouble doing things like showing road names or other key navigation tools

* On design and UI: the offline approach is very visible. I zoomed in to where I live and it starts downloading it. First, a great way to get a download (go there on the map, it downloads) but also compare how many steps it is to download offline for Google Maps compared to this (go to a special section of the app, download something in your screen’s aspect ratio, limited in size, give it a manual name, prompted to manually curate downloads, they expire when they could still be perfectly valid…) — this is significantly better design. It’s the same difference angainst other map apps. I have a hiking trail app (AllTrails) that advertises offline, but getting the data and keeping it is a complex series of steps and it’s impossible to know if it’s there until you’re in the wilderness and unable to download if it’s not. This is so much simpler… good simple design.

* It’s developed in Estonia! Estonia has a remarkable IT and software culture (I live there) and every so often you come across an absolute gem. This looks like one of them
I often use my smartphone when driving somewhere by bike/scooter and for this only osmand is usable since background mode is not yet implemented https://github.com/organicmaps/organicmaps/pull/4611
FWIW, the KDE support apps are excellent and disk space is cheap; although I am a KDE user whenever I am on a non-KDE system I invariably end up installing a bunch of them shortly. The dependencies just sit on your disk not doing anything when they're not used, it's not worth having apprehension over installing them unless you are extremely short on disk space or something.

You do yourself a disservice by avoiding them.
The algorithm was done so that it almost never froze, by giving enough time for most of API calls to finish (based on him knowing the response times it usually got).

And even when it did, clients are conditioned to expect progress bars to freeze and then suddenly finish, from Windows and lots of other software.
I've done things that people thought were magic. It was TC.
There are about twenty similar programs, all descended from the Norton Commander. Any one of them is enormously better than the file managers that come with most OSs, especially windows. Ive read estimates that say you're about four times as productive if you use on, and I think that may be very conservative. There are a lot of things you can't do without one.
A friend worked at a place where management disabled the search function in windows, probably because people were getting stuff done. I set him up with TC, which has its own search.
The IT lead at one place I worked said, "I don't like that program. it makes things easier than they should be."
TC is the best of its kind. It's so good I paid for it. (I've had twenty years of free upgrades.)
Roman, one of the founders of Organic Maps, was recently interviewed on the Geomob podcast: https://thegeomob.com/podcast/episode-190
A 1000 bucks isn't cheap for a bike with custom parts that has no support and is known to have issues. But you can't fault them for trying to offload the bikes and I guess plenty of people believe that the value of a thing is relative to what they themselves paid for the thing.
Good stuff. Niche idea for ya: consider government contractors. Gov sites tend to be atrocious. Manual change tracking can mean you find a $1M RFP weeks earlier, which increases chance of winning. (Consider mda.mil. There's no email signup. What they consider a 'newsletter' is in fact a list of PDFs hosted on their site.)

And that's federal gov contracting. State/local is even more of a Wild West. So much so that many, maany companies just never have the bandwidth to even find RFPs and navigate those ancient sites.
True. And they work better if you dissolve them in a swimming-pool's worth of water. Organic water for best results.
I wouldn't call β-reduction "The most basic rule", but I'd call it the most important.

> denotes a copy of M in which every free occurrence of x has been replaced by N

...breaking it down...

> a copy of

Weird wording, but if you're used to mutability everywhere, and you want to do an immutable operation, then it makes sense to make a copy. But it's kind of like saying 4+3 'makes a copy of four which is three bigger'.

> every free occurrence

Paraphrasing, this says 'pay attention to variable scope'. If you start replacing every x within a scope, and you come across a new declaration of x inside that scope, you should ignore occurrences of that inner x, because it's a different variable (despite having the same name.)

> (λx.M)N ... M[N/x]

This one adds no clarity for me, despite being throughout the literature. Explaining that (λx.M)N is M[N/x] doesn't help a beginner, because you then immediately have to explain what M[N/x] is.
N.replace(x, M) would probably suit a modern audience.

Why bother with all this nonsense? The power-to-weight ratio. λ-calculus (including β-reduction) gives you all of computing. Compared to its contemporary Turing Machine (which was super important theoretically at the time), you can just bootstrap a new language off the lambda calculus.
So they are basically using Ajax calls to fetch/populate data asynchronously after loading? Or what did i miss here?
No, that is true. There are multiple interpretations here. I gave the most optimistic one!
This is a marvelous piece of analysis of the "current" traditional educational landscape. Seems like things only got worse over 40 years ...

Treating the problems of education indeed transcends the school and actually requires a great deal of political will and power. "Education" must guide politics and have power over it.

And such a deep change in perspective and "economics" is just not conceivable within the realms of the modern society as it is now. It requires a deep change in method and people. And the latter circles back to education, which makes it a hopeless loop ...

The only way to break it is to do "education" outside the realms of school, to target a "minority" (to be practical not to segregate), and to fight and work for a change that will make education central and at the top of society.

P.S: By Education, I don't merely mean instruction. It's a holistic and profound change in a human being ... that it aims to create
> It makes a simple thing (pair) complicated.

Well, yeah, but {x, y} is also a pair. How is (x, y) different? It's ordered, you say? All right, an ordering is a relation that's antisymmetric and so on, but in this case let's say we have a function that maps x to 0 and y to 1… But what is a function? Okay, a function is a type of relation, so let's define a relation first: a set of ordered pairs… oops.

The real problem with defining (x, y) = {{x}, {x, y}} is that elements of a set must also be elements of some universal set 𝓤, {x, y} ⊂ 𝓤, but as we know, there is infamously not such a thing as a "set of all things". Sets have to be typed. But in a pair, x and y can be of entirely different kinds of entities.
Not too au fait with FIDO2 details. How exactly would i help in this instance if the the user believes they are entering their details into a valid MS form? Is it that the attacker would only be able to log in once?
This can only possibly work if education in US is made cheaper. Otherwise it's just free money to US universities, that are already swimming in money
Instead of trusting or not trusting any map by default, try understanding how they're made, then you'll have a good idea what could go wrong with it.

OSM in particular doesn't use third party registries and surveys due to the licensing issues, relying on volunteer work instead, and has a participation-based culture (aka "if you want to have a map of something, make it yourself"). Armchair mappers are using satellite photos and publicly available info, while field volunteers map everything that cannot be seen from above. Both are important. Obviously your trails have to be visited by someone participating in the community for them to appear or be updated on the map. You could be the one, for example.

OSM is also highly chaotic like Wikipedia, and the quality heavily depends on the local community, so always research the situation in the area you intend to visit. For example there's a lot of unreliable poor quality machine work in Latin America in OSM, even in populated areas. No idea why Portuguese/Spanish-speaking communities are letting this fly.
Fun. I get your point, but I, on the other hand, can't happily commit to a service that is "free".

The real problem of Apple Maps is that outside of the US it's quite poor, so one is forced to use google maps quite frequently.
I use it a lot when I have to operate on files in a terminal but it feels limited, inflexible and stagnant. Lack of background operations support is particulrly annoying. In my oppinion they should have made it more customizable and extensible, e.g. through a Python or a Lisp plug-in API or something like that. I can even imagine it being more powerful than Total Commander is whle keeping similarly user-friendly. One cool thing about a GUI file manager are file type icons which indicate a file type concisely without the ugliness and ADHD-nightmare of painting each file name in a different colour (the way terminal-based file managers do) but this can probably be solved using Unicode emojis modern terminals mostly support.
Imho tree-view or 'single pane' style file managers are okay if you're just browsing. Open a file here or there, move something to elsewhere in the directory tree, etc.

For more serious work I always gravitate towards 2-pane file managers like TC (#1 favourite on Windows, which for me is back in the stone age).
How so? (I'm not a native speaker)
Show HN: Hiddenlogo.ai – Generate Unique, AI-Created Hidden Logos for Your Brand
Backstory:
I built this product after using the underlying tech to create posters for an event I attended at the beginning of the summer. It's great marketing and generated such a buzz that I though others could use it also. That led me to work on HiddenLogo.ai, a tool that uses AI to generate logos with hidden elements, making them highly unique and engaging.

What's Different:
It's like a magic eye poster but in reverse, difficult to see up close, easy to see far away.

How It Works:
Go to https://hiddenlogo.ai
Upload your existing logo.
Adjust it to black and white.
Choose your preferred style and mood.
Click "Generate."
In a few moments, you'll get a set of logos that have hidden elements woven into them, offering a unique twist to your brand's identity.

Previous HN Threads:
(None relevant at this time)

Try It Out:
For those interested in the premium features, we have an exclusive offer: 5 free logo generations when you sign up.

Feedback:
We'd love to hear your thoughts, especially on the user experience and the quality of the generated logos. Any technical insights or suggestions for improvement are also highly welcome.
If you don't have the courage to voice your opinions in person, you're just a coward that knows very well has socially unacceptable opinions :)
To cap it all off, I'll add some dynamism with cgi-bin magic.
With Organic Maps (and Osmand and mapy.cz) I am able to download entire Poland, Belgium, Czech Republic and Slovakia. This was useful in my recent trips and can download more if needed.

I definitely can not do this with Google Maps.
Adding to the barrage: did they happen to mention why they were reluctant to use one or more antivirals?
I am not interested in knots. Yet, I just spent 20 minutes watching these animations and being fascinated. Good work.
Yea but why do I need to use React for that?

Is it because these devs can only do React and nothing else, so we will shoehorn everything into it?

I mean, more power to them, if they want to do it and have 10x the complexity and take 10x longer than learning and using normal, already available tools.
Academia selects for conformism first closely followed by cognitive abilities ([paste link to paper here]). But who cares ?

I certainly don't I'm more interested in the groundbreaking implications of this thesis:

"Contribution to the characterization of three texture descriptors: crispness, crunchiness, and brittleness through acoustic and sensory approaches."

https://www.theses.fr/1992DIJOS040
htmx has been getting tons of attention recently
Web Directory of High-Quality Resources