skysight-inc/HackerNews huggingface dataset:
> it can only express fractions that use a prime factor of the base.

IMO it could do better to explain why this is the case rather than state it as a fact, as it’s not immediately obviously true (at least to me).

A terminating decimal is equivalent to a fraction with a denominator that is a power of 10. Any fraction with a denominator that is a product of prime factors of 10 can be turned into a fraction with a denominator that is a power of 10. Thus the only fractions with terminating decimal representations are those with denominators which are a product of prime factors of 10.

Of course this is true for any base other than 10, but I couldn’t think of a term for “terminating decimal” with other bases.
I was just googling for that. any recommendation?
Finding a reasonably accurate fractional approximation to a number, even allowing a certain degree of suboptimality in the estimation, is not computationally efficient. So, computing with fractions almost immediately becomes computing with bigints, unless you get lucky and stuff cancels out.
I have been programming in statically typed languages for 40+ years and have tried quite a few times to use dynamic languages (Ruby,Clojure,JS). However I always switched back. I am currently playing around with Typescript and it might be the best of both worlds because you can use the “any” type when that makes sense and strong types when that makes sense.
Please provide a source that 'most people don't want a smart TV'. That is not my experience at all.
I don’t love the title of that page, but I love the exhaustive coverage of raster tricks that it covers.

I frequently link that to newbies who want to get into retro-style gamedev.
Recent and related. Others?

Celsius Is Crashing, and Crypto Investors Are Spooked - https://news.ycombinator.com/item?id=31770195 - June 2022 (3 comments)

Crypto Lender Celsius Hires Restructuring Lawyers After Account Freeze - https://news.ycombinator.com/item?id=31747583 - June 2022 (8 comments)

Celsius Appears insolvent, and it's taking the whole crypto market with it - https://news.ycombinator.com/item?id=31734660 - June 2022 (99 comments)

Celsius Is Collapsing Here's Why - https://news.ycombinator.com/item?id=31734067 - June 2022 (8 comments)

“Celsius has the reserves to meet obligations” (June 7, 2022) - https://news.ycombinator.com/item?id=31732471 - June 2022 (7 comments)

Quebec pension manager and WestCap invest $400M in Celsius (2021) - https://news.ycombinator.com/item?id=31725987 - June 2022 (8 comments)

Bitcoin plunges below $24,000, Celsius Network temporarily halts all withdrawals - https://news.ycombinator.com/item?id=31725373 - June 2022 (16 comments)

$200B wiped off crypto market over the weekend - https://news.ycombinator.com/item?id=31724940 - June 2022 (9 comments)

Major crypto lender Celsius freezes withdrawals as markets tumble - https://news.ycombinator.com/item?id=31723286 - June 2022 (403 comments)

DeFi lending giant Celsius halts withdrawals - https://news.ycombinator.com/item?id=31722536 - June 2022 (1 comment)

Crypto Platform Celsius Pauses Withdrawals - https://news.ycombinator.com/item?id=31720277 - June 2022 (149 comments)
Crypto projects really managed to kill the word community while pretending to reinvent it. As in “You’re all one big community of people not getting your money back”...
"That is not engineering."

It does not stop the folks that do it from calling themselves "engineers".

When faced with the potential for being regulated, large "tech" companies that lobby regulators claim they can regulate themselves. "Tech" companies also believe they can redefine what is "engineering" and hire "engineers" who have no corresponding certifications. In some cases, the companies themselves are the certification providers. History has shown that self-regulation does not work. Nor do blog posts complaining about declining software quality.
Oldschool PC Fonts
One more:

Proof by divinity: "Oh, for Christ’s sake!"
Really? I info-dump on my partner all the time about all sorts of specific products. She’s never mentioned one randomly pop up in an ad. I can honestly say I’ve performed your test thousands of times.
Rational numbers can also be trated as quotient of two integers and stored with arbitrary precision by storing these two values, even with limited precision of 2x32 bit integers, that would perfectly accurately capture 1/3 and 1/10.

But I also don't think it is particularly 'news', the discussion on previous versions centered around the problems that arise from floats, such as inconsistent handling by tools and languages and 'inapropriate use' where the precision from floats is not good enough or misleading. So maybe it is more a "topic of interest".
They haven't actually "opened their traps" since stopping withdrawals. They have given the same one line about stabilizing since the event.

The last "AMA" was the CEO reading the same line (10 seconds).
What no one there ran a risk calculation on Bitcoin hitting 20k? This level is not that unlikely, this isn’t a black swan.
Every high-flying startup and charismatic CEO wants to talk naturally and "with the people" at first, until they learn _why_ established business all talk in bland corp-speak: because talking like real people is fine in good times, but then when shit hits the fan it opens you up to a boatload of liability. Say nothing, admit nothing.
Yes they would do that wouldn't they?

Difficult. hmmm.

I guess it would need to be a standard wording only.
A specific sentence with 'fill in the blanks' only for the changed items.

"Now __ tablets instead of __"
Ignorance is bliss, this is just more stressful knowing than not lol, whoops already caused some methylation for my future kid :( haha
There's a theory 'out there' that there's a coordinated effort to damage Celsius due to Celsius' pulling out of a deal, with a group of other crypto enterprises, to work towards saving Terra/Luna during the early stages of the de-pegging (which resulted in the much publicised death spiral of loss of ~$100B of investment).

Celsius pulled out of this deal to 'protect their community'.
In fairness this action did protect both themselves and their community from any large losses due to the Terra/Luna incident, but it appears that other members of the group of crypto enterprises that did sustain larger losses are (understandably?) significantly salty at Celsius for pulling out of said deal.

True or not, a healthy business can sustain a coordinated attack, and if Celsius doesn't survive then it just means they got their risk analysis wrong for such an edge case. Standard business decision fine-line walking between risk and reward falling off the wrong side.

Maybe Celsius were the first one's to realise that attempting to save Terra/Luna was a fool's errand in the first place, or maybe Terra/Luna could have been saved if Celsius hadn't have pulled out. Given what's come out about Do Kwan since, I'd be guessing the former.
Windows has a built-in file history feature. You can customize folders to backup to a network drive or connected drive:

https://support.microsoft.com/en-us/windows/file-history-in-...

MacOS also does the same via Time Machine.

https://support.apple.com/en-ca/guide/mac-help/mh15136/mac

Other options are Google Docs (the editor has version history support) and cloud storage services that support versioning (Google Drive, OneDrive, Dropbox, etc).
The tool from TFA can export to Mermaid. I've used Mermaid to lay out some DAGs to visualize prerequisites & parallelizable tasks in large projects, and it certainly isn't as fast to use as Knotend seems it'd be.
Pointless to move from one CDN to another for this. Also their performance is rather poor and about 10x higher latency compared to Google fonts.

If your origin is already fast and/or fronted with your own CDN the self-host and serve the fonts directly under you own domain. Trivial work with better security and performance.
Every chain of reasoning needs to bootstrap with one or more statements that are entirely self-evident, such that they don't need to be justified by reference to other statements. Otherwise you run into an infinite loop.

"I'm a conscious entity" is about as close to Descartes' "I think, therefore I am" as modern philosophers are willing to go.
Two kiddie sugar cones yesterday in NH, $4.75 each.
Tangentially related -- I just want bloggers to think twice before choosing (mis|ab)used Google Fonts just because they look "fancier" at first sight. Lato and Merriweather have become Arial and Times New Roman of our time.
Some call them ticks, others call them winning strategies. The fact that the playing field changes thus rendering the strategy no longer useful seems unavoidable. An inherent quality of knowledge.
The author's "triviality argument" doesn't hold up:

> 1. To say that a physical system is a computer requires an external observer to map the physical states of that system onto the abstract states of a Turing machine.

> 2. Consciousness does not require an external observer to exist.

> 3. Therefore, consciousness cannot be reduced to computation.

A physical system may be a computer regardless of whether it is verified to be so by an external observer or not; it does not require an external observer at all.
FWIW, I 'whiteboard', flow chart and everything using google Sheets.

It's not pretty for presentations, but it works really well for engineers in many situations where the flow isn't super complex (think 2d-array instead of tree w/ many branches).

But if you want more tree like structures - there are a number of mind-map software that can change the representation to tree AND have keyboard navigation and control. Freemind being one.
What a confused post.

> The "Chinese Room" argument isn't an argument against consciousness being computation.

This is exactly what it is. Particularly with regard to "thinking," albeit not "consciousness" proper. Though the corollary is that only conscious things can think.

> The man in the room can be said to pass the Turing test, and so can you.

The Turing test is much weaker than the Chinese room experiment. A significant number of chatbots might pass the Turing test, but that has absolutely nothing to do with sentience.
Celsius have their lawyers / attorneys directing their communications due to the issue. Previously, the CEO has held weekly AMA sessions, so it's a sudden, stark change of tack, which speaks volumes as to the seriousness of the issue.
I highly recommend “Software Foundations”:

https://softwarefoundations.cis.upenn.edu/

Not only will you learn how to prove software correct, you will also get a deep understanding of what mathematics really is.
Most, if not all, biological computers have a full body skin that can feel touch and pain. AFAIK, the computer that LaMDA runs on, aka its body, can only sense accumulated touch from a restricted area named keyboard when the Enter key has been pressed.
this isnt the only player to basically hit the pause button when things dont go their way in the unregulated crypto market; Solend is playing a similar game as well.

Had this been, say, Robinhood, punishment would be swift and effective. As crypto has no regulatory framework or model by design, you can only place your hope in a benevolent oligarch who capitulates to the definition of the free market he espouses as well as the one he endures.
This sounds like a typical WSB/Crypto conspiracy. Is this from Reddit?
It seems to be written for an audience which doesn’t know the first thing about science.

Because it's written by people who don't know the first thing about science.
heres a quote from the article

> And Dias and Ressler reconditioned their mice to lose their fear of cherry blossoms; __the offspring conceived after this “treatment” did not have the cherry blossom epigenetic alteration, nor did they fear the scent.__
The type system in C++ as in Haskell, and to lesser degree Rust, is not just for checking arguments. It can do useful work, and routinely does in better libraries.
Call it a DNA-level intellect. Just like my personal intellect but smeared across a generational tree. Or a species.
He’s on Substack.
> losing access to new games which will have minimum version requirements

This isn't always the case. On the Switch for example you can very easily bypass system version checks.
We are more than halfway there already: https://news.yahoo.com/obi-wan-kenobi-disney-plus-warning-te... (and this is far from the only example)
Not entirely what you want but in my (admittedly limited) experience, this one came the closest:

https://projects.eclipse.org/projects/mylyn

Older versions allowed you to save your task-focused state and reopen the same IDE state when reopening the problem. It could even save to your task manager.
The tool from TFA also breaks the user free from thinking about layout entirely, and can export to Mermaid. It's a pretty fancy-looking way to _quickly create_ a graph that I plan to try instead of manually typing Mermaid syntax next time I need to make one.
so are the kids of tiktok addicted media scrollers going to have increased likelihood of gambling and attention deficits?
See: How Not to Teach Recursio
Measuring the input rather than the output ;)
I think Mark Dominus writes Haskell nowadays.

"Byzantine compiler errors" is what I guess you have come to expect from (mis-)use of pre-C++20 templates. But the overwhelming majority of type operations in actually high-level languages like C++ and Haskell cannot result in compiler error messages, and simply perform useful busy-work you therefore need not.
> I wish governments worldwide would boost this industry and get these heat pumps in the hands of people as fast as possible.

> …

> My wish is for the European Union to use any emergency powers it has to subsidise/mandate/beg the companies to mass manufacture heat pumps and solve the installation problem.

Can’t speak to other governments, but earlier this month the US invoked the Defense Production Act to do exactly this:

https://www.scientificamerican.com/article/biden-order-will-...
Find an Indian grocery store and grab some from their freezer
The idea that you cannot get to consciousness from computation requires accepting on faith alone that consciousness is magic. It’s fundamentally a religious-like bias.

It’s not magic, I’m afraid.
Lots of people in developing countries would.
“This crypto cycle was even weirder than the ICO frenzy of 2017/18.”
the biggest news about this for, well, hackers is obviously theflow0 is back in the game! theyve been instrumental in the homebrew PS4 scene as covered by modern retro gamer on youtube.
> and is no different to the DAO hack for Ethereum.

yikes!

the system has had material downtime 7 times in the last year. how is that OK?
Why have the TV on the network at all?
No, there would be zero return rate. The amount a graphics card could even add to a pool would be negligible, and pools pay out when they 'win' a block, based on proof of partial solutions during that block, to prove the contributory hashrate. ASICs are so far beyond what a GPU can do that it is likely that a graphics card would never achieve even a single partial solution and therefore merit any fractional payout from a pool even.

So I'll say again, it's likely that a graphics card mining bitcoin right now would produce nothing. Ever.

I'd be looking for proof that these people exist before assuming that there are people who are wasting their time and energy on doing something that will never produce a single cent's worth of bitcoin, 'for fun'.
Their appliance division has issues too. There are 2 ongoing lawsuits around their refrigerators.

2017 ice makers leak water (mine does this). https://www.wsoctv.com/news/local/new-development-samsung-ic...

2022: fridge gets too warm: https://www.cbsnews.com/news/samsung-refrigerator-class-acti...
You can do that, but then you still leave out all the irrationals like sqrt(2) and pi.
The same way all browsers prevent malware? Sandboxing and regular patches to patch holes in the sandbox?

The Chrome team is very responsive to vulnerabilities in my experience, they roll out security patches extremely quickly and chrome autoupdates you to the latest version soon after.
I recently got into game collecting and this is fun indeed. Managed to get myself a copy of Silent Hill 3 for the PS2, which isn't exactly a rare game but it's up there for sure.
WhatsApp got there faster with no ads either
It used to be a legit career choice in Australia in the 1980s - back when I was at high school they taught typing as a vocation. I took typing because I thought it would help with my interest in computers although I did work for a time at University as a typist and had to take a typing speed test on a selectric.

You could leave high school, do a typing test and enter the public service to join rooms full of people typing up ugly, handwritten garbage from the other public servants. The main impediment to doing that work wasn't the equipment, it was the quality of other peoples handwriting (or shorthand).

By the time the 1980s rolled around, you could get typewriters with an entire line of memory and even with erase capabilities but those were conveniences for less experienced typists. If you were typing as a vocation, you learned not to screw up enough that you didn't really need an entire page of text to get it right.
Who pays for podcasts?
Its source code is at here btw

https://sr.ht/~edwardloveall/scribe/
Unrolled: https://threadreaderapp.com/thread/1538502091198562304.html
If Software Freedom Conservancy win their lawsuit against Vizio for GPL violations in their TVs, you will probably be able to install open source Linux distros with Kodi on any Vizio TV and soon afterwards lots of other smart TV vendors will be similar. Allowing the vendor operating system to remain on the device after you purchase it basically means spyware these days.

https://sfconservancy.org/copyleft-compliance/vizio.html
If your console is in 9.00 or lower you can easily exploit it through an exFAT vulnerability and play Bloodborne in 60fps. It's a great deal.
Ghrelin is not the only hormone involved in hunger, there are many hormones involved in different aspects of hunger. Secondly, even if ghrelin levels were to decrease, that does not mean that someone would not feel hunger, as hunger is not just determined by ghrelin levels.
I have found psychiatry useful personally, it’s not a magic wand but in my experience it’s a useful adjunct to more personal work.

I also haven’t found any correlation between expensive mental healthcare and effectiveness. This is sort of different to like surgery where the standards of success are more clear-cut and the ballers get paid a lot if they are motivated by money.

Getting help can be as simple as finding a group in your area, it’s not always a huge barrier to entry to see improvement.
or SmartOS?
> Say what you want about their security; they have the absolute best UX of any (primarily 1-on-1) messaging app, bar none.

> Discord is a close second. But the quality and polish of telegram blows me away to this day.

User experience is, well, subjective to the user. For tech savvy, primarily desktop users, Telegram and Discord can be great choices.

This is however probably not true for the majority of the population.
It seems to me that we've reached Peak Word Processor. I followed what my kids were doing as they went through school. Even in grade school, they were required to learn word processing as if their "careers" depended on it. They had to follow strict formatting instructions such as line spacing and page margins for documents that would never be printed. The word processors that they learned on are of course obsolete and forgotten now.

At the workplace, it definitely depends on one's field. When I started at my job 25 years ago, people still word processed and printed a lot of documents. Today, most text is entered in the e-mail or chat editor. If someone wants to spin up a document, they pull up whatever editor is provided by the workplace, or Google Docs, but the problem of finding out how to use all of the formatting features is bypassed by just not using those features. Text has gotten more informal. Graphics are added by using a screen shot capture utility. Meanwhile, the techies are using Markdown, and even the word processors (or whatever online editors) recognize Markdown tags and automatically apply formatting.
Doesn't mean you need to watch over people's shoulders as they complete interview problems though. It's plenty to just discuss their solutions with them afterwards. Quickly becomes obvious who actually understands the issues at hand.
I also had that problem, I grinded through 200+ problems but I felt like I was just memorising leetcode solutions. I dont wanna be a shill but if you can pay, then check out a site called structy.net, it's a hidden gem. Nevertheless you dont need to pay as 50% of its content is free. Compared to famous paid interview prep resources like algoexpert, it's way cheaper, explanations are more succinct, and personally I find it explains things better.

I worked through it and I'm confident I can smash leetcode mediums, especially trees and graphs. Arrays and Strings I found to be the hardest at leetcode hard level as there are a ton more corner cases to handle and there's almost no problem solving patterns in solving many of them, unless it's the "easy-hard" type (usually backtracking types like Sudoku Solver are manageable). Most leetcode hard array problems are just pure manipulation and observational/ad hoc types and it's hard to get good at them as there's little practice available in leetcode to ease you to such problems. One has to go to sites like codeforces to practice these ad hoc types, and it's annoying as codeforces problems are mathy. Luckily, those hard array problems dont appear in leetcode style interviews.

Anyhow, structy and the "top interview questions" from https://leetcode.com/explore/interview/ were enough for me to go from "forgot everything from algorithms class" to interview ready.
>> You need a good tutor.

> OP, you should try to get someone to work with you.

Those both sound like great suggestions to me.

When I was a linguistics major in college, around 1976, I started wondering about pure mathematics—it seemed a lot more interesting than high-school calculus, which had snuffed out my previous interest in math—so I took an introductory class in abstract algebra. It was the first math class I had taken that was oriented around proofs rather than calculation, and I had trouble at first understanding what proofs were and how I was supposed to come up with them.

I went to see the professor during his office hours to ask for advice, and he told me something like this: “A proof is basically a story you tell to other mathematicians.” It took a while for the meaning of his advice to sink in, but it did eventually, especially after I took a couple of seminar-style classes in which the students worked on proofs together.

Looking back now, I would summarize what I learned then as follows: A proof is a story you tell to other intelligent, knowledgeable people to convince them that the theorem is true. As with all story-telling, you have to adjust what you say and how you say it depending on your audience and on their knowledge and expectations. If you are new to mathematical proofs, then you need to work with other people for a while to learn how mathematicians use proofs to tell stories to each other.
Opal C1
But he said anything Fuji won't work.
They're dead. Pausing during a market when people want to withdraw before they lose everything means a bank run as soon as the withdrawals reopen. They know this, and they know that we know this, and conspiracies like this are from people unwilling to accept the obvious truth: They announced their death when they paused withdrawals, and the jig is up.