skysight-inc/HackerNews huggingface dataset:
As someone who eventually needs a hip replacement, I'd say we spend huge sums on lots of other things too. I can't really fault people for trying to stave off death as long as possible, but I also understand that doctors are unwilling to receive a lot of those interventions for good reason.
Professionals in the software service industry have mastered the art of saying "shit has hit the roof" without any shit.

This, combined with "never saying no" and "never give bad news", has twisted simple communication behaviours.
And downloading a blind repo isn't?
Yes, but does come with some checks and balances: an e-mail account (allowing them to filter out any dodgy domains or throwaway services, a captcha (bot detection of sorts anyway, may be hidden, would also be used for public search), a barrier to entry via their signup procedure, etc. And then they would have a unique token - your username / ID - to help detect flooding / scraping, set a limit of e.g. 100 searches per hour or whatever they have deemed normal and acceptable behaviour.
It's a good point. The knowledge cut-off says Jan 2022, but in the past there's been reasons to suspect some data after the cut-off is in the model too. There's also the possibility that it has seen the problem somewhere else before Jan 2022.

Nevertheless, I think the more important question is whether GPT-4 is capable of

1) Listing all solutions less than 100

2) Figuring out the commonalities of the solutions

For 1) I have no doubt that the answer is yes based on its coding skills, in fact it is much stronger at coding than this. For 2) my subjective feeling in playing around with it is it's not consistent at similar problems but it can do it sometimes. Maybe in this case it has seen the list of prime powers <100 so it's very easy for it.
GitHub search is not exactly supported by ads. It was a much more, uh, baffling decision to have limited public access to Twitter, which is literally ad impressions. I guess I can't comprehend that level of business genius.
They have gone down the dark path. See, e.g., https://news.ycombinator.com/item?id=31860131
"degrowth" is some real BS.

Actual words for this are "decline", "reduction", "shrinkage", "decrease", hell even "atrophy".
Crossed a few things off my TODO list alright. Gotta love the hustle. Although this year I picked low hanging fruit. Next year I want to tackle the heavy / tricky stuff.
I don’t believe that “conspiracy” is the right word, but I don’t believe your post does the situation justice either. I think it is easy to find yourself in a situation - through no intentional planning of your own - where you have a difficult problem to solve and you don’t stand to benefit from doing so (or, even worse, you lose from do that). You are acknowledging the first part but not the second.
Why Stalin created a cult of Alexander Pushkin (2017)
That does work pretty well. Although it does discount the occasionally entertaining trope of the player character from a wealthy family being persistently disgruntled at the low quality of food and drink and bed they can afford on their adventurer's loot
> GDP has no ceiling to it.

Where did I say that?

> And I don’t know about you, but I’m kind of glad the healthcare industry has a growth mindset that “what we have is good enough”.

No, you really don't know about me. But there is plenty of innovation in healthcare, and not all of it is super costly (though some of it is). Like every other industry it is a confusing mixture of regulatory capture, people that really care, people that only care about their income stream or bottom line and people that wished they could do even better. The difference between say 'big pharma' and your average nurse of doctor is massive and to lump them all into one giant heap is not very productive.

> It’s how humans advance. If cavemen thought “well this is good enough” well, we’d still be living in caves.

The 'this is good enough' is a strawman. There are plenty of things that really are good enough, and which have turned into pathways that are borderline extortionist.

And there is plenty of innovation that is not cancerous.

But do deny the reality that short term stock market driven goals of eternal growth are incompatible with a sustainable and healthy society is a non-starter for me, it is so incredibly clear that to ignore it is almost wilful at this stage. "After me, the deluge".
Lol :-) That sooo goes against the Roguelike ethos :-)

... but definitely solves the addiction problem :-)
Google is deleting unused accounts this week
But even in 1913 a brilliant mathematician from the middle of nowhere could access a world class mentor. I would assume that this is so much easier these days. What would stand in the way of a modern day math prodigy from getting accepted into a good program?

Or is it about making this more accessible to students who are "merely good" rather than brilliant?
I'm sure lots of people have been thinking/working along that direction. I think the idea of combining LLMs with formal verification/proof assistant tools (Lean, Coq, Isabelle,...) is particularly interesting. Anyone is aware of any major groups working on open source solutions for this?
Just for curiosity, why did you create a new account just for this comment?
It's not necessarily consultants in these companies that are malicious. I find working with many to be honest, and deeply caring about their work. It's that some of the management in these companies are incentivized to engage in duplicitous behavior to gain clients one way or another.

Working for a tech consultancy before, they do have clear lines to distinguish for legal reasons and make you take courses. For e.g., you can't give or receive gifts of any monetary value, etc. But management find other ways, to gain client's trust and affection. One way is to overwork the consultants, and other is to share information that is privy sometimes.
Paying it forward :) Pretty sure I heard about Disc Brick here on HN years ago (the original pre flashy highlights/colors version was my preference).
The real numbers are irrational almost everywhere, they are uncomputable 'almost everywhere' also.

“what type of discrete systems give rise to the observed macro behavior” is what we have been doing forever through Laplacian determinism.

There are no alternative numbers systems that get around this.

That is the whole point of the problem of the cardinality of the continuum.

We know that Laplacian determinism fails, with quantum mechanics being the easiest counterexample but Cantor diagonalization is another.

The sofar unsuccessful efforts to produce string theory is an example of this effort, changing world lines into sheets.

With the discovery of strange non chaotic attractors and the discovery that our numerical systems are subject to the WadA property in time delayed and Hamilton systems it is possible that a unified model may not exist.

None of this is undergrad though, due to how we have chosen to teach it.

But it is very possible that existential quantifiers are what math limits is to building models of.
LLMs make more meaningful text than this
I'd still call this fancy autocomplete. I imagine the jump from this, to "come up with an interesting new branch of math to explore", is a long way off.
This happened to our business about a year ago. Many random files went missing from GDrive. Eventually many turned back up (usually after a few weeks or months), but in the root folder instead of the folder the files were actually organized in. Google support told us we were crazy.

As an aside, we are looking from moving to a Google + Slack + Notion to OneDrive + Teams + Loop. What is appealing is the ability to collaborate more directly on files and “Loop Components” directly in Teams. But we’ve been waiting for 2 weeks now for support to help us enable Loop, because the instructions in the Microsoft docs aren’t working. They are working on it, which makes them better than Google in our experience, but it has been too slow. Maybe we have to upgrade to premium support?
I have always used FreeBSD to build petabyte scale ZFS-NFS servers for HPC.

This latest round involved NFSv4.2 and that FreeBSD to be enrolled into RedHAT IDM for auth. It was dog slow like I could not believe, and kept spewing a slurry of errors. Without having the luxury of time to solve all the issues, we ended up going with RedHat EL 9 purely to avoid the slowness from IDM integration.

I hope someone else has the time to figure out the issues with IPA integration in FreeBSD.

Have a look at what it means to get FreeIPA client running on FreeBSD. https://vermaden.wordpress.com/2022/11/17/connect-freebsd-fr...

:-(

I know I sound entitled expecting a pkg install ipa-client
Without doing any of the work. But, my point of writing here is merely to highlight a problem that others who are in much better position that I am to fix it can take a look.
I struggle to find a use for BSD outside of my opnsense VM. *BSD makes for a great gateway device (OpenBSD w/ HAProxy & CARP) and I've used it for that, but even for a webserver, I can't justify it over Linux if I want to run .NET-anything (only unofficial ports exist).

What are the most popular markets for the BSDs today? Anything outside of research/edu?
Indeed - Google refer to it as My Drive. They're making it clear it's not Your Drive!
When I open the firefox I see the following [0]interface rows :

1. previows/next | history | Menubar-bookmarks button | --URL BAR-- | reload | home | some addons | Decentral eyes | CookieAutoDelete | uMatrix | uBlockOrigin | Multi-Acount containers | Addons icon | Menu bar icon |.

2. Toolbar-bookmarks row | Button for unfolding the bookmarks that don't fit in such row.

3. Pinned tabs (they are only icons) | < | Tab_1, Tab_2, Tab_3, ... | > | + | unfold vertical list of the opened tabs |.

4. The page for the selected Tab.

This allows us to use two bookmarks visual groups, the ones that are unfolded through the Menubar-bookmarks, and the ones always visible when Toolbar-bookmarks are enabled (what in reality is a subfolder from menubar's bookmarks) and are shown as 2nd row in my interface. Also the easy access to Containers and the CookieAutoDelete, uMatrix, uBlockOrigin current page options are essential.

In the Toolbar-bookmarks, for being able to visually have more folders as "quick access" row line, I use acronyms as folder names (just for the first ones until fill that space). This between separators, and also mere url icons bookmarks (by removing the bookmark title name its just showed the page icon).

When one push one those folders are unfold all the related sub-folders and sub-bookmarks.

Also, equally important, the folders and bookmarks that don't fit in such row are easily accessible by pushing an icon at the right corner, what unfolds a vertical list with the rest the bookmarks. This is important because in such toolbar one usually have several hundreds of independent bookmarks and folders by topics, with infinite sub-folders and their respective bookmarks, etc.

This let us in Firefox with:

Pinned tabs, the current session opened tabs, the usability of to have the Toolbar-bookmarks with folders as topics by clicking the folder or icon, and a second different visual group of bookmarks through Menubar-bookmarks. By other side, if one want to add to those folders/topics the page that is being visited it's just needed to drag and drop the url there. Also all those bookmarks' folders have their option for to open their content in tabs.

I cannot think of browsing comfortably without such an interface and tools as a starting point.

[0] Thankfully and fortunately, with Firefox it is possible to have a browser focused in usability by enabling its options, and also to do adjustments in the interface under our needs with custom stylesheets. By default in FF the tabs are shown over the url bar, but in my case I use as base [1]customcssforfx for to put the tabs under toolbar-bookmarks, and from there I add a couple of lines with custom padding, sizes and icons. [1] https://github.com/aris-t2/customcssforfx
The job of an academic is, one could say, to wonder about things (and then pursue them with scholarly rigour). So it seems strange to me that academics think of themselves as having such narrowly-defined roles even within their own subject. But I guess the (pragmatic) answer is that to be successful you must keep focused.

Of course, this is opening another whole can of worms that is perhaps starting to become off-topic.
The rule is that the game makes the list immediately if it has no ads or IAP, and requires manual review if it does. Games with unclear IAP/way to remove ads usually get a cursory dismissal, I err on the side of removal a lot.
Can this be done for a Kindle?
>Light background is a must. I never use dark mode on anything.

Dark mode is fundamentally a hack around two things.

First, shitty screens that can't run light mode anywhere near dim enough once the sun goes down (which is at least a 5-nines percentage of all screens ever produced). A good chunk of this is due to insufficient PWM frequency but software has a lot to do with it too- and if I can't make the screen go dark enough, well, then I'll just tell all the pixels to be black and use white text.

Second, shitty flat UI design has made it more difficult to see borders between items. It seems to be easier to pick out a bright glowing spot in a field of black than the reverse- it's worse for comprehension, but not for identification/differentiation. It's easier to see that something is selected when you're using white-on-black, and if you already have a good idea what that something is the comprehension penalty is irrelevant.

Those two things predate most proper dark mode implementations; I assert they created the need for it to exist in the first place.
An Overview of a 10Gb Ethernet Switch
Tautologies can be useful, but are not always (say, when used in a reductive, low-dimensional manner) - they're a bit like a double edged sword.
The answer is: yes. The results: 6% gain or thereabouts with a fairly impressive amount of extra complexity. But it can be done.

https://www.researchgate.net/publication/322390752_Continuou...
Mass readability is one of the reasons why logistics isn't using RFID tags atva global scale. Cost is another, and a major one.
> You actually don't need that all packaging stuff for ease-of-use much. Compile your application with required libraries to a subfolder, define the jail's root as that subfolder, and fire the app.

I can download and run anything in any accessible OCI registry with a single `docker run` command. The only thing I've seen that makes jails even remotely close to being as easy and quick to use... is using runj to recreate the same experience.

> It's similar under Linux's CGroups. You fire the binary inside another CGroup and, that application thinks that it's the only thing on the machine, and may feel a little lonely, with its own IP and isolated network stack and such.

Yeah, I know how the isolation features work, my point is that they're not nearly as important. For the vast majority of docker use, you could replace the actual container with chroot and not really make any difference, and the chroot is only to save the trouble of having to modify the application to handle host paths, not as a security barrier. Docker's killer feature isn't containers, it's images that are easy to move around and run, and to slightly lesser degree Dockerfiles that provided a standardized format to describe how to build those images.

I love FreeBSD, but I think this kind of illustrates how the community has really dropped the ball on containers: Nobody cares that jails are technically superior and far more elegant under the hood, or that they've been here longer than on linux, or whether their security position is better. Docker was and is overwhelmingly better UX; all the under the hood stuff is effectively irrelevant to users.
This is the guide on IPC; you've linked the one on network programming.
Thanks for the recommendation! I'll check it out, curious on maintenance cost though as I don't really want a project.

1 - How much time was setup?
2 - How many times did it break in the last year?
3 - How many of the summaries were actionable?

My main concern with active auto backup is maintenance time; my expectation is I'm busy and my personal backup would take me weeks to fix if and only if I notice there is an issue, and the summaries are alert fatigue.

I feel while this situation is avoidable, you will still lose data from your last successful backup and anything less than "just works" isn't viable for anything important vs manual duplication.

I have two copies of some files (local and Drive) and probably a few Drive-only despite having local sync. If my computer died in the same time as Google list the data, I would expect some data loss, but the cost of categorical prevention is very high.

That being said, if it is only $5 and is actually touchless,
Good point, I actually wasn't that they could pass the first move
What you said there is exactly what they mean though. Hot guys acting like assholes and not asking typically doesn't get issues due to the effects you talked about.
This notion (step 1: be attractive, step 2: don't be unattractive) comes up a lot in male-dominated online spaces.

It's a fallacy, and actually a self defeating one since it causes guys to ascribe their failures to something out of their control (looks) instead of what is actually in their control (behavior.)

Here's a pretty good deconstruction of the concept IMO: https://www.doctornerdlove.com/understanding-the-hot-creepy-...
I know there's lots of different ways to have fun, so please don't take this as a criticism of how you enjoy role-playing - but for me, the character investment in D&D is one of the reasons I love it so much.

I care about what happens to Alfonso Derecho Izquierda Quijano, the Kobold Paladin who's in love with a dragon. I want him to have an arc, I want him to grow as a person, and eventually I want his story to end - either in death on the battlefield, or having achieved his dream of wedding a dragon, or coming to the realization that he wasn't chosen by a dragon but that it simply coughed up some armor from a guy it had eaten while flying overhead.

Having said that, I also want to play some games where characters are disposable, including Paranoia. That's fun too!
Structural sexism
Nope. I lost my job in late 2022 and spend most of the year unemployed. Basically nullified all my goals and at this point I'm not sure if the bigger ones will even be achieved at this point.
There is an absurd tendency to deny and reject the presence of certain traits and behaviors that are common to animals and humans. The fact that we are aware of certain tendencies doesn't make us free from them. There is a clash between how we would like the world to look like and how it is. In the real world, women in general are physically weaker than men, most of them menstruate and so on. We can consider these things unfair but we can't change it, just like we can't change the fact that we feel physically attracted to attractive people, even though in some cases we might find them mentally/morally etc. repulsive. This constant denial is creating only problems for everyone, not just the people that have these beliefs.
It was common in Everquest. Certain races or classes had lower weight limits. Encumberence would get you killed. There was a certain gemstone (peridot) which could be carried in stacks of 20 and had essentially no weight (0.1 stone per stack) compared to 1 stone per 20 coins.
. Peridot was worth ~10 platinum and retained most its value at merchants. So at higher levels people just carried around stacks of them.
Someone can also rob your house if you own it. Now you may have some legal recourse, but...
Yes they are. See https://news.ycombinator.com/item?id=31860131
If the new code search is more resource intensive, then why not have a slimmed down, less resource intensive version for when users aren't logged in?
Of the concerns, even by people working on AI safety, I have seen expressed, what stands out to me are two biases: First, western scifi culture about robot uprisings. Secondly, anthropomorphizing what a machine "mind" would be like. Obv there are overlaps. But most of the flaws in that kind of thinking come from thinking that an AGI would think like a human, or any kind of animal.

It won't. It is not alive. It has no "selfish genes" It cannot die of starvation. It is not dead while turned off. What confuses people is that AI algorithms have finally combined with enough compute power to provide a conversational interface that frequently seems more "alive" than some humans. Educated humans do a lot of clever knowledge remixing, which is what generative AI is good at.

It is not like you or any other human. If scifi robots just said "Hey, chill, I'll do the dishes" that would have been a dull movie. We are inventing conflicts in our minds. And those are the minds of AI safety researchers, they are barking up the wrong tree.
I like Noizio for this. $10, no BS.

https://apps.apple.com/us/app/noizio-calm-meditate-sleep/id9...
Show HN: A service to create animated code videos effortlessly
We wanted to generate videos of animated code to share some tips on social media, but couldn’t find what we were looking for. The existing services did not offer the kind of animation we were expecting (we wanted a typing animation!) or they were a bit painful to use.

So we made our own, using the great Remotion library (to generate videos with code, using React components).

Hopefully a part of the project will be open source soon! (The code is pretty messy at the moment.)
> Memory serves you wrong.

Well, OK.

> No performance impact running inside the jail as it is basically just a jail id managed by the kernel.

Thanks for letting me know.

> No reason to spread FUD.

I was just relaying what our system and BSD guy said back in the day. I have nothing against BSD. That quote was before hardware virtualization days, BTW.
100% I do this yearly at tax time when adding a bunch of new docs.
They are going to IPO cause capital has no other ideas about where to put their money and they will show a line going up and to the right in terms of user base.
I don't see a real issue with forcing you to make a free account and log in. After all it's also permissible to only offer source code in the form of shipping you a CD in return for postage fees. If people don't like how the code is provided they are free to upload it somewhere else.

A paid subscription could be crossing the line. Or maybe it would be fine as long as no profits go to the entity that provided you with the binary. Hard to tell.
What is the biggest planet ever found
Can second this. Over the last few years I fixed some hormonal, dietary, and stress issues which resulted in much clearer skin, better hair, and more toned/muscular body; taking me from average to conventionally attractive based on commentary from friends/family.

There is a clear boost in first impressions generally being much more positive, my ideas being regarded more highly, and coworkers/leaders wanting to promote me. I don't think my intellect has changed much over that time.

I will say looking good also has a clear boost on self esteem and boldness which I'm sure at least partially contributes to the social changes.
In that case, why would you be motivated by a $10m prize?
Paper: You Want My Password or a Dead Patient?
I still don't see how any of that concerns Tesla's supply of licence plates or relations with labour unions.
Fun fact, the average speed of an electron in a circuit is typically that of a snail, unless you're really, REALLY heating up the wire.
I like that both of your suggestions include spending money and time.

You can flood a dungeon or build a new bridge, but both will take at minimum weeks, if not months.

If the King's daughter was kidnapped by those who live in the dungeon, or if the outcome of a battle hinges on you being able to cross that bridge over a chasm, they're not going to be happy when you come to them with a three-year plan for civic improvements.