skysight-inc/HackerNews huggingface dataset:
By far the single best MOOC I've ever taken is edX's Introduction to Biology taught by Eric Lander at MIT. https://www.edx.org/course/introduction-to-biology-the-secre...

And it's 100% free! Great lectures and the simluated "TA sessions" and esp. online quizzes did a great job reinforcing my knowledge.

I have an undergrad degree in biology from a top research university from many years ago and this course was so informative, effective, and inspiring, that i considered dropping out of tech to go to grad school in biology. Truly excellent.

I've been working professional jobs for more than a decade. Despite my full-time jobs, I've dedicated hundreds (maybe thousands?) of hours of personal time over the last 6 years teaching myself vector calculus, linear algebra, abstract algebra, molecular biology, organic chemistry, and other nerdy topics. Mostly, I use textbooks and work on problem sets. I sometimes watch videos which can be super-helpful. But the best single course I've taken in that time is the MIT edX course.
I've found that booking direct will get me the same rate as something like hotels.com, at least for the hotels I'm booking. I do have a much higher confidence that I will get the room type I booked and any additional add-ons like parking if I book direct than with the 3rd party.

I'll also check back closer to arrival to see if there's a better rate. It's been about 50/50 this year.
> As to "Hollywood" and "art"--let white kids waste their lives on such pursuits.

This sentence comes out as both racist and elitist at the same time.
> Everything is time constrained

Yeah but not to the same degree or in the same way. Having to sit in a room with no sources for an hour and shit out some test answers is not really same as having weeks to apply yourself with access to appropriate resources, references, and guidance from more senior coworkers.
https://web.archive.org/web/20221026050421/https://www.nytim...
Ask HN: Proof Irrelevance and De Morgan's Laws
I'm reading two things at the same time

99 Variations on a Proof
https://press.princeton.edu/books/hardcover/9780691158839/99...

and the newly published paper

Draft, Sketch, and Prove: Guiding Formal Theorem Provers With Informal Proofs
https://arxiv.org/pdf/2210.12283.pdf

As you all know De Morgan's Laws provide great simplification of terms
to canonical forms. Application of these laws improved circuit design forever.

My question: Can "Irrelevance Laws" be developed in proofs so one style
of proof can be mechanically converted to another style? If so, can a system
like LEAN convert the library to canonical forms?

Canonical forms of proof, if they exist, and if they have the proper form,
would make it possible to develop "proof compilers" that could generate
code from (constructive) proofs. (See Ording 28, p65, of special interest).

Is there any reason to believe canonical forms exist? I know that judgment
towers can be expanded in various ways. Perhaps there is a mechanical
theory to put (some of) the LEAN library in "canonical form".

Beside the book, is there any known collection of proof transformation?
Would it be possible to construct a network of passive radar receivers (assuming some time-sync between them, like the KiwiSDR's GPS receiver), and trilaterate the actual positions of planes?

From there, the next step is to hide the ones that seem to line up with ADS-B data, and show only what's left, and that would be all the "black" flights...
Interesting you said about doing hobbies that don’t involve screens, this is a realisation I’ve had, all of my time is on a screen, I haven’t spoken to anyone face to face in a long time. Even when I was trying to find a therapist they offered virtual meetings. I politely declined and said I would actually like to be in the same room as someone.

I think with home office and being on screens only this doesn’t help with mental health either.
I'm surprised. I find Gitea pretty. More than GitLab. Looks similar to GitHub to me.
Classwork isn't some static thing; historically, boys had higher GPAs than women, and I suspect you can find some subfields of study today where boys consistently outperform women as far GPA goes. The choice of what subject matter goes into the curriculum that a GPA represents and how's it's taught and evaluated is a political choice. You could very easily make GPA equitable by removing one class that girls over perform in and replacing it with a class that boys over perform in.
I definitely agree that statistics is a young field, but I would not agree with your definition. This is naive and statistics is much more. As HN readers that know me will attest, I'll frequently rant about how low order approximations can frequently lead to inaccurate or even results that lead in the wrong direction. Statistics actually allows us to see this! There's many famous paradoxes that are really dependent upon this. For simplicity sake's I'll reference Simpson's[0] and Berkson's[1] which happen because of inappropriate aggregation (which inappropriate aggregation is one of the most common errors in statistical modeling, but not always easy to notice).

Rather what statistics is about is modeling things that either have imperfect information and/or are probabilistic in nature (yes, there are real probabilities). The point isn't to ignore information (we actually want as much as we can get, which is why we're in the information age and why statistics has exploded with innovation) but to recognize that with observations and sampling that we can extract patterns that still allow us to make predictions without all the information. For example, statistics is commonly used in thermodynamics because there is imperfect information[2], in that we can't measure where each individual particle is at a given point in time. Instead we can aggregate information about the particles and then make aggregated predictions about future states. It is important to note that the predictions are also probabilities.

[0] https://en.wikipedia.org/wiki/Simpson%27s_paradox

[1] https://en.wikipedia.org/wiki/Berkson%27s_paradox

[2] thermodynamics also involves true probabilities but I think the case is still motivating. We can also use statistics with purely deterministic processes with perfect information, but it is frequently computationally inefficient.
while bear looks all nice and good it's saas, right? Run by a mortal. How can that be guaranteed forever?
Microsoft stock slammed by cloud-growth fears, taking Amazon down with it
For typical workflows, I’m not looking for type errors on the CLI. I’m just running webpack in watch mode in the background, while I edit and get typescript errors in my editor.

This is how the majority of people write typescript, and there is only upside from splitting out bundling and type-checking for these people.
Shouldn't she just have registered at the shelter since at that point she was homeless in that particular city?
I would love to know more about your process/journey of self studying mathematics and the books that helped.
Bye bye data, probably.
Thanks for the information I’ll be in touch!
> 2. Enumerating what credentials are on a key is often PIN-protected, so that someone who has temporary access to your security key (such as at a border checkpoint) can't inspect which sites you have logins against without your knowledge/consent.

This part of the overall design seems problematic to me. These “resident” keys are described as “passwordless”, but they’re really username-less. And an attacker who gets the security token can not only log in but they can also enumerate all credentials. Ouch!

ISTM a much better design would have been to put the credential list on the browser side. If I log into a website that I’ve used before from the same browser, the browser’s credential manager can remember my username (and optionally key handle) and the external token can do a normal authentication. No website state is stored on the token, and the experience is almost as good — the user only ever needs to enter their username once per browser.
I used to think that, but at some point I noticed that homebrew was compiling dependencies instead of downloading compiled binaries, and found out it was because my OS was not in the most recent 3 versions.
Oh, he’s also the author of one of my favorite short stories, “The Great Silence”[0]

Ironically, the endangered species[1] the narrator belongs to has managed to outlive the giant human object discussed, but it’s still at high risk of being wiped out in the wild the next time a hurricane hits Puerto Rico.

[0] https://nautil.us/the-great-silence-237510/

[1] https://en.wikipedia.org/wiki/Puerto_Rican_amazon
It was not debunked and it is not only ethical basis for the mandate (not overloading healthcare providers is also important).

The only thing that was "debunked" were ridiculous statements like "vaccine prevents transmission in 100% of cases".
I disagree. When a comment is sufficiently wrong, it's useful to underscore that.
Show HN: Keyboard Jobs – A job board which truly understands software developers
Hi HN,

When my daughter got born this year I decided to take 6 months off to be at home with my new daughter and spend the first few months together with her and my wife to be hands on in those first few crucial months. Throughout that time I always kept an eye on the job market so I could stay in the loop and better gauge what my prospects would be to go back into work later, not least because of the economic turmoil.

However, I got immensely frustrated with existing job boards advertising software developer jobs. I didn't feel like they included a lot of information which engineers actually care about or even basic things like a salary range. Additionally I observed discussions on HN how increasingly more software engineers say they wouldn't want to work for a company anymore if they use technology X or Y. With that in mind I created Keyboard Jobs and launched it a few weeks ago.

So far I've been mostly talking friends at former companies I've worked with or sent cold emails with 100% discounted voucher codes to get the first jobs listed. It's been moderately successful but I am ready to gather more feedback on what hackers would love to see from a job board made for them!
Elon Musk hasn't been a South African in a very very long time.
You should read about philosophical zombies if you haven’t heard the concept
another win for the anti-vaxxers
Is the US Fed at War with European Banks?
What's the big issue here? Can't people remain in silence for a few hours without their usual communication.

Are we so dependent on these tools?

If there is something really urgent I don't think people would use WhatsApp in the first place, or when did you text with 911 the last time using WhatsApp?

Maybe we got even more productive and thoughtful during these cutt-off hours. Hours without notification, chit-chat and that social background hum we so much used to be in doesn't sound that bad, does it?
I'm still curious about the legal situation here. Why is it banned by default? I mean other wireless communications are totally fine to use while in motion (HAM, cell service, wifi, CB, GPS, Satellite telephones, etc). Why does the FCC explicitly have to approve this kind of thing? I imagine it is more than bureaucracy?
If they'd fix emacs so it would be performant on Windows, natively, I would probably invest time in learning it (and switching OS is not an option here for me at this time). Yes it has problems, packages break all the time, and it is unbelievably slow. I know this is not what most people here might be interested in hearing, but that is a fact of life for me. As it stands right now, it just /feels/ hacky and so, I use VSCode. It gives me 90% of the feature set for 1000% less work.
Is it going to end up in Tesla truck and cars ?
Tesla is building an army of connected robots on wheels.
Did you have an SSD on your PC ~3 years ago? I never found it to be that bad or for it to take that long!

I kicked off the Ventura update today on the M1 Pro, went out to get lunch, it had finished by the time I got back.

I've been on the 'insider preview' track on Windows 10 and 11 for around 18 months. You get big updates maybe 2-4 times per month and they do take around 20 minutes to install.

Stick on the regular updates track, make sure you get an SSD, and your new Windows 11 experience will be fine just fine :) Check out WSL too, it is pretty good. I'm split on Linux vs Windows vs MacOS for development, it's all a game of tradeoffs. The trick is to have a few computers!
>while a bunch of others did because they had paper authorship in their undergrad. But paper authorship in undergrad has NO correlation with your actual scientific skills! It just meant you were connected and or a hustler

uh, the whole point of a phd is learning how to produce scientific knowledge usually in the form of a paper? I can't think of a better measure for that then if you have experience publishing papers because that means you've contributed to the production of some scientific knowledge? sure there's tons of variability there due to circumstance, but I think my point holds

and finding connections is bad? the scientific process is one of cooperation, teams building off the work of other teams. the lone polymath is a long dead myth.

and again, having hustle is bad? I think you'd want someone who can be self motivated enough to get involved with research going on at their university
To be fair, they don't exactly make it low-friction to become a member:

> Membership fees are debited by means of SEPA direct debit. Please email to contact@codeberg.org for other transfer methods.
Maybe at a certain point it just makes more sense to build something new instead of endless iterations.
Sure, which was probably optimised for explicitness (e.g. showing where everything is imported from) rather than concision.
Although I must admit, I've also seen such rules leading to developers writing alt text for decorative images, and I'm not sure if that's much better.
You can also break an image down into layers based on bit position. Static is a clear sign of random and therefore likely encrypted or compressed data.
Thanks and I hope you get through this! It sounds very similar to my situation.

I left a comfortable job for a challenge, joined another company and within 4 months everything changed and I decided to move again to my now dream job in tech. Every single one there has been something missing.

I’ve also thought about doing something totally different but the problem is with a family there is a requirement for a certain level of “life/living” if it was just me changing to be a taxi driver or something else would be possible as it’s easier to change your living situation if it’s just you.
Advertising "tax" is a bad thing in the long run.

Apple now has a monetary reason to push app makers into introducing advertising.

It is high time a new incumbent pushed some market share it's way, away from iOS and Android.
The steganography aspect does not seam very robust. It significantly alters the distribution of LSB of pixel values of typical images.

In contrast steghide[1] encodes the data by swapping pixels within the image. This leaves the distribution of pixel values the same, avoiding this channel of detection.

[1] https://steghide.sourceforge.net/index.php
I use dd instead of cat because the only time I need dd is to make a file full of zeros in an automated script.

Otherwise I use Etcher, or the Pi flasher utility that has really cool extra features.

No I do not care that Etcher is 80MB. Not my app, I didn't pay for it, I don't have to deal with the code, I'm not going to complain.
You can absolutely "game" tests.

They're taught as "test techniques." And there's plenty of tutors who teach it.

Process of elimination, read the questions then passage, common question structure, are all examples.

These are "skills" but they don't really apply outside of testing.

Hell I went into standardized tests with common question solvers programmed in my calculator. If that's not gaming I don't know what is.
Remember jikes - the java compiler written in c (or something)?

I think writing build tools for JavaScript in anything other than JavaScript (or language that compiles to js) is a dead end.

How would you write a plug-in to this? Or a programmatic configuration. So much gained from staying on js.
Next.js can't determine what the value of the alt tag should be, i.e. whether it should actually be empty. If it would do this, it would actually tell screen reader users that the image is decorative, instead of warning them that there might be information conveyed in the image that the developer forgot to label.
It's common for rental suites. If you rent a whole home, you can usually invite whoever you want. But if you live in a rented room, a sharehouse, a rented basement suite, etc, then no-guest provisions are very common. These rental suites are common in expensive cities.

For example, Surrey BC:

https://vancouver.craigslist.org/rds/roo/d/surrey-upper-leve...

(I just picked this randomly, it didn't take more than a minute to find).

"Single occupancy only, no guests or visitors please."
Somewhat related, I read a while ago (there's even a book on this topic, can't recall the title) that our brain/mind is a hypothesis testing machine. i.e., it expects the world to be in a certain way and ask our body to act accordingly and if the hypothesis turns out to be false then it'll act surprised.

The converse of it was quite interesting. If you force your body to behave a certain way then corresponding emotion will follow. Example; forcing your face to smile will lead to happy feeling. Goes to show mind-body connection is way stronger than what we imagine it to be.
Aggregated Gas Storage Inventory – Europe
This reminded me of the Bicameral Mind - where (in humans pre-conscious state) memories in half the brain got triggered by experiences and were presented to the other half as commands/words of god.

https://en.wikipedia.org/wiki/Bicameral_mentality
Some Mastodon instances, like the one I’m on at the moment, allow 5000 characters per toot. I feel that’s more than sufficient for any Twitter-ish “long” post
Grit is exactly what's needed to pass college courses and final exams. It's also one of the most important skills in the real world. It's easy to have a stroke of luck or be a genius for a day on a single exam. It's much harder to persevere and learn unfamiliar material that you don't want to do for many months, culminating in a final exam.
Respectfully, I call bullshit. You can't quantify success in a PhD with a single variable. There are a billion ways research can go right or wrong -- irrespective of your personal pedigree. Your ideas might be too early or late for your community to grasp, maybe you appeal to the wrong audience, maybe you're unaware of an application of your research, maybe you don't have the right set of collaborators or need a perspective that, often times, emerges out of a lucky encounters with someone. I respect your experience but I don't want it to give people the wrong idea about research success...

> Paper authorship had NO correlation with research success

I think paper authorship demonstrates that you're willing to put in a non-trivial amount of work to persue a problem. That seems to be atleast one attractive skill in a PhD, wouldn't you agree?
They're exactly the same filesystem operations, it's just the semantics of why they're being installed that changes.

What frustrates me about updates is that they nag at log-in when I've already been waiting for the computer to boot and just want to get on with the task at hand.
You're relying on logical alignment to regulate your morals. Well it's biased because it can go both ways. For the direction opposite to your query one can logically say: "Dick pics on the internet are ok why isn't flashing your dick ok in public?" You simply chose the direction that fits with your bias.

The reality is common sense is the best choice here. There is no alignment when obviously your gut tells you flashing your dick in public is much worse then a dick pic.

That gut feeling that regulates that feeling is the same feeling that tells us that while porn is ok to be all over the internet, it's not ok for porn scenes to be played in public.
I cant tell if Google Search Engine's quality decreased or if those pale copies of SO became very good at SEO
Makes sense, thank you for sharing your thoughts.
Heh, some people's strafing in Quake is anything but simple to track. Good players don't just move left and right in consistent patterns.

UT2003/4 fights can be very taxing mechanically
Scaling the ranges doesn't fix things for the students. At my high school, some electives only awarded grades up to 4 and others were offered in flavors that went up to 5 or 5.5. Every foreign language actually spoken by modern humans had the first year offered with grades up to 4 only, so optimal play was to take Latin or take Spanish 1 in summer school since that counts for qualifying for Spanish 2 but does not contribute to your GPA. Most kids took Latin because they had lives.
Fed quickly pumped trillions of dollars to stock market, because it is good for the wealthy. Keeping interest rate above inflation is good for common people so it is not as important.
Bus factor: 1?
> If Covid was bad

Six million dead.

Is the threshold in that specific neurone of yours really set to a level such that any $foo "not as bad as ebola" is always failing the "if $foo was bad" test?

> > But it could have been

> But it wasn’t! Hooray!

Same argument applies to Russian roulette.

Strange game. No idea why people chose to play it, not even metaphorically.
Yes, I suspect you are right! In these types of desktop, single-user use cases I would default to SQLite.
Thing is they can still do that with the USB Type-C Authentication Specification. It's really confusing to me why they decided not to just do it.

They may get rid of the physical connectors but wireless charging is already Qi, PAN connectivity is already Bluetooth and WiFi - all of which are industry standards. If they insist, what did we really lose? I guess efficiency of charge?
Cool thanks for the suggestion. I’ve been aware of fly.io from seeing their ads but having someone recommend it (and informing me on their free tier) is more convincing. Cheers
As I read that page, role="presentation" is intended to remove the natural semantics of a tag (e.g. have an <h2> be treated as a <div>), rather than to tell the user that there is nothing relevant to them in the given tag?
Oracle Releases GraalVM 22.3, GraalVM CE Java Code Going to OpenJDK
If I wanted a desktop I'd be really excited about that right now.
Hey there! I am one of the authors on this paper. If there are any questions, I am happy to answer :)
> the numbers are actually really hard to make sense of.

1. Then how do you know builds are slower?

2. How will you know that the things you are doing to improve build times are working?

> jump up and down based on time, days, moods, network, and many more causes, plenty of which we have no idea what they are.

3. Performance being highly inconsistent is actually a (significant) performance problem itself and worthy of reporting, analysing and quantifying. (ranges, averages etc.)

> not yet seen a successful attempt at cleaning this data up so that some number would be worth publishing.

4. Not sure why you think they need to be "cleaned". Again, numbers being all over the place is likely an important data point in itself, an even if it isn't the raw data would be valuable.

> We could try building some toy example that we separated.

Why? Just do a clean build on a local machine. Report real and user+system time. (man time). Repeat.
What other "box level encryption" is there?
The fix for no a11y is to add a11y. In many cases (i.e. the "often" specified by GP), images contain no extra information, in which case you should indicate that by adding alt="". In other cases, you should add an actual description.
Because of changing jobs I’ve had a grand total of 2 weeks holiday since June ‘21. In probationary period and zero holiday balance.