skysight-inc/HackerNews huggingface dataset:
I take this quote from the article:

"considerations and challenges include scaling up good manufacturing practice (GMP) production"

Then I think of J&J and its 15M ruined doses, and then wonder whether pharma co's should provide better access to rank & file managers into scientific journals, particularly stuff they are known to be building.

https://www.dailymail.co.uk/health/article-9486801/Emergent-...
Interestingly Apple just launched paid subscriptions in Apple Podcasts: https://www.apple.com/newsroom/2021/04/apple-leads-the-next-...
I like your shameless plug:

> I’m trying to give 10,000 mosquito nets to charity! If you liked this post please consider donating a $2 mosquito net.

https://giveanet.org/
Apple introduces iPhone 12 and iPhone 12 mini in a stunning new purple
Lately, I've even been scared of listening to music other than my usual taste (e.g. a radio hit, a foreign song, song in one of those instagram videos) because their algorithm seems to amplify my "smart" playlists with anything that's different.

There should be an option to turn off simple things like that: turn off podcasts, pause learning from my music for then next 30 minutes, etc.

I always thought the advantage of standalone apps like Spotify(updated anytime) vs something like Apple Music(updated on big iOS releases) is that they can iterate faster. But seems like they are throwing more eggs in content creation basket than UX.
Looks like coincidence as I had the same Dell screen on my iPhone just now
Statistics, no. Machine learning, yes. The most successful inductive programming approaches (learning programs from data) are Inductive Logic Programming approaches that basically learn Prolog programs from data. Prolog as a language with an automated deductive theorem prover as an interpreter is uniquely suited to learning new prorgams, because, it turns out, induction (learning new theories from observations and existing theories) is the inverse of deduction (explaining observations with existing theories).

For some modern examples of learning Prolog programs with Prolog see:

1. Metagol:

https://github.com/metagol/metagol

2. Louise:

https://github.com/stassa/louise

3. Popper:

https://arxiv.org/abs/2005.02259

The first repo has a list of biblio right at the end, though it's a bit too formal maybe.

Full disclosure: I started my PhD on Metagol and Louise is my work.

For scientific computing, check out this paper:

Using logic programming for theory representation and scientific inference

https://www.sciencedirect.com/science/article/pii/S0732118X2...

And see repo with code here:

https://jeanchristopherohner.github.io/theory-toolbox-2/
> your programming language

This is something I've been thinking about. Does anyone avoid Go the way that they avoid other google products? Why or why not? I've been liking it a lot lately as a systems programming language but am not sure how to parse the google side of the equation, as I try to avoid most google offerings
Between the cost of college, healthcare, and other integral stuff like maintaining a given level of privacy and acting collectively against a threat (a pollutant like PFOAS for instance, or addressing lies about you in mainstream media), some things have totally gotten more expensive. It used to be it was enough for an ordinary voter to write a letter. Nowadays you ought to have a college degree, know someone who knows someone, and possibly talk to a specialized consultant (college counselor, prison consultant, public relations, pen tester, and additional doctors and lawyers).

Like, privacy has gotten so much worse, why can't that be included? Or for example, take me, I'm openly ADD (attention deficit disorder) and find all this "attention economy" hype disgusting. I pay real money for my own attention, and the attention I get from doing so is finite. Why isn't the explosion of ads included in the basket? The more ads, the more expensive attention becomes.

Plus, positional goods. Are the coolest luxury clothes included? No, they just have normal decent clothing. But what if normal decent clothing isn't enough to be cool? Like how do you factor in high school popularity contests? Why is being cool not in the basket? The CPI is like an American form of communism, you get what you need, if you want something fancy, you go on a market that's out of bounds. Not a black market, but a place the CPI purchaser never goes. I wish I could go shopping with the CPI purchaser, that would be amazing, just buy exactly what they buy, under the same terms.

Tons of things aren't counted: I believe tax hikes and interest payments aren't included either. At the same time, if the system were fair, it would be abolished instantly. People want there to be loopholes and escape hatches. It's a point system. And moreover, inflation beyond the rate of inflation helps the system break unreasonable promises it's forced to make[1].

[1] Unreasonable promise example: put an end to such-and-such a crime in America. In a country of 300 million people, only the rarest and most blatant crimes can reasonably be ended. I really do think, for instance, that anthropophagy can potentially be ended or at least reduced to once-in-a-decade because it's not very common and involves a missing or dead body. But petty theft? Drug trafficking? Forget it.
That's not a shameless plug, just a plug.
Deno, One Year and Two Hundred Commits
Hathi
Research Proves Your Brain Needs Breaks
Do you mean twin studies where the twins are separated at birth and raised by different parents? This is a rare thing for parents to do so I think you are exaggerating when you say there are "countless" twin studies saying family environments don't matter? I would be surprised if there were more than a few such studies?

Or are you claiming something else?
It was open until people realized that they could make significant money off of it. Then the walls started going up.
Newsboat, an RSS/Atom feed reader for the text console
Looks like someone from AirBnb can shed a light on the topic. They seem to be nailed the Microservices deployments :-)

https://www.altoros.com/blog/airbnb-deploys-125000-times-per...
But what good does it do a local if the price of their house explodes? Less than none (less because their property tax goes up), until they sell. But once they sell, if they keep the gains, then they can't buy another house locally. So the only way the increase in price helps locals is when they quit being a local.

If this is happening to your town, the town has a choice: The newcomers are coming. Are they going to live alongside the long term locals, or are they going to replace them? Are the locals going to get rich and leave, or are they going to remain poor and stay? "Get rich and stay" is not an option.
Apple Introduces AirTag
Apologies for the ambiguity and lack of context - to clarify, I fiddled around with raw tc/qdisc (part of Linux's network stack) a while back, and was wondering if Shadow had more accurate timing simulation.

The discussion section sounds like exactly the place to follow up on this sort of thing, thanks for the reference. (Once I verify what I'm looking for is actually exotic :P)

Thanks for replying!
Still down our whole app is down
I recently gave Spotify a try for about 8 months but just switched back to Apple Music. My reason for switching back had nothing to do with podcasts, it was simply Spotify's terrible interface that makes it impossible to just browse all the music in your library. But I had also started to notice podcasts infiltrating UI that used to be only music playlists. A few times I even mistakenly clicked on a podcast thinking that it was a music playlist that sounded interesting.
Waiting for victims to run your malware is not an active process. It requires no resources on the attacker's part beyond maintaining a server.

Maybe it will connect to a server that has been dead for five years or maybe it's pointing towards a domain name that the attacker still maintains. Maybe instead of a trojan, it's a cryptolocker or old school destructive malware. I don't know why anybody would want to gamble with something like this.

Also, some of the exploits are one-size-fits-all because they target the underlying libraries that the software is using.
As someone who uses Spotify for music, and another podcast app for podcasts, I find it annoying to scroll past podcasts to get to music. I'm skeptical that someone who has no interest in podcasts will decide that instead of putting on music they want to listen to a podcast - at least in most situations.
Eh, Rogan normalizes hate speech in ways that if you or I were to try to do would get us fired/unfriended.

I don't think that's "fine", but it's also not really topical to the submission so I'll leave it at that.

Edit: if folks want to start a discussion about this with me, let's create an email thread about it. My email is in my profile, I'll wait until three folks mention their interest before getting started, if that works. I really didn't mean to upset or try to dodge anything, I just don't think a protracted discussion about Joe Rogan will be very interesting to most people on HN.
Neither Gopher nor Gemini are remotely close to being a replacement for the web, as neither support anything close to rich text or media.

Gemini doesn't allow for embedding images in web pages - which makes it vastly inferior to the web for any kind of interesting documents.

Imagine reading a research paper where, in order to view figures and equations, you had to follow a link to a separate object. No font control. No two-column layout. No anchors to allow you to jump to sections of the document. No metadata to inform you of the authors.

Gemini and Gemtext actively inhibit learning and knowledge dissemination by obsessing over pure plain text, which is bad at those things.
No, not at all. Lockdowns, quarantining and other human rights violations don't help us get rid of the pandemic, they prolong it. To end the pandemic faster, more people need to get exposed to the virus.
> Also it seems that all the EverCrypt primitives have portable (non-assembly) fallbacks, while ring has several primitives that are assembly only and have no portable fallback.

Ring uses assembly to make sure it can do constant-time operations, to avoid leaking information through computation time. What does EverCrypt use for constant-time operations?
SaaS billing flow generator for Stripe Billing
I thought it was. My house was built in 2003 and has CAT-5 to every room with RJ45 jacks on the walls. When I sold my previous house to a builder, he planned to open the walls and run CAT5 also, because "everyone expects that these days."

I guess newer houses might be expecting everything to be WiFi now, though.
The view that a home is an investment is poisonous to the housing supply. It makes people of all political affiliations into raging NIMBYs. Why would they want to change anything or allow any new construction in their area if it might negatively affect their housing price?
Hello kubectl cost: monitoring Kubernetes spend from the command line
Another user of PocketCasts (Android and Windows).

In addition to the above, I make use of

- podcast specific auto download, retention, and playback settings

- clean Android Auto integration. When I switch from Pandora to PocketCasts, it's quite clear what is happening. It intelligently handles pausing/resuming playback while notifications are playing. Even rewinding a little if it's been a bit since you listened.

- Progress sync, so I can pickup where I was on different versions of the app. (Desktop/Web/Android)

- Fast refresh of feeds. Your phone asks their server for the status rather than calling each server individually. This was a bigger issue back in the day.
> I'm pretty sure the HDB void decks still have their fair share of homeless tho.

Can confirm. I wrote about this in another thread 5 days ago: https://news.ycombinator.com/item?id=26811554
Well, maybe if you're in Arizona, where it lives on as a grocery chain.
The opinions here are probably influenced by Prop 13 in California and by the fact that many younger people in the tech field capable of buying property probably assume that they'll be selling and moving somewhere else sooner rather than later.

But, as you say, someone who plans to remain in their house indefinitely would probably just as soon not have their property taxes double (and may not even be able to afford them in they're retired on a fixed income).
Apple Event April 20, 2021
This is not true, Vail has had a 10 story building since the 1970's[1], Beaver run in Breckenridge is 9 stories and has also been around for a while, the westin in avon is 10 stories, if you count blackhawk as a resort it has some 20-30 story towers in a super narrow canyon. thats just the ones I can think of off the top of my head, perhaps tall buildings don't have as large of a impact as you think.

[1]https://www.emporis.com/statistics/tallest-buildings/city/13...
It's not that strange, it's just a dark pattern. But it does touch on a specific problem with permissions interfaces.

If you have an interface that looks like "requestPermissions(...)" or something like that and have a case where users can reject permissions forever without nags, then how do you handle users who inadvertently deny permissions forever? One solution is to just nag forever, if you can.

Another workaround is to enable permissions manually through settings, but you need to make errors loud and obvious with workaround instructions and people interpret the issue as a bug in your code rather than a feature of the platform.

This is a problem on MacOS, just as an example.
Podcasts without RSS are not podcasts.
Apple TV 4K Gets A12 Bionic
Our Moral Taste Receptors
Wait till they start to control a significant part of public discourse. They will receive money to recommend some podcast, and bury others. The young Facebook was a great place to advertise your business. Now you have to pay for it.
Play broadcast quality Jeopardy with friends on Zoom
I think this article sums it up effectively. Economic espionage on the behalf of state funding the company and corporate espionage state sponsored hacking of Nortel from 2000 to 2009 and then hiring 20 scientists from Nortel. My argument isn't about Nortel its about the behavior of Huawei and why it isn't a trusted company.

https://www.bnnbloomberg.ca/did-a-chinese-hack-kill-canada-s...
Is there a feature you want out of the paid subscription, or do you just want to support them? The subscription goes towards enabling features which have an ongoing cost (sync of files and listening state across devices so you can listen on desktop where you left off on mobile). I don't think they want to offer a one time fee for what is an indefinite period of cost.

AFAIK most features other than that are still fully supported in the free version of the app without ads though. So if you don't want any of those features, they're probably better supported by you recommending them to others than giving them a few dollars.
Park city is particularly atrocious because most of the place is designed as this super spread out suburb around arterial roads - if they just had massive condos downtown near the ski lifts, people would only have to drive in/out of town once.
The skimming is awful. I didn't realize that company was skimming double my pay.

I'd have my house paid off if not for that layer.
Welcome to HN.

Please check out the Guidelines and the FAQ, [0][1] regarding how best to participate. HN is friendly to curiosity, but not to off-topic comments, which is why you've been downvoted. If you'd like to discuss how to become a programmer, either find a thread where that's being discussed, or submit an Ask HN thread, following the style of this thread [2].

[0] https://news.ycombinator.com/newsguidelines.html

[1] https://news.ycombinator.com/newsfaq.html

[2] https://news.ycombinator.com/item?id=24810399
I have Spotify Premium and hear no ads on JRE.
The New Storj Hosted S3-Compatible Gateway for Developers
Concourse uses Elm for its front-end: https://github.com/concourse/concourse

The elm part: https://github.com/concourse/concourse
Back when rustls was initially announced, people criticized how few ciphersuites it supported, like only TLS1.3 and parts of TLS 1.2. Not sure, I might have been among them. And it still doesn't support TLS 1.1 or TLS 1.0. But since then, browsers have dropped support for many of those ciphersuites, so it's far less interesting to implement support for them at this point.
It's even worse if you want to hear your mp3 collection. Terrible interface.
How to deal with pushback to your initiatives
Discord ends deal talks with Microsoft
> Because these depth readings are being fed to applications as if they were good representations

No they aren't. Depth is always extremely noisy and needs to be managed and filtered in lots of different ways.

> And that's the perception level.

Depth isn't always looked at directly. This is about camera techniques. What you are talking about seems like some pet project ideas that are loosely connected to depth cameras.
Grafana, Loki, and Tempo will be relicensed to AGPLv3
I don't believe this is the case.

[1] pry(main)> system "echo", "$(whoami)"
$(whoami)
=> true
[2] pry(main)> system "git", "ls-remote", "--upload-pack=$(whoami)", "HEAD"
$(whoami) 'HEAD': USERNAME: command not found
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.
=> false
Even with a monorepo this isn't necessarily safe -- if you have a mix of x86 and arm servers, you'll need different headers included for intrinsics for example.
Types of Investments for Your Retirement Accounts
I find it interesting to see the emphasis on algorithmic discovery here. I know that's Spotify's game, but podcasts just work much differently than how many people consume music content. Podcasts fit much more in the subscription model where you find a podcast you like and get alerted to new episodes (from the same producer) as they come out. They tend to be a steadier stream of content -- per week, couple of weeks, whatever -- rather than musicians dropping an album of songs all at once. And they, of course, tend to be longer-form content than your typical 2-5 minute song.

Of course, there's still some room for algorithmic discovery here -- you listen to this podcast, you might like that one too. But I currently subscribe to more podcasts than I can comfortably listen to already. I don't typically want new suggestions. Maybe a friend tells me about a one-off interesting episode from a podcast I don't subscribe to, and I might listen to that on their website or whatever. But I struggle to see the particular advantage that Spotify brings to the podcast ecosystem over the traditional RSS subscription model that already exists. There may be benefits to the producers, but I don't see much for the consumers. I just consume music very differently than I consume podcasts.
Am I crazy for being nervous about taking an mRNA COVID shot?

Like all of you I’m not an expert in the field, but from what I’ve skimmed online it seems like mRNA vaccines have never been used widespread in humans before? This is making me want to take the J&J one instead.

I’m totally open to other opinions though, I haven’t made up my mind on this.
Where are the designers at Apple?
Yes and yes. The stated goal of Starlink is to provide entire world coverage.

https://satellitemap.space/
That's what Georgism is about: fully separating those two concepts. The land is valuable because of the community; the property is valuable because of its owner. So under Georgism, all land is held under common ownership, with the land's value being entirely taxed away from its occupier, allowing you to profit personally only by improving the property and supplying value to others thereby.
Like this one? Not IoT or SaaS, but big data. https://pixelastic.github.io/pokemonorbigdata/
Many crates do this type of thing. I don't know how hard it would be to isolate this type of thing into its own crate.
UCLA study: Proportion of Black physicians in US has changed little in 120 years
> If you want to wake me up a Saturday at 4 am, the world better be on fire.

In a previous role I actually have had things set so that I might be woken at 4am on a Saturday, IIRC specifically under certain conditions it'd play "Straight out of Compton" at full volume on my Hi Fi to ensure my attention, which gave me about 10 seconds before it gets real loud.

I was leak hunting, specifically looking for a huge leak in a production system that we couldn't reproduce on smaller test systems - so I needed to wake up, attempt to diagnose the leak and then (regardless of whether successful or not) mitigate it (kill the bloated process, one transaction fails but everything else will auto-repair) and go back to bed.

But what I don't understand here is, why are you constantly rebuilding and alerting on failure? A CI flag can wait until Monday stand-up, are you auto-deploying any change of state even when there aren't any humans around to cause that? Why? That strikes me as up there with Apache's "But your Good OCSP response expires in 18 hours, so I stapled this newer Bad one instead" in terms of terrible mistakes.

If instead your new builds fail after pruning, the human who is causing a new build can decide what to do about that when it happens, no need for anybody to be woken at 4am.
Not to mention that things like stats (useful for assessing quality) and search ranking have been broken for years [1].

This isn't meant as a criticism of the CocoaPods team, who seem to be doing the best they can given that they're working on a volunteer basis and even had to pay for infrastructure costs out of pocket. It just amazes me that Apple couldn't donate a little bit to help out such a critical part of their developer ecosystem.

[1] https://github.com/CocoaPods/cocoapods-stats/issues/32
What are you favourite podcasts?
That depends a lot; vi/vim and emacs keep track of your undos in a way so they know when you are back on the last saved version. But indeed, most other editors don't.
> Does anyone avoid Go […]

Well, I do, and I’ve written about it here before¹, but I usually get only downvotes for saying it.

1. https://news.ycombinator.com/item?id=17162582 and earlier https://news.ycombinator.com/item?id=8733705
Sometimes people seem to use the word "reductive" when they mean "obviously and uninterestingly true."
> Then think about how much a security audit would cost.

This is why some customers require various security certifications. Too bad the certifications often focus on whether your employees have three groups of characters in their passwords instead of an actual security audit with penetration testing.

My point being, how to make people want a proper audit and how to commuicate you had one. From another point of view, how do you justify the cost without including the risk of being hacked? Because even in this instance, they were (probably) not hacked, and your reward was likely lower than an audit would cost.
Media has never been FOSS. Radio stations do not play artists by random lottery, they play whoever paid up to get played.
How do I short this?
Definitely played tetris way too long lol
It's more of an operating system, which, by the way, could use a good editor.
Go has to do this because they include https in the standard library. Rust defers that task to the ecosystem, so it doesn't have the same requirements.
The Spotify move sort of coincided with him moving from LA to Austin. After that move he's not been getting many interesting guests.

Lately it feels like it's been a 45/45/10 mix of (to me) uninteresting comedians, uninteresting martial arts personalities and misc. Sometimes there's someone interesting in the misc category.