skysight-inc/HackerNews huggingface dataset:
They're not privacy holes by design, but they're not privacy friendly by design either.

When these things were designed, privacy wasn't really a concern and wasn't really thought about in the way it is now. The assumptions were very different, it was assumed that only large and trusted companies could get on SS7 and those would play by the rules, or else face the wrath of the government. Now, a small carrier in a third-world country that routinely violates human rights can get that access.
I have no experience in this area, but when I last looked Lean and mm0 were the interesting theorem proving systems to me. Lean for its momentum and big projects, and mm0 for its goal of producing a minimal kernel proven down to machine code.

Practal seems interesting and I scanned through the paper a year or two ago, but I have no reference point to evaluate it. I'm glad to see that you're still publishing about it.

How would you compare Practal with Lean, and what do you hope to prove (ha) with the project?
As per this tweet[0], the 2nd edition was finished on April 20th, 2024. There's a GitHub repo[1], and there have been a few HN discussions over the years[2] (dating back to 2014 (book was released in 2012)), but none that had discussion above ~30 comments.

[0]: https://twitter.com/shiffman/status/1781689870466916655

[1]: https://github.com/nature-of-code/noc-book-2

[2]: https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
https://kindxiaoming.github.io/pykan/intro.html

At the end of this example, they recover the symbolic formula that generated their training set: exp(x₂² + sin(3.14x₁)).

It's like a computation graph with a library of "activation functions" that is optimised, and then pruned. You can recover good symbolic formulas from the pruned graph.

Maybe not meaningful for MNIST.
Designer here. I have lots of things I can point out for Figma to address or change, but the reason I have these off the top of my head is:

- out of all tools, I picked Figma as clearly the best for UI design

- I've used it enough that I run into multiple edge cases and limitations

- it's my job to identify such limitations and document how they might be addressed by changing the product.

Addressing the root comment, Figma is a design tool with basic prototyping offered, it's not not a prototyping or web publishing tool. It's why it's not judged as a Frontosge (or rather 25 years later, Webflow) alternative.
Was this when they taught life skills in high schools instead of an endless treadmill of standardized test prep?
Yea, the question really is will the OSS tool survive long enough to have the UX fixed. In Blender's case, yes, but that's not been true for many other OSS projects. Just look at how many dead electron projects are floating around the internet.

Arguably it's more important to create software that solves a problem first so there is an incentive for people to keep using it. But the less people use it, the longer it will take for the UX to improve organically (see Blender and Inkscape).
Calling any of those "wars" is a stretch when casualties were mostly in the single digits.
AWS will always do the right thing...After they have tried everything else? :-)
What are you talking about? ChatGPT-3 came out less than 4 years ago. Stable diffusion's first version around that too. In less than 4 years we went from nothing to making janky but believable video clips. This is not fast enough for you?
Lots of things are just Android devices. This allows their manufacturers to easily hire people who is comfortable developing on a known platform, and also repurpose very cheap obsolete hardware that couldn't run a modern phone but would still be usable for a stripped down OS that runs only one app. And of course by being hard+soft solutions they can charge a lot more compared to a simple "normal" app.
All good from a business POV, but most of those devices are tight closed with locked bootloaders and other protections against repurposing, which turns them into e-waste once their services are terminated. Pollution issues aside, an old board that runs only Android 4.x is pretty much unusable for everything interesting, while being able to unlock the same board and install Armbian, DietPI or similar OS, turns it into a completely different device.
Designers I’ve worked with love it. But they complain about it all the time.
Like the US, Japan's debt is almost entirely to itself, they can print money to get rid of it.

Of course, this won't do the already weak yen any favors.
Systems isn't blocking the shutdown. Systems is being blocked by a service. Since you are saying that you can't track down the exact service, you must be using a container runtime like docker or LXC which is not transmitting the kill signal properly to the container to shut it down. The container itself then keeps running for whatever reason. This entirely depends on your particular setup and has very little to do with systemd.
I read an article that pointed out that LLMs literally have a one-dimensional window onto the world. Everything is just a sequence of tokens.

Maybe this sort of multi more fiction takes their view into 1.1 dimensions? In any gas, there us s real argument for expanding that window, somehow, into two or more dimensions.
This is cool, man. Well done. I like this! This will be my go to movie search engine when I have a craving to see a particular flic
Not a stupid question in my opinion.

The problem is that once you have the vectors representing the answers you need something like another model that goes back to a word representation of said answers. Something like a diffusion model but for text. Additionally, the function that this diffusion model will approximate won't be injective, but at best surjective and at worst not even a function (in the mathematical meaning) since many textual represantions are possible given an embedding, and most of those won't be valid (not grammatically valid, no sense sentences, ...).

Finally remember that the embeddings are a "lossy" representation of some datum and so the inverse function will lose a lot of the nuances/context/... .

LLMs avoid the problems above by predicting the next (now next n tokens) in a way that is self consistent with the query and the previous n tokens, so the function they approximate should be mostly surjective.
We allow uploads with pre-singed URLs at my work too. We added a few more constraints. First, we only allow clients to upload files with extensions that are reasonable for our apps. Files uploaded to S3 are quarantined with tags until we validate the binary contents appears to match the signature for a given extension/mime-type with a Lambda. Second, we use ClamAV to scan the uploaded files. Once these checks have completed, we generate a thumbnail with a Lambda and then make the file available to users.

I’m honestly surprise this isn’t a value-added capability offered by AWS S3 because it’s such a common need and undifferentiated work.
Understanding Open Podcast Prefix Project (OP3) with John Spurlock
What does it mean to have a native ai assistant? Is it like Siri on my iPhone while Google assistant would count as non-native?
For those who know speculative decoding: This is basically self-speculative decoding. It still auto-regressively feeds the predicted label sequence through the network again, and only keeps the prediction up to the point where it matches. So it will not get worse in performance but only faster (here up to 3 times, which is normal for speculative decoding).

Due to the multi-task training, it will however also get better. (This idea is already quite old, to predict multiple targets into the future as an auxiliary loss.)

Nice work.
This is how I see things also. Clojure is extremely practical and naturally attracts people that want to ship products.

The "Figma OSS Alternative" post that's also on the HN homepage right now doesn't mention Clojure anywhere (no comments about it either!), but Penpot is clearly also yet another app successfully shipped using Clojure: https://github.com/penpot/penpot
How is the UX with Stremio? Would it pass the "wife test"?

Like, does it buffer and cut out constantly, or require fiddling with settings all the time, or does it Just Work(TM)?
Been a number of examples of cryptobros funding unrelated projects for the positive PR. Is there a word for it yet? 'FOSSwashing'?
They'll do the right thing after the issue blows up on HN/Twitter and makes them look bad, but no sooner.
The main dev of Lean no longer works at MS. So currently there are basically no ties to MS. Lean is developed by the Lean FRO, which aims at being selfsustainable in ~4 yrs from now.
Take it up with the US historians that call these wars.

Red Cloud's War consisted mostly of constant small-scale Indian raids and attacks on the soldiers and civilians at the three forts in the Powder River country, wearing down those garrisons.

The largest action of the war, the Fetterman Fight (with 81 men killed on the U.S. side), was the worst military defeat suffered by the U.S. on the Great Plains until the Battle of the Little Bighorn in the Crow Indian reservation ten years later.
You just reflexively replied with what you have been programmed to believe about mind-altering substances (aside from those exempted by the authorities). The use of "drug crisis" in reply to the substances mentioned is a clear indication of your prejudice and ignorance, given that MDMA has already been given breakthrough status by the FDA as a treatment for PTSD, psilocybin for major depression, and being studied for it's powerful anti-addictive effects, same as LSD (which had great results with curing alcoholism *in one session* when it was initially being studied in the 50s and 60s).

This entire thread is full of people who seemingly feel compelled to comment on things they are completely ignorant about, which one would hope to see less of on HN.
My idea was even simpler tbh, I'd make a bunch of m3u files, and rename them with a SHA1 hash. Then just put the hash value in RFID tags. Yes, it's not as remotely extendable, but then again, I've like 5 or 6 offline-only playlists that I keep playing on repeat according to my mood, so I'd be fine haha

Maybe throw in album hashes or something. Extremely minimal, and everything inside the box. There won't be any Wi-Fi connections at all. Of course, this does limit some things, but eh. Maybe I'll add a WebUI for controlling volume and such, but that would be it, I guess :D
Galaga, Pac-Man and Donkey Kong Arcade Emulator for the ESP32
Is there a video of Will Smith eating spaghetti with this model?
Show HN: Generate Custom Landing Pages for Every Lead Using AI
I've just finished building GenPage.ai

The problem: Every cold email sounds the same. Scripted. Not-personal. Lazy.

Your emails are getting deleted because you’re doing what everyone else is doing.

What if you could send emails that included a custom landing page for the lead?

GenPage allows you to do that. Design a template, and then generate thousands of versions
True, but on the other hand, it would only take one headline about people losing their lives while trying to drive off a bridge about to collapse at 20 kph to spark public outrage. We tend to be less sensitive to tragedies that occur due to an individual’s own bad decisions.
Seems about right! Do you even love a tool if you don’t complain about it?
It exists so that you are motivated to create, this makes people less motivated to create. Because, they put in work, you take it for free, repackage it and benefit from it.

It is exactly what copyright is for.
Biomass gets its carbon from the atmosphere. Fossil carbon is the problem.
Humans can learn, but you can not plagiarize other humans work.
It’s way more fun to set a huge pile of VC money on fire.
I know how to do that in theory (I've worked with Shamir secret sharing on elliptic curves before) but you don't have the option to do that in LUKS, so in practice you can't use it.
> Just one example: https://github.com/systemd/systemd/issues/6237#issuecomment-...

1. He gave a clear reason why it is how it is
2. He realizes it is/might be frustrating
3. even `adduser` will not allow it by default
4. The issue that it still runs the unit even with config errors has been addressed: https://github.com/systemd/systemd/commit/bb28e68477a3a39796... (~2 weeks after the issue was opened)
Developers often need to be challenged to find a solution to a problem that on first glance seems infeasible. The first instinct of developers is not always correct, what appears to be difficult may turn out to be easy. Of course some things do turn out to be legitimately hard but when developers design things they put too much trust in their instincts.

Developers sometimes also need to be forced to accept complexity that they don’t personally see the point of. For example animations and transitions may appear pointless to developers as they don’t have any function: no APIs are called. However for users, especially non-technical users, animations can be very useful to show the flow of how various UI modes are connected, and to communicate subliminally as many users don’t read text prompts.

If you let developers call the shots then they will choose whatever UI makes the code as simple as possible, because they spend more time looking at code than the actual product, in contrast to users who never see the code at all.
"we need to teach people"
"people in the US need to learn"

Maybe you should volunteer to teach them, you make it sound so easy.

Meanwhile, try to inform yourself about the effects and usefulness of the above substances.
Reminds me of monkey linux back then in the 90s that allows Linux to be used on a MS-DOS partition.
At the end of the day, this looks like it’s still unwanted marketing spam. Once folks find out, this is AI generated, it will become even less enticing.
Doesn't ever profession complain about the tools they use?
> However, the way to get convenience is not via regulation.

It is, because no company is ever going to give you the convenience you want at their own expense ;)
In actual business processes there are lots of ML problems with fewer than 100 input dimensions. But for most of them decision trees are still competitive with neural networks or even outperform them.
Of course not, the drugs to escape reality are available for free (or nearly free) and en masse, because they are useful as a means of control.
There is also Swallow, which is a Mistral fine tune.

https://tokyotech-llm.github.io/swallow-mistral

Edit: oops, this is the same team! Glad they are publishing more about it.
This topic is quite relevant considering the recent discussion with 500+ comments:

Apple users are being locked out of their Apple IDs with no explanation - https://news.ycombinator.com/item?id=40177617

Casey's 10 most important ideas from the legal concept of Due Process that programmers would do well to integrate into their platforms:

1. Taking Adverse Action requires the provider give advance notice and grounds.
"Void for vagueness" / "Rule of lenity"
2. The right to a hearing in front of an unbiased tribunal.
3. Public attendance.
4. Counsel.
5. Opportunity to present arguments and evidence in your favor.
6. Expert witnesses.
7. Public presentation of all evidence.
8. The decision can only be made using the presented evidence.
9. A clearly articulated decision statement must including citations to important details.
10. A complete public record.

Just the top five of these would be a boon for trust in the technology platforms we increasingly build our lives on.
I think something like when a variable type in an enum was an interface it would destroy the galaxy or something, not 100% sure, would have to look it up... 1 sec.

Here you Go: https://go.dev/doc/faq#variant_types
This is beautiful. I saw the note the author did it to learn some tech skills -- kudos both for that kind of project and for sharing it.

I have a single suggestion: _Centering._

Text is not vertically centered in buttons, nor against checkboxes or radio buttons, nor the window title bar (I think?) or tabs or... In each, it's a couple of pixels too high. Similarly the +/- symbols aren't centered in the treeview squares. This is _not_ easy to solve: https://tonsky.me/blog/centering/ but would move the stylesheet to being a truly impressive mimic of Windows 7.
My experience of OSM smartphone apps is that while they do cache map tiles, they also update stale data within a timescale of hours.
are you implying that the comment above praising Mint is LLM-generated?
How do you get you data? Are you using APIs?
Show HN: Galactic News (OSS Hacker News)
Tbh I love hacker news, but I just wanted to freshen up the design.

Build on top of the hacker news api.
> Fossil carbon is the problem.

Greenhouse gases are merely one of the significant changes we cause to our environment.

The issue with biomass is the huge land surface it requires to produce the necessary fuel.
That makes Unicode a failure then
But from what I see it is closed and proprietary?
Which “system”?
While the rest of what you said is true, perpetual calendars require setting for the year 2100, still a while to go though!
Anyone can sue or complain about anyone else. It doesn't mean that they will get anything out of it. In this particular case, I'm seeing many people who support their message speaking against what they did.
It deeply integration with inAPP, and have native Functions and Backend APIs. It can perform InApp UI/UX workflows based on user query.
A lot of AI assistants are just chatbots which are working in completely isolated thread.
Not really useful to give up the fight in the infancy of something with as much surface area as generative AI.

Is being used to create spam is not the same as needs to be spam, and we mostly just need platforms that leverage generative AI natively to bridge the gap.
In some countries, peat is considered biomass. It’s probably worse than coal in terms of per unit damage, but generally it’s burned in far lower quantities.
This is interesting - I hadn't noticed this, but my Chinese (Xiaomi) phone indeed has an IMEI starting with 86, which is China's dialling code. Perhaps a coincidence.

The ICCID starts 8944 - not sure of the significance of the 89, but 44 is the UK, where my SIM card (and me) comes from.
Yes, this is debating state management. For full declarativity some form of state management for the parts of the system that should be under declarative control (like terraform) or a stateless but very holistic view of the system (like NixOS, I guess also Guix System) are needed.

Given that ansible has neither it can't be much better then what it is. I disagree that that is the right choice though. As it is I see not much more value in ansible than in some sort of SSH over xargs contraption combined with a list of servers. The guarantees they give are the same.

> Do you know every package that should be installed because it comes out of the box in the distro? Do you want to [...]?

No, I don't want to. Thankfully, with NixOS I don't need to, since the pre-installed packages are automatically part of the declared state of my NixOS systems (i.e. I declare the wanted state in the same way in which the defaults are also declared, which makes it easy to merge both).
Show HN: Join Doughjo and Master the Art of Sourdough Baking
Dear sourdough enthusiasts ,

I've been working on an idea for a simple, fun, and creative community, website, and app for everyone who loves baking with sourdough. For now, I'm calling it Doughjo (https://doughjo.xyz).

My own sourdough journey began back in February, and as a beginner, I've found it can be difficult, almost overwhelming, to get started. I've been missing a place where I could easily access recipes, methods, and processes, follow other skilled sourdough bakers for inspiration. Where I am today is based on a mix of browsing through many different websites for recipes, YouTube videos, Instagram posts, Reddit groups... Even TikTok videos. And of course, different groups on Facebook.

With Doughjo, you can, among other things:

• Follow other sourdough enthusiasts and aficionados

• Start your sourdough journey with beginner guides

• Save and share recipes, pictures, and videos

• Access plenty of recipes and save your favorites

• Get your own sourdough mentor/baking buddy to help you

• Become an even better sourdough baker

If you think you'd like to be a part of Doughjo, hop over to https://doughjo.xyz and sign up for the waitlist.

If there's enough interest in the idea, I'll continue building it. If not, then I'll have to shelve it.

If you have feedback and ideas, I'd love to hear from you.

Have a great week and enjoy your baking.

Dan
Analogy: this is like editing Wikipedia articles to add fictional data, because you play a game that consumes that Wikipedia data and the fiction benefits you in the game.

Wikipedia calls this "Vandalism", and it's definitely true that the downside in general far outweighs the benefit to the person making the map edit. Externalities and mis-aligned incentives.
sup/tg/ might go back that far, just for /tg/
> And yet, artificial neural networks ARE an approximation of how biological neurons work

For a non-vapid/non-vacuous definition of 'approximation' this is not true at all. It is well understood that (i) back-propagation is biologically infeasible in the brain (ii) output 'voltage' is a transformed weighted average of the input 'voltage' -- is not how neurons operate. (ii) is in the 'not even wrong' category.

Neurons operate in terms of spikes and frequency and quiescence of spiking. If you are interested any undergrad text in neurobiology will help correct the wrong notions.
The margins and paddings remove a lot of the screen density you get with the real Hacker News. Even on my phone, I personally prefer more density and less space.
Depends what you mean by 'enums' exactly, but now that generics has been added, a small change would be to allow interfaces defined via type disjunction to be used as concrete types:

type Option1 struct { ... }
type Option2 struct { ... }
type MyEnum interface { Option1 | Option2 }

var myValue MyEnum // currently not legal Go

That doesn't solve all the use cases for enums / sum types, but it would be useful.
This makes me wonder what you could achieve if instead of iteratively growing the grid, or worrying about pruning or regularization, you governed network topology with some sort of evolutionary algorithm.
I prefer to buy second hand iPhones for my family, and usually use Amazon. But the last couple of iPhones haven't been able to connect to the cellular network at all.

Digging into it, it seems they've been IMEI blocked – i.e. reported stolen. Sending them back to Amazon is always such a pain because it means a visit to the post office.
Front-office jobs will be kept local, but expensive / labour intensive backoffices will be moved to cheaper places.

Right now Eastern Europe due to bilingualism is a Hub for this: Poland, Czechia, Romania, Albania.

India will become appealing when most European business jargons will be english first. Already happens in Software dev, Marketing, Product design, even Legal / compliance, etc...
It’s almost as bad as the number of HN commenters posting negatively about crypto without bothering to check if the criticism is accurate.

https://zcash.readthedocs.io/en/latest/rtd_pages/tor.html
That's interesting, because to hit all those points I'd prefer Haskell! I've never found another language where it's so easy to jump into an unfamiliar codebase, or to come back to code I wrote years ago and get started again immediately. By contrast, I don't think I could read idiomatic Java without requiring an IDE to help me navigate.