skysight-inc/HackerNews huggingface dataset:
From TFA:

> For instance, it is easy for a user to land at an awkward scroll position which leaves an item partially on-screen when panning.

> To this end, this module introduces scroll snap positions which enforce the scroll positions that a scroll container’s scrollport may end at after a scrolling operation has completed.

Which is exactly what this page is doing.

> primarily a touch interaction

It's exclusively a scroll interaction, whether the pointer event is the result of mouse or touch input.

> the DOM page is still scrolling natively

I'm not sure what you're trying to say by "DOM page." JS is reacting to the scroll position of the viewport. The user experience is the same.
Looks like they are having issues - https://www.issquareup.com/
I had long suspected that he's on the spectrum, and earlier this year he came out and openly talked about his Asperger's diagnosis.

I don't think that confirms he has Asperger's. He said it on SNL as a joke.
Our org has an accessibility consultant that we hire periodically to help us with aspects of our site and beyond (into other topics/things in the org).

There's definitely a market and a need for this type of work. So, I hope it works out for you!
> I see the last two launches as indeed amusement rides for billionaires

I see this take a lot, and I strongly disagree.

These launches are marketing events for their space tourism businesses! The billionaire CEOs go up to prove they personally trust the tech is safe. If they won't go, who else would?

Now they can start selling trips to paying customers, and hopefully build genuinely sustainable space tourism businesses. The fairly minimal experience of these short jumps will be improved gradually, and that future is impossible to predict, as it is completely novel territory.
There are orbits assigned but then there are also spy satellites which I don't think are getting an assignment. Would like to know more about this.
I'm not saying you're wrong, but I don't really see it as a complete defense. I would expect the point of a paper of record to be that you can take its reporting at face value. If you have to be familiar with its cultural conventions to understand what the reporters are really trying to say, doesn't that still boil down to, I'd better be careful when reading the paper or I might end up misinformed?
Nice, also highlight creation would be a nice feature and command line argument to open a pdf on a specific page. That would allow a more robust pdf notes management.
> I'm a "management type", but from an almost entirely technical background.

These are the management folks I've historically had the most luck working with. Almost always easy to work out a system of security and backup that actually works (while not wasting massive money to get the job done) with these types of people. I truly wish more "management types" actually had enough technical background to make those wise decisions about the business they're supposed to care about so much. Sadly, it's like "common sense". It's just not all that common.
I think the diving-deeper would be the idea of representative sampling in survey or experimental design.
Ask HN: Would you capitalize on P = NP
The submission yesterday (https://news.ycombinator.com/item?id=27886900) about a proof that P = NP being published (and immediately retracted) got me thinking about the immediate havoc it could cause. Assuming a low enough exponent on the polynomial function, everything we assume about modern cryptography goes out the window.

So, what's the first thing you do when you hear the news? How do you take advantage of the situation?
In the US, arbitration HAS developed the equivalent of class action cases. However, most companies that require their customers to agree to mandatory arbitration also require them to agree not to utilize class action options.
Fiber latency is way lower and doesn’t require the sharing of ambient spectrum. Society loses little by curtailing for-profit retail ISP satellite deployment.
Three SoFi alums build a community of fintech investors
How to visualize your business performance using Grafana and BigQuery
Sorry, I’m not following your argument. What is also big-O? And why is suggesting that the relevant scenario rarely if ever happens in practice suggesting agreement with anything?
The Douma denialism is just quoting OPCW workers who don't like that their reports were twisted to say the opposite of what they said.
An idea can be worth a lot! That's why we have patterns. It can however be very difficult to see why an idea is so good - so you will need the idea guy - execution is really the easy part, that you can solve with money.
Well, to me, the semantic definition of being conscious is simply to be awake, rather than asleep, insensible, anaesthetised, blacked out or whatever else.

You seem to have a slightly different definition, I think, based on these remarks -

"It is important to maintain conscious"
"I've heard about Buddhists who train to always stay consciousness while living, talking and whatever,"
"I enjoy more value out of my life if I am more awake, conscious for longer and more frequent periods of time"

I maintain consciousness whenever I am awake, because that's what being awake is, as far as I understand the word. The second quote, well being conscious is a pre-requisite for me talking (unless you count mumbling in my sleep, which does happen).
And I don't think in that last quote you're talking about deliberate sleep deprivation so you can be awake longer (you could be?).

It just made me think you were not using the word in the same sense I would. Do you think it's possible to be awake (i.e. not asleep) without necessarily being conscious? If so that would just confirm we have different definitions of that word.

I could be wrong.

(And I don't especially want to direct this conversation towards "what really is consciousness?" because it's a very slippery eel of a topic)
If your software can kill people you'd better be an engineer
Some of the brightest minds in CS are working on maximizing ad revenue for their employer. That isn't necessarily the same thing as making the most relevant (whatever that means) ads.

Your interaction mocking the ad is engagement which may generate another penny of revenue for Facebook.
Which is why these developments (faster rail and maglev) are so exciting. They change the economics of the travel decisions, potentially putting more connections into the "economically feasible" category. Of course, that's also dependent on construction & maintenance costs. I'd be interested to see where / if there are chances for economies of scale for maglev that are simply not there yet due to the tech's non-prevalence.

If it takes only marginally more, or even less time to travel by train than by plane, I'm taking the train any day.
>"In this paper we argue that existing configuration management tools --- ranging from package managers such as RPM [7] to configuration tools such as Cfengine [2] --- have an imperative model in a sense analogous to imperative programming languages such as C. That is, configuration actions such as upgrading a package or modifying a configuration file are stateful: they depend on and transform the state of the system.

Statefulness has a number of serious consequences:

No traceability:

if a configuration is the result of a sequence of imperative actions over time (some of which may have been performed manually), then there may not be a record of these actions that allows the configuration to be recreated on an empty machine. As a result, it is hard to reproduce configurations.

No predictability:

if a configuration action depends on an ill-defined initial state, then the end result may be unpredictable. This is why upgrading an operating system is so much more error-prone than reinstalling it: the upgrade action transforms a poorly defined initial state, the result often being equally poorly defined, while the installation action starts from a well-defined initial state.

Inability to run multiple configurations side-by-side.

For instance, if we want to test some modification to the Apache server in Figure 1, then we could of course modify the httpd.conf of the production instance to run on a different port. But this would affect the production instance as well. Instead, we should copy httpd.conf, but this propagates through the dependency graph; for instance, we also would have to copy the Apache service script to refer to the new httpd.conf.

A special instance of the previous problem is the inability to roll back the system to a previous configuration. For instance, if we upgrade a set of RPM packages and the upgrade turns out to be less than desirable, then undoing the change is hard: we would have to revert to backups (but it may not be clear which files to restore) or install the previous RPM packages (if we know which ones!). Likewise, if we make a bad modification to a configuration file, we'd better have the file under version control to revert the change."

[...]

>"With regard to software, NixOS has no /usr, /sbin, or /lib. There is only one file in /bin: namely, a symlink /bin/sh to a Bash instance in the Nix store.

This is because many programs (such as Glibc's system() function) hard-code the location of the shell. Of course, we could patch all those programs, but instead we took the pragmatic route --- a slight concession to the purely functional model. Apart from the symlink /bin/sh,

all packages resides in the Nix store, and have no dependencies on packages outside of the store.

For example, once we had NixOS bootstrapped with just the single /bin/sh compromise, we were able to build Mozilla Firefox and all its dependencies all the way to Glibc and GCC purely. (Details of the NixOS bootstrap can be found in [9].)"

[...]

Footnote [9]: "A. Hemel. NixOS: the Nix based operating system. Master's thesis, Dept. of Information and Computing Sciences, Utrecht University, Aug. 2006. INF/SCR-2005-091."
They should have driven there with four Rimac Nevera, one car per astronaut. Now THAT would have sent a message.
They appear to be not caching it on purpose, because of some non-obvious stuff like the dynamic "Site Status" thing in the footer. If it were me, though, I'd figure out how to cache stuff like the blog.
> Patents ... require you to disclose your methodology, allowing others to copy your idea as soon as your exclusivity period is up.

When I was taught to read a patent, I was told to skip to the claims, and the rest was useless except to provide definitions for words used in the claims. The description is _supposed to_ allow another practitioner to reproduce the invention, and many engineers who write patents do take the trouble to do this right. But as far as I know, the patent office does not verify that the description is valid or useful. They do try to check for novelty. I've also heard advice that engineers should avoid reading any patents because when there's a patent fight, damages are greater for willful infringement. Given that the usual practice is to ignore a patent's technical description, is a patent really useful as a disclosure of methodology? It seems like in practice, the only point is to plant a legal claim on some intellectual territory. As you note, the legal aspect may have genuine benefits, but the technical disclosure aspect seems to be useless.
There are four main explanations for how rods move during dowsing.

1. Random chance.

2. The operator is a sensor and the rods the indicator. The person moves the rods unconsciously in response to some internal perception.

3. The rods are moved from outside by supernatural forces.

4. The person moves the rod unconsciously and doesn't sense anything external.

I have tried dowsing and think its a either 2 or 4. It's definitely the operator moving the rods. The question then becomes why.

It's within the realm of nature that organisms can sense light, magnetism, humidity, heat etc. It's also likely that we could indicate where things are from a kind of unconscious intuition or a guess of where something could be.

If you were to do an experiment, I'd suggest using buried electrical wires indoors or outside, as these someone should have actual plans for.

In my experiments with a group of people using a pendulum, the targets identified were basically the same as when asked a different group of people consciously to choose. In other words, #4.
In certain industries, the titles often have little to do with the work. In banking, it seems, everyone is a vice president (I had a moment of panic when I had a job offer from a bank as a programmer and the offer said that I would be hired as a vice president). In publishing, everyone is an editor. The title managing editor generally has no editorial duties—it's largely dealing with the administrative/business duties of the publication(s). But since it's mostly English majors working in publishing, it makes them feel better to have editor in their job title.

So I have no qualms about having "engineer" in my job title, even if I still view myself as a programmer (I'm still not accustomed to having "senior" in my job title even though I've been a programmer longer than some of the readers of this comment have been alive).
I agree - it's incredible. First flight of Wright Brothers lasted about 8 seconds. For initial flights, I would not consider time spent in space as the most important metric.
It might sound similar, but it's very different in practice.
And even then we still don't have "paying passengers" in the sense of being able to rock up and buy ticket. One seat being raffles at a charity auction doesn't quite count.

I also suspect the pool of people willing to pony up $250k+ for a few minutes barely in space is going to be pretty shallow. I'd sign up in a heartbeat for a space hotel trip in that price range though, so here's hoping Axiom Space delivers (and gets the price range below the current projection of tens of millions).
> United Nations forum next month might discuss whether humanity has a right to ‘dark and quiet skies’.

What about people who live in or near cities? Those skies haven't been dark or quiet for decades or more.
It's perfectly reasonable to describe a very large improvement as groundbreaking.
Just ten years ago, most people could arguably kinda/sorta get by without home access to good broadband Internet. OK, you couldn't stream Netflix or You Tube but those weren't really necessities. And a telephone landline was fine for real-time communications with people. You maybe had cellular data and some laggy expensive satellite, but you could make do if you cared enough about living somewhere rural.

Increasingly that's not the case. I really couldn't have worked for any extended period from my dad's house in Maine with marginal (at best) cell service and flaky 1Mbps ADSL down.

So getting broadband to rural locations is really not up for debate even if the method of doing so is.
This is really required. I do some amateur astrophotography in India where Starlink is not even operational yet and have already seen their satellites in my long exposures a couple times.

Light pollution from the ground already ruins this wonderful hobby (and stargazing) for so many around the world, adding sky based pollution on top of that would be truly terrible.

I recognise all the benefits these satellite constellations provide us, but at what cost?
> The Abidharma is the closest thing in Buddhism to psychology; it presents a detailed, practical (for meditators) way of thinking about the mind and how it works. It doesn't resemble Western psychology at all.

By the way, why does is not? What do you mean under Western psychology at all? Freud and Jung? If so, is it a mere incoincidence the models of the mind they invented are different from that of Abidharma or did they sort of look on the object from different angles?

When trying to model a mind there are obvious elements everybody can note (can they?): the mood, the memories, the focus of the attention, the sense of self, rational logic, computational intelligence, slow and fast decision functions, self-control, compassion, random thoughts popping up and making mental noise, attitude, instincts (like fear, jealousy, arousal, etc), probably some other. Why do different thinkers come up with different models?
> “So, what’s the hardest part about designing a game? It must be coming up with the ideas, right?”

This feels like a point of view that's so far detached from reality that you almost suspect it was made up, but judging about the amount of people I've met who have "priceless ideas" I guess it's depressingly common.

It's also a point of view that you can only keep if you've literally never built anything in your life. Anyone who has tried to take an idea from theory to practice knows that there's -- in comparison to the amount of work required to formulate the idea -- an excruciating amount of work. Unless you're extremely motivated, more often than not you will quit half way, because of vastly underestimating the amount of effort needed.

This blog post is much too forgiving in saying that "your idea is valuable" in the first place: it's not. Ideas are useless. They're a dime a dozen, and most successful ideas that materialized in the world were derivatives of ideas that already existed, just executed better.

Facebook wasn't a new idea. The iPod wasn't a new idea. Google wasn't an new idea, it was just a better search engine. The amount of "winning ideas" can be counted on one hand, everyone else just had to put a massive amount of work into improving something that kind of already existed.
Indeed. And a good time to have a banking as a service business. Have a look at Cross River Bank. They have grown their balance sheet 3x in the last two years.
It’s not just US though. In Southeast Asia same trend; big tech platforms like Grab and Shopee are buying small bank license holders on the cheap to start taking deposits and build their ecosystem on top.
No, because that would require implicit dynamic allocation, which would defeat the entire point of using C.
What a silly statement. No,
you don't have the ability to read Bezos' mind from your armchair.

My 2c - it's great that billionaires are starting important businesses that are highly capital intensive, since those types of businesses are more inaccessible to newer entrepreneurs.
There is also the quality of work factor. What is easier to use a bespoke infra or kubernetes? For the same pay I'd rather work with k8s than deal with whatever gremlins are buried in 'custom' infra.
Maybe we can also start moving away from feature-limited Saas offerings that are so damn proud that they focus on One Thing And One Thing Only when customers want just one affordable app to handle all their work and not fifty-eleven ones that become crazy expensive.
One way I feel different from most people posting here:

A man spends his life building a company successful enough to have the financial tools necessary to explore space flight. He won’t get that time back. The money that corresponds to that time is his to spend.

A bunch of boring and predictable meat bags on the Internet are so narcissistic that they blandly claim to know better how he should spend that money. You are no different than the Catholic Church.
Thank you!

Yeah I indented the headings but you're right, it looks better with the highlighting alone.

That's a good suggestion about subheadings. I'll try to do something with regex - shouldn't be too difficult I imagine.

Thanks for taking the time to test it and give feedback :)
Note that forcing and the independence results are only for 1st-order logic.

They do not work for theories that characterize mathematical

abstractions such as the Ordinals and Natural Numbers up to a

unique isomorphism.

See the following video:

https://www.youtube.com/watch?v=AJP1VL7shiI
FWIW, I feel like your comment is responding to an implicit critique of systemd, but even if one was warranted I didn't read that comment as implying such (as the premise would just be that systemd is a key place in the stack where you would need to be super careful, not that it is somehow less careful than other projects... even if I might claim as such for at least logging ;P); it could be that I am misinterpreting your comment, though?
The C version is so much cleaner.
Made a throwaway to post this.

For various reasons I happen to know personally many (>10) women who've created an OnlyFans or otherwise participate in online sex work. I know these people well enough that we discuss things like our mental health state / conditions. One commonality that I have found is that many of the women who start an OF are already suffering from a mental health condition that has as a symptom hypersexuality or a need for attention / attention-seeking behaviors. One of the more common diagnosed mental health issues these women have is bipolar disorder, where in their manic states they experience hypersexuality.

One perspective is that online sex work provides a monetarily lucrative outlet for urges these women have to cope with regardless of their participation online. On the other hand, the consequences for online sex work to your "regular" life are much more far-reaching vs expressing these urges with individuals in person.

Of a bigger concern to me is that my conversations with these women have indicated that participating in OnlyFans actually deepens their trauma and mental health issues and may exacerbate their attention-seeking behaviors. Many of them have a traumatic past which directly ties into their relationships with men and sex, and participating in OF reinforces the outcomes of that trauma rather than providing them a pathway to reforge how they structure relationships with men and how they think about sex in their lives. Being involved in online sex work can be deeply traumatizing for the workers, and it is tied directly into the fact that they're both selling attention while seeking attention, and the facsimile but not the reality of a human emotional connection.

I don't know what the answer is, but I really wish that in the US we had universal healthcare including for mental healthcare. There are whole generations of women who are deeply traumatized by their upbringing and the lack of strong male role models in their lives. The epidemic of single motherhood across demographic boundaries within the US has massively contributed to our current mental healthcare crisis, and lack of a father figure that is a /good/ father heavily contributes to broken relationship models with men for these women.
You can still have sex trafficking with OnlyFans in the mix, that's where the paying customers are and gangs will exploit that. Especially if it's easy to sign up.
If your idea is super amazing, and there are others who can execute better than you based solely on hearing about your idea.... then what is to stop them from copying your idea after you launch? If it is so simple they can launch a competitor after just hearing your idea, you won't have much of a first mover advantage... they can still copy your idea after you launch.

To have your business succeed, you need to win on execution... if you don't think you can do that, you aren't going to win through secrecy.
Talkwalker names Tod Nielsen global CEO
Like Uber for snake emergencies:tech takes the sting out of bites in rural India
Consider that a bunch of bad patches[1] introducing vulnerabilities have passed a strict reviewing process and made their way into the Linux kernel. I'd say there's a far more simple and effective way: just answer questions on StackOverflow by giving code with vulnerabilities (something that most novices aren't likely to notice) and look for them later in the wild.

[1]: https://lore.kernel.org/lkml/YIV+pLR0nt94q0xQ@kroah.com/#r
Sutton Bank is the deposit taking institution and therefore wear the customer / deposit risk. Pretty much everything from the payment rails and up appears to be Square.
The risk with using Docker in production is that you can end up building your own bad version of Kubernetes over time. K8s is fairly complex but it solves a lot of useful problems such as zero downtime upgrades, service discovery, declarative config etc