skysight-inc/HackerNews huggingface dataset:
> The point of interfaces is usually to hide underlying complexity. What's the point of interfaces that are just as complicated as their implementation?

This is a pivotal question and our answer to it exposes one of our basic assumptions. Interfaces do hide underlying complexity, but that is not all that they do. They define our interaction with abstractions, which not only hide complexity, but reduce it by "abstracting". So what we find in practice is that the interfaces are not as complicated as the code, because all they define is what the higher levels of abstraction need to know to interact abstractly with the lower levels.

> One of the things I personally like about Rust is that its rules are very simple and still capture 95% of all situations I find myself in. Adding the complexity of having to write your own formal specifications for the remaining 5% doesn't seem like it's worth the effort.

Well this is great. If you like Rust, there's nothing wrong with that. But many C programmers don't feel this way.

> Xr0 will also either 1) reject programs that are safe or 2) accept programs that are unsafe. An (computable) algorithm that decides for every C program whether it is safe or not is mathematically impossible. Start implementing loops and you'll quickly see why the idea of provable correctness without any restrictions is doomed to fail.

Insightful again! This is all true. Note, however, that we aren't claiming not to impose restrictions. We're claiming that the restrictions should concentrate at a different place than where they concentrate in Rust. They should orbit around the interfaces. Xr0 is certainly imposing restrictions there.

Moreover, we are in no way suggesting/claiming that we can deduce the safety of arbitrary C programs, which is the whole reason the annotations are required. We're claiming that we can help programmers who already understand why their code is safe express these reasons in relatively-simple annotations, and use these to verify their reasoning.

Edit: typo.
Let's demonetize Spotify.

Cancel our accounts and campaign to others to do the same.

I cancelled my Spotify account, and now I am using Tidal, which pays the artists a higher percent.
A brief history of keyboard encoding (2023)
Predicting political beliefs by cognitive performance and educational attainment
I use Tmux. It's a terminal-agnostic multiplexer. Gives you persistence and automation superpowers.

https://github.com/tmux/tmux/wiki
Was a ticket logged for the issue?
Music is just files, so just use any filesync service like iCloud, Google Drive, Keybase, OneDrive, DropBox etc.
Subscribed to Tidal for about a year until my patience ran out. It has to be one of the buggiest pieces of long living software ever. Pressing the next button would skip two songs ahead for playback and one song ahead UI wise, making the UI tell you the wrong song was playing. That's just one of a wall of bugs I struggled with while I stayed on that service.
Makes using them more enjoyable.
The NSA is downvoting me!
>What I mean is, the way I was taught maths and science in general was with a feeling of “look we basically know everything just learn this and you’ll be fine”.

That's pretty much how anything is taught in high school (and even most undergraduate programs). It's considered confusing to teach students that a lot of what we "know" is known to be incomplete and will change. I've kept some of my textbooks on immunology and other biomedical topics from the 1990s and parts of them are basically unrecognizable to what we are working on today. Sure, the basics haven't changed but the details certainly have.
https://gprivate.com/6ahva
It could have also done without the gratuitous and seemingly unnecessary X-Files tier ghost story, at which point there is nothing left of it.
Anything that supports more than one platform is cross-platform. The world doesn't revolve around Windows.
I don't know about other countries, but in Germany there is Privatinsolvenz which is a personal bankruptcy that would resolve this exact scenario.

Of course it would first be covered by mandatory insurance you have to have when driving a car (if you're not legally allowed to drive a car, well, you're on your own)
I've been using Gnome for years and am currently on Gnome 46. I hadn't noticed any difference in the terminal latency from Gnome 45. Like you, I think I just don't notice these things.
Therefore, Idiocracy was a science fiction film about how to talk to not be confused with an AI =)
Of course that's a quite rare case of a small nation with many neighbors with interested listeners, trying to get an artist to play there exclusively in order to drive concert tourism.
And I'm struggling to get users to read the freaking 4 pages of README.txt... (of which only one is really critical for installation) facepalm
> No, they’re ignoring the medical fact that “tell people to lose weight” has a basically zero percent success rate.

Lots of people aren't overweight, so apparently it works on a lot of people. Eat less is perfectly fine advice, it might not work for everyone but it works for everyone who can keep it. Some need additional help after hearing that advice to ensure they actually eat less, others are fine with just that.
Yeah for some bands, letting people listen to a sample of their music before paying the cover charge might work against them ;)
Thank you for bringing the topic back on track!

Your example is currying in a manual fashion, so two questions remain for me:

1. How would you tell the compiler to do it for you, as a function transformation?

2. How would you curry a function with 3+ arguments?
Though I think bitcoin Satoshi made a reasonable effort to keep anonymous.

It was probably cunning to use the name of a real person, the Satoshi Nakamoto who lived a few blocks from Finney as it would confuse any legal efforts to go after the bitcoin creator Satoshi.

I mean in court it would be saying I accuse you Joe Bloggs of being Satoshi Nakamoto and Joe Bloggs would be saying no it's the guy in LA who is actually called that.
It will be courts deciding, not a ministry of truth, like what Brazil is doing, which includes discovery, fact-finding, and lawyering from both sides.

Another approach I think would be good to roll out is to use Bluesky's stacked moderation for community notes. Open fact checking platform where people can subscribe to those they trust (can be more than one)

https://bsky.social/about/blog/03-12-2024-stackable-moderati...

---

The problem with allowing knowingly lying is that the damage is done in the first message and rarely is undone with retraction or fact checking. Threat of penalty will reduce how much this happens, and as another commenter pointed out, is in some circumstances

Knowing you are lying, and then telling those lies to influence others, ought to be criminal, at least civilly penalized
Always thought it was the author of the book, but I could be wrong.
My parter and I made a fun erotic story generator called Smitten (https://smittenstories.com ) during the valentine's day weekend. It's a simple nextjs app that utilizes Mixtral to create kinky/erotic short stories based on your inputs on characters/setting/action, and you can be as explicit as you want to be.

It started as me joking about how something like this would make a cool nerdy valentine gift, which then got both of us excited to work on it together. We posted on reddit during V day, and so far 170k+ stories generated! We haven't monetized it - so far it has been supported by small donation from a few users who use it regularly.
Finally, someone else who feels the same pain as I do.
Believe me you, I keep subscriptions of both Apple Music and Spotify. Apple Music for the better in general catalog and better syncing, Spotify for better discovery.
I plan on creating a tool that would allow me to download all the songs in my library so that I don't lose on them when Spotify or AM decide to remove it from their catalog.
Apple Music, at least, shows the track details but greys it out. Spotify simply shows an empty entry, which frustrates me even more.
The article seems a bit all over the place when it comes to moral clarity and reality alignment. I do agree with their premise though that widespread influence of basic beliefs shouldn't be done by AI systems that a few people can control. It's a bit naive to think this isn't done already. And also done manually by troll farms etc.

We do need to have better schools so that our children understand the deep interconnectedness of reality. This is the only defense against conspiracy theorists, MLMs, cults, etc.
Same. Anecdotally I discovered khruangbin on spotify and will be seeing their concert next tuesday.
Your blog post is from before Gnome 46 was released. It might be worth trying again to see if you see the improvements that the article describes.
My Recommendation Engine
We see more deaths to cancer because a lot of smokers or former smokers are reaching the late age.
Additional issues are general causes of death slowly shifting from cardiovascular to cancer.

One rise in preventable cancers is because some people do not take HPV vaccine anymore. That is mostly breast cancer.

Pancreatic cancer is potentially linked to diet, not exactly to adulterants, but the change is not big.

Testicular cancer and ovarian cancer rates are the probe for PFxx exposure. Again, not a big change... When the vaccination rates are accounted for.
Thyroid cancer too, but it's a rare one so noisy data. Breast cancer has the confounder of HPV so you get to look at a subset...

Liver cancer is too non-specific and rates are as usual.

PFxx cancer risk exists, but is very likely tiny lifetime, compared to diet, smoking or lack of exercise. Perhaps even stress but that's hard to track.
We're talking RR of edge like 1.05-1.1... unless it's industrial workers and kidney cancer. At most. And results are inconsistent.

Removing these is mostly based on precautionary principle at this point, and the fact it will take forever to fet rid of them.
And that they're developmental toxins. As in mess with children.
Why is this desirable?

Wouldn’t it be more desirable to pay artists for everything? The implied comparison is with the status quo, and both Spotify’s and your proposals frankly kinda suck
obviously. their goal is to be apple for supermicro.

(that was a bad interview. hard to watch it.)
Incident, incidents.
IME Cursive has been very jank. Debugging intermittently fails to trigger on my web projects across multiple machines. It has not been as positive experience as I've had with Racket's IDE (or LispWorks! I love LispWorks!)

The other issue with debugging is perhaps a "me problem", but it's not uncommon for me to have to re-discover where laziness is present in Clojure's ecosystem while debugging. I don't like laziness being implemented on core functions - I think they should be explicitly named alternate functions. Laziness everywhere + "super stable language" = forever annoying. I guess this is only an issue for others who seldom use Clojure as a hobby language - I'm sure people who use daily are able to cope better.
Show HN: Natural language search for real estate with lots of filters
I've been working on a project that lets you search for properties in London (UK, not Ontario) with a huge number of filters.

Property agents in England typically put very little effort into writing useful listings and the dominant search engine, Rightmove, has barely changed in 20 years. So you have to collate information from a lot of sources – and it takes a lot longer than it should – to find properties that satisfy your criteria.

Currently my search engine does a decent job of finding matching properties, but there are so many filters that there’s a big discoverability issue.

So I built this natural language interface as a first attempt at addressing the problem. You type in things like “2-bed garden flats over 800 sq ft with lots of storage, away from major roads, in safe areas with good primary schools, max price 850k, max 45 mins by tube to Buckingham Palace” and the tool will spit out properties that match your criteria.

There’s a lot more to do to make it truly usable: it doesn’t always understand what you’re searching for, it only supports a small subset of the main website’s filters and there’s plenty of work to do on the UI (e.g. making filters editable).

Most importantly the current incarnation doesn’t even address the discoverability issue. Currently I’m thinking this could work quite well as a back-and-forth conversation with a “virtual realtor” who guides you through the search a bit, but that’s TBD.

Anyway, let me know what you think! I’m especially curious as to how it stacks up vs. the information-dense UI on the main website: https://findmyarea.co.uk/
Here's a taste of things to come. Last year Google engaged in a little campaign against their proposed "fake news" law. It amounted to putting a small link on their home page. For that most grievous crime of "abuse of market power", these judges censored the company by ordering it to take it down or face totally arbitrary fines of about 200kUSD per hour.

https://www.bloomberg.com/news/articles/2023-05-02/brazil-ju...

https://archive.is/EdoqQ

Then the elected politicians rejected that law and these same judges rammed it down our throats anyway via "electoral court resolutions".
I was a bit surprised about the use of a FPGA directly connected to a 5V bus, but Infinion/Cypress describes their CY8C58LP as 'programmable system on a chip' (ARM M3 core, the usual set of interface subsystems and a few 'universal digital blocks' (like a mini FPGA). And yes, it is 5V tolerant. Looks interesting.

https://www.infineon.com/dgdl/Infineon-PSoC_5LP_CY8C58LP_Fam...
Show HN: Train Station Pianos
Hello HN! Last year I launched airportpianos.org, a site to catalog airport pianos. Since then, 39 pianos have been submitted. Several performance optimizations have been made to ensure the site is fast.

Now, I am working on trainstationpianos.org, a site to catalog train station pianos. We have 13 pianos catalogued since the site started a week ago.

If you know of any train station pianos, I would love to index them on the website so others can find them. The more precise the location -- to the platform, or region of the station -- the better.

Some notes: The site has no ads (I don't like ads, and fast pages are essential for low connectivity browsing, such as on a train in the countryside), and; The code is open source (https://github.com/capjamesg/train-station-pianos).
If you want it to "do the same things" you can still do that. Go run the same software from that time then.
>Your arguments veers close to the "for exposure" payment

While it does, note that paying or doing stuff free "for exposure" is exactly how many artists got big and huge hits were made, from payola to DJs (starting way earlier than Alan Freed with radio DJs, and going all the way to EDM DJs being paid to break a track), all the way to paying for artist ads or record shop placement, buying fake streams, followers, and views to appear more popular and drive exposure, or doing for free (or, often, paying for) the support spot on a bigger band's concert.
The JvN quote I remember is from Ulam. In this story, Ulam and vN are at seminar, watching a presentation where the speaker has put up a cloud of data points on a slide and has, with great hope, stated they fall on a line.

JvN leans over to Ulam and whispers, "well, at least they lie on a plane."
The music industry is the most vicious example of inequality.

While some artists are so big that governments compete to have you come to their country (and NOT to your neighbours), the vast majority has trouble even getting to play free gigs.
I assume you're sarcastic, but Spotify is spending hundreds of millions on Rogan alone (and many other podcasts on top of that), and I have yet to listen to a single podcast on Spotify. They're making you pay for branching out to other content than music. If I want podcasts I go to my podcast app(s).
My primary concern with establishing a company in Germany isn't the bureaucracy—it's the unreasonable exit tax. This tax feels like a trap because it's levied on the company's valuation, not its revenue, effectively anchoring businesses to Germany. I'm curious about the preferred destinations for entrepreneurs looking to avoid this issue. Do most opt for the Netherlands or Ireland, or is there another popular choice?
Avendus, top India venture advisor, seeks $300M for new PE fund
Well, substance is a way to domicile your company in a certain jurisdiction in a way that passes checks according to the rules of tax authorities of necessary countries. I saw people doing it in Madeira, in fact with German clients, and had German cops/tax officers fly to them to Madeira, check compliance, and agreeing that they conform - you need to do a certain minimum set of things like keep an office, papers, minimum number of employees etc. - there, and that will be enough.

As for your own tax residence, some countries offer shortened terms of annual stay to qualify, Cyprus offers 60-days scheme for example (that again comes with a certain set of rules to obey).

Simply put, there's a massive demand for the "i want to pay as little tax as legally possible on my IT business" thing, and many countries lined up to do it as conveniently as possible for people from all kind of places. Only country for which it doesn't work is good ol' USA, because of world-unique system of citizenship-based taxation.
I'm Dutch (Netherlands) and lived in Germany a while. I started companies in both. The Netherlands is ultra-quick and cheap. Germany not so much as per this thread.

The mythical "European state" where everything works the same does not exist.
I'm not a scholar in law, but I would want the law to prevent someone to take someone elses property/ product and distribute it without compensation in their commercial services. 1000 streams is 1000 uses of a song. If you do not reach 1001 you get zero compensation, and that is in principle stealing in my opinion, and should also be that under the law.
How did you use copilot given that tvOS uses Xcode?
A visualizer and analytics app for air traffic data: https://adsb.exposed/
Although it is based on another app, also made over a weekend: https://reversedns.space/

But then it took a few months before I managed to write README for it.
I created SynopsisMD (https://synopsismd.com) to make my partner's job in healthcare a bit easier. Every month, when she meets up with her colleagues, I hear them share their work struggles. That's what motivated me to help.
Its just a number game. You see say 15 patients per day, so maybe 3000 a year. Even if you have a tiny 1% chance of overlooking something, thats 30 cases a year, easily. In a career, that jumps to 1000 cases minimally.

Now a lot of folks come to doctors with very vague problems - ie 'chest pain' is probably the worst since it can be from nothing to killer (and it really often is). Also you need to keep constantly full mental model of all the other problems of patient (allergies, injuries, degenerative diseases of literally everything in the body), plus all their medication and how it interacts with those problems and whatever new treatment you are applying. Old folks are generally worst in sense that they are just breaking down altogether including their mind, so everything is potentially a problem, but then you sometimes have very little time to decide.

Its just not possible to not make mistakes, and its only matter of time before they become fatal. But doctors will never admit this to strangers, even close ones they often keep avoiding this topic. I grok them - idealists who want to save lives, but reality ain't some MSF hospital in middle of warzone where you save 50 lives a day and people celebrate you like a national hero, its small churning of all above, tons of bureaucracy and regulations and various financial pressures, so they do their best just like rest of us, and like rest of us mistakes (even if just misunderstandings with bad consequences) do happen.
Finished? Haven't managed that yet
What CEOs who made the move to 4 day work weeks have to say
Next should be the advice to not take comments of that form as "absolutist" but understand them to mean as "in general"...
Founded companie(s) to in NL and DE. It's not so much that there is a notary step, it's just that the DE notary is slow, expensive etc. In NL it takes 30 minutes at a notary (or online) and typically EUR 125 or so. Done.
How engineers at Digital Equipment Corp. saved Ethernet
Wow, that is a weird attempt at humor. I think?
In the 1980s I got a lot of mileage out of the open source OPS5 expert system tool, porting it to my Xerox 1108 and eventually to the product ExperOPS5, and used it in house for prototyping.

My one weekend project: while my wife was out of town with the kids for a weekend, I manually converted about 4500 lines of Common Lisp code to MIT Scheme, and it worked after a few hours of debugging.

Another weekend project: I used my company’s time sharing system to write a very simple Chess program in FORTRAN in one weekend. It didn’t quite play a legal game, no en passant capture. Several months later when I purchased serial number 71 Apple II, I ported the code to Apple Basic, which only took a few hours. Apple distributed that little hack with their Apple II demo program cassette tape.
If you knowingly lie and get sued then a judge will decide if you're guilty of anything, which is very different than having the government decide beforehand what you can and what you can't say.
Agile in the Age of AI
> They do that by setting different bash history files for each tab etc.

I wonder what happens when you close all the tabs, and then open a new one. Are all the tabs history merged back into a "general" history file when you close them, so you will get access to its commands in new ones?
> I'm comparing this mostly to the UK, which is not a third world country.

I'm not so sure at this point. Comparing ourselves to the UK would be sad tbh.

Yes the 49€ ticket is a nice achievement. But again, it's not about having a perfect transport system. It's having one that is representative to our position in the world, our wealth etc. Buses are something of a gamble. Trains are notoriously unreliable. The same goes for a lot of regional/local providers. That's basic. Things like nice seatings, luxuries, food etc. would make it perfect. But you need to cover the basics first.
Sure, but that statement, while true, does not make Chromium one of 'the most popular web browsers.'
Sorry if this is a dumb question, but if neurons are clustered together like humans do, what's in the spaces where there are no neurons, the not populated area? Is it fat or maybe water?
Because these god forsaken strings are how you do everything in Clojure CLI. When you start a new project, you write them by hand. You flip and fiddle with plain text flags and weird nested hash tables to change tool behavior, and you have to remember so many little stupid things. It makes actually doing stuff feel horrible. There should have been a high bar for supplanting Leiningen and this should not have cleared it.
>the idea of a multi billion dollar company deciding unilaterally to steal a few cents from you

So, like all the rest of them?
Fries as a stimulant delivery mechanism? Sign me up.
PC-BSD is long dead.

It's much simpler than you represent.

There are only 4 real trees here:

* FreeBSD

* NetBSD

* OpenBSD

* Dragonfly BSD

In very approximate order, and I suspect that there are (wild approximation) half as many users for each step down the list.

One estimate I've seen is that there are ~7K users of openBSD, in total, worldwide.

There are a few distros of FreeBSD. None of the others have distros, AFAIK. PC-BSD was a FreeBSD distro. iXsystems acquired it, turned it into TrueOS, and then killed it 4Y ago.

https://www.truenas.com/trueos-discontinuation/
New 3D printer can print with unknown material
Germany has laws and traditions around marriage.

If one doesn't respect German laws, best to go to a country which works differently and stay there.