skysight-inc/HackerNews huggingface dataset:
Ask HN: How do you manage projects at home?
Moving from a condo in the city to a single family in the burbs with a one year old during the pandemic has been both overwhelming and humbling. For the last 2.5 years while failing to optimize time and money across different projects, I have missed a system that has the following features:
- Task based workflow
- Calendar/Reminder
- Contact management
- price/quote management
- Expense tracking
- notes/wiki for howto, planning, research
- Document management

I think having offline and remote/mobile access is invaluable as you are rarely in front of a terminal while taking care of such projects. Self-hosted would be ideal, primarily because of sensitive information, but also because I’m not sure how the needs evolve over period of time - for example, sometimes you have high setup cost (complexity/cost) but then with the systems in place, the effort needed reduces considerably.

So far, I have been doing it with notion, but the drawbacks are obvious. I was thinking of looking into open source erp systems, but felt like I am chasing tool vs having a disciplined approach - so wanted to see what(spreadsheet, markdown on git, notion etc.) are you using to track and ship long/short term projects at home?
"Russia has acknowledged a Ukrainian attack has damaged a warship in the occupied Crimean port of Feodosia in what Ukraine and its Western allies call a major setback for the Russian navy.

Ukraine earlier on Tuesday said its air force destroyed the Novocherkassk landing ship, with President Volodymyr Zelensky joking on social media that the vessel had now joined “the Russian underwater Black Sea fleet”."
Unless your routine urban and suburban trips involve transporting kids, car seats, stroller, the family dog.
And from my perspective, the whole thing sounds very much like a weird religion.

So I guess we should just agree to disagree.
I think Google really made a strategic mistake by copying Apple on the payment restrictions. It kills me to see Apple and Google lumped together as "monopolies" when Google's policy is IMHO 100x less monopolistic than Apple's given you can sideload and use completely different app stores, and enable "developer mode" without paying a subscription fee just to run your own app on your own device. But the payment restrictions are definitely monopolistic-style abuse. Had they not have copied that, I don't think they'd be under this microscope and losing lawsuits and what not.

It does still blow my mind that Apple won their lawsuit from Epic, yet Google lost, when Google is far less restrictive. IANAL but from what I've understood it mainly came down to the fact that G execs put the stuff in writing whereas Apple did not, so with G there was some real damning evidence of the anti-competitive behavior. But ironically, the reason G execs were in the position of having to buy off people and make deals to stifle competition is because of their looser reins over the platform. If they'd been draconian and hyper-controlling from the start, refusing side-loading and similar like Apple does, they wouldn't have had to pay people off and make deals to crush competition as that competition couldn't have even gotten off the ground in the first place.
Hard to blame the ranchers, as this is essentially a wealth tax being unilaterally levied against them. These efforts are driven almost entirely by urban progressives who won't have to deal with it.
Or trifling matters like clips working on an entirely different principle (transmission vice reflection) than the method which remains patent encumbered.
No, that's exactly how they look at it. They see it as they can't really change supply but they can lower demand by removing all purchase power and they look at the recession as a necessary goal to tame inflation.
This category of law is broadly referred to as competition law, because that's what it's concerned with.

If you had five "competitors" but they all conspire to divide up the market between them so they don't have to compete with each other, this is problematic in the same way as a monopoly. But that's exactly what the game consoles do. Alice has a PlayStation, Bob has an Xbox, Carol has a Switch. If you want to sell your game to Alice, Bob and Carol you can't just strike an agreement with one of the console makers because that only allows you to reach a third of the market. You can't play Sony and Microsoft against each other to get the lowest fees because you need both of them rather than being able to choose the one offering the best deal.

The best argument for why game consoles aren't like phones is that a non-trivial number of people have multiple game consoles, whereas hardly anyone carries two phones in their pocket. But even then, there are a large number of people who only have one console -- large enough that game developers still can't ignore them -- and few people who have all of them.

Likewise, there are companies other than console makers who might like to make a game store, or make one that services all types of devices. Those companies are locked out of the market, even though their presence would be likely to drive down margins.

So competition law should be concerned with this, because it's limiting competition.
No it's pretty standard. Peano's axioms from the 19th century had an induction axiom in second order logic, since it quantified over predicates. Peano arithmetic (PA), also called first order arithmetic, came later. It is a first order theory whose induction axioms are an infinite schema. To confuse things further, second-order arithmetic (SOA) is also a first order theory, whose objects are naturals and sets of naturals.
This is the most important bit, to me:

> By the end of the day, we had complete models on the screen, manipulating them with the controllers. Within a week, we had an environment to move the model through.

The Black Triangle was a leading indicator of a payoff that began happening by the end of the day. Too many similar projects result in a constant string of promises that we are just about to turn the corner on velocity/capability if only we would let the engineers focus on this refactor for a bit longer.

In practice, "Black Triangles" projects are bets like any other. If they work out, they unlock faster velocity and the ability to deliver better features. Often they deliver nothing but a refactor to someone's idea of a better architecture, and are lucky to ever reach breakeven on engineering time.
I’d imagine the creator uses Google calendar, made it for themself, and then decided others might like to have a pre-built version. “Trendy” probably doesn’t have anything to do with it.
Your ability to download or upvote comments and stories can also be shadowbanned, rendering these actions ineffective.
Apple, Its Control over the iPhone, and the Internet (2021)
I’d like to see evidence supporting it doesn’t work. If something hasn’t been done before, it’s really hard to provide evidence without actually doing it. I unfortunately cannot change it by my own, so I cannot provide evidence on what would hypothetically happen if we ban lobbying, get politicians motivated to allow a competitive free market, have the government participate in healthcare and do bunch of other things.

I can provide examples of different models of public/private healthcare existing in the same market, if health insurance and healthcare being more accessible and being cheaper across the world. All of these systems have more than one aspect of my “wishlist” if not all. https://www.news-medical.net/health/Healthcare-Systems-Aroun...
From the creator:

"It’s not open source and you need the backend for it to work."

They alluded to open sourcing the software/API if the business ever goes under, but obviously that'd not guaranteed.

Such a shame, I'd be willing to pay more for a product that was actually open.
>Is it rational for a rationalist to want to be a parent, knowing that having a kid rewrite your utility function?

I think that is only true if your utility function is a combination of self preservation and hedonistic needs.

We know this doesn't fit everyone, many sacrifice their health, safety, life and comfort for other values.

> All the pronatalist influencers get together and say that pregnancy isn’t so bad.

Many women have one kid, say they're happy they had a kid, but don't want another. However, plenty do elect to have more kids.

Overally though, I'd say for those in life that seek to minimize discomfort and maximize psychological safety, then yeah I think it doesn't make sense to have a kid. But if that doesn't fit someone, there are some great things about it.
I am puzzled as to how Apple -- or especially Google -- are supposed to run their business given this: "The legislation aims to force them to allow third-party app stores and payment systems as long as they are secure and protect user privacy."

At present, Apple's model is based on a certain expected revenue per device that is a combination of some profit on the device and some profit due to apps. If the profit due to apps is reduced somehow, it stands to reason that profit on the device must go up -- in other words, the device must be sold for a higher price.

Google does not always even sell the device and Android is open source -- the only revenue Google gets from many devices, apparently, is app sales.

Maybe the margins of free-and-clear profit for Apple and Google are high enough that this really doesn't matter -- they'll still be able to cover whatever costs they formerly had with plenty left over to spare -- but even given that, I do wonder what the regulators think Apple and Google are going to do about a change like this.

EDIT

It seems like many people are taking the lead sentence ("I am puzzled as to how...") as expressing sympathy for Apple, Google and other large monopolies (one commenter writes "We shouldn't weep for monopolies."). This is not the focus I wanted to bring to the topic -- really it is more about how they will change, given that the old way of running their business will not work at the same rate of profit anymore. Maybe many commenters think that the rate of profit is high enough that nothing will change, &c. One commenter writes "Maybe by selling hardware?", but then I wonder, will Apple adjust prices upward? Maybe only in Japan?

One commenter asks "Why should anyone be concerned with the well-being of Apple or Google?" and I would say, I'm not sure they should be; but it's worthwhile to be concerned about how they respond to this situation. I also wonder what the regulators thought about this problem -- how they modeled the tech giants' response.
Why not get a SATA PSU just like you are adding a dara adapter?
I hear you about switching off and not ruminating over programming problems after work hours. I have found that (a) exercising for 30 mins helps put me “in the moment” provides a nice mental break and “palate cleanser” and (b) practicing mindfulness has helped me be more intentional about controlling where my thoughts go.
Profit is necessary to invest in the future. If revenue matches cost leading to a gross profit of zero, you can only ever keep whatever it is you have today with no room to advance or adapt or even maintain.
While it is good that such drug exists, it could be a wrong path to fight disease. Instead of fixing the root cause: unhealthy food habits, it reduce symptoms. People will continue follow unhealthy lifestyle knowing they can get a pill later.

You can compare obesity with depression: both are psychological issues in most cases. It is easy to fight obesity - the person simply need to cut on calories, to get a healthy diet. However, it is really hard to do that on practice.
Proprietary software isn't exactly scarce either. It relies on copyright and patent law to enforce a monopoly.
You can see the [dead] comments if you go to your profile and enable "showdead". Most of them are very bad, but from time to time you can find a false positive and vouch it.
>Since this theorem is true for the standard model of the natural numbers but not provable

I've always found the provable vs true comparison confusing.
How can we say the statement is true under the standard model if we cannot prove it? I understand that it could be true, but how do we know it?
If it's proven with second order arithmetic, then this implies it is true under the standard model too?

Or are there statements true independently of the axiomatic system you use to prove them?
(Apologies if this is too off-topic)
Is there a chance Apple will pay Masimo for the technology and resume sales?

I am curious why that didn’t happen. If this is an exec’s decision and this leads to bigger losses than paying Masimo, I wonder what would happen the people involved in the decisions.
Ask HN: How do you manage your home projects
Moving from a condo in the city to a single family in the burbs with a one year old during the pandemic has been both overwhelming and humbling. For the last 2.5 years while failing to optimize time and money across different projects, I have missed a system that has the following features:
- Task based workflow
- Calendar/Reminder
- Contact management
- price/quote management
- Expense tracking
- notes/wiki for howto, planning, research
- Document management

I think having offline and remote/mobile access is invaluable as you are rarely in front of a terminal while taking care of such projects. Self-hosted would be ideal, primarily because of sensitive information, but also because I’m not sure how the needs evolve over period of time - for example, sometimes you have high setup cost (complexity/cost) but then with the systems in place, the effort needed reduces considerably.

So far, I have been doing it with notion, but the drawbacks are obvious. I was thinking of looking into open source erp systems, but felt like I am chasing tool vs having a disciplined approach - so wanted to see what(spreadsheet, markdown on git, notion etc.) are you using to track and ship long/short term projects at home?
You can't just put BTC into your Roth IRA. You can, however, buy a Bitcoin ETF in your Roth IRA. Or SEP, SIMPLE, many 401(k)'s, Traditional IRA, or any other number of accounts that actually ARE covered by SIPC insurance (which your crypto wallet isn't).

There's a good chunk of money that for regulatory reasons CAN'T touch it until it hits this structure.
> skimming some of the revenue for profit goes directly against that

Non-profit hospitals don’t fare better or worse on health outcomes than for-profit hospitals [1]. They are run less efficiently [2]. If you’ve been on a non-profit Board, particularly a service-model non-profit, this makes sense.

[1] https://www.hsph.harvard.edu/news/press-releases/hospitals-c...

[2] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7439627/
> HN: patents are immoral and ideas should be free!

HNer who never went through expensive R&D struggle of his own product

> Also HN: if you infringe a patent you’re a thief!

HNer who actually developed and released working product.
It seems to have wised up:

GPT4: 140 days from November 1, 2023, will be Wednesday, March 20, 2024.

(asked just now)

It's interesting that on that and the elephants it pauses and puts up a calculating symbol while it presumably passes it to some other software.
> Individualized attention from an expert human probably is indeed the best way to learn and develop skills, but it doesn't scale.
> Any tool that helps a novice build a more accurate mental model of a subject is a benefit, not a crutch. Holding an ideology in opposition to such tools is foolishness.

It looks like you really don't have a substantial argument or credible results to show for why your proposed approach is better, so I'll refute this one: no, any tool that helps a novice build a more accurate model is not necessarily a benefit. It's the same reason that you don't ride a bicycle with training wheels forever, and the same reason singers who can't sing without auto-tune atrophy in their development.

I'm glad you're at least conceding the value of individualized attention from an expert human being the best way to learn and develop skills, but I disagree with you that it doesn't scale. In fact, I'll refute it most strongly -- it's the only thing that /does/ scale.

If you are a novice engineer and you want to progress as fast as possible, start doing real code review as soon as you can. As I mentioned earlier, you don't need to get that from being gainfully employed -- you can and will pick up all of these skills in open source contributions. Start contributing and you'll get feedback. Work on the feedback and you'll start learning what code review is all about in practice. Learn what code review is all about in practice and you'll stop fumbling around in the dark with a debugger.

You only have so many hours in the day. Spend it on what really matters, and spend it on the most important muscles. Do your deadlifts and squats rather than ab crunches.
I've seen at least one user recently which has all his comments as [dead] automatically and they are pretty normal comments. I did not write down the name but I've seen that only once.
The difference between owning a billion dollar company and the deduction from donating a billion dollar company is pretty huge. Donating the company was certainly not a financial benefit for the family in any way.
Maze introduced the concept of "online players" in 1973 and muds prior to this lucasfilm example and compuserve had some crazy innovations in the 80s.

I’d argue this concept has been happening since almost the earliest days of networks.

Wikipedia’s history on virtual worlds is a great resource on the subject:

https://en.m.wikipedia.org/wiki/Virtual_world#:~:text=Maze%2....
Instead of blocking/non-blocking, blocking with a timeout is probably a better primitive. A simple convenience would be to provide FOREVER (or maybe ONE_MILLENNIUM) and ZERO_TIME constants for the maximum (or absurdly large) and zero time duration values. Blocking and non-blocking operations can be implemented as syntactic sugar on top of a timeout (blocking forever and blocking zero <clock_granularity>ies), if you're willing to pay the increased syntactic complexity.

In any case, when writing APIs, particularly for back-end code, I prefer to remind the caller to think about "what's the longest I'm willing to wait here?" and force them to be explicit if they're really willing to wait years for a result. Even/especially for async APIs, I prefer to make all of the timeouts explicit. More than one developer has asked me for help with running out of memory that happened to be from queued async thunks due to absurdly slow response from some other back-end service.

Depending upon the OS-exposed primitives, perhaps the waiting forever and waiting zero ns might be optimized to use different syscalls as an implementation detail.
The answer is clearly yes…

It’s a feature but not the only feature. Ppl complain about Google search (arguably their only feature) on HN everyday, but they’re still essentially a monopoly.
This may only be tangentially related, but you might be interested in the recent research on Qualitative Constraint Satisfaction Problems - a good introduction to the topic is Manuel Bodirsky's habilitation thesis [1].

The purpose of the subject is, roughly speaking, to exhaustively characterize all types of reliable reasoning which can be carried out efficiently - some people say they are searching for "a logic for P". The techniques used are a mix of ideas from model theory, universal algebra, Ramsey theory, and computer science. Given the ridiculously ambitious scope of the project, I think the rate of progress (especially in the past few years) is astounding.

[1] https://arxiv.org/pdf/1201.0856.pdf
I had never heard the word "cromulent" and so that led me to a Mirriam Webster article describing how The Simpsons made the word up for a joke and then from there "seeped into our lexical consciousness". Worth a read!

https://www.merriam-webster.com/wordplay/what-does-cromulent...
Humanity's Eternal Quest for a Better Way of Peeling Garlic (2019)
Ask HN: Platform for kids to learn how to code
I’m trying to find a platform where my kids can start learning coding esp. that makes it more interesting and engaging for them.
Hahaha I guess so! Would you rather I didn’t vouch for your comments and ignored you instead? What language did I police, exactly? What would you like to discuss instead? Maybe I’m starting to see why you’re shadow banned? Happy holidays my friend! Language is fun, there’s no good reason to complain about how it’s used, and it doesn’t help, and there are good reasons to avoid making assumptions and trying to claim that people are incorrect, especially when it’s you who’s wrong and you don’t know it. Just sayin’. Enjoy English and all its weirdness, learn to play with it and let others play with it. That’s how works and how it’s supposed to work. Fighting it will just leave you unhappy.
I've learned to accept getting a bit of raw cold egg white on my fingers.
> Who's that?

The great majority of people living today. We currently have the historically lowest percentage of people living in poverty ever. Check out the statistics. Of course it’s not 100% but it’s never been better.
Are you using Minimal theme? It was an issue with Minimal that was fixed, if you update your theme.
XPath Scraping with FreshRSS
I have my zsh set up so that if I just press Enter without writing anything it will run ls -l or git status if it's a git directory.
If you saw what sorts of stocks people put in their IRA's, putting Bitcoin in there would be the least of your concern.

Remember GME, AMC?
> there are a large number of people who only have one console

Iphone or Android, yeah. Basically nobody only have a Playstation or a Nintendo.
You can already heat your house with bitcoin mining rigs. (Hm, that's actually not such a bad idea!)
Missing “Classic”

It’s missing the relatively recent new list called “Classic”.

https://news.ycombinator.com/classic

Classic: Frontpage as voted by ancient accounts
https://flutter.dev/showcase has many high profile examples
I’ll go a step further:

Have a different person do it each time, having them add and refine the documentation and any tooling once they’ve done it. Keep any tools and scripts used fastidiously current-few things are worse than “to fix this issue, run the repair.sh script” only to find it stopped working 6 months ago because it relied on some extremely specific lib somewhere.
Yes this is a great discovery. It refreshing to see someone else with the same intuition but can put it into words. I especially like the isEven thought experiment. That is a big fundamental limitation.
Starting from C is the worst possible choice. C-like code is the source of errors and security holes, just like actual C.

Instead, start using the most modern language your compiler supports. Everything you write will come much easier, with much less opportunity for mistakes, and be much more fun. You will hardly ever find yourself using pointers, and never allocate or free memory.
UUIDv7 is sortable by time
Chapel: A Programming Language for Productive Parallel Computing
In the middle of watching this video. Talk is good and found topic interesting.