skysight-inc/HackerNews huggingface dataset:
Obviously there's a lot more detail in all the prosecutions and investigations. Most, or all of it, should be publicly available if you really care to understand the problem.

Laws have been broken, and this is the justice system's reaction to that. This is not censorship. Brazil (and most of the world) don't subscribe to the idea that freedom of expression and freedom of press are unbound.
>And I can't open each card in a new tab.

Design flaw, sadly. Also very annoyed by this.
Well not really. China is not a player in cloud computing. All the established cloud providers are US companies - AWS, Azure, GCP, etc. Alibaba cloud is currently one of the top 5 providers but it's market share is heavily skewed by the chinese market and even then it's only single-digit.

Among the top 10 cloud provides, 7 are from the US and below the top 3 all other players are barely in the single-digit scale.
I would say when it comes to free will you have no choice but to believe in it.
Long time user of (and contributor to) Docusaurus. I use it to build my markdown powered tech blog. https://johnnyreilly.com/ It is very much a Goldilocks product for me ("just right") in that it has React support, Markdown support, TypeScript support and a good amount of customisation is possible (good underlying APIs). It also has a great community. Props to Sébastien Lorber for leading the project so well!
I've put together some tips for building Bubble Tea programs:

https://leg100.github.io/en/posts/building-bubbletea-program...
Generally agree, but I would argue that while first L in LLM is what it is, the final LM is just what it does: a large model is still a "large language model" when it has other components besides a transformer involved in how it processes language, while a pure transformer model stops being a language model the moment it's trained on anything besides language — images (other than sign language), DNA sequences, financial data, etc.
Is there any way HN can implement a 'paywall tag' to save wasted clicks?
There's a growing number of posts which feature paywalls, which can be a wasted click if you're not interested in subscribing to the media. Would it be hard to provide a paywall tag or something, so we can avoid these posts if we want?
See Roger Boisjoly, an engineer at Morton Thiokol who tried to blow the whistle on design flaws in the Space Shuttle's solid rocket boosters before the Challenger disaster:

https://en.wikipedia.org/wiki/Roger_Boisjoly

> Boisjoly sent a memo describing the problem to his managers, but was apparently ignored.[8] Following several further memos, a task force was convened to investigate the matter, but after a month Boisjoly realized that the task force had no power, no resources, and no management support. In late 1985, Boisjoly advised his managers that if the problem was not fixed, there was a distinct chance that a shuttle mission would end in disaster. No action was taken.

> After President Ronald Reagan ordered a presidential commission to review the disaster, Boisjoly was one of the witnesses called. He gave accounts of how and why he felt the O-rings had failed, and argued that the caucus called by Morton Thiokol managers, which resulted in a recommendation to launch, was an "unethical decision-making forum resulting from intense customer intimidation."

> According to Boisjoly, Thiokol unassigned him from space work, and he was ostracized by his colleagues and managers.
I personally find this information frightening... we are now in a world where management no longer even listens to its engineers or technical experts when they warn of serious dangers. Obviously everyone thinks of Boeing, and today it's “only” a train station, but imagine if the same culture developed in an industrial chemical plant or a nuclear power station?

Where do you go? What do you do? Unless you have an Engineer Association or an Union to back you up, you are doomed to be crushed by your upper management and beyond...
They probably mean the poem at the bottom here:

https://www.python.org/downloads/release/python-3120/

Under "And now for something completely different"
Seems to me like one of the highest and best uses of this right now would be adding verifiable builds to … literally anything. You no longer need a verifiable-build-capable compiler or language — you can just run the compile and packaging step through a deterministic QEMU session.

Does this sound right? I’m trying to figure out where uncontrollable randomness would come in during a compile phase, and coming up blank.
VMware had this many years ago; it was very cool:

http://stackframe.blogspot.com/2007/10/configuring-applicati...

http://www.replaydebugging.com/2008/08/vmware-workstation-65...
One of the frustrations is that there are two alternative options to domestic lockdown.

1. International Quarantines
2. Respirators

Both only need to apply until capitalism does its innovation thing and creates nasal vaccines or testing such that it’s possible to eliminate the virus

Offering a “your life will suck” or you suck down SARS2 and if you roll a double you get long covid, looks like less of an appealing choice when you can do 1 and/or 2 until the virus is contained
Our OpenSearch Just Died
I'm working on a minimalistic CMS that can be used even under DOS https://github.com/turboblack/HamsterCMS
Choice of appropriate notation can absolutely make one version of a formula "more perfect" than another. Maxwell's equations underwent a painstaking "evolutionary" process as vector notation improved.

Ditto for proofs; it's not hard to believe that Albert Einstein could prove a theorem from scratch and end up with a better argument than one found in a previous textbooks.

The fatal flaw in the article, rather, is exemplified by the quote

> With the advent of Einstein, mathematics ceased to be an exact science in the fashion of Euclid.

Which I am in complete disagreement with. Einstein exploited elegant, novel (at the time), anything but inexact mathematical tools for his theory. That the theory posits uncertainty and, well, relativity of real-world phenomena has no bearing on the exactitude of mathematics. If anyone ever put a dent in that, it should be Gödel :)
It's not about liking or not - it's about breaking the law. Hate speech is qualified in Brazilian criminal law. Nazism and anti-democratic aggitation are crimes, for instance.
(author) I wondered if I should even add the last section. My thinking was that if I didn't the discussion would centre on its omission, and if I did the discussion would centre on its inclusion. Catch-22.
Probably the nicest website i've ever seen for something like this! Oh, and the font is cool too...
Picked Make Decision App
Hi Everyone!
I developed the my new solution for making decisions for personal and social usage. Picked makes fun while you are deciding. If you add the your friends to chart, it sends notifications the results and of course you can save them in your profile. Also it has a feature as a piggy bank. You can see daily money you saved and also makes you motivated to stick to plan via image.
I am glad if you try and feedback.
IOS : https://apps.apple.com/tr/app/picked-make-decision/id6475396...
Android : https://play.google.com/store/apps/details?id=com.appoint.co...
Most likely just lies to drive traffic.
Unlock the Full Potential of YouTube Music with DumpMedia YouTube Music Converter

DumpMedia YouTube Music Converter is a robust application designed to download and convert YouTube Music content directly to your PC, offering unparalleled convenience and flexibility. It transcends the limitations of mobile apps, enabling all subscribers to access their favorite music offline.

Direct Download Capability: Download entire playlists, albums, and individual songs from YouTube Music to your computer.
Multi-format Conversion: Convert YouTube streaming music to MP3, WAV, FLAC, and M4A, ensuring compatibility with a wide range of devices and media players.
Preserved ID3 Tags: Automatically retains ID3 tags, including title, artist, album, and genre, for an organized and easily navigable music library.
Step-by-Step Usage Guide:

Download and Install: Visit the DumpMedia YouTube Music Converter homepage and install the application on your computer.
Launch the Application: Open the converter and navigate to the YouTube Music content you wish to download.
Select Download Option: Choose the format in which you want to download the music—MP3, WAV, FLAC, or M4A.
Convert and Organize: After downloading, the converter will retain the ID3 tags, keeping your music library organized.
Technical Specifications:

Operating System: Windows 7 or later on 64-bit (for Windows), Mac OS X 10.11 or higher (for Mac).
Processor: 1 GHz processor or above.
RAM: 1 GB or higher.
Supported Input Formats: Songs, Albums, Playlists, and Podcasts from YouTube Music.
Supported Output Formats: MP3, M4A, WAV, FLAC, AIFF.
Homepage: https://www.dumpmedia.com/youtube-music-converter/
> attempting to frame it as such is some weird American racism propaganda.

It was probably only the possibility of such a framing which made the article worth it to be written.
Cool! I guess this is more for those who want a closer feel to writing HTML and Ruby.
Two years is good for me. So long as my tenant isn't also laid off and the stock market doesn't crash as a result of this… or at least everyone gets UBI.
> At any rate, for some reason DisplayPort has just not caught on all that much. You very rarely see them on TVs, and a good number of mid-/lower-end monitors don't have them either.

I suspect all the nice features that make DisplayPort a better standard are harder to implement cheaply, eg chaining
It’s a very HN thing to say, but god, the world would be so much better if we kicked these parasites out and engineers ran the show.
Right. To. Repair.

Companies won't stop fighting it. We mustn't stop fighting for it.
They can't just say "hidden by user XYZ"?
Because all this shit is covered by patents and licensing, and a cutesy defense like "it's totally not HDMI, bro," would make the judge refer your counsel to disciplinary action because of how fucking frivolous it is.
Easier compared to what? From what I understand each project has to be submitted by a human, so you miss a lot of them. See your "speech synthesis" page [1] vs GitHub's [2].

[1]: https://www.aiexh.com/category/speech-synthesis

[2]: https://github.com/topics/speech-synthesis

From the submission form:

> Is it free to submit AI tools to aiexh.com?
> There are two submission methods. You can submit your AI product for free through the link on aiexh.com, or you can submit it using points in aiexh.com.

What are points?
Two Dots Too Many (2008)
That's a name i haven't heard in a long time... Window Maker was my first desktop interface when I started Linux. Though I can see in 20 years not much seems to have change, it is good to see it is not dead. It is quite a unique style.
I post titles like this that are entirely meaningless to anyone not already familiar with the subject matter.

Anyway, from the GitHub repo [0]:

> AKWF or Adventure Kid Waveforms is a collection of one cycle waveforms to be used within synthesizers or other kinds of sound generators. It is basically the smallest sound possible to sample and still get the overall feel of the sampled instrument.

[0] https://github.com/KristofferKarlAxelEkstrand/AKWF-FREE
His brother's a Baron. Of course this class fails upwards. Only the poor plebs will pay the price while those in power award each other CBEs and ignore warnings from the working class about impending disaster. See also the post office injustice and the Grenfell Tower fire.
Good engineers don't have the neccesariy personality traits to climb over corpses of others to get into upper management. So those who end up in upper management are always the worst sociopaths who only know how to play the politics game as their main goal is just climbing the ladder, not developing good products/services. Exceptions do exist (Jensen Huang, Lisa Su, etc) but that's why they are the exceptions.
Consider making the X icon on your comparison chart a blank.
Out of interest, what would the right resolution have been to reduce the risk of a crush due to overcrowding? Close the station entrance when at capacity?
Proving the Riemann hypothesis might also take longer than you live, and in fact may be impossible. So the Riemann hypothesis is not math?
> I immediately went over to the sink and kicked out the lady who was pretending to work. I then washed all the dishes and left.

OT, but I'm very jealous of people with this mindset and work ethic. I'm much too lazy to have done something like this, but have always looked up to people who see things this way.
Sqlite is at it's best in "pure client" situations where there is no server and there are no P2P things going on. Just the application, the user, and their data on their own drive with sqlite.
> I don't like how the default for the collection combinators is to be eager.
Isn't this solved by using Sequences instead?
Don't you also need ARC because of video post-processing that adds frames of latency? The TV needs to send audio back to the receiver otherwise video and audio will not be in sync anymore. Receivers/amplifiers can process audio with practically no latency so it makes sense for them to be at the end of the chain.
Raising safety issues is part of a senior engineer's duties (or any engineer, really).

Since railways through Europe are a state monopoly, it's not like there are tons of people in the industry that do not work for said 'client'. Who is supposed to pull the alarm in this case? No One? That's how you end up with Boeing-adjacent engineering.
Lol, there's even more classy things about him on there:

> During 2014, Hendy reportedly spent over £1,200 in taxpayer-provided money on lunches and dinners, including on one occasion more than £90 in alcohol.

And that despite a 650k salary - as if he couldn't afford to get wasted on his own. What a disgrace.
TypingMind introduces Artifacts for any AI model, not just Claude
AI model wrapper TypingMind has just introduced Artifacts for any AI model that supports plugins. It's super easy to use via the prompt box, and gives much more flexibility than just using Claude Artifacts.
yeah that's a good feedback, prompt adherence and character consistency is something we are working on actively at this point.
The MyAir (or e-Zone) app can already be accessed remotely. You install the app on your phone and pair it with your system by connecting to the same LAN. After the initial pairing it can be used from everywhere.
Mm, even so Tetris is one of my tests, and one of the models small enough to run locally on my machine… started off badly, then suddenly switched from "Tetris as a web app" to "train an ML model in python".

So I think it's a valid quick sanity test, like fizz-buzz for human devs.
nxs-backup v3.11.0 is out! It’s a tool that allows you to create backups, rotate them, and save them to local or external storage. In addition to file backups, various DBMSs, such as MySQL, PostgreSQL, MongoDB, and Redis, are supported. The project code is distributed under the Apache 2.0 license.

Backups can be stored locally and remotely (S3, FTP, SSH, SMB, NFS, WebDAV) using various libraries. Backups can be performed not only for a specified period of time, but also with consideration of maintaining a specific number of backups.
With the help of integration with monitoring, it is possible to obtain application metrics and work statuses in Prometheus format, for example: backup file size, correctness of backup collection, and backup collection time.

In the new version:
- Updated dependencies to actual versions;

-Added ability to limit resource consumption: CPU, disk write speed and write speed to remote storage;

- Added rotateEnabled feature to disable backup rotation;

- Added the ability to display the list of created backups and sort them;

- More flexible URL generation for accessing S3 storage.

- Added skipping of foreign directories when rotating backups

- More options for a flexible URL formation for accessing S3 storage.

We’re looking forward to improving our tool so we’d love to see any feedback, contributions, or report any issues you encounter!

Please join our chat in telegram: https://t.me/nxs_backup where you can discuss something about nxs-backup and ask any questions in the chat: https://t.me/nxs_backup_chat
Buy a mac. It comes with the OS. Otherwise, talk to Apple but they probably don't do direct sales of their OS. That might be inconvenient for you but that doesn't change the legal situation that you need a license to distribute binaries that belong to them.
Historically, major causes for non-determinism was embedded timestamps and unsorted file listings created by the build tools.

I have not followed the progress recently, but https://reproducible-builds.org/ is a starting point if you are interested.

There is a sane path forward for reproducibility on bare metal, no custom emulation is needed.
That's cool. I tried to use Dify and Coze to manage my LLM-flows. But these are too complicated for me. And had bugs.
My reading: AMD signed a contract with the HDMI Forum in order to get access to the HDMI specification and be allowed to create HDMI products (and use the HDMI trademark), which includes an NDA regarding the specification. An open-source driver would violate that NDA.
Yes, it's an important point that SQLite is not a project with an open contribution model. However, they do presumably accept external contributions in the form of bug reports, suggested patches, etc. etc.

You didn't have to dig through the repository to find the CoC. It was right there on the website at /codeofconduct.html: https://web.archive.org/web/20180315125217/https://www.sqlit...
It's still a perfectly valid choice.
I get the point you're trying to make here, and the sarcastic undertone, but I'd have issues living with myself if people died because of something that I was able to identify and that was preventable, and I did nothing.

The whole case strikes me as odd. Not only did the higher ups know about the problem, they also left a paper trail about keeping a lid on it and getting rid of the guy. This opens them up to a lot of scenarios, like:

- As demonstrated by this case, the information came out because of the wrongful termination

- If an accident had happened there's a fairly high chance that the investigators would uncover it, either because the engineer in question came forward or because they think they should have known about this, and cracks appear when they start asking questions.

An unspoken rule in a lot of fields is that you make sure that this kind of information never reaches the people that could be held liable for it. The people that are likely to be held responsible at least have to make it appear that they're not trying to suppress information like this. You quickly lose that ability if you actively try to get rid of people that tries to raise an issue. So they surround themselves with middle management that knows to not bring things up to them, without being explicitly told so.
Society depends on these kinds of people.
Am I correct to say the sacked engineer has a regular show on Youtube ?
https://www.youtube.com/@GarethDennisTV
Another cool project from Dr. Hipp is the fossil SCM, which SQLite is developed in, and one of it's features is that it ships with a web view similar to GitHub. The website is actually the web view of the repo. (Apologies for expressing that in a confusing way, I knew it was on the website, I was referring to the website as the repository.)
IIRC Kant was a huge influence on Einstein and arguably had an effect on his physics work.

https://philpapers.org/archive/PALTKG-5

Nowadays I doubt the average scientist has read the work of any single philosopher to that degree.
The first time I heard about Docusaurus was when someone mentioned on Hacker News that they had ruined their SEO:

https://news.ycombinator.com/item?id=34389421

I helped him in recovering from a Google SEO penalty, and he documented his journey on his blog:

https://johnnyreilly.com/how-we-fixed-my-seo

This might be helpful for those using Docusaurus, as some default settings, like pagination and tag pages, can generate thousands of non-helpful pages. These issues can be easily fixed with noindex tags and a sitemap/structure cleanup.

Overall, I think Docusaurus is great. It's clean, flexible, and the community is very responsive, so it's constantly improving at a fast pace
Run more trains so the station never reaches capacity. Or expand the station.
Tangential, on the "lo-fi" theme: Looking at old stuff, I like how typewritten documents with charts literally pencilled in have a certain not-quite-perfect, straight-from-the-lab feel to them. By contrast, anything produced using modern methods, be they TeX or Pages.app, looks so damn... finished, for want of a better word (and any imperfections become jarring, rather than charming). What’s a good way of getting that feel, without resorting to downright emulation of low-tech methods (monospaced or even pixel-based fonts, that xkcd graph look for matplotlib, ...)? (Edit: grammar)
If anything is based solely in color for interpretation, it is not accessible. And has no place in a classroom. In Europe 10% of males have problems with colors. I figure there must be similar in the US.
If a PDF doesn't support text extraction, it's the fault of the software that created it. Most likely the software didn't include the glyph → Unicode character mapping in the PDF.
Crikey! Nice setup. Feel like I'm more aligned with you on this one where I don't want to put my data in the hands of someone who can both use it and lose it... I've got my NAS in the office but might look into a setup for the whole family
I wonder if there are still overcrowding at that station, or if it really was fixed in 2023.

A bit of a Streisand effect going on here.