skysight-inc/HackerNews huggingface dataset:
But it doesn’t work reliably. If you change the configuration options, you have to clear the cache. The cache contents are not reliably shareable between multiple projects or different versions of autotools.
Can't wait for Gran Reserva Marmite VSOP Bourbon Barrel Aged
I'm with you. I think PM2 is half-baked software. It tries to do too much and none of them well. It has two source-of-truths, the dump file and the ecosystem files. It doesn't have a way to stagger restarts.

For small projects, there is now a way to run docker containers or pods (through podman) via systemd units, so if you are using a systemd enabled distro, then that may be a better alternative than pm2, especially if you already have proficiency in docker and kubernetes.
I'm not sure what you think I didn't get - or what new questions appeared over your head. It's quite simple. You said 3 things:

1) You answered to the parent that whether "term may not map cleanly to a single OOP class" doesn't matter, because "it will map to either entities or functions".

My answer was that it might not map to those either, but still be useful to talk about the software, and good to be shared by the developers and other shareholders like UX and sales.

2) That "An argument against documenting it on the entities and functions would be that this would spread the information across the repository", and having a single markdown file gives better overview.

I agreed, and even expounded on that: "it would be a bad idea to have the developers (and especially non developrs) hunt them around (even if it's just a grep away). As you say, the overview is important."

3) That "these kinds of methodologies enable development with high turnover in large enterprise, which treat developers more like cogs that temporarily work on a given software. And if it's just a comment on a file, it'll likely not even be seen"

And I retorted that even smaller teams - meaning teams that don't are anything like the above, including not having high turnover, can benefit from this. Even without any turnover, people forget. So when getting back to further develop or debug or refactor, etc, some piece software it's good to have documentation of key types, concepts, and terminology, from when you originally wrote it.
I think most people familiar with the original Xbox hw (like people working on xemu :)) take offense when you say it's just a PC. It's PC hardware, but nothing much is shared with the "IBM PC" architecture-wise. Even the software side is very different. It's not running a customized version of Windows, but the Windows kernel. One stripped down to 256kb, including the boot up animation and sound. That design for example required that a lot of things get linked into a game's executable, like network drivers and the entire TCP/IP stack.

If it were that easy, we'd have had a wine pendant for Xbox binaries 20 years ago. Cxbx is pretty much the wine approach to Xbox emulation and it's far from perfect.
And after we implement that we can start arresting people for precrime!
Representation theory should do it:

https://en.wikipedia.org/wiki/Representation_theory_of_finit...
Waking from the Dream of Total Knowledge
This suggests their target customer are the Stripe whales spending more than $3000 a month on fees.

It's pricing genius to avoid the small, expensive to service, unprofitable customers (let Stripe lose money on those), and then they cherry pick the good customers once that have already scaled up at Stripe
Fly.io also seems to be missing. Great for Elixir and Rails. Pretty great Heroku replacement
> Apple would very likely counter by picking a nit about the distinction between ROMs (object code) and source code, though.

There are iOS apps in the App Store allowing you to run unmodified Linux i386 binaries, so I think that ship has sailed.

Of course Apple is only very weakly guided by precedent in their application review policies, as far as I can tell, so I don't think anybody can predict what they'll do in this case.
A square wave would take an infinite number of sinusoidal waves to perfectly reconstruct. To approximate it, one truncates the coefficients. This is done in any engineering application where memory isn't infinite. Which is all of them.
> aka for the rest of the world not using swiftUI

Fun fact: Apple doesn't let us use CAFilter in SwiftUI. It's a "them" privilege, and if we want it we need to do it ourselves*, just like you

* or obfuscate the code and continue in the great game of cat and mouse: https://github.com/aheze/VariableBlurView/blob/main/Sources/...
With centralized IT there was a chance that technical support could be managed. If services are outsourced nobody really understnads the big pircture or what is going on.
The world needs room temperature superconductors, yet here we are.
I see you used the word 'when' instead of 'if'. Are you from the future? How do you know this?
Show HN: Flash Notes – Flashcards for Your Notes, LLM, iOS/macOS Sync
The app started as my wishful thinking that flashcards should really be derived from notes. I've been constantly writing things down and wishing to remember them. However, I never could convince myself to populate a flashcard app with them. I really tried (Anki, Supermemo), but I guess regular form filling is not for me.

So I've started experimenting with flashcards derived from structured notes. Writing the 1st MVP was fast, but productionising it was way harder. Content synchronisation when the user can work from tube/plane and use multiple devices and content is text is… not trivial. So I had to learn about OT (Operational Transformation) and CRDT (Conflict-Free Replicated Data Type), and even implemented a few iterations of CRDT in Swift. This was intellectually rewarding, but the app was not progressing. Also, when you have both app data model and CRDT in your head, you start to over-optimize - you are leaking abstractions. Thankfully, the CRDT market nowadays is pretty mature; Automerge is production-ready, and automerge-swift comes with a nice abstraction. I strongly believe offline-first apps are the future/now.

ChatGPT happened, and it felt like a perfect match for the app, as it's already text-focused. First, it was just to provide prompts for the cards, but when you turn the problem around, you realise that LLM is great for predicting other flashcards in the context of your note. So instead of downloading a premade flashcard deck, you start a new note, give it a title, and click generate. I still find it weird to watch but also mesmerising.

Other features that I think are valuable:
App data sits within your iCloud account until you use Generative AI (LLM). Hopefully, we will get an API from Apple soon.

The Spaced Repetition that I've implemented is not really spaced. I wanted the app to adapt to the user. So it's focusing on sorting the card deck based on your recall and lets you practise as much as you want. I found this approach to work way better for me.

Oh, it's multilingual with text-to-speech.

Here we are; the 1st production-ready "MVP" is live. I'd love to hear your feedback.
That is definitely not the bar for drugs, or most drugs would not be allowed to be sold.

The FDA requires that drugs provably and consistently have an effect, and that side effects are generally well known and not excessively bad so as to outweigh the benefits.

Drugs without known side effects are the worst in the eyes of the FDA (except those with no redeeming properties whatsoever anyway), because it doesn’t allow for manageable prescribing.

If they were proven to be safe, they wouldn’t require a prescription and would be sold over the counter. Though even that bar isn’t really required, or St. John’s Wort, Tylenol, etc. wouldn’t be allowed to be sold.
The main problem / drawback of LLM’s is their propensity to hallucinate (or lie, said plainly) and thus is a significant issue even for ChatGPT 4.

Intuitively, just because you put your LLM into a workflow/pipeline this doesn’t really address how to eliminate hallucinations.

For those of us that don’t follow the research closely, can you explain how your findings and approach allows you to utilise LLMS and work around this hard limitation. Said another way, how are you getting around the fact that LLMs themselves regularly output lies/false answers?
A fourier transform basically gives you an infinite number of sine waves with different amplitudes/phases at every frequency. If you add them all back together (the inverse fourier transform), you get back your original signal. Audio compression in this case would just be excluding the sine waves that are too high frequency too hear when you add them all back. I always hate how people try to make the fourier transform sound more complex than it actually is (and yes there is more nuance to compression than this, but this is just the basic idea).
> Computers aren't really giving us too many benefits.

I suspect if we were any good at accounting for this stuff, we’d find that 95% of applications of computers have a 0.1x-1.1x multiplier on whatever we’re applying them to, once you factor in the extra costs, but the other 5% is like 5x-500x.

Beneficial overall and yet harmful a majority of the time one encounters it.
Isnt this fraud or something? At least this person caused damages. Sounds like they should be reported.
Well, there's the fundamental theorem of arithmetic, that there is exactly one composition of prime factors for every natural number (excluding ordering).
https://wikipedia.org/wiki/Fundamental_theorem_of_arithmetic
You can also look at it as a "scorched earth" strategy.

If an adjacent business can profit, it can build a war-chest and invest that in attacking your niche.

So destroy the potential profitability of their sector by giving away a free alternative.
How does this sit in the universe of Dokku and CapRover? Any strong pros/cons of one vs the other?
The original xbox actually had a real os based on the windows 2000[1] unlike it's competitors like the PSX

[1]-https://www.theverge.com/2020/5/21/21265995/xbox-source-code...
No, for example, I couldn’t manage a database as well as RDS and I wouldn’t want to, I don’t believe I could hire the several people required to replicate what RDS can do as well as RDS can do it.

The primary benefit of cloud though is that you don’t have to fight for or wait for capital expenditure budgets to grow, you don’t have to wait for hardware to arrive, you don’t have to negotiate with vendors, you don’t have to fight about how long you should keep old hardware or replace it, you don’t have to deal at all with the political or business aspects of managing millions of dollars of hardware.

I can just go on a website and click a few buttons and have something new, and the biggest argument about it is a yearly cloud budget discussion.
Other people besides oil companies knew 50 years ago too, so this is hardly relevant. Nothing would have changed if they had made this public. Hell, we all know now and still aren't doing much. This whole conspiracy theory is just cope from people who won't admit that it is us and our oil consumption that is the problem and the companies are just there to give us what we want.
It is still just one token going through the model.

I actually think mixture-of-expert is a bit of a misnomer, the 'experts' do not really necessarily have super distinct expertise. Think of it more as how neurons activate in the brain - your entire brain doesn't light up for every query, now in neural networks the same thing happens (it doesn't fully light up for every query).

Don't really know a resource besides the seminal Noam Shazeer paper, sorry - I'm sure others have higher-level.
The next leg up for Nvidia is sovereign funding for national AI efforts
kung fu chaos time! Such a great game, a little insensitive perhaps...glorious sofa multipleyer game though
I kept that disk hoping they'd backwards compat it for many years
It's used in speech signal processing & seismic signal analysis.
Well, people buy non stick pans despite there being evidence people may die from it, so I’d say the evidence is strongly in your favor.
Even assuming LLMs have learnt language (whatever that means) it is completely irrelevant to what Chomsky is studying which is how the human language ability works. As an analogy training a neural network to successfully predict the weather doesn't falsify physics-based models of the weather.
Sigh, missed opportunity to use sleep sort to do the ordering. https://web.archive.org/web/20151231221001/http://bl0ckeduse...
Could someone clarify what the writer means by "locked-in" when describing the writing?
i know you're jesting but RNNs are recursive along the sequence length where I am describing recursion along the depth.
I’m not sure how that is even possible, frankly.

What sort of test suite would THAT look like?
Lawvere theories should be fine as well:

"The rough idea is to define an algebraic theory as a category with finite products and possessing a “generic algebra” (e.g., a generic group), and then define a model of that theory (e.g., a group) as a product-preserving functor out of that category."

https://ncatlab.org/nlab/show/Lawvere+theory#the_theory_of_g...
I do a fair bit of primary and secondary school STEM mentoring in my free time. People like me are frequently brought into schools as part of efforts to encourage them to pursue STEM careers (and higher education), however I would coyly tell students that: they absolutely do not need to specialize right after high school, trade schools and the trades are an option, and community college (in the USA) is an option, albeit with some risks [0].

However during one of these sessions parents happened to be in the room, and one approached me afterward to say the following. He said that while it was true that some trades eventually pay very well (he was always in the trades), you pay the price with your body--long hours on your feet, a higher risk of occupational hazards, back problems from bending over frequently. He saw a desk job as the goal to aspire to and that is what he wished for his children. Of course, desk jobs come with their own occupational hazards [1], but that point stuck with me and I no longer blindly encourage young people to go into the trades without at least thinking about the big picture, whatever that may be.

Also I don't know how much I buy the 'straight path to a six-figure job' bit FTA. It's can also be a long slog to get to the owner-operator stage, and not everyone is cut out for all of the responsibilities that come with it.

[0]: I say that one risk of community colleges is that they very much feel like "high school v2" and it's easy to wander into them and waste time instead of thinking seriously where you do (or don't want to work). When I started working a "job", I quickly learned what I _didn't_ want to do, and it was motivating for me to take the idea of a career seriously.

[1]: RSI and poor ergonomics and the like, something I also tell students: "When you start noticing problems in your wrists, it will be too late and you won't be able to ignore ergonomics ever from that point onward".
FAA says Southwest plane with Boeing engine cowling fell off during takeoff
Has anyone in NZ ever had a bank check if they are insured after purchase? They asked on signing the loan. But after that they never check.
The solution of the author have a big flaw: it render at 5 fps on mobile.
I completely agree with your analysis. I think I meant "interop" instead of "superset" when craving for something better than C, but not as mind-numbing as C++.
Important to realize: A GmbH is much closer to a Delaware C-Corp than to an LLC.
From a legalistic standpoint it makes sense: the FAA spends a lot of resources regulating SpaceX's activity, therefor tax SpaceX to pay for it.

From an economic and geopolitical standpoint it's clearly a poor choice to introduce an extra tax on something which drives a large amount of economic activity and is an important strategic asset.
I honestly find it weird when I hear about companies like Facebook and Synology using it.

Facebook could easily work around failures, they've surely got every part of their infrastructure easily replaceable, and probably automated at some level. I'm sure they wouldn't tolerate excessive filesystem failures, but they definitely have the ability to deal with some level of it.

But Synology deploys thousands of devices to a wide variety of consumers in a wide variety of environments. What's their secret sauce to make BTRFS reliable that my work's commercial Linux distribution doesn't have? Surely there's more to it than just running it on top of md.

Maybe in the years since I was burned by it things have greatly improved. Once bitten, twice shy though - I don't want to lose my data, so I'm going to stick to things that haven't caused me data loss.
Whit AWS you probably have to hire a decent engineer who knows how to build stuff the right way (never touch the dashboards, do all through well-tested, declarative, repeatable IaaC, set up proper replication and backups, preemptively simulating the outages, and so on).

But unless you need a complex control plane or highly dynamic scaling on a daily basis you also can do exact same thing with any non-cloud provider (and a CDN). Order some bare metal, roll out, enjoy - if it goes bad, order bare metal from someone else, redeploy to it, restore from backups, and recover in about the same time (half a day) it takes AWS to fix us-east-1 when it fails. It also probably will save a lot of money (NATgw bills alone) in the long term.
I understand what you mean, but in my context I would say that you need layers below this. You for example paper, ink, glyphs, and other things before you can start defining ZFC.
Reporting on this while in Brazil sounds terrifying.
I believe most of us sleep fewer than 3 times per day, so writing down times and doing a few subtractions and a little data entry once a week should be under 1 min/day to have everything digitised. (that said, https://xkcd.com/1205/ suggests it'd be worth spending up to 21 hours to fully automate)
QNAP is known to have garbage security though. I personally have a Synology NAS with no internet access (blocked using my firewall)
I wouldn't include atomics and memory barriers in the "fearless concurrency" category of Rust. Is there really a large enough body of third-party code to worry about compatibility?

As for Linus's complaint that compilers aren't perfect, I've seen many bugs over the years with this style of code. A missing memory barrier doesn't exactly stand out. Maybe Linux has a better track record, but I would love to push as much of this as possible into the hands of a "pre-reliable" compiler, where a bug can be fixed once.

It seems like they're taking a reasonable and measured approach to start with a small surface area, which bodes well for the future of Rust in Linux.
What changed with respect to car safety compared to 2014? If anything, the recent trend of putting every control in touchscreen interfaces has made cars less safe.
I find that the biggest practical issue with using GCC's analyser is that it's just so darn difficult to set it up and have readable output. Have you considered focusing on this a bit more? Writing documentation (or even producing tools) for integrating analysis into one's usual workflow, integrating with common build systems (e.g. CMake), making the output properly readable in the context of the source code? I feel that at this point this would be much more helpful than ASCII art or more kinds of warnings ...

I did attempt to use the SARIF output just after your previous blog post a year ago, with a CMake based project, but after an hour I still wasn't able get the warnings to show within the context of the source code.

The -fdiagnostics-format option isn't even in the GCC documentation, your blog post is the only place where I saw it mentioned.

In short: I'd love to use GCC's analyser, and tried it several times, but my bottleneck is usability, ease of setup, and a proper interface to help sort out the many false positives from the true issues.
I use Gigalixir to host Elixir apps. It's more or less a drop-in Heroku replacement and it's worked really well for me.
>That isn't sufficient justification to force these tools into things that require some strict determinism.

By and large, LLMs are not being used for endeavours that strictly require or utilize determinism.

>We've already seen cases of companies being forced to compensate users because their fancy AI toy was unpredictable and gave a user incorrect information:

Regular old human customer service has given me incorrect information before and will continue to do so. If the harm is great enough, it has always been the company responsible for damages.

>That was only customer service with little harm done, hammering these kinds of tools into medicine, defense or law is going to risk even worse consequences

Medicine, law or defense are not areas that require or utilize strict determinism and in fact, incorrect diagnoses and botched operations kill at least thousands of people every year.

Perfect does not exist here so you don't need perfect to improve upon existing methods. If GPT-4 can give more accurate diagnostics than the average doctor then you are only killing more people by not utilizing it as part of the diagnosis process.

>if I have to talk to my phone to get it to do stuff that I used to just be able to do without having to hold a conversation with it, it'd be a clear downgrade.

Ok...where has that happened ? What things do you now have to do with an LLM that you could on your own before?

>The reason Google Assistant and Siri on phones remained mostly just gimmicks

The reason they remained gimmicks is that google assistant and Siri are not competent enough to do anything that isn't strictly hard-coded in.
Do you have any binaries? Stock ubuntu 22.04 does not have new enough versions of things to build this.
A bit of a straw man here - but water doesn’t meaningfully break down. Sodium chloride (salt) also doesn’t meaningfully break down.

It’s not that simple.
Musk said: "But principles matter more than profit.”

What an absolute joke of a person. Says whatever fits him best at any given moment, while pretending to be a champion of free speech.
A GmbH is not like an LLC, it's more like a Delaware C-Corp. People forget this all the time.
Yep, this was a presentation to scientists so concerns about subtle failures came up.

Even when discussing the potential of applying LLMs to help make it easier for non-native speakers to fix grammar errors, there was the major caveat that the output would have to be carefully checked to ensure that it did not subtly change the meaning, which is something even I struggled with on my early papers, despite the benefits of being a native speaker, having natural general intelligence and domain knowledge.
Paywall link…
https://archive.is/dVqV9
This is good advice. One wants to be sure that one is reading the entire policy. Key words here are "certified complete copy" and once someone at the insurance company who is authorized to do so certifies a copy as complete, you can be a little more sure you're dealing with the entire thing than the "copy that happened to be attached to someone's email."

The first page or so will explain who the policyholder is, what is the effective date of the policy, and what forms constitute the insurance being provided. The rest of the policy is (usually) a set of forms approved by the state insurance commissioner that define, in particular, what is and is not being insured. Be aware that something that is very clearly defined on the first page of the first form is very frequently completely contradicted by something on the fifteenth page of the thirtieth form, which makes it very important to have the complete set.

In general insurance law is such that you ought to be able to read the entire policy and make sense of it - no tricks. In practice there are some wrinkles and it's good to consult a professional but if you read the policy you will at least have some awareness of the coverage you can expect.
Yep, the principles didn't seem to come before profit when it came to Turkey and India trying to censor lol