skysight-inc/HackerNews huggingface dataset:
Lol. Sure, kids will be learning Rust (!) on a phone (!!) browser (!!!). Now that I think about it, turning web browsers into these bloated pseudo-OSs was well worth it, if only for those nerd kids learning Rust on their phones!
macOS 11.3+ battery settings greyed out due to missing padlock icon
Tokenizing Future Yield
Please cut them some slack for this. It is not like this is the rc for the next version of a long running distribution. It is the first ever release using a from scratch implemented build infrastructure.
> 1) He didn't say iPhone was first.

I'm not argue. I'm just saying.
It's is called buying off-plan and is very common, especially for apartments in residential blocks. You buy your apartment early on and it is cheaper than if you buy after completion of the project.
Like the post mentioned, I also saw the padlock icon show up at the bottom very briefly after clicking "Battery" in System Preferences and then it went out of view. Going to a different category like Network and unlocking it there also unlocked the battery settings so that seems to be the workaround for now.
HN biggest achievement is its civil, informative, curated, comment section.
Without comments, you have "stock news from 40+ sources", just not "Hacker News-ish".
I think there's two factors. One is the nonlinear utility of money, and the other is the cost/value of losing/winning.

In general money has a diminishing utility, your first dollar is worth more to you than your millionth dollar. In order for it to be worth it to play a -EV lottery not only does you utility graph need to be nonlinear, it cannot decrease monotonically. At some point your nth dollar needs to be worth more (to you) than your first dollar. For example, you have one dollar and a life saving drug for your terminal disease costs 1 million dollars. You would see a sudden spike in utility at the 1 million dollar mark. It would be rational to play the lottery in this case.

Another possibility is that the event of winning money or even just the thought of possibly winning that money gives you more value than simply having the money alone, and this tips the scale. This would be like the opposite of insurance. For some people the experience of losing, or worrying about the possibility of losing money is so negative that it still makes it worth it to buy insurance.
For comparison, in the EU the minimum coverage for mandatory liability insurance for motor vehicles is:

- in case of personal injury, €1 200 000 per victim or €6 070 000 per claim, whatever the number of victims

- in case of material damage, €1 220 000 per claim, whatever the number of victims
Games of course! Doesn't have to be fancy with graphics at first but the beauty here is graphics/frontend/UI is definitely on the table if you want to pursue it later. In the same spirit, it's very easy to add features/mechanics to it. Get creative!

- Simplest game ever is a number guessing game. Obviously solvable by binary search on the player side. It's like an exciting counterpart for Fibonacci for learning PL flow-control structures. Additional features: limit number of guesses, make players guess floats instead of just ints. Latter will obviously teach you about FP handling in your language of choice.

- Next up, make that two dimensional, so the player is now guessing coordinates instead of numbers. Needs more math, you will definitely implement the distance formula. You can add a backstory if you like (are you bombing enemies in stealth perhaps?) and add mechanics based on that backstory.

- For something more complex---and I think this is your level now---people might suggest a constrained DF/Rogue-like. But me, that always grows more complex than a pedagogical device when I do it. So I stick to boring text games, sometimes inspired by game shows. Quizmaster-types (ala Who Wants to be a Millionaire), hangman-types (ala Wheel of Fortune), would force you to create structures for abstraction, all staying within complexity budget.

Happy hacking!
I joined the Army. That's seven weeks of my life I'll never get back.
Partially so.

Hadoop’s progress bar is possible because it breaks a task up into small units; you know it was broken into 1000 units and that 50 are done so the job is roughly 5% done.

GUI programs really shouldn’t be able to use a thread for long at all. If they have to do 2 s worth of work they should break it up in 20 chunks of 0.1s and if they go a millisecond over the App Store should refund your purchase price and kick them out permanently.
If it is helpful in anyway, I found this answer very interesting

https://www.reddit.com/r/learnprogramming/comments/g98sn4/sp...
Louboutin’s Walk a Mile in My Shoes
Back in the 90’s

Well forget it then, it might as well have been a billion years ago. Internet in a Box is an ideal name - describes exactly what it does.
> The photography subscription (Photoshop + Lightroom) costs $720 over six years. Given that Adobe offered upgrade promotions (e.g. CS5 to CS6) for about half off, it's roughly the same price as it was before.

Very interesting analysis. I was inclined to doubt it so I checked and you are absolutely right: Adobe does indeed have a Photoshop + Lightroom bundle [0] that costs ~$10/month or $119.88/yr, such that it comes to $720 over a six-year period.

[0] https://www.adobe.com/products/photoshop-lightroom/pricing-i...
Compact quantum computer for server centers
The name is confusing, I also was expecting a reference to the IT Crowd. As others have suggested, a more direct and contextual name might help.
> what happens if you get unlucky and are at fault with a top end Lamborghini

That would be liability insurance, not comprehensive, wouldn't it? Comprehensive insurance covers damage to your car (could be glass, vandals, natural events, hitting something with your bumper, etc.)
what I always said. insurance is like gambling, except you don't want to win the jackpot.

i.e. it needs to simply viewed as a hedge. what can you afford to budget for today that will prevent you from having unexpected expenses in the future. The fact that your unexpected expenses are covered is great, however, the pain of having to deal with that situation is probably not worth the fact that you got out more money than you put in.
To add to the neighbor comment: trackers were around since the late 80s or early 90s, popular on computers like Amiga, and the interface was suited for low-res or even text-mode graphics. E.g. there's a tracker for Gameboy, called ‘LSDJ’; and a similarly restricted alternative for Android is Nanoloop: https://play.google.com/store/apps/details?id=com.nanoloop (at least afaik it's a tracker).
My first open source contribution to SerenityOS
Between a fit, charismatic, high IQ handsome man, and Stephen Hawkins, who would you save?
> it's not about formal definitions. It's about whether you're conceptually putting multiple pieces of data into a single field. Which has everything to do with first normal form.

I'm really confused by this argument. It seems to you suggest "first normal form" does not just cover the formal definition (eliminate nested relations) but also a general guideline to avoid putting "multiple pieces of data into a single field".

While the second part is certainly a very reasonable design guideline, it is a completely different thing than 1NF, and conflating these two things will IMHO just lead to a muddy understanding of both.

The guideline to avoid conceptually putting multiple pieces of data into a single field cannot have a formal definition, since it depends on business requirements what constitute a piece of data. For example a phone number has multiple segments like country code, area code, line code etc depending on country. Should a phone number be treated as one piece of data or multiple pieces of data? Depends on what you need to do with the phone number.

2NF is defined to encompass 1NF, i.e. in order to be in 2NF a relation has to be an 1NF (indeed this is the case for all the higher normal forms). But if we confuse 1NF with some vague guideline without objective criteria, there is no way to determine if a relation is in 2NF either. This undermines the whole notion of normal forms.
I love this! Interested to know how you made these animations?

also mathematic and science in ancient india were taught using easy to remember poems, for example Pascal's triangle:

https://lvnaga.wordpress.com/2014/10/21/meru-prastarah-or-pa...

also different numeric series represented as poems
https://en.m.wikipedia.org/wiki/Katapayadi_system

we definitely need more of these that teach complex mathematics and topics like machine learning.
Don't look for jobs, look for opportunities. Just because you like the work today doesn't mean you will continue to do so. If you can't grow and evolve...well, that's the worst thing ever.

Put another way, it's a relationship. The opportunity is relationship with your employer; a career is a relationship with yourself.

Don't get stuck in bad relationships.

To that point, when in doubt update your CV and look for work. When you eel helpless (i.e., you don't like your current work situation) looking for sonething else is empowering.
Not only in Russia. I once accidentally discovered a vulnerability in a rather popular job search site (EU). I reported it to them only to be harassed by their legal department afterwards.
No good deed shall go unpunished.
Depends on the hypothetical, no? If it was about maximising our survival chances: the former. If we’re guaranteed to survive and it’s about the good of society, the latter. That’s my pointless 2c on the matter.
Arguably a taxpayer funded service is still a form of insurance. In the UK we pay "national insurance" which is a form of income taxation (but gets accounted for separately), much if which gies towards paying for our health service.
I did something just like that early in my career, working too long hours with little sleep. Someone was fired... the head of IT who was responsible for backups and didn't have one. Felt really bad about that. I was dressed down in front of the company like a scene from full metal jacket. I wasn't let go, but I took a hit which from which I never recovered and I left eventually a couple years later.
https://news.ycombinator.com/item?id=27548561
A fixed rate plan for something with unknown and highly variable costs is just about the definition of insurance.
Well... somebody has to pay something before people start building...
Just watched it - loved it!

I managed to rescue 3 of my old mods from an Amiga floppy a decade or so ago.

My Amiga 1200 still works but its internal floppy drive, which was an upgraded PC high-density format drive with its custom controller card, no longer works and from time to time I still look on the interwebs to see if I can source a replacement. Oh well, one of these days ;)

Thanks for the video link - enjoyed it a lot :)
>why were you even trying to break in

Because you're offering money if a way in is found. I feel like that's most of their hesitance, really, they probably just don't want to pay the bounties.
I suspect that it being tax deductible is probably only true in the US.

Perhaps there is a UK, European, or other jurisdiction accountant on HN who could comment?
I usually rewrite software I use at home:

- a monitoring system for my home automation devices, the checks go from generic (is the site up?) to specific (are the water leak sensors up?)

- a program to keep track of the chores my children are supposed to do (a backend with an API, a mobile application and a hook into the home dashboard)

- my note taking program, because the world absolutely needs one more

I use a bus for communication (MQTT) but also APIs, so the rewrite quickly brings me into the technicalities of the language as I do not have th reinvent how the programs work. On the other hand, these rewrites led to plenty of improvements.
> all value being produced by the labour of workers, who are paid a fraction of the value they produce

only if you believe that the capital being used to produce value - including the wages being paid upfront - are valueless.
Yes, those would need a different solution. One size does not have to fit all.
My first thought too after reading the article!
Yup. Never pirate. Use alternatives.
Node.js developers, get into Rust now with this friendly cheatsheet
BSC’s only success was in enabling newer and higher tiers of scams

Its not called Binance Scam Chain for nothing
I don't know for sure that HSMs can't be trusted, but:

1. They're all closed-source, super-expensive devices that security researchers don't look at in any numbers.

2. We know getting security right is extremely difficult; products from big, sophisticated, motivated companies have security problems revealed by careful public scrutiny. A product that hasn't received such scrutiny seems unlikely to be better than that.

3. The first and biggest customer for obscure security hardware like TPMs and Smart Cards is the government/military. In my country, government/military tech efforts have a reputation for being delivered late and over budget; often ending in failure; and not being particularly secure. Are we to believe defence contractors managed to do a competent IT project when they couldn't do that before or after?

4. We know, from examples like Dual EC DRBG and Crypto AG, that governments will happily put in a backdoor when given the chance. If a giant defence contractor like Thales was asked by their number 1 customer to put in a backdoor, do you think they'd say no?
Says username doesn’t exist
Did Stephen Hawking demagnetise it? Shouldn’t it be on top of Big Ben?
Shows my username as inactive or not valid
Funny enough, most people that I have met so far that either were from South Korea or had family ties there simply referred to it as "Korea" (when talking English or German to me, obviously).

I too attended high school geography class, so I know that there are actually two of them. In fact, I initially bothered to explicitly call it "South Korea", but fairly quickly ran into someone who actually took offense in that.

Not sure if that was an outlier or a general thing. Considering that this is an English translation of a [South] Korean news site, I tend towards the later.
I'm pretty sure the non-studio version uses the GPU for most things (in fact Resolve doesn't work at all without a GPU supporting one of the three compute APIs), it does not, however, support encoding or decoding on the GPU. This is rather noticeable when working with h.264 source material. "Real pros" wouldn't be bothered much by this, because they'd be using post production / intermediate codecs which are fast to decode, while also not needing to produce h.264 deliverables. "Real pros" might be bothered by the free version only doing Ultra HD and not (DCI) 4K.

Resolve is probably one of the software packages with the most intelligent free / paid feature split out there. The free version is really, really good and has almost no limitations, but professionals will want the paid version to get the last few percent out of it.

There's a little bit of a learning curve to Resolve for casual use, but since Resolve 16 has gotten the "cut" page the learning curve has been flattened quite a lot I'd say. Overall it's fantastic software.
If you think ‘pip works’ then the programs you are building are too simple. I worked at a place where we did machine learning builds and neither pip or conda worked reliably. What was insidious was that it almost worked and people thought they could live around it’s limitations which turns every 2 hour job into a 15 hour job. (But they are data scientists…. A reliable build is like Bigfoot, cold fusion or Linear A to them.)

Pip’s dependency solving strategy is not correct, especially if you install pip packages one at a time.

A real dependency solver would download the metadata for all matching versions (can be done with two seeks for a wheel but gotta run setup.py for an egg…) do an smt solve and then install the wheels.

Pip just starts installing packages, hopes for the best, sometimes backtracks, often gets stuck or does the wrong thing.
Incompetence is more likely than malice. I am sure they have done both.
I got that as well, worked on third try
it only needs my Apple ID and password?
> Error: Received no response from server
Code: 1ST

Not working for me.
All you have to do now is figure out people's sexual preference and you have a dating app
Yup, same.
Just to clarify, I am not advocating piracy. Never pirate. It is a shitty thing to do. Use alternatives or save up and buy the tool that will help your career.
What? No one has mentioned Moss' "This is the Internet"?

https://www.youtube.com/watch?v=iDbyYGrswtg
I did a PhD in physics and it was fantastic. I knew I would not stay in academia (and actually moved at the very end of my PhD).

Money is not everything, there is also the joy of doing science (and in my case - teaching), many of my best memories are form that time.

My PhD did not really helped me (I work in a completely unrelated field), but neither it was a problem.
There's a commercial product for classical simulation of small QPUs [0]. With dedicated hardware handles up to 41 qubits. I'm not affiliated with the company or endorsing their products, just pointing out that they exist.

[0] https://atos.net/en/solutions/quantum-learning-machine
Unfortunately stuck in research stage for the past +7 years
>Visual basic was only used to run macros in Office documents. And then viruses. And then MS killed it.

No, it got used to do a lot of things, so did Delphi.

VB6 was awesome, then they decided to abandon a good thing and went off on the stupid .NET folly.
What simplifications do you have in mind?

I think one of the reasons is that Lean's approximation of defeq still works well enough in practice. As mentioned by others, you never really run into the kind of counter examples that break theoretical properties, but instead into examples where checking defeq is inacceptably slow, which remains an issue even when defeq is decidable.

From my understanding CiC is used because it allows using a unified language for proofs, specifications, programs and types, which greatly simplifies the system. For example, in Lean 4, more or less the entire system is built on the same core term language: Proofs, propositions / specifications, programs, tactics (i.e. meta programs), the output of tactics and even Lean 4 itself are all written in that same language, even if they don't always use the same method of computation. In my eyes, for the purposes of writing and checking proofs, CiC is quite complex; but if you want to capture all of the above and have them all checked by the same kernel, CiC seems like a fairly minimal metatheory to do so, even with undecidable type checking.
I like the idea. It would be cool if multiple devices could create a mesh network where students and teachers could communicate with each other without a connection to the global internet
Sorry, what? You're saying that an attractive person is more deserving of being saved than an unattractive person? Just so you know, a bunch of people, whi identify as 'not eugenicists' do not agree with you.
Okay, will prevention do? But I'm sure you (and everyone else) knew what I meant
I see results for your username. Try again? I can’t share direct link.
How do you pin all of your dependencies to a specific version with just venv, pip and a requirements.txt? How do you upgrade them later?
I just found people who actually agree with me on HN... kinda cool.
It works for me when I enter your name. Try again?
Sure they can upgrade and whatever. But from my experience, usually the projects that compromise on decentralization principles never ship anything useful in that direction anymore.

Once an architecture is put in place and people are hired, that's when a point of no return is reached.

Years ago, I've written about this effect in the context of deploying a dapp on a PoA chain: https://timdaub.github.io/2019/02/28/poa/
They should include StackOverflow, but it's probably illegal to scrape it.
So which is it? If someone says "homosexuality is immoral", is it anti-science, or does it "have nothing to do with science"? You can't have both.
From their GitHub readme:

> AltStore is an iOS application that allows you to sideload other apps (.ipa files) onto your iOS device with just your Apple ID. AltStore re-signs apps with your personal development certificate and sends them to a desktop app, AltServer, which installs the re-signed apps back to your device using iTunes WiFi sync. To prevent apps from expiring, AltStore will also periodically refresh your apps in the background when on the same WiFi as AltServer.
I'm pretty sure bribes specifically aren't tax deductible: https://www.irs.gov/publications/p535#en_US_2020_publink1000...
Reasons to not ship a PoA network (2019)
I don't think so. At least every insurance I ever bought had very precise definitions of the monetary obligations for each party. I think the highest would be my car's mandatory insurance (capped at, I think 20M€ per damaged person). My health "insurance" doesn't have such a cap. In fact, they are forced by law to pay for everything that I would ever need from a certain catalog of services. Also, the rates are not negotiable in my case but a fixed percentage of my income. It's similar for the pension "insurance" which is more like a perpetual pyramid scheme than an insurance.
I've been going at this kind of task for quite some time now most frequently with pandas as the "tee" kind of tools to pull different kinds of data sources together. This looks neat as well though and probably more convenient in a shell-style & scripting environment. Might be useful e.g. when doing things in cloud-init or sth - a verstile tool to stick into VM base iamges.
I tested with dang's username and I really don't see the similarities between the comments on:

https://news.ycombinator.com/threads?id=dang

and

https://news.ycombinator.com/threads?id=porphyrogene

or

https://news.ycombinator.com/threads?id=julianeon

Your site does state:

> It compares the semantic meaning of your comment history with those of all other users, and finds the top ten users whose comment histories are most similar to yours.

So maybe it's comparing comments from entire history of the account and not just the recent ones and therefore hard for me to compare? Would it be possible for you to tweak it so that it only compares lets say the most recent 30 or 50 comments?
Hey all, if you see an error please try again! Might just be HN hug of (temporary) death.
Yes, currently. But we should be looking to improve that system for everyone, not allowing a privileges few to opt out.
Payouts are also non-linear though, with enormous discontinuities.

Your millionth dollar might have less marginal utility, but you were never going to win 10^6 -1 dollars anyway. So really to consider marginal utility you need 'margins' as wide as the payouts. (Really stretching/breaking the meaning of marginal, but hopefully you see what I mean.)
> Mixing unsigned and signed is seriously broken in C, and hence better to stick with signed.

Mmmm .. maybe in this specific case (didn't look). But if you meant this as general advice, then one should keep in mind that unsigned overflows are specified but signed overflow is UB (barring maybe the very latest version of C standard); because of that, unsigned division in many cases is trivially optimised to less complex ops, etc.

There are many advantages in using unsigned.
> This just isn't true. Do you honestly believe that a kid with a learning disability is simply not trying?

You injected the words "learning disability". That's not that OP said.