skysight-inc/HackerNews huggingface dataset:
>The smarts in mathematics is based in the rewrite rules

Can't it be argued that types are simply a way to associate a considerable amount of rewrite rules and constraints with expressions and therefore spare you the trouble of repeatedly stating them again and again ?

If the type system is rich enough that custom types encode rules just as rich, powerful, concise, etc... as native types while being interoperable with them, I would say this is much, much better than a blind rewriter who either does nothing until you provide it with a rulebook or does everything it can unless you explicitly forbid it. You can just say that that every object/expression has a rulebook attached to it instead and add meta-rules to specify how rulebooks are defined, used and extended.
100% same. Never showed certificates to a soul. But just as with you, was is not too difficult showing knowledge in software industry, at least in most startups.

And yes, some of the other platforms have been amazing too. I did the full databases course on Stanfords platform. That was priceless, and also free. Relational algebra was exactly the sort of theoretical knowledge that just learning from experience and docs doesn't teach.

Interestingly I also find most companies I have seen willing to pay for courses want some kind of certificate at the end. They don't seem to value abstract learning, even though that's the part that their team leverage to hopefully help their bottom line.

I want the platforms to make money, but I feel like universities who were not wanting to be left behind when the concept was emerging gave away far more for a short moment than they ever were going to continue to do.

Certificates and credentials and things distract from actual verifiable learning in so much of education. It is deeply ironic because that is their entire purpose.

I understand regulated industries like legal, medical and engineering need to have minimum standards that require certification, but yet the quality and reliability of practitioners varies wildly. I just feel like by turning education into a product, it is a necessary evil. Government funding is an avenue that lots of academic institutions go down. Perhaps governments should invest in more free and open education. Rather than for example funneling so much money to textbook companies.

Call me naïve and idealistic, I appreciate that there are problems and counter arguments, and as mentioned in many comments, competition does help to drive down prices. I certainly think we are still in a much better place now with it all. I'm still optimistic about all the amazing education opportunities online.
Similar to TBL's Solid / Inrupt?
I got a few interviews after posting on “Who wants to be hired?” and got a job after a post on “Who is hiring?”.

I know a friend who got a job offer from Square and Google after one of his blog posts (very deep, technical, explaining a new thing he discovered about the tracking of a famous app). He is not even very active on HN, just one hit post.

But, it seems to me that you are being very superficial about how you define tangible and not very open to get value from HN outside of a very direct path with obvious causality to power and money. So it will be a lottery with low chances of winning, thus I would advise you to get out of it. It will be a waste of time for you because of your way of seeing things.
Online dating: Super effective, or just superficial?
I also love draw.io (now diagrams.net). Additionally it can be self-hosted if needed and it has a well built API for integration with other systems.

Login is not required by the way, You can choose "Device" or "Decide Later" when presented the save options.
On the other hand, it may be one of the last places left where you can actually naturally advice.

Stuff like...

"Oh I can tell you a thing or two about the legal complications of cubesat launches, my company did this for the last 12 years. [...]. By the way, this is our website"

...is probably more effective if a potential client stumbles over it than 100,000 "targeted" facebook ads, especially if you serve some highly technical niche.
Key logging won't accomplish anything without bypassing the 2FA
I think an even bigger issue is that sometimes the "solution" is likely to be worse than the problem. Smart fridges may automatically top up when you're on holiday, duplicate items you leave out of the fridge for a few hours or pick delivery timescales for when you're not in the house and whilst those are configurable parameters, anticipating and dealing with that might be more of a pain than hitting "reorder" on a smartphone app.
Now I almost regret never having really played WC back then. Suddenly having the ability to play a round or two in co-op sounds pretty amazing and it's the first time I've seen DOSBox used to augment a running program by peek- and poking around in its address space. I feel like this almost deserves its own post.
Or it simply needs to be augmented with something other than GPT. The form of my question is very easily solvable in a programmatic way, just not by a GPT based neural net.
Someone mentioned multi model training, that sounds awesome!
The grass part of my yard feeds many rabbits and birds (grass and worms, respectively). Other than when covered with snowpack, it’s rare to go two days without seeing a rabbit and birds are feeding every morning, especially after rains (that bring the worms higher). This is in a small city yard that’s mostly grass.
The second one does not run for me on an iPhone X, but the first one does.
Will Digital Yuan Hurt Bitcoin?
It's more of an overview of different projects with this goal, among which Solid: https://solidproject.org is the third link under "More information", and several Solid apps are listed. (Among which some of mine, it seems.)
What are the chances this was independently discovered and weaponized in the two months after the original report to MS? Can't help but wonder if the security researcher or MSRC were compromised or have a leak.
i didn't understand site, is below list is zero data app ?
>>The first real reaction on GDPR came at that moment Google forced them to. There was a deadline (somewhere in february 2021) where Google would limit ads if no consent-manager is implemented.

The irony is that the Cookie warning you get on all Googles sites are including all the dark patterns and seems to be there only to pretend they follow the law. All is op-out by default and you have to dig through many settings to turn off tracking
I had an opportunity to tour Romania, and was very surprised at how unique it is there.
Fore example: The houses have eyes, small false windows installed on their tin roofs, to watch their neighbors. Jealousy is rampant, and the charming Romanian folk-saying was “Let my neighbor’s goat die.”
Romanians are very proud of their Roman heritage, and also their active Gypsy culture.

This is an interesting Wikipedia article. I think this area of the world and is history is generally very interesting and unique. We’re lucky today that is no longer behind The Iron Curtain and is worth a visit by and brave adventurers.
That's mentioned in the article, the problem they're talking about is that the classes were focused on handwork and what the teachers thought would be good for industrial production, but actually wasn't.
Just a nitpick here, it is "Rutkowska" and not "Rutkovska" (although that is how you would pronounce the surname).
Every now and then I find a link or a mention in the comments about literature or information regarding a topic I find interesting.

Lately, I learned about CSS stack contexts because of a blog post here, and read other posts by the same author. Learned a lot about CSS that day.
It's a clever technique, not data, so anyone can incorporate it. As for improvement the post shares its metrics and anyone could experiment on their own tasks to see if it brings improvement or not.
This shows that they consider GDPR fine possible, thus making it a more worthwhile risk. There risk of penalties from cyber attack unpreparedness is essentially zero.
Look and Feel Changes Coming to Elementary OS 6
Fantastic. I can’t wait for those horrible things to go the way of car alarms.
It's harder for the user to tell that the email is from the right website, as opposed to checking the domain in the address bar.
If i send an email from "Google" <passwordreset@gmail.com> with a password reset form, would people type their passsword and hit submit ?
Ask HN: Pathways or Jobs for People with Autism?
Hi, I’m a 23yo with autism. While I’m classed as high functioning, I’m currently unable to do things like leave the house or talk on the phone/video call. On the other hand I’m intelligent & hardworking, so I feel like there must be a way to improve my situation even taking into account my limitations. I’m posting on HN for advice because it seems like a community with a willingness to consider creative solutions to difficult problems. My account is new but I’ve read HN for years.

I currently live with my parents in Australia, but they will likely move overseas at the end of the year, and I’ll need to move out. I was previously rejected for a disability payment. I’m enrolled in a politics degree after switching from law. I graduated high school as dux. Things I’ve done in the past to get money/experience:

-Arbitrage gambling & bonus bagging/finding loopholes
-Proofreading a published book for a relative
-Helping manage a relative’s online business (responsible for hiring & managing freelancers, coordination of website redesign, using Stripe/PayPal to pay workers and prep statements for company tax returns, answering emails)
-Freelance research & proofreading

I’m planning on graduating with the politics degree this year. However I’m unsure if it’s wise to commit so much time to finishing the degree this year, rather than trying to earn money for housing. I’m not even confident if it’s better to use money for housing or continue buying index funds for future passive income. My current assets (AUD) are 45k savings, 40k index funds, and inheritance of potentially 40k when an estate is settled.

My overall question is, are there any avenues for someone with my mix of skills & limits to earn a consistent income? I’m also interested in hearing any anecdotes about what has and hasn’t worked for others. I appreciate that I’m really fortunate to be where I am, and I know many others are in more precarious situations than me. Thanks for reading.
Yes. Bitcoin adjust difficulty to hash rate every two weeks. So if you drop hashrate more rapidly than that you can have lower transactuon throughput for up to two weeks. One on average.
The Robots Are Coming for Phil in Accounting
Direct links:

https://www.youtube.com/watch?v=PEESaD7Qkxs

https://github.com/WebReflection/linkedom
The attitude of the UK's ICO seems to be quite lax - it gives as an example "you do not want to give the individual full upfront control (ie consent)" with the implication that if you don't want to ask for consent, it's a legitimate interest.

I expect the first point of divergence between UK GDPR and EU GDPR might be here (since they are now separate), in how 'legitimate interest' is interpreted in the law.
What is an online reading session? Like a mother reading a children book to her kids?
I know two people with OU degrees (CS and Law respectively) and their qualifications are proper, legitimate degrees. The content seemed as challenging (frequently more so) as the material I had to contend with doing a full-time three year degree. But they did it over eight years while also doing a full-time day job. Anyone who can do that has my sincere admiration. I'm pretty sure I couldn't do it.
Do you find it impossible to talk to a person 10 feet away? Because their audio has a roughly 10ms latency.
There is ocamljava: http://www.ocamljava.org/

But it does not seem to be maintained.
That question is hard for current language models.

Theoretically you could get there but you'd need to connect a lot of dots in your algorithm. Throwing more text at existing algorithms won't reliably answer this kind of question.
Well even if you take the most symmetric halves by volume, the density of an ideal elephant is not uniform. Some organs don’t come in pairs and all that

I guess it depends on how many hairs you want to split and how precise you want the answer
> Agreed however we are shengen and europe too.

Right, but my point is that Switzerland is an "anomaly" in Europe (in more than just income), so people shouldn't base their image of Europe on the situation in Switzerland. Just as we Europeans shouldn't judge the US situation on SF and maybe NY.

However, they should know that it exists, so maybe focus on moving to Switzerland in particular instead of "Europe" in general if that's what they're looking for.

> In paris those 50k wont allow you to live in a nice central apartment.

Exactly, and that's the whole problem to me. Most young engineers will usually rent a very small appartment in the beginning, get a roommate or live somewhere far out in the suburbs.
I've thought that before now, with respect to spooky action. There's an interesting seeming bit in the Feynman Lectures on Gravitation where he kind of demonstrates you can get Einstein type spacetime from the maths of a spin-2 particle though it's remained a bit beyond me to understand it.

I even thought at one point I'd try to write a summary of his argument for Wikipedia but failed. It's not the most simple of things.

The end bit I was thinking was "the fact is that a spin-two field has this geometrical interpretation; this is not something readily explainable--it is just marvelous." In section 8-4. But the math leading up to that is tricky.
I have never been hired because of a post of mine on HN. But I have been hired twice by noting posts of the form "we're hiring based on this challenge, go check it out".

In both cases the challenge was apparently challenging enough that the company actually meant "we hire based on this challenge". Sadly, an overwhelming majority of hiring "challenges" are so easy that the company feels the need to impose a full conventional hiring process behind it.
Already posted here:
https://news.ycombinator.com/item?id=26365579
Does China want to declare War on Rare Earth minerals?
There are once in a while priceless comments about things like career growth, trends (technological, economical) or just new products.

Also some technical tidbits here and there, especially on the practical side, the knowledge "on the streets", exchange experiences, niche companies that are only starting but might solve a problem you have (or might have)
So, Basically an HTML, CSS Engine based on Imgui using Virtual DOM concepts. Interesting
Essentially the same thing as Schadenfreude.

https://en.wikipedia.org/wiki/Schadenfreude
HSTS Header (Strict Transport Security) Explained
How do I get my account approved?
How do I get my account approved?
I'm not too familiar with Erlang. Doesn't dynamic typing just mean you have to strongly think about it?
You have it backwards, this is big companies doing what they can to protest a law they don't agree with. Much in the same way big tobacco and big oil for years have been combating science
Here is the data.

According to the US Census[1], out of the largest 100 US Public School systems Baltimore ranked near the very top in spending per child (5th out of 100). Baltimore spent $15,793 per child. Only New York and Boston spent considerably more.

[1] https://www.census.gov/newsroom/press-releases/2020/school-s...
What they do is highly debatable, while it gives some stability, people now complain that they have to work again for a little more money + there is some potential to abuse the system, e.g. companies get money and their staff is still working full-time. The market might backfire at some point and we should not assume that there will be a post-covid.
Good points! I've made 3 issues to make sure we get this done.

https://github.com/AbstractMachinesLab/caramel/issues/73
https://github.com/AbstractMachinesLab/caramel/issues/74
https://github.com/AbstractMachinesLab/caramel/issues/75

Thanks a lot <3 - you're welcome in our Discord: http://discord.caramel.run
Here i learn about interesting new tech that isn't (yet) widely known. That's more than enough for me.
or an entire generation that will never realize how "doing nothing" or "being bored" is a good thing, or videogames don't require multiplayer or IAP to be fun.

I'm consider myself lucky to be born in the 'transitional period(1980s) I see the world of my parents and also have abilities to adapt with technology.
The God once said to a Pole:

- You can ask me anything you want. I will grant it to you but give your neighbour twice as much.

to which the Pole answered:

- Please, God, gouge one of my eyes.
Wow, didn't expect them to spend so much money on marketing. Given that they are now registered as a public benefit corporation wouldn't this money be better spent as "scholarships" or something for their courses for students who can't afford the fees. I would assume that if they are actually providing a worthwhile public service, then word of mouth should bring in enough users rather than having to spend most of their opex on marketing.
Netflix started its corporate tech blog
What do you mean by “approved”? What do you want to do?
You don't need to be approved. Welcome to HN!
Sounds like HN is a waste of time for you and your goals.
I think Flutter Desktop is also a good alternative to Electron
For me nothing, in principal, but in reality I would not have done it. I finished Startup Engineering staying on friends couch between gigs. I did not have the cash.

And when I first tried coding from a self-paced course much earlier on, I wouldn't have started casually with a paywall.

Also, I valued the fact people in economies where they would almost certainly not afford US / European prices could freely participate as long as internet was available.

For me it is sort of like if you had to pay for git. It is one of my most used and valued tools, but part of its inherent value is its ubiquity, which I do believe has only come to pass because of the fact it is free software in all senses.

There's a difference between something we all have, and something we could have if we are able/willing to pay and I think education overall needs a bit of both.
20 compared to the typical 80mb electron footprint is 4x better.
Moreover, I'd recommend to never fill a form in an email with sensitive information.
A new day, a new example - “Utah bill would require activated porn filter on new phones” - https://news.ycombinator.com/item?id=26362605

IMO “Government requires a filter” is a waaaay bigger problem than “private company decides to stop selling a thing"
HN is boring.

Even if it has no tangible benefit, I'm at a lower risk of l wasting a lot of time here than in Reddit or most other social media sites.
This photo is fake. Or it doesn't not represent reality, I guess is more true.

If you were there, you would clearly see it's just a boat sitting on the water. The water changing color towards the ship

I guess you could take a photo yourself, reduce the resolution like here, pick the one that works best and show people, a similar 'real' photo and lie and say it's called a 'superior mirage' (It's beyond a false horizon). But you will never have seen it either, it only exists in the photo.

"Hovering Boats are Usually Not Mirages, they are beyond False Horizons" https://www.youtube.com/watch?v=er1mh90wN-k
For me, HN gives a sort of window into the American SF techno views and mindset about the world. It's quite interesting to read their ideas and opinions. It's a bubble like other places but it doesn't mean you won't learn something.
HN helped publisher No Starch Press discover my online book Computer Graphics From Scratch [0], which led to its publication as a real book [1]. Shared more of the story in the most recent post about it [2].

[0] https://gabrielgambetta.com/computer-graphics-from-scratch

[1] https://nostarch.com/computer-graphics-scratch

[2] https://news.ycombinator.com/item?id=26017086
Sirum (YC W15) Is Hiring Software and QA Engineers with Pharmacy Experience
SIRUM is making medications affordable for all. We’re a small (~25) but quickly growing team that’s passionate about our mission of reimagining healthcare access for those in need.
We come from organizations like McKinsey, the Clinton Foundation, and Stanford Biology. We like to work hard, solve tough problems, and are determined to improve healthcare access for families who have trouble affording the medications they need to stay healthy.

We're currently hiring for both our Palo Alto and Atlanta offices, as well as some fully remote roles. We have opportunities for senior QA engineers, software developers, and many other positions and are especially interested in anyone with pharmacy experience.

If you want to work in healthcare, love mission-driven work, and thrive in a startup environment, then we may be a good fit. Check out our open roles at https://www.sirum.org/about#careers.

Even if you don’t see something that’s the right fit right now, email adam@sirum.org - we love hearing from folks on Hacker News who share our mission.
Does the accountant?

He'll just have to take your word for it, and send that in to the IRS. He won't be liable for it if it's a lie; you will. So what's the difference to you telling the IRS directly?

And no, checking a box "I did not have any income besides my tax-withheld salary [_]" and filling in an integer "I have [_] dependent children" seems like something most people could do on an IRS web page without having to buy software or pay an accountant every year. (And if you tell them when the kids were born the first time you do this, they could carry them over year to year and age them out automatically when they turn 18, and then you wouldn't even have to do that any more unless and until some exception occurs.)

All these pro-status quo comments sound so weird, like desperate apologetics for the world's most needlessly complicated system. Are you all just finding it impossible to conceive of there being a better way than The American Way, or what's the reason?
Many years ago I wrote a simple Delphi application that used the standard rich text editor. The size was less than 150kB
Show HN: Kingdom.so – Product Hunt Meets Catan
> I think there is a subtle difference between fps (avg) and latency

Yup, I only mentioned 60Hz, because 16.667 ms is more obvious WRT latency but less known.

> Do you mean that you set an additional latency for both video and audio? Or you delay only the audio by 10ms?

No, RB allows you to set up the audio and video latencies, and since the track is fully known, it’s able to apply negative latency to everything but the input (which, being physical user input, is the only thing that can’t be altered).

So you set up input->audio latency and input->video latency values and the game will internally play them ahead, so that they appear exactly in sync in the physical world.
Spoken like the CEO of Excite. You know the story? If you don't, I can tell you how it ended: His simplistic ideas about clicking and ads led to the company's demise.
Also I would probably consider a pay-it-forward model of being able to sponsor others doing the courses that have subsequently brought me value, now that I have actually got some value from doing them.