skysight-inc/HackerNews huggingface dataset:
Calculators are generally useless in Calculus. Or at least they should be. Calculus is a process, and normally you are graded on that process, not on the answer.

We were allowed calculators too, but the problems were designed that anyone even mildly good at mental math didn't need them. In theory you could teach all of calculus without ever even using numbers (perhaps except 0).
The bigger the deluge of information, the more valuable a guide becomes to navigate it.
https://outline.com/PCcptc
One person accounts for 0.0000000125% of humanity.

If we consider such number small enough to be rounded to zero we are implicitly allowing homicide.
Just over ten years ago, the NY Times had an article about a disappointed parent suing a tutoring company. I forget what her beef was, but she had paid out $35 thousand in the course of a year.
Would this not require quantifying real, objective truth? How does one compute truth without relying on human input? (Which instead trends towards truthiness/the "feeling" of whether something is true.)

I am not being dismissive, I genuinely would like to know.
Not a particularly interesting story. I bet there's tons more out there. Hoping for some anonymous and fresh HN accounts to pop up in this thread.
Transactions have to be irreversible so that law enforcement is impossible, which is the main selling point of cryptocurrencies.

Of course that's a downside if you are the one who would like law enforcement to happen (either because you are the victim of a theft or you want to enforce on others).

Also fraud can be done with reversible transactions as well, in particular the reversal can be fraudulent; in general, reversible transactions are only really effective if the conveyance of whatever was paid for is also reversible.
In early Imperial Rome prestigious families would fund public works as a public symbol of their wealth and power. This shifted over time to a more self-interested display of wealth and power in the family's villas. If the aqueducts and roads have existed for centuries in your region there is less opportunity for those public displays of civil engineering and I would suspect the skills and knowledge did wither though I can't say to what extent. Look how fast the knowledge to build the space-race era rockets was lost in the US, and that's with modern record keeping and no major domestic disasters or upheavals.
Now now, let’s not be too hasty to make that determination until we’ve seen what fast & furious 9 has to offer
"Star Trek: The Motion Picture" Gets a 4K Remaster for Paramount+
I really wish more high definition scans were made of old artwork. Especially renaissance paintings. I get that this will probably rob some museums of ticket revenue, but people like me can't afford to fly to Europe and visit these museums anyways.
I've found that if there's a project at the end (like in Free Code Camp (I think one or all of those may be a single word), I tend to do much better. Not only does it help me cement things into my brain, but it motivates me to keep going. Not to mention, the learning I get from the videos is OK, but the real learning comes from what I look up to solve the practical.
Thanks for the hint. This tool looks a lot easier to use if you have a simple use case.
It is, bitcoin is cash on the internet. If you want reversible transactions and credit then use a credit card, I'm pretty sure there are credit cards for crypto now and if there aren't there probably will be soon.
So it is made up then.
>But I wonder if it is still a good measure as much of that new GDP is flowing to the 1%.

You'll have to factor in interest rates for that comparison. 60% of household debt at 5% interest is much worse than 80% of household debt at 2% interest.
I like this very much. I would use you guys at the $600/mo price point for two rooms in a home in Austin, TX that I will be inhabiting for four months.

The lead time is the problem (along with the pricing in CHF). I want this today and not 10 weeks from now (more than half of the period of the rental).

Cool idea. I am concretely interested but not at that lead time.

If anyone has American recommendations I’d be thrilled. I’ll probably use inhabitr otherwise.
That latter point seems pretty relevant. If they intended to not use the tanks unless approved, And the construction process itself wasn’t particularly disruptive (I’m assuming they have a broad construction permit for the total amount of area being built on), it doesn’t seem morally questionable to build things ahead of time while the paperwork for use is still being finalized. Like, would building the tanks have been illegal if they were simply art pieces?

That confusion may have been why they proceeded.

Generally speaking, I don’t think we should underestimate the degree to which regulatory burdens hold back progress in decarbonization. Getting permits for a solar farm in the US is a long process but planting a field for agriculture is much easier spite of concerns for runoff from fertilizers etc. The status quo bias of strict regulations needs to be considered if we are to decarbonize fast enough. (This is particularly bad in the US for increasing housing density and building public transport infrastructure… these things are stymied by status-quo regulations and NIMBYism, and it makes it essentially impossible for us to decarbonize via densification on a reasonable timescale.)

How long does it take to satisfy all stakeholders to get HSR built in California? What about building multiplexes in places zoned single-family? You run into hall monitor NIMBYism and slow regulatory burdens constantly. Meanwhile, people continue to buy big fossil-fuel guzzling trucks and SUVs, planes keep belching emissions, etc. I think the climate is going to run out of time.
$216/year pr CPU not pr core? That's... Incredibly cheap? Less than $2/core/year on the right CPUs?

Ed: ah, no. See sibling comment
Which small set of users do you choose to optimise for?
This would be a more plausible conspiracy theory with state-level actors; I imagine the TLA's have the resources to do this, and it might make sense to do at somewhere like google/intel/microsoft with some juicy payoffs. Otherwise it seems like more work than actually starting a company to do whatever the mole is accomplishing. I like that the mole's preferred pronoun is "it"..
Not a fan of crypto, but your argument applies to cash, wish is still widely used (not only by shady people ;) )
It may be because I'm a print maker, but I didn't experience the same confusion; the headline below the hero was clear to me.

> Sharing letterpress printing knowledge for the common good.
I've been that guy. & yeah, found greener pastures a couple years later

No regrets, canopy was an absolute pleasure to use https://lefthandedgoat.github.io/canopy
A bit different but I had a disconcerting experience joining a motorway from a slip road. There was a Huey-style helicopter fuselage on the back of a lorry in lane 1 and for a second I thought I was driving alongside a flying helicopter
The closest thing to those concepts in crypto would be multisig wallets, including more advanced ones that enforce a "daylimit" where a single key can withdraw a small amount but larger amounts require confirmations from multiple keys or a delay during which another key can cancel the transfer.

See also this piece by me on social recovery (a related but not quite the same concept): https://vitalik.ca/general/2021/01/11/recovery.html

But this is all not quite the same as reversal and makes different tradeoffs.
https://www.uvp-verbund.de/trefferanzeige?docuuid=94AFADF0-9...
Any system has to deal with time-variable conditions.

I dream of getting a geothermal heat pump for my 1850s farm house which is normally heated with two wood stoves but has a propane backup. (e.g. the kind of compact heater that you see all the time in people's apartments in anime)

At points south the capacity of that kind of system is set by cooling demand but where I live it is set by heating demand. The woodstove could pick up the slack on the coldest days, but that defeats the main selling point of the heat pump which is extreme comfort (e.g. it switches seamlessly from heating to cooling)
You're absolutely right, we currently only offer three distinct styles (https://pabio.com/get-started), although our interior designers get to know you better and design something that's unique for you. We are currently doing photography for a few more case studies with different styles, stay tuned!

> Research into styles in various regions (ie beach rentals vs ranch style vs mission/craftsman).

For sure! We plan on adding several more styles in the future. The only thing that slows us down is creating the right furniture set and reliably sourcing items that will remain available to us. I love the beach-style idea!
And for someone that has never done it before, it's absolutely terrifying – probably the most money you've ever spent in your life in a single transaction, with zero visibility into whether the transaction has worked, and fraud warnings in big red letters to let you know that if you're going to get robbed or scammed, it's probably right here that it will happen.

And be prepared to wait 24 - 72 hours for final confirmation!
Get Paid to Poop
> Unless he is going to live in the place herself

Can just lie. My last landlord said he was moving back in because of family circumstances. As soon as he kicked me out he renovated it and put it up for sale.

Didn’t get an offer he was happy with and was asking me if I wanted to move back in 12 months later.
Nobody is complaining about `i = i + 1`, it's examples like this [1], an entire function, including comments written by the original author, protected under GPL:

[1] https://twitter.com/mitsuhiko/status/1410886329924194309
In 2001:A Space Odyssey, the "star gate" sequence is quite psychedelic; and this was 1967.

https://www.youtube.com/watch?v=1DNbkKBW0K8
additional active discussion over here: https://news.ycombinator.com/item?id=27778774
Per socket or per core? Whats the business case where this makes sense, it seems a pretty steep price?
No shit early adopter. It's CALLED an 'insider build'... It's for developers.

Smart people who are not developers know to wait for the released version / golden master, or slowly try out the release version before going all in.

What a SUrpRIsE! /s
Yeah that's not just $500 down the tube, that's a whole lot of other violations on top, and very serious regardless of the money. Definitely something to report ASAP.
You don't care about other people's success rates.

You do care about your own success rates.
I was talking about in cars specifically. It would seem to me that adding some kind of TEG around the engine and part of the exhaust system might be worth it on a hybrid vehicle. https://en.wikipedia.org/wiki/Thermoelectric_generator

I guess it would depend on if you can make it cheaply enough.
Are you not using Rider? Because all the refactor stuff you're talking about works out of the box for me in F#/Rider.
> Linus recently said

At DebConf 2014
Portman – API Testing and Port OpenAPI Specs to Postman Collections
Moreover I don't see how free a society would be if cryptocurrencies became widely accepted and early adopters began to pass cryptocurrency inheritances from one generation to another. The descendants of the early adopters would be a new type of landed gentry, with a mathematical moat. It doesn't seem like a reasonable way to organize society.
Let me start by saying I love OCW. It allows a connection to MIT far beyond simply donating money each year. As an alum of MIT, I find it interesting that the OCW video lectures are generally much better than what I recall the actual classes to be. I am not sure if this is because some classes had multiple instructors and only the best are presented on OCW and/or the Professors and students are especially good for OCW because they know they are being recorded.
>All work on my Personal Game will be performed outside of my regular working hours.

What? Why exactly is Amazon involved at all then?
> Jim Salter
It didn't take long to find our first Windows 11 bug—the DNS resolver stack was weirdly broken. Nslookup works, but ping doesn't!

I mean, that isn't exactly common usage, so I wonder why they tried that so quickly?
Worth it. The south should be focused on gaining real industry and financial independence. They will continue to be mocked unless they show they are formidable.
unrelated, but this basically describes a large number (possibly majority) of tinder profiles.

> Compare the person's profile photo when you meet them in real life. If it is questionable that the photos are actually of themselves, that is a red flag.
Sort of reminds me of killing flies with a tank gun, they have done hard forks of the block chain for huge sums before.
Look, i think she makes a great job. But i hate it when those fanboys cannot see the irony of what she did...i would be proud like hell if a scientist would name a slug after me.
You talk very eloquently to how much more knowledge the natural philosophers have dug up and how much more a person might be able to know.

But I was born into that world. The world that has happened during my lived life has been one where a greater and greater amount of the total knowledge has been withheld, retained, kept proprietary.

And worse, a large amount of this knowledge is knowledge that is impossible for anyone else to ever figure out. Almost all manufacturers keep their processes & ingredients secret. Want to know what this Tyvek thing is that you wrap your house with? We'll give you some marketing blurb, but mostly you have to trust us. With cloud computing, with DRM, there is no observable world: where-as with Tyvek we could buy some & put it under microscopes, tear it apart, run mass-spectrometers on it, try to reproduce it, we couldn't even take our chips out, give them an acid bath, & see what they do any more, because vast amount of the functionality is behind a firewall. That knowledge is physically retained, withheld, guarded inside a data center.

And that knowledge is vast, is the very core of the business of many of the biggest companies of the world. Powering products that we interact with for hours a day.

This domain of unnatural knowledge defines more and more of the world about us. It shapes society more actively in our day to day than our relationship with the natural world, our knowledge of the sciences. In spite of being the most active force shaping the world about us, humans, it has felt to me, have less and less ability to peer into, to see, to understand the world about them. While our total knowledge grows & we have a bigger pool of knowable things- truly a wonder- as you argue, I argue that the past handful of decades have seen far more knowledge created which is un-discoverable, un-findable than at any other point. And it is knowledge of the basic world about us, of how the basic elements of our world work. This to me is an anathema.
That seems entirely plausible. That's in the same territory as boarding school prices for one kid (some are more expensive, of course, but it's around the same price as that sort of thing), so clearly there exist people willing and able to pay that much for their kids' education. Hell, with a couple kids you can break that much per year at a cheap-end-of-mid-priced day school.
I've done professional GUI programming and there are really only three options that make sense:

1. Write the GUI natively per platform. This is best from a UX perspective but is expensive and you probably need different developers working on different platforms. Other downside is that really advanced functionality is harder to implement and sometimes the performance of native APIs is poor and hard to improve (Apple has this problem frequently).

2. Use a cross-platform framework like Qt (Electron would also go here). This is the most cost-effective solution, but generally does not feel like a native app, which may or may not be a problem.

3. Use a custom GUI framework.[0] Probably the most expensive option and hard to hire developers for, but can be warranted for complex applications like CAD tools, games, etc.

The problem with Rust GUI libraries is that they can't really target 1 or 3 so they need to target option 2. But the big players there are Qt and Electron. Qt is popular because it works well, is proven, and has a lot of financial backing. If you don't need something super complicated a decent Qt developer can get it working quickly. Electron is popular because there are tons of web developers and they can be productive quickly.

Rust attracts a lot of hobbyists who are talented and have good ideas, but I don't think they have the staying power (or financial ability) to provide something that competes with Qt and Electron. I'm sure it can be done in theory but I don't see it happening in practice anytime soon.

[0]: By custom I mean tailored for the type of application you are making, e.g. what a lot of game devs do for their internal tools.
I'm still waiting for MS to put some real resources behind F#.
Is anyone interested in curating a collection of TUI components in Rust?
Well obviously core users of Bitcoin like ransomware artists don't want their gainz reversed. Most people who really use (as opposed to hodl) bitcoin outside of speculation are criminals.
Without the jacket the person will emit the same heat. The jacket fans do generate a trivial amount of heat, but it’s likely less than a desktop fan.
Writing safe C++ is harder than plain simple Java.
I will mourn movie theaters. Some shows are just 100% better in that environment.
It is for merchants. Chargebacks are abused and can kill your profitability in certain industries. Stripe and PayPal label these has high risks and will shut your account down if you receive too many chargebacks.

As someone who uses crypto on both ends, I think no reversal is the fairest way. Both sides lie, but the customer lies quite a bit and is usually favored in CC reversals.
> You are making it sound as if the system only copies full functions verbatim

It doesn't only do that, but it does do that [1]. And that is the issue. It doesn't matter if it only does this 1% of the time, it's enough to be high risk.

[1] https://twitter.com/mitsuhiko/status/1410886329924194309
"Price" seems like a stretch. Windows laptops start at something like $700 dollars cheaper for a new device.
They seem appropriate if you want your code to read like the math they're representing.
They actually have a page on the site for this - https://ocw.mit.edu/give/other-ways-to-contribute/

Nothing exciting. Send them feedback on how OCW made a difference in your life and spread the word.
> the only thing I can think of is that what people are complaining about is too many ways to define cross-cutting abstraction

I meant exactly what I wrote. The primary axis for styling is applying a set of properties using a selector. The cross-axis abstraction for providing restrictions on what values the properties contain has not been part of the language for the vast majority of its existence.

> variables and mixins / other apply boosters and even css classes themselves

The only options here that are actually CSS are variables (which are relatively new to the language) and utility classes, which work against the general desire for semantic class names and separating structure from presentation. I'm familiar with the proposals for the others but I'm not aware of them being standardized and I know they aren't supported in any browsers.

There are plenty of reasons to not like Tailwind but I expect most people who do like Tailwind aren't coming off a project with an established design system and method for applying it. I have some complaints about Tailwind's choices but it's a fine set of defaults and has enough customization for me to disable or replace the utilities I don't like.
Why would they even say that: "There are uncool people here, beware." Obviously not everyone in a workplace can be "cool" but I see no point mentioning it.
F# doesn't even make the list.

Here are the top 5.

1. Python
2. Python
3. Python
4. Python
5. Python

If you REALLY can't use Python, then Rust or Go. If you are programing a game, the GDscript.
Is this really an optimization that we want/need a compiler to do? I kind of get it for really high-level languages like Haskell, but for low-level languages like C/C++ it feels like a silly toy example. The abstract machine is so low-level that many big optimizations can’t be done. Instead the compiler can only do little O(1) optimizations. And you know what, I’m perfectly fine with that. C/C++ trades it all in order to give the programmer significant control over how the code works. If I want to use the summation formula, I can just write that myself. Honestly the thing I hate about the standards bodies is that they try to have it both ways so their compiler developer buds can implement their favorite (imho dubious) optimizations. But as a programmer, what I really want is well-defined, predictable constructs. Worrying about UB while also trying to design an algorithm, while also designing good data structures, while also designing for cache hierarchy
, while also optimizing, while also thinking about cache coherency, while also thinking about paging and tlb behaviors, while also.. .. .. It’s all already too complicated before having to worry about what UB the compiler may try to exploit next week. I have a very strong suspicion that almost any non-trivial C/C++ program has UB somewhere. If so, then something is seriously wrong with this whole concept when useful and practical programs written in C are not technically defined/valid C programs!
I can't read past the fold here (paywall), but assuming this is about Copilot, it feels a bit disingenuous to suggest it's already "transforming" software development. It's a cool tool, but it's not even available to everyone.
My favorite version of this was “ Find the Mystery Cougher” by Ricola. This was like… 2005? Basically they had a contest where they announced they’d be sending someone to various cities, walking around and coughing. If you offered the mystery cougher a Ricola, you’d win the contest and get a million dollars or whatever.

It’s like inverse astroturfing, and also arguably incentivizes friendly social behaviors. Genius.
None of this stuff is authenticated the number on your credit card is an ID number not an auth secret, and if you make a habit of it your bank will cash personal checks from you written on notebook paper.

The idea is that fraud is already illegal and there are methods for dealing with it.
I have seen this kind of thing directly. Kids in private school who take their homework to the “tutoring session” where the tutor basically does it for them. My own kid did tutoring for beer money while in school.

I don’t think the article is fundamentally fictional, though clearly some of the retelling has been dressed up a bit.
> The lead time is the problem (along with the pricing in CHF)

We're currently only available in Switzerland, so the pricing is in CHF. I hope we're un Austin soon though, you're the second person who told us that they'd be interesting in using us there!

> I want this today and not 10 weeks from now.

I very much agree, this is something we're working hard on. Furniture is not a great asset class since warehouse costs very quickly outweigh revenue (large and bulky!), so everyone in the supply chain is incentivized to reduce inventory risk as much as possible, which basically means everything is ordered on demand. This is the reason why you usually have to wait 12 weeks for a sofa when you order it online.

We try and do it quicker, at around 4 weeks (sometimes even earlier, in case of super-urgent apartments, we've even furnished them within one-to-two weeks), but we're exploring ideas to make this faster.
You may find luck with Estes Sure Move. They provide a commercial truck trailer that they truck for you and you save money the less space you use in it (they fill the rest with commercial shipping). I used them to leave the Seattle and they were significantly cheaper than the competition.