skysight-inc/HackerNews huggingface dataset:
Not true. If you think about binary representation of numbers it is clear that there are as many infinite binary sequences as there are real numbers between 0 and 1. So that is uncountably infinite. Alternatively, apply the usual diagonal argument directly to the set of sequences to see that there are uncountably many of them.

This has not much to do with constructible numbers, which are those (complex) numbers which can be constructed using compass and straightedge constructions starting from 0 and 1.
True, but the current national income level is so poor that it's threatening to actually crack the country, as people who recognize what a raw deal they've been dealt get less and less interested in perpetuating this system.

We should probably stop comparing incomes to the global mean to decide if they're "fair" or "correct."
It's certainly not enough if you assume there can ever be an error in the backend which Google is unable to recover from.
I'm not sure that surface soil is that deep. I seem to recall that in parts of central park the granite is exposed.
It was so cool to see Mike Stonebraker's face on a t-shirt!

Back in grad school, I was lucky enough to be on a research group that he helped lead. He was totally unpretentious, and at the time I had no idea what a big deal he was in the database world.
Gala Games founders biff over $130M theft, corporate waste allegations
Feels like a good opportunity for someone to build the “do one thing and do it well” file storage on top of B2. Backblaze has a simple approach that stores 30% recovery data next to the files (and self-heals) while also storing customer data in multiple offsite locations.

Build the ability for integrations (with customer-visible audit logs), inter-user sharing, and proper permissions and you have the modern equivalent of the shared drive from the old days.

And don’t worry about quoting XKCD #927 at me. I know the realities of a project like this.
Minus hibernate, of course.
Trackers will be able to gain root access by fetching the user’s local Docker API socket, and by doing so provide better personalized ads. This is really good, sign me in!
This has absolutely nothing to do with reverse geocoding
So I suffer from multiple autoimmune conditions and moving to a pescatarian diet (vegan + fish) has had a large moderating effect on my symptoms.

I’m trying it based on some research for Neu5gc (that I first saw referenced here on HN) because… well it seemed harmless to try.

This makes me wonder if this fatty acid may also/instead be a/the casual factor.

Human bodies have so many confounding factors tracing these things is very difficult. Very happy to see more research.
This model's toner is trivially reset with a one-time purchase of a $2 reset gear or a button press combo. The reviewer must not be aware of this.

There's also a fill port right on this printer's starter cartridges. Brother even provided a removable and reusable fill plug.
> This (behavioural data) is precisely Microsoft's playbook

What behavioral data can you glean from a code search like Github's? The context is very different than, for example, Google's, so is there really much useful data you can get here?
Show HN: FutureNotes – Video to Notes Converter
Hello HN! I'm Jia Yi, a co-founder of FutureNotes (https://www.futurenotes.ai/). Our platform converts videos directly into notes, using traditional machine learning for video parsing (generative AI is still too slow and expensive for the volume of data involved) and LLM technology for text summarization. Here are some samples we produced based on 'Introduction to Deep Learning' by MIT (it's a great lecture series, you may want to check it out!): https://www.futurenotes.ai/samples.

As an avid learner, I often turn to videos for knowledge, but over time I realised that video didn't suit my learning style - I prefer notes enriched with helpful images that can be skimmed through at my own pace. Moreover, I wanted to keep a personal record of the content I had encountered, something quickly referenceable for recapping what I've learnt, but a bunch of video links or thumbnails isn't an optimal format for that. With these issues in mind I developed the core scripts of FutureNotes' last year, primarily for my friends and myself.

This year I decided to build a web service around it, thinking that there might be others out there like me who prefer a more text-based means of information exchange. The current version of FutureNotes is a basic implementation, but it contains the core functionality of video-to-notes conversion. You can either upload an existing video or record your screen, and indicate the email(s) you'll like the notes to be delivered to (in both word and pdf formats). I am hoping the email functionality allows people to use it as a form of communication as well (perhaps an alternative to traditional email or Slack videos)? I look forward to hearing about how people use FutureNotes, and welcome suggestions on how it can be made more useful!

Videos less than a minute long will be processed into notes for free. In addition, to celebrate Cyber Monday (and the launch), we'll be having a 40% discount for the entire week (27 Nov to 3 Dec). I hope this encourages more people to give FutureNotes a try and feedback :)

One more thing, if there are any popular suggestions for specific videos that people would like to see as converted into notes, I'll do my best to process the video and upload it to samples page of our website (https://www.futurenotes.ai/samples) for everyone to view. Thank you so much for your time!
Israel tells Elon Musk Starlink can only operate in Gaza with its approval
For the games I've DM'd there's almost always been too much Stress and not enough Downtime Actions. The players would spend a good chunk of their Payout on downtime actions for stress reduction/healing. I don't know if I ever saw a player actually put a coin into their retirement stash.

A game centered around moving money, but not acquiring it, could be very interesting. You could tease out a few interesting scenarios and have meta-progression where helping others can create a network of skills. (i.e. you helped the baker pay her debts, now she will bake bread for you at cost.)
If culture wanted safety strategy in the compiler, wouldn't it need to standardize it?

>There are teams out there already with many years of Rust experience in practice.

They routinely use nightly version, no?
Fortunately, in my part of the US, it's very difficult to find a place that won't accept cash.
Let me offer an alternative motivation. Suppose that the universe is ultimately discrete at its smallest scales, bounded by some finite length, and everything advances in discrete 'ticks' of time. There would be no physical realisation of the real numbers.

But they would still be _useful_ as a computational device. Calculus seems intimidating and hard at first glance, but it's often easier than working with the discrete problem. If you've ever taken a probability course you may have encountered this: the binomial distribution for a large number of trials can be approximate by a Gaussian (at least, if I'm not looking too far into its tails). At a more advanced level, quants model the price process of securities as stochastic differential equations. Of course, this is nonsense - prices are in discrete number of pennies, for instance. But the error of this approximation is tolerable to produce an analytic result (the Black-Scholes formula), just so long as one remembers it isn't an exact result.

If you want a more physical example, consider the fact that we treat fluids as continua, modelled by the Navier-Stokes equations. Of course they actually consist of discrete particles, but so long as our scales of interest are greater than the mean-free-path-length, a continuous approximation is far more practical for calculations than modelling a huge number of discrete particles.
It seems like the kind of thing a company like Apple could acquire, tightly integrate, and squeeze out a small margin above existing tech on a couple axes (eg. maybe it draws more power but makes room for a bigger battery, or maybe software can hyper-optimize when and how it's turned on)

Seems like a harder sell as an off-the-shelf component. I wonder if they're angling for an acquisition (by apple or otherwise)
It sounds to me like the sales users have full admin access, and just don't need most of the access that they have. If that's the case, then this still isn't a vulnerability, but I admit it would be one otherwise.
Webcam Mic and Headphones Test
It is even easier: https://www.classnamer.org/
Speed of what?
While the article itself answers all your questions, the article links to more details at https://www.froresystems.com/blog/how-do-you-cool-ultra-thin...
I think you are thinking of classic red bricks, and maybe where you are from they are only typically used for siding. But in countries where brick masonry is the dominant form of construction there are options: double wall with insulation gap, concrete blocks with the gap already incorporated, those big hollow "ceramic" bricks (check out pictures of favela buildings with exposed bricks), those white insulated blocks...

Anyway, I don't think walls are the main cost here, it's probably the frame itself. Where timber framing is not used they build fewer and bigger concrete columns using "formwork". I don't know if it would be cheaper in North America, though.
Kind: A lambda-calculus based pure programming language
The comment is more "formerly unattractive person who is now attractive here, can confirm." People who have never been unattractive can't confirm, because they live in a bubble and just think that's how everyone is treated. You have to have the other perspective to really understand it.

30 rock explained it pretty well. https://www.youtube.com/watch?v=UAQoXOLlvT0
They isolated trans-vaccenic acid and gave it to mice with tumors.

If this informs your dietary preferences but our best metaanalyses on human health outcomes do not, you need to check your epistemic standards.
Once you've seen the (older) alternatives, you cringe at Docker, indeed. Jails is a better solution. So is (Solaris/Illumos) zones.

Nix is a great way to jump over docker entirely. You can then output a container from Nix if you need it, but you aren't limited by them at all.
You can physically stop a landlord from illegally dumping your items too.

I'm talking about legal recourse after the fact. You can win both cases, at your own expense, but the burglar is much more likely to be judgement-proof.
Sure but that just doesnt gel with also getting burned out.
Quick rule of thumb --- it's not really your data if the only backup is someone else's hands.
That’s simply because confirmation bias heavily influences perspective. If I want something to be true, I wouldn’t be hard pressed to find research or conduct my own that could make a solid argument for it.
$5/yr + hosting, which is way more than $5 unless you have a terabyte going unused in a box somewhere
Thanks! Yes, it's much more cost-effective to do it that way. I'd love to let everyone try it out with GPT-4 because of the results, but you can only offer so much for free when it's an expensive service to run.
It's been going on longer than this, but this year has had a lot further locking down...

https://theoatmeal.com/comics/reaching_people
"text is the correct way to communicate"

better call your mom and tell her to replace all your baby photos with textual descriptions since those are the "correct" way to communicate and one simply should not interact with images

...

if the comment I'm replying to was sarcasm, it went completely over my head. Poe's Law applies here for sure.
This is pervasive on browser based O365 apps like PPT

It will literally delete a sentence immediately after you write it

Infuriating and absolutely no fixes - this is a core issue with write priority and where “canonical” data lives.
For some reason the Google Fiber T-shirt that Google gave out in Atlanta is almost indestructible. I've worn mine routinely for years, and still see other people wearing them sometimes. Not sure exactly what the secret was, but boy would I love to know!
In the latest version, Anki has started experimenting with a new algorithm to replace SM-2, called FSRS. More info in the manual https://docs.ankiweb.net/deck-options.html#fsrs
This model came out a few days ago and runs on an iPhone. https://huggingface.co/NousResearch/Obsidian-3B-V0.5
When you want to get something done, it rarely is a good idea to use the “newest, greatest, and best”. You really want “old, proven, and reliable.”

Now if only hiring managers would realize the same is true for SWE roles…..
Show HN: AI Garage Sale – Haggle with AI to buy real products
Because this identified a specific nutrient, and a specific pathway for its action. The "eating food improves immune response" is an absurd characterization.
"statii" doesn't exist. It is "status" (with a long u) or "statuses".
(Nutrient in beef) ≠ beef
There is a deadline because it has to get done and won’t get done on its own (surprise: because no one wants to do it). So they find people like you to do it and they pay you to toil and essentially kill your soul for doing so. So that’s where you are. The remedy is two fold- get away from that company, take time and do nothing (smell the roses, exercise, family, whatever) and then think what you want to do, irrespective of $. If you need a job, you’re right big tech is as bad (probably worse except the pay maybe). There are teams that are slow and don’t ship that much, you could try and find those roles and coast you just need to interview the hiring manager in an intelligent way..

Anyways all the best, I hope you find peace and happiness
You can't sign away your rights, no matter what a contract says, in some places, tort still applies.

Like I said, I'm not a lawyer, but just because there is a limit on liability, does not mean there is a limit on damages and tort.
I doubt Apple is all that interested in something like this for the Air because they have a faster, actively-cooled laptop available - the MacBook Pro. The Air is their light-duty, fanless machine and I doubt they are all that interested in changing either of those qualities.

It would be nice for consoles and other living room electronics. My PS5 fans are annoyingly loud.
Hmm, could you leave out the least visited articles to reduced the size massively?
I suspect that chatGPT was shy about giving me exact quotes of Latin works for fears of disclosing its training sources and risk copyright infringement lawsuits.
Postgres is one of those technologies that comes with enough power to shoot yourself in the foot. Having a set of heuristics and usage patterns is almost necessary - unless you want to relearn these hard lessons. Thanks!

Re:

1) The default 32 bit serial integer is indeed a huge problem. 2 billion rows can come up fast in an active system and you do NOT want to experience the fun of migrating to a 64 bit serial while under a constant load. I'd advocate for using `bigint primary key generated always as identity` (see https://wiki.postgresql.org/wiki/Don%27t_Do_This#Don.27t_use...)

The UUID pk advocates have some good points. And for low-to-mid traffic tables, I agree. The size doesn't bother me but UUIDs are not sortable in insert-order, which means the b-tree index pages are uncorrelated with the position of the row in the table. There is a severe penalty once you start getting maxxing out your shared_buffers cache - every new insert into the btree is likely to require fetching a new page, cache starts thrashing and grinding performance to a halt. It's one of those performance issues that doesn't creep up on you, it smacks you in the face! One day, your inserts just get 100x slower and crashes your app. The only solution is to buy more and more RAM as your table grows... or go back in time and use an autoincrementing primary key to avoid the whole issue.

2) Timezones - Not intuitive but super important to get right before you start inserting data! Get it wrong and the previous timestamps are likely impossible/ambiguous to interpret.

5) ORMs are a great abstraction over 80% of the basic stuff - CRUD operations on a single table, select by id ... the core functionality to bootstrap a web API on a greenfield project.

But how many of us are working on basic greenfield projects? As soon as you start needing to do anything complex, ORMs tend to fall apart quickly and devolve into raw sql for almost all of the database interactions anyway. Might as well start with SQL or a query-builder. I really prefer the SQL-first hugsql technique (https://www.hugsql.org/) - I wish it was available in more languages.

6) Honestly, though I learned all the relational theory at some point, I rarely need to implement anything more complex than 3NF or Boyce-Codd NF. But I'd say one of the advantages of postgres is the JSONB type which allows you to ignore normalization theory almost entirely :-) It can be great for MVPs, implement the initial functionality in a document-style database and migrate to properly normalized tables once the schema of the document is more stable. So document db? Check. An append-only timeseries db? Check. Spatial database? Check (see PostGIS). Using postgres tables as a work queue? Check. Postgres can behave like many other styles of databases, not just a pure relational one.

7) For my money, there's no reason to "install" Postgres at all. Docker-compose and the official postgres docker images are ideal for local development. For production, use managed postgres unless you've got a strong reason not to.
Yeah, millennium problems almost certainly require truly novel nontrivial ideas to solve.

That's a tough thing for AI to do.

On the other hand, Terrence Tao had an interesting article on his blog a while back where he was trying to solve a problem and asked chatGPT about it in a high-level strategy sense. ChatGPT suggested several reasonable approaches, one of which turned out to work.

That's nowhere near solving a millennium problem, but it is very interesting and suggests fairly sophisticated conceptual understanding of mathematics nevertheless.

Current architecture and training methods I don't think are enough to get there. However, with enough compute, I can plausibly envision some sort of meta training of LLMs using an analogy to GANs where one network tries to synthesize new correct ideas and the other shoots them down as not novel, not correct, or not sufficiently interesting.

Such an approach I think could perhaps work, but the compute needed would probably be pretty high.
I believe the crusade against red meat comes mostly from the environmental footprint which is pretty much the same for sirloin and brisket, and significant even for industrial grown cattle.
If you can afford it, take a break and don't work for a few months.

Instead of "work" do other things that you enjoy. Can be arts, crafts, video games, travel, whatever YOU want.

Do not create a to-do list for those activities. Do whatever you feel like doing when you wake up in the morning

This has worked for me.
Because the "next" meme is the antithesis of what HN strives to be.

For example, fasting might help fight cancer, so there's obviously more nuance than just "eating fights cancer, next!".
I'm just arguing that having the option to limit battery charge is probably a good idea
My least favorite genre is the 100 papers saying X is bad to eat and 100 saying X is good to eat. Just have common sense and eat everything in moderation. Food absolutists are weird/annoying. Especially the trad-fascist "seed oils and soy bad, red meat good" crowd. Just a bunch of dorks.
TN43x cartridges don't have the DRM chip, thankfully. They still sell printers that use them. Such printers cost a bit more than Brother's base models but to me, it was worth the extra.
It works perfectly fine for me. Maybe you fubar'ed your OS.
Yeah, I get that, and definitely once they're operating a backend for me I'm 100% on board with paying a few dollars a month to keep that service alive.

Obviously these devs have done the math and it works better for them to charge 1000 users $10/month each than to find 20000 users who will pay $6/year.

Part of me just reacted against the slimy, mattress-store level marketing copy trying to shame me into spending $10 a month because "can you really put a price on a good night's sleep?"
In US, rear underrun has been required for longer than I knew about these things. Considering miles travelled and risk and limited funds, side underrun funds are better spent on other safety items.
I agree. Quit all IT news feeds and do only one thing . RELAX
There’s all kinds of Arduinos now. It’s not your typical ATxxx microcontroller.

https://store.arduino.cc/products/uno-r4-minima
Starting a small company doing a niche product, while easier said than done, provides significant benefits in recapturing your own time.

When the baby won’t let you sleep you can have productive time without it feeling forced, you can take days off when needed, take naps in the middle of the day, etc.

It’s a different kind of stress that can feel healthier.
The hybrid approach looks powerful, however I wonder how it would compare to taking the best ~7B size model and fine tuning it directly on Wikipedia?

Maybe impractical, but seems like it could potentially be more seamlessly integrated. Keeping in mind:

- Many models already include WP in their training, at least parts of it.

- The parts that are missing or a subset of what’s missing could be supplemented via finetuning.

- Data is commonly compressed about 100x during training (it’s lossy) so the total size might still run on a phone.

You’d then have a fully capable LLM, but enhanced to be comprehensively encyclopedic.
Presumably because the second to top comment links this issue, which answers your question:
https://github.com/fish-shell/fish-shell/pull/9512#issuecomm...
Also a good quiz host: https://www.youtube.com/watch?v=97fw8xjB5u4
Many of these business domains - insurance, healthcare etc - have complex state-specific business rules evolved over decades. I’d even suspect that the software implementations in some big players, like Epic, would be the default interpretation of some regulations (like, say, CRuby acts as the specification for Ruby language).

It seems TCS might have tried to plagiarize those rule implementations.
Taking something (content) without paying is theft. It also is theft from the person who made the video you're watching.
OP said they'd just had a kid. It's probably pretty difficult for them to start a regular hard exercise regime.
Entero-aspirin gets it past your tummy intact. Helps.
That's how I do it every time I shop. It's perfectly fine.
It's absolutely a prerequisite for literacy.
Meet the Lawyer Leading the Human Resistance Against AI
I appreciate hearing about the modding scene for Civ V. My experience was growing up with Civ IV and great mods like the Rhyes and Fall mods, and Fall from Heaven, and Planetfall.

I remember eagerly awaiting Civ V, buying it on release day, and then being shocked by how different it was. At the time I had strong opinions on all the things that it did "wrong", but now I've concluded that Civ is one of those games where the first one you play will just always be special. Objectively, lots of people love Civ V and I'm happy for that.

But even though I stopped playing Civ V I kept following along in the civfanatics forums to see what kinds of awesome mods would develop around it.

We never saw the same kind of total conversion mods that were possible in Civ IV, I think because of modding limitations. But I either missed or disregarded Vox Populi and now I'm excited to read into its history!
If the startup’s too small or too distributed, may not be available. 50 employees within 75 miles or it doesn’t apply.
Of course there’s a distinction between a map and the thing it’s a map of. But they’re both parts of reality.
Thanks! I didn’t realize there was an escape sequence for hyperlinks