skysight-inc/HackerNews huggingface dataset:
Sort of.

I'd change the metaphor a bit. Math at the start of 19th century was like a country many of whose high mountains (say theorems) had been climbed but whose basic geography (foundations) hadn't been charted. Grassman was perhaps the first to begin the process of true foundational studies - creating structures that formally tied the mountains together (different from intuitively tying the mountains together, notably).

Grassman's approach (incorporated as "exterior algebra") was klunky and difficult most likely specifically because he was doing something new, something never done before. That is, he was working when no formal linear algebra and indeed neither formal abstract algebra nor formal foundations of real numbers nor formalization of calculus existed (though many things were talked about informally).

And Grassman was resisted because of the (probably necessary) klunkiness, but also because many mathematicians didn't see the need for this and no small number actively resisted the need for formal. IE, saw the qualities of numbers and collections of thing as best handled intuitively rather than formally and especially disliked the way formal formulations allowed and required counter-intuitive structures (transfinite sets, the axiom of choice, etc). This resistance didn't just touch Grassman but affect Cantor and Hilbert, etc.

Today, math still has a tension between the provers of hard theorems and the structure builders, that would be the mountain climbers and the geographers, the Erdős' and the Grothendiecks. Moreover, the history of that tension isn't as clear as it could be since fields of math are generally taught as fully formulated systems with few nods to the state of the field before a given formulation (I just learned today that van der Waerden's Moderne Alegebra, published in 1930, was the first text to put abstract algebra in anything like it's present form).

More on the history of the formalization of mathematics can found in Jan van Plato's The Great Formal Machinery Works (Grassman is the first writer covered).
I don't know about you, but I'm not eager to alter my priors based on a single, context-free quotation from bulgarianmilitary.com.
Why the future of democracy could depend on your group chats
A simple better way of interviewing is to simply ask the candidate to code review a piece of code. Works much better than any algorithmic exercise and gives you the fastest results in the least time for both the company and the candidate.

But most companies are cargo cults. For example Stripe copies Airbnb which in turn copies Google.
This could well be a good opportunity to dig into jlink and jpackage and use that to build native installs for the different platforms, bundling the JDK.

In my experiments, I was able to pull it off for Mac and Windows, but Linux was still a bit wild west as to how to properly package it (for me), so they just get a fat jar. It's doable, I just didn't do it.

It helps if you use the Java modularity to trim down the runtime.

I was able to distribute my FX app (which requires platform specific binaries) that way.
Location: Canada, Germany
Remote: yes

Willing to relocate: yes, potentially

Technologies: C++, C, Rust, Assembly, Python, JS

Résumé/CV: https://shkur.ski/cv.pdf

Email: in CV

Software engineer with 15+ YoE, expertise in building desktop applications, background in cybersecurity and experience working in different environments: both large companies (Logitech, Comodo Cybersecurity) and MVP-stage startups (YC-backed too, as well as developing my own product). Able to learn and be productive quickly with whatever stack you use.

Full-time or part-time.
Anyone read David Brin's story "The Giving Plague."?

These drugs have the flavor of that. I'd be reluctant to take them not because the Thyroid cancer risk or loss of muscle mass. Or the possibility that if I stopped I might gain more weight then when I started.

I'd be reluctant because in it's weird hormonal backdoor way it seems to be really messing with your personality. I'm not convinced the grass is actually greener on the other side - I tend to be of the belief that it's no better or worse; it's just a different set of tradeoffs.

All that said while I'm not skinny I'm also not (in my and I assume my dr's judgement) a candidate for this drug. Maybe if I was I'd feel differently.
>> it was astounding how few samples we got, even from hospitals, that managed this.

Yeah, I'll tell you why. I was asked for a stool sample once (don't ask). I looked at that tiny perspex cylinder with the tiny little fairy spoon in it and it was immediately obvious: nuh-huh. No way. I'm not handing my shit in a tube to some poor health person. Nope. No. Never. No way.

TFE: Too Fucking Embarassing!

You medical people have to think harder about all the things you ask your patients to do. Colonoscopies? Specula? Prostate exams? Shoving a rod up your nostrils to get samples for Covid? Come on. The human body is not just a machine. There's a little person inside that feels every single thing.
Most violence is committed between people that know each other rather than between strangers.
and coal mining (kind of) saved the forests and and drilling for oil (kind of) saved the whales.
I'm curious what history Jack Clark is referring to here.

If I think of the last thirty years of policy in most of Europe and the US I'm thinking of a strong trend of deregulation and giving more powers to markets, removing international trade barriers and so on.

That seems to be a dynamic opposite to the one the quoted article is suggesting.
I didn't say a ban would "have no effect." I said "it won't be as effective" (in response to a quote from you asking why it wouldn't be "as effective"). I gave my reasoning.

It was "devil's advocate" because I was agreeing with you but presenting an argument to the contrary, anyway.
Wars you can lose are the mother of invention. It’s literally existential threat as a motivator writ large.

The US could never win, and never ‘lose’ (as in, cease to exist as a county) either of those wars.
regardless of propaganda, if the facts are correct it is the same speed how US can build cruisers.
I think I might actually like to do more actual engineering, using models and sound notations and planning, thinking about eventualities, not being told not to by management guys, trying to get it right the first time, instead of always being told "later", because otherwise people will suffer (or die) and all that.

I would perhaps even like there to be a license, because then we would maybe get way fewer people interfering with a technically sound decision process. As it is right now, every manager dude thinks they know better what to build than the actual programmers/engineers, even if the programmers/engineers work on the product for years already and have gathered experiences the frequently rotated managers lack. It is always soooo convenient for the manager types to defer good enginnering endlessly, so that ultimately it never happens and shitty products are made.
It seems hard to disincentivize "data" in the same way it's hard to disincentivize "cocaine", e.g. to most companies "10 kg of cocaine" is a liability but there exist certain companies generally staffed by more unpleasant people who make it their business to treat it as an asset.

Which means going to a different layer / structural solution maybe. How does the value of data go to zero?
Try ISO 27001. Everyone says it's more onerous, but for startups, it's actually a lighter lift. It is a lot worse for big companies than SOC2, but it's a lot easier for startups.
I use intellij and it is css-variable aware but not css class aware.
I encountered someone with no high education and no proven skills, no job but has the ability to remotely implant emotional dependency into someone from higher class, then somehow convince her to leave her wealthy family and their first world country just to live with him. Some people call this love but I consider this as a very special skill
Are you suggesting that when BYU faculty or grad students do a study and come to a conclusion that counters Church teachings rather than simply not publishing the study they instead would falsify the study to make it come to the opposite conclusion and publish that?
Matching V8's perf would be infeasible, but couldn't a small team get within an order of magnitude of V8's perf for a decent chunk of websites? How much slower is Fabrice Bellard's QuickJS?
being seen to do something, even if that something is a waste of time and money.

too many do-gooders and not enough people do good.

drug testing? what is the point? It has never worked.

I worked in the substance misuse field or over 15 years as a methadone dispenser and care coordinator.

Methadone prescribing, maintenance prescription, reduction prescriptions, detox units, decent housing, mental health support are the only way to address addiction, but it costs money.

Substance misuse services have been stripped of all their funding and resources.

Dual dignosis is another real issue:

If you have a severe mental health problem, and are a drug addict or an alcoholic there is no support for you.

The psychiatric teams say "Your client needs to be drug abd alcohol free before we can manage his mental health problems" and the drug services say "We cant manage his addiction until his mental health problems are resolved".

The dual diagnosis roundabout..

Thats why there are far too many people with addiction and mental health problems living on our streets.
This will continue until we make having a huge collection of personal data into a liability and not an asset for companies. Actual jail terms for CEOs for leaks would be a wonderful start. Or, at least, we should have fines that are not wrist-slaps. For example, a fine of $1000 paid to each individual per leak would be a good starting point. Then, companies will properly start minimizing the amount of data they store, in fear of a crippling loss.
Thank you! It was really an awesome time way back and made me aware that, gifting other people games is a nice thing to do.
Keygen | Front-end Engineer | Full- or part-time | Remote (US only) | https://keygen.sh

Keygen is an open, source-available software licensing and distribution API built and run by myself. I'm a bit stretched thin in terms of front-end and support. I have a big front-end redesign code-named Portal on the roadmap that I haven't been able to make much progress on over the last couple years. I'm looking for somebody to help take that off my plate. You'd be the company's first hire, and would work directly with me, the founder. You'd be working out in the open, as the Portal app will be open sourced under an MIT license.

Looking for engineers that are familiar with TypeScript and React that can entirely own the app.

To apply, shoot an email to zeke@.
Your details just go into a different file, and you show as sus on the next background check.
Happens via, but starts with individuals (or should!).

What we have now is the worst of both worlds:

- Individual speech is censored at whim by non-government platforms that are unavoidable.

- While giant companies are empowered to speak anything they want (speaking as the company).

That doesn't seem ass-backwards?

We should be prioritizing individual speech / power, and disempowering corporate speech.
IF your in the EU:

https://www.squirepattonboggs.com/-/media/files/insights/pub...

Raiding is something they frown on there. They go so far as to call it anticompetitive.
I can see it now...

"How do I share my screen?"

"Well grandma, the Google Chrome Flatpak you're using defaults to Xorg so it runs in XWayland, which means it can't see the desktop because the rest of your shell is native in Wayland. If you go to chrome://flags and set prefered-ozone-platform to wayland it might work, but some people in this reddit thread also mention you need to install xdg-desktop-portal-gnome so it can call the screensharing API in GNOME. This also might not work in the Flatpak at all and maybe just the RPM."
That might be more true of other certifications like Fair Trade.

Whether you agree with the mission of organic agriculture or not, getting certified for it does come with a lot of expensive extra rules.
Show HN: Keyword Research Tool Without Fuzz
I made a simple keyword research tool without the fuzz and without extra tools. Its just a simple research tool that works in different languages and countries. Simple functionality, simple pricing.

I was kinda annoyed by the pricing of other keyword research tools.
The software being exclusive to Mac is apparently a feature in this case.
During the early days, I think a good amount of those were "I'm required to wear one but they can't make me wear it properly".

I'm most baffled by the people I see today with a mask on but around their chin. They haven't been required for years, so I presume it's being particularly COVID-conscious (as someone on an immune suppressant, I still wear N95s in public)... but if you're that conscious you'd think you'd wear it right.
what if the amazing mathematicians / physicists / statisticians that are sucked into wall street worked on fusion...
And please keep widgets out of the title bar. Those make it very hard to drag windows around because you can't really be certain what can be clicked and dragged to move the window.

BTW MS windows does this even worse IMHO - I can't tell what app I'm using (think opening a document say .pdf or even an email in outlook), can't tell which is the active title bar, and not sure what I can drag it by.
what a sad statement on the human condition that all of the other needs for limitless clean power did not meet the needs to justify developing fusion, yet you think that AI will? Jesus wept.
Also I imagine a Hobbit's calorie requirements are substantially lower than a man 3 times their size. They're no less intelligent (indeed they are shown to be particularly clever), they have access to draft animals and basic machines, so their agricultural productivity is likely still high. This should allow for substantially greater surpluses even before we invoke magic.
This aphorism does not take warfare into account.
Actually that is an heartwarming story and a great example how games (and gaming) can connect people and how it can inspire careers!

Thank you for sharing!
The rotating post thing is mostly to avoid empire-building and disrupt personal loyalty to leadership, because standing armies are incredibly dangerous things to keep around and that reduces the risk.

It has side-benefits particular to the military mostly related to how adaptable the organization is when lots of its members are being killed and disabled at a high rate.

I don’t think you’d find a lot of takers for a rotating-post offer in the broader public sector, without far higher wages. I think most of the folks willing to do that for low wages are already in the military or the foreign service.
> If you're in a mixed gender school, you're basically in a building with hundred of potential candidates.

And if you are in a professional sports venue during a scheduled professional sporting event you are basically in a building with hundreds of thousands of potential athletes.

> Your only competition is other 14-16(hopefully not higher) year olds, none of whom have careers!

None of them? I had my career at 14. Still at it many decades later.

Regardless, I suspect at 14 the biggest competition you are up against is that which you have failed to mention: Nobody. It is not down to either you or someone else. The romantic interests involved can easily choose to not get involved with anyone.
Men's deodorant(maybe women's too?). I'd always pulled the tab with my teeth.

I came across a comment somewhere a few years back with someone complaining about those covers, and how they also use their teeth and hate how the taste gets in their mouth. I immediately felt vindicated in my complaints.

Someone replied something to the effect of "you know you're supposed to just spin the dial like normal, and it'll push the cover off by itself, right?"

I don't think I'd ever felt dumber in my life for not putting two and two together on a product I use daily...
Setting up a local reverse proxy on Proxmox with Traefik and Cloudflare
Is GDP really the best way to look at this though, when the US spends on the order of 2-5x more for equipment and weapons systems per unit compared to the Russian/Chinese equivalents, without necessarily being 2-5x better in real world applications?

It would be interesting to see a more accurate comparison with spending adjusted by total amount and actual purchase/operating costs, though I'm not really sure how to go about doing that, and it gets even more murky looking at price gouging by military contractors for ordinary objects in the US ($50,000 trash cans come to mind.) For the first reason and one above I suspect our actual reported value gained from our budget is vastly overinflated.

I also suppose something similar would be happening in Russia/China, maybe not as price gouging fraud but theft of supplies/funding, which would be harder to compare.
Tell HN: Chromium forks for legacy platforms are disappearing from GitHub
This is really strange!

Chromium Legacy is an up-to-date fork of Chromium which supports back to Mac OS X 10.7 Lion (from 2011). On Friday, the developer's Github account and all of his repositories suddenly disappeared. The links now return 404 errors.

https://github.com/blueboxd/

https://github.com/blueboxd/chromium-legacy

Today, the same thing happened to Supermium, an equivalent project for Windows which supports back to XP. To my knowledge, the developers of Chromium Legacy and Supermium are wholly unaffiliated.

https://github.com/win32ss/

https://github.com/win32ss/supermium

Does anyone happen to know what the heck is going on? It's a little scary and makes me not want to trust GitHub. I don't see anything relevant in GitHub's repository of DMCA notices[1], and I'm having trouble coming up with legal grounds on which such a takedown could happen.

---

1: https://github.com/github/dmca
Show HN: Mesop – Open-source Python UI framework
I’m excited to share about Mesop - a new, open-source Python UI framework that enables Python developers to quickly build delightful web apps in a scalable way.

A small team of us at Google have been developing Mesop as an unofficial 20% project for the past few months. A wide range of research and product teams at Google have been using it to rapidly build internal apps and we’ve gotten a lot of positive feedback internally so now we’re looking to get feedback from the open-source community.

We think that Mesop provides a unique approach to building web UIs in Python - making it both easy to get started and also flexible enough to build customized UIs for a wide range of use cases. You can learn more about why we built Mesop here: https://google.github.io/mesop/blog/2024/05/13/why-mesop/

To look at some example Mesop apps, check out our demo gallery: https://google.github.io/mesop/demo/. Also, the demo gallery itself is built with Mesop: https://github.com/google/mesop/blob/main/demo/main.py which demonstrates the type of flexibility you have in building apps with Mesop.

A couple of us will be on here answering questions. Let us know what you think!
Location: Dallas, TX

Remote: Yes. Ok with office too

Willing to relocate: No

Technologies: Full stack Rails, React, PyTorch ML, AWS

Resume: https://www.breckenridge.dev/resume

Email: aaron@breckenridge.dev
Which things are in libadwaita and not GTK? I thought the article said Dialog boxes, which would be incredibly bad for cross-platform apps if they need to be handled separately on a different OS.
Of course it is Canada. The place where mediocrity and corruption is so rampant.
I have definitely seen senior developers put quadratic and even exponential algorithms into production and cause global outages. Code review didn't help, because their code was reviewed by other people who were interviewed to the same low standard.

I continue to insist on algorithm & data structure interviews for software engineer candidates. Not every project needs them as much, but in large enough institutions, every engineer is likely to run into at least one project that does. If they can't figure it out and can't get help from someone who can, their weak solution can easily cost the company and its other engineers far more than it would have cost to interview engineers properly and compensate the fewer qualified engineers commensurately.

There's also a difference between "don't interview for algorithms at all" and "interview for algorithms but occasionally accept an engineer weak in them". In the former case you're unlikely to get lucky enough to end up with any engineers good in algorithms, in the latter case some engineers can help others with algorithms, hopefully in exchange for other relevant skills. In other words, it's worth interviewing to make sure certain mixes of skills end up on your teams, not necessarily as a hard cutoff on one skill that means you pass on other candidates with other skills.
In the video jobs mentioned he wanted to sell 50,000 units in 1992. The actual numbers were 20,000 units in 1992 and 50,000 in 1993. This just reminded me of Tesla ramp up. Musk was right about volume but too optimistic on timing.
Yup. Folks like to bring up Roblox (rightfully) with regards to gambling and hosting shady real $money shops for in game items but AFAIK (public) Minecraft servers have been doing this since at least 2012. "Pay $20 for a 'rank' on our server! You get extra goodies!". "This special diamond sword is only $1!".

Really an under reported stat imo. These servers are under the radar.
> You don't have to prove your opinions.

You're jumping a few steps ahead, and that's not what we're asking for.

> you can't even properly use its functions to build capital-A abstractions because it's compiler is too dumb to optimize them properly

This line in particular is what (multiple) people are indicating makes no sense. You don't have to exhaustively defend your opinion, but you could write a more insightful opinion. There's a difference at play here.
Are the positions remote from anywhere (like written here) or only from USA (as in the linked descriptions)?

I'm also getting 404 for the team blogspot like a sibling comment.
It's not out of carelessness or spite. The developer(s) can only support something they use at least semi-regularly.

Many developers who use Windows don't support Linux for example (and vice versa). Even if the code were cross platform. They simply can't claim to support something they don't use themselves or have resources to test extensively because it'll requires continous support and there can be a lot of incompatabilities even among different linux distros or environments.

That's why, in OSS, support for different platforms is usually done by having a separate engineer as maintainer for each platform, e.g: Linux drivers, gcc (for different CPU architectures), etc. These maintainers are each experts in their respective platforms and responsible for supporting it.
It's not about coders. It is about the Wayland spec itself missing features that the maintainers of the spec are bike shedding over, for example, color management and HDR.

>8 years (at most) Wayland has been getting the majority of attention.

Color management on Wayland has been discussed for over 10 years by now.[0] In fact this proposal contains code to implement color management! So it is not about code. It is about bikeshedding the spec.

[0] https://lists.freedesktop.org/archives/wayland-devel/2014-Ma...
What’s funny is I was making the same point. I went to grad school with a lot of selfish asshole. But at work I had a pretty nice group of friends.
It's really not that different now; try building a dovecote and see what your local officials think of it.
During standup (remote), when it's not my turn, I check job boards.
I get your concern about proliferation in mentorship books. We combined our real life experiences in this book. We blended with our work experience in startups and large organizations.
join the waitlist and tell me your thoughts down below!