skysight-inc/HackerNews huggingface dataset:
is there an interesting project suited to Prolog one could use to become familiar with the language?
Then they can still use a middleman. The idea is that any data ownership can be transferred. No middleman monopoly or lock-in.
I’m not seeing it there but here is something:

https://aboutus.godaddy.net/newsroom/company-news/news-detai...
I can't help but think that the majority of students algebra problems in high school come from the fact algebra is taught extremely poorly at the college level. Which is where their teachers learned how to teach.

In an Ivy League PhD physics class more than half of the students thought that equality was something between a mechanical operation, e.g. 1 + 3 = 4 means you add 1 + 3 and the result is 4, or assignment, e.g. x = 3 means that for everything that follows you can replace x by 3.

The idea that it's a binary predicate was something that only people who had done logic or something adjacent at undergrad even understood. Viz. the type of = is (* x *) -> Bool, or in words an equality just returns true if there exists a way to transform one input of the equality to the other and false otherwise.

The confusing part is that for an equation like x + 2 = 3 you're given the predicate for the of set/tuple defined by abstraction using that predicate, e.g. the set {x | x + 2 = 3 and x in R} or the tuple (x | x^2 = 0) if we care about repeated answers. Something that is not at all obvious from just being given x + 2 = 3, which without a lot of implicit context is a well formed sentence of algebra with no intrinsic meaning.

If all algebra problems were reduced to something like "List all members of the set {x | x^2 - 3 = 9 and x is real}" then we have solved a huge part of the problem.
Really? Setting up equations with unknown variables and solving them is not algebra?
Reed College is another famous example, and Brown University allowed students to take all classes as pass/fail.
including the strain from the outbreak that the batwoman published in 2015 or so?

That one was supposedly the closest.
I was discussing this with a group of friends from opposing political backgrounds, and the results were surprising.

The liberals were 100% for the change, and said it will achieve more equity, inclusion, etc.

The conservatives were equally supportive of the change, but for an entirely different (and probably selfish, though equally valid) reason. They argued that this would actually give their kids a leg up over the general population, because they were going to continue to take advanced math and advanced placement tests, it'll just be in a more private, exclusive, concentrated setting than before, with other highly motivated, self-selected kids, which they took as having a positive effect on their own kids. By making something that was widely available more exclusive, it's actually a net-benefit to them.

I thought it was an interesting take.
Kinds say "I don't have a math brain". That might be simply true.

The implication should be I NEED TO WORK MORE. Not lets lower the level.
Yes… manual everything… brakes, steering, transmission and a suspension system that would barely be passable for a trailer now
Thank you!

All the Javascript code is in that html page source. The Bootstrap and jQuery you can grab from their sites. I'm using their latest version for this.

All I did was go copy urls from the NOAA site and fetch just the images and data I wanted from them. Their web site is huge so you kind of have to poke around a bit but they have a lot of data you can get there.

I do have a very old version I played with years ago that I think did pinpoint your location on the Radar map. I'll try to find it and take another look at how I did that and if I can I'll add it to this app.
There's no end of humanity scenario for climate change.
The plan was to build more of them, of course. (And of course the first ones would be smaller than later more ambitious ones.) See e.g. https://en.wikipedia.org/wiki/The_High_Frontier:_Human_Colon...

Non-popularized version https://space.nss.org/settlement/nasa/75SummerStudy/Table_of... (but that was the very first study iirc and made some known mistakes; I have no idea what the state of knowledge is now.)
I was in awe the entire thing. Best animated series I've ever seen. Textures, animation, lightning, facial expressions, overall effects. Everything is top notch. I don't even play LoL and I was left wanting a single player game with all the characters.
If this upsets you, then things being censored for being "misinformation", "racist", etc. should also upset you. If you're only against censorship of things you agree with, then you're not against censorship.
Perhaps such a stamp should be required for gain of function research to continue? (preferably somewhere in Antarctica)
Should have done $2. Math is easier, and its good for another 20 years.
1. You misunderstand how NFTs work. They are proof, because anything on the blockchain can be easily traced back to the original distributor, which in this case would be the university. Thats why it's called a blockCHAIN -- you can easily follow the chain of blocks. What do you think the school is going to do if you contact them? Check their database. The blockchain is no different. It's a public database, which obviates the need to call the school to ask them to check their non-public database.

2. None of these things have digital ownership enabled, none are part of a global publicly accessible API that others can connect to, none are part of a market where they can be bought/sold/traded. So all would be better with NFTs.

3. You haven't given a single reason why GameX would care to ban PlayerA just because Blizzard banned them. We see the opposite online all the time: people getting kicked off of one social network while be allowed to operate on others.

4. All of your examples here once again misunderstand how NFTs and the blockchain work, just like with #1 above. With IDs, the central authority that granted you the "21 years old" NFT would be listed as its origin on the blockchain, which obviates the need to check with them.

Anyway, at this point discussion is futile. You don't understand the technical details of how the blockchain works, and the rest of your points are just negative predictions of the future in the vein of, "This is how things work today, therefore this is how things must always work." It's very similar to people in the 90s claiming that no serious company would ever put anything on the internet.

Come back to these comments in a year or two.
I don't think it needs to be an XOR. Being forced to cram a very rigid curriculum was not conducive to learning for me. But with no external pressure at all I also find it hard to deeply learn about a topic (I bounce around a lot). For me the perfect classes were the ones that had flexible assignments, where the largest portion of the grade would be a final project that could be related to anything from throughout the course. That way the project is self driven, but also with some constraints and a clear deadline/judgement process.
> 2. There is no sushi / sashimi grade in Japan. High quality fish that you can eat safely is just the default

Many fishes in supermarket are sold as "for heat cooking" except for sashimi. It's costly to make all salmon raw eatable.

Agree for others.
If I were called at 11:15pm to investigate this I'd be pretty excited. Even if I was asleep. In fact I would be at any time. This is the kind of workplace thing you still talk about 30 years later.
Bunch of problems like this are in the book "Problem-Solving Strategies" by Arthur Engel [1], I believe even including this particular one. Fun book.

[1]https://www.google.com/books/edition/Problem_Solving_Strateg...
The fact that the modern world exists in an corporate-owned, proprietary cloud, versus the era of personal computers & personally-owned systems, is greatly greatly greatly confusing. I don't fully well know how to handle this great confusion. But ultimately, the trend of all rights being reserved by the megacorp is, ultimately, a vulgar anti-human anathema which we must shake off. Humanity must be allowed to pick up our microscopes & magnifying glasses, to peer in, to meddle. No legal contract preventing the natural sciences is ethical nor godly.

I have no idea how we do that. Perhaps decoupling the data-processing services from the data-holding entity might be a possible frontier. One could imagine being able to keep their identity, their core systems & datum wherever they want, & to convert Apple into a mere processor of those personal systems. That way we might not know what Apple is doing, but we at least can watch their black box act against us.

In general, trying to draw further extenuating circumstances, trying to say "except except except" is simply not ok. The phones we carry are part & parcel to their many services, in this weird conflux of computing. It reduces basic core human integrity to be denied access, to be rebuffed by EULA from understanding & witnessing & probing into these core techno-vessels we navigate about with. These mere technicalities presented, that our homes happen to be located inside Apple data-centers, is to me uninteresting & unimportant in the moral, ethical, humanistic & religious discussion and/or reckoning we have fallen into.
Really cool analysis.

If I were a customer, I'm not sure how I'd feel about Datadog mining my data in such a fashion.

I'm sure it's all in the ToS, but.. inspecting and aggregating the composition of an organization's technical infrastructure appears pretty invasive to me. Is it possible to opt out of the data sharing and still use Datadog?
He is talking about work that involves a deep understanding of the domain and data, on smaller datasets that require a lot more framing to make sense of.

I understand the author to be saying that "small data AI" activities as a fraction of all AI work in the US is lower, because in the US it is so much easier to make more money doing big-data work instead.
The framing isn't the only divisive part. Some of the ideas are also divisive. Search the PDF for the word 'tracking', one of the most divisive concepts in K12 math education.
and they won't. You can't ever get the stink of a data breach off your core website seo, so instead they will use other outlets or buy some throw away domain like "godaddyidentityprotection.net". Lord knows they can do that cheaply (though they might have trouble setting up their wordpress site!)
These people are not politically “left” in any way, shape, or form. They are just decadent. The political left is responsible for my father’s retirement pension, his father’s freedom to spend his evenings to complete a correspondence electrician’s certification while working the mines, the 40 hour work week more broadly, fire exits in burning factory buildings, etc. so I think we should be careful who we are calling the “left.” We need a political left and these people are nothing of the sort. They are an absolute joke.
I once looked for a reputable source (meaning, not people with an interest in denying climate change, etc) on what global warming would cost in a few decades and tried to equate it to dollars per gallon of gasoline.

The implication was that, yes, the price of gas in the US is too low. But it also suggested the price of gas in Europe is already roughly including the estimated cost of fossil fuels. Plus or minus a couple dollars per gallon.

What I don't see people grappling with, is if you talk about externalities, that inherently means there is an objective number, even if it's uncertain and imprecise, that captures the value of avoiding climate change (and other environmental damage) to society.

And there is a completely independent number stemming from peoples' supply and demand curves, which captures the additional cost of fuel that will meaningfully slow or prevent climate change.

If [externalities] <<< [price that will stop people from using fossil fuels], then we've painted ourselves into a corner.

I think some people may be implicitly aware and not admitting it, which is a logical reason for micromanaging the economy rather than going for carbon taxes. I'm not sure everyone is aware though.

Understand, I'm not saying I know the numbers, or that I would accept economic dogma that would say we should do nothing about climate change.

I'm saying that using the language of "externalities", is potentially a trap, given the agreed-on goal. It's such a popular word, but that's when it's not tied to an actual number. Specific numbers can be inconvenient.
Heck, I left academia for industry and ended up publishing fewer, but better and more cited papers. It was the first time I was finally given freedom to explore an idea, significant capital, and management support for my ideas (thank you bill c, alan e and urs h).

I'm 10 years closer to retirement as well, able to own a house in the bay area, etc etc. However, I'm quite aware few who go into industry were given the level of research freedom I was.
I have never seen a US company publish a date in a non-US date format. Not once
How do you exactly compare extremely slow, glacial environmental changes on geological timescales to a pathogen that engulfed the entire world in weeks?

What can anyone gain from such a comparison except baseless soundbites intended for fear mongering?
As long as you can detect your bug from a script, you can pass the script to git bisect run and it'll run automatically.
Yes when they want to make an example of you it does happen.

I don't think it would have happened for this though.
Yep the localization in the URL combined with the fact it's an American company really makes this not ambiguous at all. The downvotes are really unnecessary
Windows allows the user to mark a connection as limited/metered which supposedly reduces background usage of services like OneDrive and Windows Update. I'm not aware of the degree of impact and what is allowed despite the setting.
There is a secondary mechanism to reduce background usage when enabling Battery Saver mode.
Hey it's a Johnnie HN thread. There are dozens of us. Dozens!

I've been very loosely involved in Interintellect[0], which itches a similar scratch and looks spiritually very similar to the Catherine Project, with perhaps less of a focus on great books and a wider, more modern gamut.

For anyone considering Catherine Project, Interintellect, or St. John's College, I heartily recommend them. Diligently reading through deep written work, then discussing it with other people genuinely interested and invested in the work and the dialogue is a wonderful experience and one that's hugely shaped me.

[0]https://interintellect.com/
no, the set of all hypotheses taken together form a distribution (determined by the prior probability). For example, if you proposed that space aliens delivered COVID to us, I would say that is lower probability than any lab leak because we have zero evidence for space aliens, and it's certainly not required to explain anything about COVID that we've observed.
Almost no government space project is insured. The govt is self-insured, generally. Which incidentally, means private space companies are effectively out-sourcing much of their govt contract risk to the taxpayer
You could say that for any good or service, yet inflation is a thing.
Agreed it's an underrated book.
Yeah and it doesn't have to work great or long before it burns out.

People used chained TV reception amplifiers to broadcast pirate TV :)
Speaking as someone who’s been on the unfortunate wrong end of it, the law is applied stupidly and mechanically. All the time. That’s the default. The judge will go to great pains to super pedantically apply the rule of the law, regardless of common sense and believe it or not in most cases also regardless of common sense.

As it should be. It doesn’t always work well for all circumstances, but we don’t have a better system
clathrate gun hypothesis is now mainstream?

I'm not sure everyone only talks about climate change as if it's about as rapid as an asteroid impact.

Yes, climate is an issue, but unnecessary hyperbole only seeds more distrust, just as denying that masks help in the beginning damaged credibilty of COVID-19 related information later on.
Show me an American university that doesn't spend the first two years of a STEM major's life on the three-semester calculus sequence, linear algebra, and ordinary differential equations, and I will then come up with a secondary school math curriculum targeting admission to such a program.
> mobile Firefox share is almost nonexistent

Apple uses anti-competitive tactics to prevent Firefox from competing fairly with Safari on iOS, and Google uses anti-competitive contracts that mandate that Chrome ships on the devices Android vendors sell.
> They will ever play catch-up with platform capabilities and only offer a subset of the package.

Having used both Visual Studio and Rider for many years now, one is definitely playing catch up but I’m not convinced it’s Rider.

There is an equally long list of things that Rider does and VS doesn’t. There’s a reason Resharper for Visual Studio is so popular.

I’m fond of Visual Studio but using Rider on macOS instead of VS on Windows is a much nicer experience for my .NET development (and I know it’s subjective).

Also worth bearing in mind Rider’s cost vs VS Enterprise’s eye-watering licence fees.
A sign of the times. Seems like our non-technical brethren find 2FA/MFA a burden?

McSweeneys’ satire and parodies are rarely in good jest in my experience. This is a criticism of the move towards 2FA/MFA make no doubt about it. The writer, and the editors who let this through, are not happy about this state of affairs.

McSweeney’s isn’t a no-name blog or journal either — its name holds sway over those who work in literary arts.
Past related threads:

Max Headroom Signal Hijacking (2020) [video] - https://news.ycombinator.com/item?id=25923243 - Jan 2021 (1 comment)

Max Headroom broadcast signal intrusion - https://news.ycombinator.com/item?id=21611551 - Nov 2019 (54 comments)

Max Headroom broadcast signal intrusion - https://news.ycombinator.com/item?id=18167508 - Oct 2018 (1 comment)

The Cold Case of the Max Headroom Signal Intrusion - https://news.ycombinator.com/item?id=16816663 - April 2018 (53 comments)

The Max Headroom TV Hack - https://news.ycombinator.com/item?id=9845038 - July 2015 (81 comments)

27 Years Later the Max Headroom Hackers Still Remain a Mystery - https://news.ycombinator.com/item?id=8889388 - Jan 2015 (1 comment)

The Mystery of the Creepiest Television Hack - https://news.ycombinator.com/item?id=6824715 - Nov 2013 (11 comments)

The 1987 Max Headroom Pirating Incident - https://news.ycombinator.com/item?id=1207937 - March 2010 (5 comments)
GoDaddy blocks transferring domains for 60 days after registration
online copy of the latter: https://space.nss.org/colonies-in-space-by-t-a-heppenheimer/
You see YYYY-MM-DD sometimes, but that's clearly not confusable.
Ask HN: Best method to accept invoice payments online?
Quickbooks charges a maximum of $10 for ACH which is the best I've found.

Their credit/debit card fee seems ridiculous though at 2.9%.

Is there a less expensive option?
Thanks for letting me know - it is a limitation of svbtle.com, it's on my endless list of things to move.
> Who should be making the rules if not the creator and maintainer of the product/service?

The customer? Thats the whole point of a market
Personally as a user of both ecosystems I strongly prefer the speed of transactions and minimal fees on Solana, despite it being more centralized. I like EVM from a dev standpoint, but for most applications I want to use a financially practical and scalable L1 personally. There are some very solid products on Solana as well. I think that both are gonna be around for a long time regardless.
On the flip side, if people are invariably reporting that it changed their life and shaped their perspective of the world, who are you to say that the money was wasted or the experience was overpriced? What exactly is the fair market rate for a formative experience?
If nobody can benefit from truth being public - there is no truth.
1) No, any sanctimony present (and there was none, really) was entirely necessary.

2) I actually made no argument in favor of "fresh restrictions", but that's a nice straw man you are weaving together, there!

3) I didn't "imply people are selfish". I said it, straight out. GP's stated view is ludicrously selfish and ignorant.

4) After two years of sacrifice? That's just it, though: some people still don't get it, as evidenced by the comment I replied to.

5) Nobody argued for "indefinite social distancing", but, again, great straw man. Similarly, I did not say or imply that these measures are "inconsequential".

6) Excuse me, but as a professional classical singer, I am actually part of the industry that is perhaps the most affected out of any industry out there, or at least, tied for that dubious honor. So I don't need any lectures from you. My entire field was wiped out for about 19 months and is only now starting to limp back.
I totally agree with you. The only Blockchain-first technology I got excited about was a system where people can put their free disk space for rent. They get paid in some coin, and that is how the coin gets generated. Sure, you can do it without the Blockchain, but the tech has some real added value.

Alas, for whatever reason, it never got deployed.
Pretty sure it was Sean Parker but I could be wrong
Show HN: I wrote a script to bring Chrome DevTools to Android
Hopefully someone else can answer this better than I can, but from what I remember, there was no hardware included. You had to buy an old style modem separately, like something out of Wargames.

Then you got software that allowed you to connect along with an hour of connection time.
What Is the Meaning of Nabs Medical Abbreviation?
> your bank can block your assets as well as your government

It wasn't until recently that governments (arguably) became good at using technology to physically regulate banking activity, and it's only because the financial system became centralized enough for them to gain visibility into what was going on. Before then, and - to be honest, even now - government regulation was operationalized through the threat of repercussions and consequences for non-compliance.

Aside from reducing visibility into the transactions themselves, I don't understand what, exactly, DeFi or any of the other acronyms for ledger based systems do to stop this. Does DeFi, crypto, or whatever it's being called at the moment make it easier to avoid government oversight? Sure, but if you are doing something illegal in the process and get caught, there will still be legal repercussions.

> hard to transfer LARGE sums cheaply... fees are sometimes very high as well. Example tried to convert one currency to an other 1% fees in europe. I think you would pay less in a DeFi setup.

Is this still true? I'm pretty (very) sure that Interactive Brokers and other platforms allow for extremely cost effective currency transfers.
and why shouldn't the responsible be liable?

Reparations are OK for some things, but not for causing worldwide pandemics?
shares: preseed / seed / A / option pool + multiple cofounders means CEO is a minority holder, and common may be as well. for firms raising big seeds, I expect even more likely at the A.

board: many co's give 1 board seat at Seed and another at A, so lose the board around B. but more negotiable, eg, seed investor gives seat to later investor .

So it seems normal: for most, somewhere between A + B, and except for outliers, by C.

Edit: VCs generally have an ownership target, say 15% as a lead, and less as a follower. So that adds up quickly.
BackXPack Review: You&#8217;Ll Never Use Your Regular Backpack Again
The issue is with accessibility, and raised by people who inherently mistrust the state, as the state can sort of cancel your participation in society if they so wish by revoking whatever authentication (digital ID) it has issued you to enable accessibility in the first place.

Now, why the state would do that, or why anyone would inherently mistrust the state, are open to discussion.