skysight-inc/HackerNews huggingface dataset:
I run https://divjoy.com, a react codebase generator. Essentially a boilerplate you can customize before exporting your code. It's been a nice business for me over the past few years. As always, the challenge is marketing and differentiating yourself from the numerous free options. Good luck!
Not only do you not care, it actively benefits you to “pull up the ladder” and prevent others from getting on board.
It's basically impossible to have crisp fonts without a high DPI integer scaled monitor. The target monitor hardware for Windows and MacOS is vastly different.
Previous discussion: https://news.ycombinator.com/item?id=8131785
As opposed to what people? High school dropouts?
I would say crypto's largest project is "Bitcoin" and would recommend reading the whitepaper (its surprisingly digestible). It is functioning as designed and successfully working as described for over a decade, so I think calling it a 'scam' would be a stretch.

Everything in the crypto world is built off of the core decentralized consensus idea described by the whitepaper, so I think it's really the foundation of understanding everything else.

My personal appraisals of other parts of the crypto space that aren't scams: Ethereum, Lightning Network, hardware wallets, Coinbase, Proof of Stake (may not like the incentives, but it can work as designed), DAOs (inherently risky because they have an implicit bug bounty for their total value, too risky for my taste, but glad they exist and people are learning how to make them more robust)
Scott Disick (of Kardashians fame) gave them quite a bit of American publicity a few years back.
That's not really how funding works though. Say a company bids to build or refurbish a new street, the money paid to the company comes from a variety of pools, local, state, federal and utilities, to get funding from the different organizations the contract usually have multiple requirements like 'must build pipes for sewage, power, internet, ect' and the funding percentages of the project will depend on whats being built and where. That said, the people living in those houses will likely also pay state/federal taxes and utilities so its more complex. You also can't expect local towns or cities to foot the complete for big projects like highway overpasses and bridges and stuff, so how much a city contributes to infrastructure and gets back is harder to say.
https://blog.jetbrains.com/kotlin/2021/07/adding-volume-to-t...

Some people get paid to do, pardon my language, nothing personal meant to the individuals who got hired to do it, but, the stupidest shit. Who needs "mascots" and 3d logos? Marketing executives' résumés. Nobody else needs this. This crap is an indicator of cancerous growth within an organization.
I would think that there are other environmental stressors that have influenced the behavior first, specifically the economic stagnation of the middle and working classes, combined with things like the opioid epidemic, income and housing insecurity with everything further exacerbated by the pandemic, social isolation, economic and supply chain constraints and now record inflation, all within the last decade and with minimal support systems available, along with the rise of divisive populist politics permeating everything and social media pushing people into echo chambers that radicalize their opinions even further.

A lot of people are probably beyond stressed and stretched way past their tolerance point by now.
I still kind of lost here.

I know this much about frontend development too but I was sure that you still need a package manager to install your npm\yarn and other tools.

PS: Obviously you can live without one. Regardless of being backend\frontend developer.

PPS: and honestly, how can you be scared of postgresql and co. after webpack? If you can actually understand this crap postgres setup should be to easy for you.
Being necessary and being exhausting aren't mutually exclusive qualities.

But - why are the steps needed to create a database and setup credentials such a complex, manual process anyway? Why can't all those steps just be automated by a helper script that ships with postgres?

I reach for sqlite whenever I introduce SQL to people because its so much easier to get started with sqlite.
I've searched for the best hotel in Barcelona and the W hotel came out on top. At least you got that right!

Then I searched for the best shirt for men and it gave me Uniqlo and Everlane - okay. Then it followed that up with Brooklinen (luxury bed sheets), J Crew (A woman's clothing store), a search results page for amazon.com for search query "Men's Flannel Shirts". Not very great.

Another thing is the star rating. "Based on public opinion" means nothing to me without some context and sources.
They are a Czech company with founders originally from Russia (but most of them moved to other countries long time ago). Their leadership do not support war in Ukraine and doing many things to help Ukrainians. As for the opinions of individual engineers — there are many engineers in, say, FAANG, and other companies who sadly expressed pro-Russian views in social media. I have seen them here on Hacker News.
Insider trading can lead to more accurate pricing at a particular time by releasing information earlier than it otherwise would have been released (albeit selectively in a way designed to maximise harm to people on the other side of the trade the insiders usually have some sort of fiduciary duty to).

It also creates incentives for insiders to act perversely to profit from asymmetric information, including acting with the intent of creating less accurate pricing at a particular time in order to create trading opportunities for insiders.

Suffice to say the dominant trend in crypto markets is not rapid convergence on a relatively stable price...
That's an interesting proposal: make it free for members and eventually build enough membership that providers are actively wanting to join the network for a monthly fee.

To be clear, I'm happy with any pricing model that accomplishes the goal of helping people who are stuck paying out of pocket for healthcare. But charging providers doesn't seem viable because providers seem quite un-motivated. In fact, Pocketero's biggest challenge right now is getting providers to reply to invites to join the network. Not because they are opposed - they are willing to join if we can speak to someone. Rather they are overwhelmed with customers. They don't reply to emails/faxes/voicemails, they only seem to join if you get them on the phone and walk them through it. Because they are so un-motivated, part of my pitch is "it costs you nothing" - hopefully leaving no possible objections to joining.

But you pose a good question: "those who cannot afford healthcare are they in the position to pay monthly"? I'm starting to think sponsorship is the most viable model - small businesses, churches, etc. paying for memberships en masse. I just added the sponsorship feature on Monday, and may soon pivot the homepage to focus on sponsors. What do you think about that model instead?
That's because what is sold in America as bologna is mostly an American product and not actually descended from Italy. Like many things in the US, it was produced and sold by and for immigrants.

https://www.youtube.com/watch?v=gZaOK0Cj3ug
Unsound – Sources of Unsoundness in Verification
Software and proof verification has grown significantly in the last 15 years. Growth has come to the point where verification systems are complex and manually proving the soundness of those verification systems sometimes exceeds what a single research group can understand and verify as correct.

Even formally defining soundness can be challenging and its definition is varying from system to system. Specific research groups can have very specific notions of soundness they focus on, but those can diverge from what the users expect, especially if the users come from a different verification environment or they are approaching verification for the first time.

Participants to Unsound will be able to share their experience and exploits on how different verification tools can either be broken or expose confusing behavior, likely to be unexpected by users. We think this would be greatly beneficial not only because it will help all of us to iron out those unsoundnesses but also because it will facilitate understanding of the foundational differences between the assumptions of the various research lines.

The current academic environment encourages us to talk about the success case of our work. In this workshop we want to address and learn from failure cases and we want to reinforce the bedrock of our understanding. In practice, when we divert our focus to a specific aspect of verification we may (understandably) be less precise. For example, a line of research focusing on aliasing control in OO may be less precise when considering the implication in other areas, like termination. We believe that learning from the issues of many verification projects can broaden the attention of researchers to topics which so far escaped their focused area of research; e.g., from only type correctness to also avoiding stack overflows.

We believe that this environment would be particularly beneficial for young researchers that are in search of open questions in verification. This may provide a motivation to deep dive into the details of any particular tool, or to expand their individual area of expertise to get a wider and more objective and critical view of the whole area of verification.

We also wonder if in our fast expansion we accidentally glossed over some fundamental issue in verification, and if our mistake has now become engraved into the established wisdom and it is sometimes uncritically assumed as a valid reasoning stepping stone.

We are particularly interested in sources of unsoundness that are accidentally shared by many different unrelated research lines, and to develop an understanding on why this is the case.

The workshop would be its first instance and is meant to be welcoming for both people with strong theoretical skills, as well as people who just like hacking things. We do not expect fully polished submissions and we will not have formal proceedings. Students are especially welcome to attend.
From tfa:

> Due to browser sandboxing there is no way to connect directly to the Postgres instance beyond the embedded psql interface that we establish for you. The current configuration allocates 512MB of memory for your Postgres instance, we may make this more configurable in the future. It’s in the browser, hence if you refresh you’re going to get a fresh instance, we haven’t created any persistence layers (yet).
Investment firms buying homes is a symptom, not a cause. The only reason they do that is because local government artificially inflate the value of homes through supply restrictions.
This resonates deeply with me (and my research project).

1. Glue code and boilerplate waste

Yes, yes and yes! Glue code is the dark matter of software [1]

My hypothesis is that the reason we have to write so much glue code, and that it's always sufficiently different is that we don't have the right architectural abstractions. Specifically, our programming languages only support (essentially) procedural abstraction (procedures, functions, methods).

With Objective-S [2][3], I've been introducing language support for other architectural styles. It's been a slog, but recently things are starting to really click together, particularly the combination of "stores and streams" is very powerful and eliminates tons of boilerplate, often reducing it to the "connection operator" →

Which not only happens to be very brief, it's also generic/polymorphic.

3. Why don't frameworks work?

Also really very perceptive observations. Frameworks sort of work, but they tend to be limited by having to represent their domain in terms of procedural abstractions.

4. Non-textual code/modeling

I don't think this is the problem. Modeling is a problem, but a large part of that is because the systems/models we need to build are non-procedural, and so our textual code can only be a meta-program or meta-system that then constructs the actual system. Which is not visible/present in the code we write, but only exists in the running system and in our heads. If we close that semantic gap, having that model expressed textually shouldn't be a huge problem.

The problem is not the text, it's the wrong abstractions that our text expresses.

5. Testing

Not sure the idea of generic testing is that useful, because the key to testing (for me) is its concreteness. That said we can reduce test friction a lot, I think. [4]

6. UI construction

You don't need UI mockups and prototypes - you just program the real thing, because it's that simple. If the user doesn't like it, you can completely restructure it easily.

Yes. I've seen a lot of mockup tools, and it always seemed obvious that writing the real UI should be just as easy (or easier). With NeXT's Interface Builder, we had a large part of that, but sadly Apple has had it languish so horribly that nowadays even imperative code is often preferable, and the fluent APIs such as SwiftUI or React, Flutter etc. seem vastly preferable, despite their deep flaws.

[1] https://blog.metaobject.com/2021/06/glue-dark-matter-of-soft...

[2] http://objective.st

[3] https://news.ycombinator.com/item?id=32444300

[4] https://blog.metaobject.com/2020/05/mpwtest-reducing-test-fr...
This Dr. Stanfield? /s

"Molecules I Used To Take But Have Now Stopped

NMN:

I focus on stopping my NAD from declining by using Apigenin, Quercetin, Fisetin, Niacin, regular exercise, a great diet, periods of safe fasting, and restful sleep.

Since I’m 30, there’s not a reason for me to take NMN in addition to the above strategies at the moment.

As I enter my mid-30s, if my NAD levels are going down I will start taking NR.

At this stage, there is far more published human data on NR compared with NMN. NR also has its Generally Recognized As Safe (GRAS) certification from the FDA. For those reasons, I would start NR, and not NMN."

https://drstanfield.com/my-supplements/
I don't know about long COVID, but there is definitely an issue with new forms of methamphetamine (specifically, P2P meth) inducing aggression and mental instability in otherwise stable people. Among other sources, The Atlantic published an article about it: https://www.theatlantic.com/magazine/archive/2021/11/the-new...
Would love to see this! I could see a wasm version of postgres being useful for all sorts of things, especially an easy dev instance of pg runing inside a node app.
> doctors dont automatically become millionaires collecting vintage cars or buying private planes

Yes, instead they make less than new grads working in literally any white collar field in the US, less than nurses in the US, and less than most blue collar trades in the US [1]. 91k GBP for the highest pay grade specialist doctor is just sad given how much training you need to become a specialist. That doctor could be making millions here in the US with their own practice.

GPs in the US (lowest paid specialty) get paid 2-3x what GPs get paid in the UK, according to the NHS payscales.

I think doctors working 80 hour residencies and grinding through med school deserve to get paid more, don't you think?

[1] https://www.healthcareers.nhs.uk/explore-roles/doctors/pay-d...
I've never said a touchscreen is better. FWIW, I like the button controls on my car and don't need a touchscreen.

I'm specifically replying to "anything else you should do at the parking lot", which we know people don't do. I'm ONLY saying that UIs should be designed for how they will be used. If people never pull over and do things on the go - either disable them completely when the car is moving or make sure the user is done as quickly as possible and with the minimum amount of looking inside the car. If that's a touchscreen, buttons, buttons next to a screen, I don't really know - that should be done with proper UI/UX research.
I couldn't disagree more.

You don't buy a drill, you buy a way to get a hole in, say, wood. That's the core product.

The core product of 'programming' is a software solution. So far, the best way to approach it is text.

But... text is an incredibly poor model! It's almost literally an accounting system of "Jake spent fifty dollars." It's text which is "actively harmful," and we see it all around us in the absence of maintainable systems. Yes, currently, it's the best way we've found; just as horse and buggy was the best current form of travel 150 years ago. But it takes very little imagination to expect we'll find better.
Why Did I Choose the M2 MacBook Pro over the MacBook Air?
For those wishing to experiment what a current image-based development environment feels like, I recommend Pharo. Probably is the most advanced open-source development environment in the tradition of Smalltalk, available today.
Main site: https://pharo.org/
MOOC: https://mooc.pharo.org/
I think if those were the underlying factors we would've seen a rise in the homicide rate earlier than immediately after the beginning of the pandemic.
> Any project that financially rewards its creators feels like a cash grab to me.

Are all non-crypto startup businesses 'cash grabs' in your opinion? Does that make them scams?
We were hoping that the voting system would allow for user based manual refinement. We'll see. I'm not sure the users will be that invested.
Your other points were good, but

> And as with cocaine, blockchain will be forever slimed by association with this ponzi scheme fad and its devastating impact on millions and millions of families and fortunes.

Maybe you missed the irony of using a term that was coined and invented in traditional markets, but they seem to be fine and not very "slimed".

Crypto is certainly going through pre/early regulation gesticulation but ... most of the crypto scams were already done in traditional financial markets in their early days.
the alternative is the system we're evolving to where the landless class will owe the landowning class most of their productivity, forever
That's fine, everyone has their preferences. But it's perhaps better to try something before judging that it's crap without experiential evidence.
Having been involved in various roles of double entry accounting adjacent tools, the next level up is realizing that it is easier to display the correct sign if you store things unsigned and use debit/credit nomenclature even in your DB model/codebase. It's not just that this makes it easier to talk to the accountants using your system about the internals of that system, but that showing the right sign becomes simple "pattern matching" based on entirely on the type of account and the user's type. There's no "math" involved to switch signs based on how it is "stored" in the codebase, the displayed signs are always a UI element that is clearly dependent on its inputs.

The centuries of accountant's aversion to using negative numbers in day to day accounting usage has abstraction uses even in your codebase.
Just like with dieselgate this will be a closely guarded secret. Most likely the eu will create some very friendly regulation, and once it becomes an issue they will blame on east europeans somehow - there’s always a way in the eu for that.
Ok, but please don't repeat flamewar clichés in discussion here. This must surely be the biggest one of recent years and the flamewar has been repeated a thousand times already, if not more. Repetition to that degree is off-topic on HN (https://hn.algolia.com/?dateRange=all&page=0&prefix=false&so...).

https://news.ycombinator.com/newsguidelines.html

p.s. For clarity: I'm not making an argument about cryptocurrency here. Just about HN threads.
Why? I used them and I am wholly unimpressed.
No.

What happens in Atherton is, indeed, the business of Atherton residents. But if you have a net worth of $1.3 billion, and you walk around publicly telling every other municipality what they need to do, only to turn around and publicly refuse to do that in your municipality under the auspices of, "My gigantic pile of 'fuck you' money will still be a gigantic pile of 'fuck you' money just ever-so-slightly-smaller, so much so that I won't even notice the difference," then... yep. We're all going to roll our eyes and tell you to fuck off.

Now, you don't have to fuck off. That's your prerogative (after all, you've got all of that "fuck you" money!). But we'll still tell you to.

Plain and simple.
In a text file that I cull every so often. Not that the culling works – I tend to add a book for every one or two that I remove from the list.
If there are "back" and/or "home" buttons that's a non-issue. And that's been my experience with oscilloscopes with this kind of interface.
Narrator: They were not arguing in good faith.

I know we like to give the benefit of doubt here on HN, but that crosses a line. Landlords are known to perhaps not take the best care of their property, but in general, even if a tenant totally trashes the place it isn't too hard to strip down whatever got abused and rebuild it. Same thing happened to us when we rented a property. Tenant did as much damage as you can imagine with pets and abuse short of ripping wires and pipes out of the walls. It was really annoying to fix, but not hard. In the [late] 2020 real estate market it was easy to sell it and the house appreciated like 30-40K since we sold it easily.
The recipe was carved into law a few different times.
18W at idle seems like a lot of power.
Huh. Disregard what I wrote entirely, then. Reading through https://github.com/WICG/file-system-access/blob/main/AccessH..., I can see how they’ve bypassed most or all of the problems I saw—I was making unnecessary assumptions.

Thank you for correcting me. I am now enthusiastic about OPFS.
Because that 1M has already been taxed either as income or investment. Why should it be taxed twice?

Amounts over 12M are indeed taxed twice.
Things like yogurt and kefir are sold widely in the US, and bottles even boast the numbers of live bacteria they contain.
Wow, when they said adding volume, they literally meant extrude.
My personal hypothesis (based on nothing) is that TikTok just uses the very strong signal of watch time. If you watch a clip all the way, or multiple times, that's good. If you skip early - that's bad.

When I had Netflix I remember being frustrated that Netflix would recommend me shows "based on" content I had watched for a few minutes, decided I didn't like, and backed out of. Why would you recommend me content if you have a strong signal I dislike it?
Tens of millions of Americans gained access to healthcare due to policy changes. The IRA just further expanded access to healthcare.
Disgusting victim blaming. Not surprised this is a throwaway account.
They are moving out from Russia as fast as they can, but unfortunately it takes time.
I always thought Musk would be a fan of Arsenal or Liverpool. Or maybe Manchester City ...
The article doesn't really go into it, but most real life applications would not share every contact with every other contact. You can imagine a number of different solutions to this problem, but it's mostly a UX issue on how users would be most willing to share their contacts with others. Apps with different approaches could still share data with one another.
Modi is Vaishya or Brahmin - either upper or middle caste.

https://en.wikipedia.org/wiki/Modh

A lot of Vaishyas have been certifying themselves as Backward caste in order to obtain affirmative action privileges. Including the dominant caste in Gujarat, the Patels - with the Patidar movement.

Modis were added to OBC list in 2002. This is a subversion of affirmative action which was meant to help lower castes, not upper castes.

BJP is primarily composed of upper castes. Only performative functions like Presidency are granted to lower castes.