skysight-inc/HackerNews huggingface dataset:
How exactly do you propose we fix it? What exactly is "it"?

The US sends more foriegn aid money than any other country, around $30 billion (excluding the loans China tries to pass off as aid). That's just the amount from the government. There is a lot of charitable donations and work that come from nongovernment groups too. The party issues you speak of can be tricky. Some of that divide can be a difference in views on how something should be done. Some people oppose government charity and want private charity to take a bigger role, and they donate accordingly. Of course that's not the case for everyone.

Many of the issues in today's society will not simply disappear by throwing money at them. That said, I do think the homeless issue could be handled better. I think Norway or a neighboring country has a good program that focuses on getting people back into the workforce.
Beanshell starts up pretty quickly. Besides, Bash scripts take an eternity to write safely and aren't really suitable for any sort of heavy calculations or string manipulation without resorting to arcane syntax. I would say it's an all-around good alternative to Python scripts when one outgrows Bash due to requirements.
Apparently you didn't bother to fully read their comment, or even look at the page. It is a subtracted sphere, meaning it could be any shape contained within a sphere, and the one in question has features that give axes, and to me eye appears to have a strange axial rotation
This is from 2020, any updates on the development here?
> I think that is mainly a demographic difference

Possibly so! A shame too, it's my favourite genre and to this day I think 30 year old games are superior to contemporary ones, incl ones that were considered mediocre at the time (Harvester, Phantasmagoria, etc)
Yeah, that's what I've read. Basically, even if you could make the necessary mRNA particles properly, the it's useless without the delivery mechanism. Only a few companies even produce the necessary lipid products needed to deliver the vaccine, and they (and their suppliers) are already doing everything they can.

The IP concerns had basically zero effect on the availability of vaccines.
I see a lot of Moderna vaccine appointments in MA. Maybe they don't have the scale like Pfizer and most of their supply is staying in MA?
Knowing the formula for the vaccine is one thing, being able to manufacture it at large scale is another (that surely require industrial secrets). This article has some more details: https://blogs.sciencemag.org/pipeline/archives/2021/02/02/my...
The difficulty is getting the kid playing in the road to correctly encode their metadata; not so much the posted signs.
> With all due respect, if you are anti-DeFi, you are not a pro-crypto person at all. I see a lot of this "I'm a pro-crypto person, but decentralizing finance is not needed" comments, and it's completely incoherent.

I'm sorry but you misread what I said, perhaps I was not clear enough:

I nowhere said or at least did not intend to say that DeFi per-se is bad.

I merely don't understand what's good about the DeFi projects which the person I replied to listed. So my intention was to ask what is good about those in particular.

> Loans issued via Ethereum lending protocols like Maker or Compound are fully collaterized, and default leads to automatic liquidation of the collateral to compensate the lender. It's impossible for the borrower to cheat, because an immutable smart contract enforces the terms of the loan.

So what is the point of borrowing money then if you have the money already, which "fully collaterized" implies?

> No, any asset can be represented as an Ethereum token and traded on a DEX. Having assets worldwide use a common exchange that can never be shut down, hacked or made inaccessible, holds enormous potential for improving financial inclusivity and capital efficiency.

That is a valid point!

I don't understand why a token is needed though, it's impossible to enforce its physical correlation to the asset anyway, so it would be enough to send naked ETH/BTC and use a regular decentralized forum system for setting up trades. I.e. if someone says on a forum "You send me N ETH and you get a car" that has the same validity as moving 1 car token, because nothing can enforce that the digital movement of a car token causes the physical handover of the keys. So "I owe you 1 car" only needs to be documented somewhere, e.g. as a bare textual message in an OP_RETURN or as a hash referencing a forum post, it doesn't have to be a token.

So to be completely honest, I feel like the only reason the developers cramp a token into this usecase is because that allows them to issue the token, which implies they can issue a lot of it to themselves "to fund development", and once it grows in value they're rich.
Much of what you say is true, but I'm not sure that this is:

> (on the other hand, C++'s "zero cost abstraction" philosophy requires the same level of trust).

The C++ Standard _requires_ that a Standard Library implementation implements certain performance guarantees - I don't think the C Standard has such requirements. This means that certain implementations are effectively required - for instance that std::map is implemented (for better or worse) as a red-black tree.
It seems that the opposite is true (they underestimated the time spent in the cave): 40 days seemed like 30 days for most and even 23 days for one volunteer, according to The Guardian article (https://www.theguardian.com/world/2021/apr/25/deep-time-team...).
Oh I also hated it at the time, but regardless it was apparently the "vision". I don't think any BS since have captured the charm of 1 and 2, and I think the animation and art are big factors there.
You created an ask HN and only responded to 2 of 5 answers.

It's you.
So...are we going to just ignore the massive elephant in the room with people of a certain skin pigmentation pointing at anything and declaring it "colored"?
7 Places to Find Royalty Free Music for Guided Meditations and Meditation Apps
While that is also a very important indicator, what proportion of viable pregnancies produce children with mutations I would argue is an even more important metric to study.
>It's fraud, plain and simple. Until the features are renamed, Tesla continues to commit fraud.

That's for courts to decide, but I don't think so, at least not to the level of hostility that you seem to hold.

This kind of reasoning is typical online where deductive logic based on strong assumptions made by the posters, is then used to reach equally strong conclusion (in this case, that a marketing term implies outright fraud). The reality is that regulatory, judicial and cultural boundaries have much more slack than you give them credit for. And that's a good thing.
Rhymezone
> But the whole challenge will eventually become nullified when every single road sign, landmark, and the road itself are tagged internally with metadata

Including every pothole, pedestrian, stray deer, abandoned shopping cart and fallen tree branch?
What an impressive site

Tech details:
https://www.datamuse.com/api/
I legitimately hated the book for bringing badly designed doors to my attention. Ignorance truly is bliss :)
Approaches to Type Erasure in Swift (2020)
I’m not trying to start a flame war, but I’m genuinely curious: if you want and need all this, why not use Java?

Java has all the strong typing and static checking, all you need is to type a lot more words.
Viscous circle. Cars are slightly more convenient which gets a few to drive taking people away from transit which then has less money and becomes less useful making cars more convenient. ..

It doesn't help that most transit agencies are run by people who drive and so they won't use their limited budget to make something as good as possible.
This looks like a good gesture from Moderna, but I do not think it will be of much help for most the developing world since the low temperatures needed for the storage of the vaccine are not feasible for the distribution infrastructure of these countries.
I actually don't know of many similar efforts. The only comparable project to this one is curv [0]

Coding shapes with signed distance fields is, unfortunately, highly impractical for CAD; operations tend to compose poorly (most operations a) assume euclidian space and b) distort space away from euclidian). But it's a pretty nice medium for generative art, and Scheme is a beautiful language to do it in.

[0] http://www.curv3d.org/
Research: Inequality rise caused by policy weakening unions, social safety nets
For anyone interested: https://blogs.sciencemag.org/pipeline/archives/2021/02/02/my...

Around the time of this post I tried to get a bit more information on this, and ... well, here's the rabbit hole:

- https://www.youtube.com/watch?v=68p3qAm4i7U

Use lithography to create the mold, then cure it, then put it into a pure O2 enivornment, then drop it on a glass plate and you just plasma glued the silicone and the glass.

- https://www.youtube.com/watch?v=EYuyRUjnTgc

- https://www.youtube.com/watch?v=EjyM8sNplm4

- https://www.youtube.com/watch?v=wTmgqFCIbsA

I still have no idea where the bottleneck actually is. Derek Lowe claimed that the manufacturers of the microfluidics devices are. Which is likely, because hacking together something in/for a lab is very different than getting it ready for "FDA GMP [good manufacturing practices] approval" ... but at the same time there are thousands of people dying every day, and I'd like to see the extraordinary evidence to support the extraordinary claim that it's "impossible" to scale up vaccine manufacturing. (Impossible here meaning that it's impossible to get to the same necessary purity and control.)
My Snow Peak H450 titanium cup. It’s light and well insulated. It feels wonderful to hold and drink out of. I drink water and tea from it all day, every day. It’s entirely unnecessary but sparks a little joy every time I use it.
Is that problematic in practice? Write functions that are pure or take references (not ownership), and for the rest, use a judicious .copy()?
Is that why 5 different people answered parent's comment dismissingly over a 15 minute period?
Well. What is the politics of Thing again? Paranoia can be worse than the virus? That's not what is in the movie. Most people if not all are killed by the Thing.

Also that's not political, that's common sense.

Terminator came to Cameron in a dream, and the rationalization was it is caused by possible nuclear crisis?
Google Argentina's domain name bought by man for £2
Nope, I got Moderna weeks ago on Staten Island, NYC.
> I see people write whole mission-critical systems that include OS libraries that depend on a single maintainer [1]. With no thought to what happens to/for that OS project, no thought of donating to it, or even tracking that the maintainer is still the same person and it hasn't been sold to a malware author (to name one of many bad things that could happen).

I don't see how that's different from commercial software, really. If the random 3-person operation from Nebraska that supplied you with a PLC controller goes out of business 3 years down the line and you need support, you're SOL either way. Same with larger vendors too: if Microsoft decides to cut a Word feature that you've built your entire business around, you're dead in the water.

I think the moral is that arrangements have to be made with the appropriate experts if you want something to remain available.
Ah, the holy trinity of languages: Forth, Smalltalk and Lisp. The BMW Isetta, NSU Ro80 and Citroen SM of the programming world. Sure you'd love to own all three but nobody is taking a business road trip in any of them.

However the Forth story is fascinating its well worth reading the entire article.
It is a delight, for those who can afford it. For others, and future generations subject to the effects of pollution, it will not be such a delight.
A program can fail in exceedingly many ways. It is basically impossible to formally verify a program. It’s great to start a new project in a “safer” language, but porting to another language is a different thing.

So for example, let’s take SQLite. It is written in C, but it has an insane amount of tests. Would it benefit anyone to rewrite it in Rust? It will definitely be much more buggy for a long time.
My car already does a pretty good job of showing the speed limits (and it's definitely based on computer vision/ works offline and in places where map metadata is poor). And it doesn't have "self driving", just a limited "pilot assist".

Not sure why reading road signs is used as and example of "extremely hard thing to do" - there are other way harder things that cars can't currently do. E.g. figuring out the right speed to negotiate a curve using computer vision alone (without relying on detailed maps/gps, ie "metadata").
The default options for shadow-IT are VBA and Powershell, since you don't need to ask permission or install anything to make a mvp.

I guess there will be many Powershell users in future for that reason alone.
>Is this really true? I would love to know more. Could you give any examples?

Glad that you asked. The character name is 'Java Sunderasan' from the Tamil movie 'Arai en 305il kadavul'(2008). Here's a clip[1] from that movie it shows another character explaining how Sundersan went from rag to riches within 2 years because of Java while others stayed/became poorer. Couldn't find one with subtitles but the visuals are clear enough to understand what's happening.

[1] https://www.youtube.com/watch?v=CMtp7PI8gbA
discussion from 4 days earlier https://news.ycombinator.com/item?id=26904136
Personally I wouldn’t be against suburbia if people could work and shop nearby (as in 5 min drive / 20 min walk at most), and if there would be sufficient cheap public transit to the center for kids to attend cultural events like the cinema or sports. However that is usually not the case when suburbia is zoned and we end up with nightmare land use and traffic congestion as suburbia commutes to work + leisure.
A Cilk-style depth-first work stealing executor would block by default, but if any executor has free cycles it can steal the continuation and generate more work. You would need to wait only when work is actually needed or when returning from the function.

Cilk requires annotating async functions calls at the call point (with the spawn keyword to make them async), but not the funciton themselves, so there is no red/blue coloring.

Synchronization is explicit via the sync keyword, but in principle I think a compiler could insert the sync point on first use of the value.

I don't think a cilk style runtime would be heavier than an executor behind async/await.
Contrarian point of view: why do we “need” free CI? Open source can run CI locally on docker etc. The free CI is marketing for the CI companies. Don’t offer free compute. We need to train the industry in general to pay for trials. Some companies eg those in the SEO vertical manage to do this. Ahrefs for example.
45 feet could be across the street, and thus by the time they safely turn around a lot farther than it looks.
I wonder if anyone has tried to make a search engine that explicitly refuses to index any page that has a third party advertising thing anywhere on it. Ignoring the (interesting) technical implementation of such a thing, what would the results look like?
I want an app like Duolingo – Life of Dev Studio – Episode 2
> Given that modern social networks essentially act as public space

But that's the thing: they aren't public spaces. The number of people which have their content hosted on a private platform is inconsequential to the legal nature of the platform. Social media are very much subject to legal regulations and lawmaking.

Calling a space which is governed by a private entity that doesn't represent you / answer to you, as "public" is a contradiction. The worst you can do is persist this notion to a point where enough people believe they are public spaces. That's the most direct way of legitimizing their dominance in modern telecommunication networks.
Since the article notes that each participant had 30 balloons, and the quoted feedback suggests that 50 pumps is a possible value, we can estimate that the expected value of the experiment to the participant is somewhere between £10 and £15.
Can you elaborate on "whether messages could have been deleted"?
It's because they are overworked and underresourced. Public defenders are some of the best people our legal systems have.

Another possibility is that the investigators fail to share evidence as required.
QEMU Internals
At the first sign of trouble for India they started confiscating vaccines researched, bought, and paid for by the UK.
Desired Feedback on DeFi Indexes platform startup
I for once read that article twice already (once a few years ago, second time today), and I still gained by reading GGP's comment - reading someone else's summary of a topic is a way of quickly validating your own understanding.
They aren’t really used for the actual index. Bing represents 95% of their actual index.
I'm guessing the tech's "static discharge" explanation would probably be more correctly described as discharging capacitors? I had a similar issue with an Asus u36sd laptop. I first realized it might the problem when I originally gave up on it(it already wasn't my primary daily driver, just a work bench laptop) and put in away for a bit and then it worked a few months later after being totally discharged and when the problem repeated, I was able to bring it back with a similar incantation of pressing and holding the power button with not power or battery attached. Luckily the capacitor causing the issue was a decent sized electrolytic of the through hole variety(even though it was surface mounted laying on its side hanging off the board) so it was relatively easy fix once I figured that out.
This is an area I'd love to see more development - but the existing tools I've used all have quite major drawbacks.

OpenSCAD is simple and relatively intuitive once you get your head around 3D space and how every object sits in it. The concept - code on the left, visualisation on the right is great. However, it's barely had any improvements in the 8 or so years I've been using it. The tooling is very basic and the performance can be very poor. There's often no way to know if a tiny change will crash (or slow down computation for so long it locks up) the environment (because it doesn't seem to have separation between the render thread and the GUI). Things like fillets, which other CAD environments can do seamlessly, are only possible with a hack which increases rendering time by many orders of magnitude (if it even finishes).

CadQuery seems promising, but in the time I spent with it I found the workplane model quite frustrating. I wanted to write small functional geometries which I could reuse again and again - but I didn't find an easy way to do that. It seems to use global coordinates for all the transformations, so you need to know ahead of time what plane something's on. Maybe I just didn't understand the documentation though - it's incomplete and so you have to piece things together based on examples.

These are of course open source tools, so it's great that they exist at all. In the age of 3D printing, laser cutting and CNC machining fully parametric code based model generation is really exciting.
I mean I'd assume it would work similar to pay as you go data, in that you just get charged in the background. Not sure how you'd deal with sites trying to bill their users a ton without the users finding out though - maybe they need to click a button to continue every certain number of requests or amount of data used.
This is from last year, and the answer is no. The supply constraints are unrelated to IP, and always have been.
You see, that's what the chips in the vaccines are for /s
> I live in a semi-rural area that's close to a high-income metro and there's always been a constant stream of people retiring from city life to go live in the "country" and farm, in most cases they have savings or other income and only sell their produce to offset some of the cost of production or just because they are proud of their produce.

Not to mention that there are numerous ways to shelter savings from taxes by having a bare-minimum farm.
Okay point taken regarding your position on DeFi.

>>So what is the point of loaning money then if you have the money already, which "fully collaterized" implies?

It allows you to access a more liquid asset, like DAI, without selling the less liquid asset being used as collateral, like a CryptoPunk NFT. It's the same reason someone would get a line of credit on their house.

>>I don't understand why a token is needed though, it's impossible to enforce its physical correlation to the asset anyway,

The redeemability can be legally enforceable by the company making a contractual promise to redeem said token for the underlying asset.

>> use a regular decentralized forum system for setting up trades. I.e. if someone says on a forum "You send me N ETH and you get a car"

Forums are not decentralized. A DEX is fully decentralized, and sellers can play an automated role in DEXes by participating as liquidity providers to Automated Market Makers (AMMs) like Uniswap.

The liquidity provider in this case need not do anything, except provide the assets to the trading pool, to participate.

For the buyer, the purchase is seamless, as they are guaranteed to receive the asset once they click 'buy' and authorize the payment. This is a far more efficient means of trading than people could find on forums with manual asset purchase fulfillment.
As a preface, it is difficult to speak about true fundamental limitations of things like abstract interpretation because "print Top" is a valid algorithm that will work for all programs. It is just completely useless. So you can model function calls in trivial ways (just treat calls and returns as giant phi nodes and widen whenever you hit mutual recursion). But this tends to produce pretty poor results for real programs and your fixed point computation tends to take longer due to the shape of real program call graphs. Add in dynamic dispatch and you've got all sorts of fun (watch all your pointers in a java program get merged through the receiver to Object.equals(), for example).

In practice, these structural differences require new approaches. The field has done a really good job at intraprocedural analysis, solving a lot of really important problems many decades ago. How to do fixed point computation over SSAed CFGs is well understood, even when you've got heap relationships to think about. Interprocedural analysis still largely sucks. Even modern approaches like CFL-reachability for dataflow analysis produce a ton of garbage. This is one reason why I say it is just harder.

As you mention, recursion prevents you from inlining everything into one giant function. You do get "the rest of the way there" by inlining to some depth limit in the sense that inlining is a way of achieving context sensitive analysis (though it is generally not preferred). But you've still got big problems at the points of mutual recursion (either you need to widen badly or you need to actually do interprocedural analysis) and your program is also exponentially larger in pathological cases.
Peptide Therapy Weight Loss
Since Dartmouth AI looks like a story of naive visions, exaggerated promises, massive disappointment, recurrent divisionary tactics, rebranding and snak oil sale.
Until finally a light on the horizon became visible and academically camouflaged wishful thinking could be materialized into usable products.
A groping in the dark, nothing more.
There are probably good reasons why the blind watchmaker needed billions of years and it is not clear wether the seeing watchmaker Humanity is not too short-sighted.
At least one can hope, whatever he will give the name strong artificial intelligence, and he likes to give his imagined or real successes grand names, he will find faster.