skysight-inc/HackerNews huggingface dataset:
Right, I missed “remaining semantically consistent in the type signatures”. Assuming you mean correspondence between the DDL schema definition and the PL type signature, I see no need to do so, as long as both can be generated from the same definition, or one from the other. That is, the scenario were dependent types are used on the PL side and constraint checks on the database side seems perfectly fine to me (given the limitations of SQL). I’m assuming that you meant value checks on the PL side if you didn’t mean checks on the DB side.
> Crash happens, like we have seen, but everyone cashing out their USDT is not a scenario going to happen.

This seems wildly optimistic. All it would take is for users to adopt some new FOTM stablecoin faster than Tether backers can liquidate their reserves. It needn't be rational, either; it could be catalyzed by, let's say, a *ism scandal involving someone connected to Tether.
Servers in different financial exchanges that need to talk to each other, reasonably fast.
What actually defines web3 software? Is sending emails with .exe attachments considered web3?

Like, if we compare this to RESTful servers, there's no set definition but nearly everyone agrees it's verbs and paths over a hierarchical API sending JSON back and forth over HTTP[S].

It seems like most people can't agree on anything except using etherium as a backbone.

So calling something web3 doesn't seem to do a good job describing things like REST or like something like you wrote above.
I like George Carlin, but this is a comedy routine and not philosophical advice. It doesn't mean we should go around stepping on daisies because "screw daisies, destruction is WHY WE ARE HERE!"
I have the K2 LED/aluminum, hot swappable model with the medium click keys. It's 2ish years old I think. I mostly use it plugged in so I don't have to think about charging. I use it every day and it's worked great. It was my first and only mechanical keyboard, and I love typing on it. It makes me want to type.
Oil deep underground somewhere in the middle of nowhere is not remotely close to landfills close to surface, next to understand waters and relatively close to cities
If your team was sitting at desks on a fast network, Act! probably obtained 80% of the productivity benefit of the best available, most expensive CRM available today. Or maybe even better than that; because (again assuming a fast network locally) it could be operated with keystrokes quite a lot faster than many of today’s CRM system.

I worked in a place where we had phone, email, and FAX (!) integration set up also. A rep could be on a phone they didn't dial, configuring a quote for what their contact asked for, click a button and it emailed or faxed to the contact. Over 20 years ago.
Even leaving satellite images out, I don't understand either how this only got discovered now. Is China so sparsely populated in some areas? I understand that not every place is like Europe where every square centimeter has been utilized by humans in some capacity throughout history, but even in comparatively empty US, I cannot imagine something huge like this only getting discovered now.

Mexico has lots of sinkholes and there have been massive efforts to fully explore those, including autonomous submarines for mapping. Yet here is an enormous sinkhole in a country of 1 billion+ people and it gets "discovered"
...Because new technology is not build for us but against us for a little group of IT giants interests... Simply.

Classic desktops are for productivity BUT they do not generate enough lock-in nor give their main devs such a tight grip as actual systems and so on.

Unfortunately to understand people need to know both models, witch is highly unlikely outside IT techies community and even unlikely inside it...
There are so many plastic water pipes and buried cables
But wokeness is not a reaction to any of the things you mentioned. It's social justice turned up to a lunatic setting, divorced from reality.
The problem with trying to park $80bn in a bank account is not the risk that the bank might invest it. That is what banks do. You can find a legitimate bank who will be willing to hold your $80bn with reasonable terms for how fast you can access it, backed by insured guarantees and as secure as you would like.

But such a bank, when you show up with your $80bn, in order to protect their ability to reliably offer those kinds of terms, will want to ask you a few questions about where you came by that cash.

And if you can only say ‘I have no idea’, and when they then ask ‘how much of it belongs to sanctioned individuals or is criminal proceeds?’ Your best guess is ‘not none of it’, then the legitimate banks are going to walk away from that conversation.

So then, yes: where are you going to keep that $80bn?
I actually built Linen because my previous project was a fairly popular open source project. I actually don't think the hard part of this product is the technical part(like most startups). I have considered building this as open source and might still do it a bit later. But for the time being I want to focus on revenue since funding environment has changed quite a bit in the past month.
Related:

Show HN: Linen – Make your Slack community Google-searchable - https://news.ycombinator.com/item?id=31168882 - April 2022 (57 comments)
Of course it’s marketing. My mom doesn’t want to set up uBlock and a script blocker and a Pihole. She’d love to click a button and be safer. What’s the issue here?
so its a conspiracy that Docusign is down 80% from ATH as are many YC backed IPO stocks?

Just open up a chart and have a go at the numerous tickers YC is involved with. Are those stocks that you would trust your life savings with and that its a conspiracy that they are struggling with potential problems to capital and liquidity?

If you are going to simp for YC at least have skin in the game
I wonder what would happen if you were content struck for copyright violations on some random burst of static noise?
> And for most of History, the Church was the State.

This is wildly false. The Church of England is about as close as things get. What historical periods are you thinking of in which the Church and the State were identified?
Metasequoia
I am CRUSHING your head.
Or you could update your likelihood estimations to line up with the un universal declaration of human rights.

https://www.un.org/en/about-us/universal-declaration-of-huma...
The Supreme Court Just Said That Evidence of Innocence Is Not Enough
There’s Mapillary (acquired by meta but imagery is free to use in most cases) and KartaView (Grab).

Both are crowdsourced platforms.

https://www.mapillary.com/
https://kartaview.org/landing
Mostly uninteresting. I have made use of GraphQL and haven't seen any practical benefits. APIs tend to be tailored to a specific use case, so the flexibility it offers tends not to get used.

I don't particularly like the error handling. You can get 200 OK responses with errors in them, and I have seen that not handled in reviews two times.
I think you misspelled "it's the user's problem". I don't think most companies care until it becomes something that materially affects them. Until then, users are reliant on the developers of the applications they use to make up for the deficiencies in lower layers.
5 hours ago: https://news.ycombinator.com/item?id=31493093

3 hours ago: https://news.ycombinator.com/item?id=31494759
Let's agree they do it frequently
The graph looks linear. If productivity gains were increasing (or even staying constant), you'd expect it to be more than linear. This implies the rate of productivity change is decreasing.
Re 1):

There are a lot of reasons it can be reasonable to advocate higher taxes while not donating money to the government. Aside from what I already covered, it might be that a donation isn't reliable or predictable as ordinary tax income, so a donation in fact may not provide as much value per dollar as tax increases. You can't plan a budget around voluntary donations amounting to 0.1% of your total intake for the year, which weren't expected in the first place and may not show up next year. Consider the difference between winning $1200 on a scratcher ticket, versus $100/m increased income indefinitely. You may win $1200 again next year, but you might not, while a guaranteed $100/m is something you can count on and factor into your budget. Or the donor may perceive their peers to be free riding on the benefits their money provides (in the form of a more-stable society, et c.) if they simply donate the cash, so prefer taxation to donation. Or they may believe the reduction in power of the rich to influence society is part of the benefit of taxing the rich more, in the first place, in which case voluntarily reducing their own power is hardly a solution, and may even be counter-productive if that money could have funded advocacy for raising taxes on the rich, instead (or any of several similar reasons one, including a rich "one", may have to advocate for changes to the tax code that happen to increase one's own taxes, that aren't strictly related to increasing the government's budget).

At a level lower than the rich, it may be easier to follow: it can be consistent for me to believe that we should all pay more taxes to increase the budget for our school district, while not donating the difference myself, because I believe I need that money to cover deficiencies in their services until such time as a tax increase passes. Or, to take the harm angle again, consider the effect one person donating $500/m to schools has. $500/m is a lot of money for an individual (well, maybe not on HN, but for most folks it is). It hurts quite a bit to give that away. However, it does almost nothing for the district's budget, especially if they can't count on you continuing to donate it. Now, $500/household (I'm using simple figures to keep this clear, of course it never works like this exactly) in the whole district? By law, not just relying on people's whims? Now the schools can really do something with it (or waste it, but if you think they're just gonna waste it, you're also not gonna donate the money, so that's outside the scope of this).

As for 2: yeah, I was equivocating a bit :-) Still, in a world where marginal-utility sure appears to be a real thing as far as how people experience money, one person's one-millionth dollar really isn't the same thing as their first dollar, and it doesn't make much sense to treat dollars $1 and $1,000,000 the same just because some people don't have that millionth dollar in the first place.

Ultimately, one's view on progressive taxation will come down to what one believes fairness is, which is... harder to nail down than one might think, and reasonable people can disagree.
Any resources to learn effects for a novice in Haskell?
His later work prompted me to learn Order Theory, which has turned out to be useful for all sorts of things. Also quite closely related to Category Theory which I wouldn't have had much chance of grokking without first understanding Order Theory, I suspect.

I also used LaTeX heavily in the 80s so was surprised to see him pop up as a genius of distributed systems later (although that work was published much earlier it didn't get much exposure until the 90s). Like "oh that guy must be _really_ smart to excel in two quite different fields".
I was working on the mobile web server project. The project was heavily subcontracted to a company in Oulu, Finland, where I worked by the time before starting a career in open source and Python consultancy. Mobile web server was a Series 60 web server, based on Apache, some glue and reverse proxy gateway (written in Java). You could deploy your own “apps” that could be accessed by anyone, running on your mobile phone.

Unfortunely, the project did not have a real business use case. People believed that peer-to-peer is a thing (XMPP, BitTorrent, IRC) and this would drive mobile-to-mobile interactions. Unfortunately, it turned out not to be true.

Later me and my friend ported Python to Series 60 with our own rewrite, as Nokia’s official port had many issues. Unfortunately by this time Series 60 was already losing market share for iPhone and Android. Furthermore we found that because of module import delay, Python will never be a good run-time for mobile applications, unless you do some sort of a binary dump/prewarmed up interpreter.
> I think he was just over 70 years old, but still incredibly sharp.

Nice...

I don’t think someone at his level becomes dull at such a young senior age.
The distance from your head to the ground on a bike is sufficient to cause serious injury of you just fall off. Your individual risk is very low, because you don't fall of bikes often. But multiplied across millions in the population, it starts to make a difference.
Is it bad to think humans are exceptional? It seems when you look at the world that we stand out quite a bit. You could argue the only difference between humans and certain animals is that of degree (of cognitive ability, consciousness, intellect, etc) but it still seems like humans stand out, there is a large degree of difference especially in the effect.
Anecdotally I have noticed that Android Auto is not supported properly on these oddball devices. I had a Unihertz Titan for a while and Android Auto refused to work properly and would just show a black screen. Of course with a Pixel phone it works fine.
Are there any services out there that combine all of these “Store files as XYZ” into some kind of raid config?

Would be interesting if you could treat each service (Youtube, Docs, Reddit, Messenger, etc) as a “disk” and stripe your data across them.
They know how to make money, and keep the street happy.
The plot of a scifi book I read some years ago was a group of people wanted to destroy mankind but leave the Earth intact.

Their method was to unleash a virus that ate plastic.

Civilization ended because of our reliance on plastic.
I consider DDG a no-bullshit less-creepy and infinitely less pushy and needy “skin” over Bing (and maybe some others) search results.

In my opinion you have:

- Google: best search results but you’re profiled to death
- Bing: okay-ish search results and you’re profiled to death
- DDG: okay-ish search results and you’re barely or not tracked at all

Easy choice for me.
Life ... uh - you know the rest
Ha. This would be the equivalent of betting against the US dollar by buying treasury bonds. I doubt the solvency of any single exchange or crypto institution if there is a true run on Tether. No one who believes that Tether is a scam would risk making that bit by leveraging another loosely regulated stable coin.
Even though im a bit earlier in my career, i'd be interested in learning more about how you figured out what you wanted to build. I've been toying with the idea of building something myself for a long time but i can just never commit to an idea. I actually had an idea for building a coaching service as well after watching the show billions (wendy rhoades) and having a friend go through a messy separation so your comment really spoke to me
Shades of Andromeda Strain
Excited to check this out. I'm a long time Linode user and recently came across some projects that could leverage a managed DB. As always, I find the prices competitive – especially compared to AWS which I was starting to look at again for this component, but now I can try it out here instead.
Welcome to capitalism. These are shark infested waters. Either be a shark or learn how to swim safely ;)
The example you provide has little to do with generics, but how inheritance works.

In particular if you override a method in a derived class, you're allowed to return an instance of a more specific class (in your example, Bar is an Object so it is fine). At runtime, your example is equivalent to something like

interface Supplier {
Object get();
}

class Foo extends Supplier {
Bar get() { return new Bar(); }
}
C++: Assignment for Optional
It’s literally that. Before being turned into a slur by the conservative spin machine “woke” was a century-old aave term for denoting continued awareness and understanding of the plight and challenges of african americans.
> Your refutation of the possibility of to use Nuclear power to gain independence of Russian energy seems to depend on German inability to achieve indepencende of Russian fuel by setting up a stockpile(1).

No, my refutation hinged on 1) the fact that German nuclear power is NOT a substitute for the vast majority of German uses of natural gas (chemical and other industry, residential heaters -- neither of which is near-term replaceable with nuclear power without massive investments in electrolysis), and 2) the fact that German nuclear power has the cheapest substitute in form of unused capacity of coal plants (which recently massively dropped in their capacity factor) and accelerated expansion of renewable generation. There is no circularity in this that I see. 1) means that keeping or expanding the nuclear fleet does not decrease dependency on Russian gas, and 2) means that ditching it does not increase dependency on anything else coming from Russia.

So ditching the German nuclear fleet has no downside in terms of reducing dependency on Russia. In fact ditching the German nuclear fleet might somewhat reduce the dependency on Russia on part of the remaining global users of nuclear power, owing to the reduction of uranium fuel consumption in light of the fact that Russia possesses 46% of world's uranium enrichment capacity -- any enriched uranium on the global market that Germany would have to use in their reactors could be used by someone else at that poitnt, with less money paid for enriched uranium flowing into Russia.

> My argument is that, had Germany decided in 2014 to increase, rather than decrease their use of nuclear power, with the aim to reduce dependence on Russia, it could be done.

They could have certainly acted in that direction with such an aim, but since such actions would not have lead to achieving this aim (see above), it would have been a completely irrational course of action.
Same here, very happy with Kagi and have no problem paying for the product instead of becoming the product.
Unique Abstract Art in Seconds
The view I set out here is neither predicated on nor entails the position that human language is unique. In fact, I happen to believe that there have been several species on Earth with human-like language, it's just that the others are now extinct. I also think it far more likely than not that there is language-using life elsewhere in the universe.
acalendar, my favorite, does that as well.
I'm working on a collaborative photogrammetry solution (think async/distributed 3d mapping from overlapping pictures) that shares data via IPFS.
Flattering myself heavily, I believe this sort of public-data consuming application fits like nothing else.
Wow, you didn’t have a backup routine. That’s so basic. Why not?

-

Oh, what my routine is? Uh. I `cp -a ~ /mnt/backup/date` a couple of times a month.

... Testing backups?
Article title: Free speech debate targets big media

HTML title: Americans blame publishers more than tech companies in free speech battle
Show HN: No Secrets – A bookmarklet for finding secrets in your Repos
I don’t think this is true. I worked extensively in the mobile industry back in the day and all Nokia apps had more painful signing process than iOS apps have today.
Don't see why you couldn't supplement existing recycle infra till we understand it better.

TBH, I'm sure any company would jump to be the first to show off plastic eating bacteria. Even if it's kept in a clean room and only eats employee's soda bottles from time to time.

It would definitely open the door to more funding and research if hyped enough.

We just have to make sure we know exactly how it propagates and how to safely handle that like anything else.

Ideally you wouldn't want it to be a covid 2.0, of course. Something more like medical grade maggots that are engineered to never reproduce would suffice.
Weird how this is your impression. Maybe people tend to over allocate their instances? I've been super careful to choose exactly what I need for my application. My GCP Cloud Postgres instance is the second smallest (1 vcpu, 1.7gb, 15gb).

I'm 24/7 doing 300 tran/s with ~20% cpu utilization and it only costs $27.34 a month. I just upgraded to Postgres 14 (from 13) with a click of a button and a few seconds of switchover downtime. Seems more than worth the price.
> But that's more of a geographic inevitability than some kind of fundamental cultural difference

No, speaking a different language is the most fundamental cultural difference there is.

> And if that matters so much, why does the Chinese government insist on holding on to these provinces whose culture is apparently unacceptably divergent from what they deem to be Chinese?

I asked this question of a Chinese high school student once. His response was that the Chinese didn't want to be conquered by the people of those regions. (Which notably happened in the 13th and 17th centuries.)

Wikipedia says that when the Qing dynasty fell, the idea was brought up that Xinjiang and similar regions should be divested from China as not being Chinese; they see the retention of non-Chinese territory as more a matter of no one being willing to take the responsibility/blame for the country getting smaller.
And even if they did, many (most?) bathrooms have doors that open inwards, so you have to touch the same bare metal that they (and every other previous user) also touched... and I'm yet to be convinced by the usual argument that it's for fire safety.
How comes nobody explored this till now? Even sinkholes in Yucatan that are known death traps have been relentlessly explored, including with autonomous submarines.
Author of this blogpost here. I think the post is good, though it's mostly aimed at the perspective of "Racket is a very practical Lisp, for getting things done, akin to how Python is a very practical lisp" and also "DrRacket gives an accessible entry-point for Lisp for newcomers." Unfortunately I don't think Racket quite took this to be the rallying cry I hoped them to, to embrace Racket's lispiness as "The Python of Lisps" (which was the other alternate title I was debating between when I wrote it).

But in the comments here and as with most articles about Lisp, the conversation moves to... can newcomers understand Lisp's syntax? My spouse and I gave a talk about this very topic: "Lisp but Beautiful; Lisp for Everyone". https://fosdem.org/2022/schedule/event/lispforeveryone/

There's a lot in there (including demonstrations of representations of lisp which don't have parentheses at all). But the biggest point in the talk is that lisp isn't scary for new programmers... it's scary for experienced programmers. As we talk about in the video, my spouse and I co-ran introductions to programming using Racket aimed at humanities students with no required prior programming experience whatsoever.

What we found was that the students who had no prior programming experience, after just a few minutes, had no problem with the syntax (and DrRacket made it easy enough to pick up the language). But we did have complaints in the class about lisp's syntax... from those who already knew how to program. They already had a frame, and within that frame, lisp's syntax looked alien. Without a frame, students just accepted it and did fine with the syntax... great, even. (Many of them praised its clarity; like any decent lisp editor, DrRacket helps identify the kinds of parentheses-oriented errors that users think they're going to encounter.)

Anyway, I do more work in Guile these days than Racket, but both are really great systems with great communities. The thing I miss most about Racket though is that DrRacket gave an easy entry point for students which wasn't "and now start learning Emacs". (Guix is pretty great, however.)