skysight-inc/HackerNews huggingface dataset:
Mathematics is about abstraction, it's literally the study of objects. Different foundations of math define the fundamental objects of the universe in different ways. You have set theory, where everything must be constructed from the empty set, and operations of union, intersection, complement, and inclusion/comprehension.
https://en.wikipedia.org/wiki/Set-theoretic_definition_of_na...

You might say, how the hell do I get an ordered pair (x,y) from sets? Well, this was solved in a myriad of ways.
https://en.m.wikipedia.org/wiki/Ordered_pair#Defining_the_or...

You also have category theory where everything is a graph and you start with the global object: 1 -> N then build all numbers recursively.
https://en.wikipedia.org/wiki/Natural_numbers_object

And then you keep on using these complex objects to build even more complex ones. So you have a consistent system. And you derive truths about the system, these get called proofs. Arithmetic is child's play - it has nothing to do with consequence or truth. Math is all about starting with agreeable rules and deriving profound consequences that are a kind of umbrella that those rules cover, and sprout from. Canonically, these get called axioms. And we like to choose ones that agree with our common perception of the world -- ie. the Peano axioms for how objects physically work when you combine them, split them, try to group them into rows and columns (prime factorization), etc..

Numbers are one of the simplest and fascinating abstractions because they take the idea of object and unify everything under it -- so two cats and two dogs get typecast to two objects and two objects, then you can add them and get 4 objects. Numbers are basically a reflection of the most primitive type cast possible in our universe of thought. Such, number theory is called the Queen of Mathematics. Because number theory seems to relate much closer to our actual physicality than other axiomatic systems.
I could have hacked millions of solar inverters
The reason I'm for (a small) UBI is because if UBI supplants some welfare programs, welfare gaps / over 100% marginal tax rates will disappear for the poor, and that's a good thing. The fact that it improves safety net for all of us, improves equality, etc, is just the cherry on top.

And yah, it's kind of a nice bonus, too, that it may enable people to choose to do uneconomic work for the love of it: whether it's art, woodworking, artisan software, etc.

It's a small hedge against automation, but shortening the work week IMO is more powerful for this now. We should do that too.
I quit Facebook three years ago. Deleted all my posts and just left one of my cat. The internet was originally made to share pictures of your cat.
pip needs to be put on a PIP

(although to be fair pip and the python package ecosystem has come a long way in the last few years)
You can also remove the beam in your own eye before ...
Brazilians speak Portuguese.
Just did a quick search for JTAG debuggers on Aliexpress, and the majority seem to be clones of Segger J-Links, so yeah... it's easy to produce the (simple) hardware and sell for cheap if you just steal the software, it's the same with Saleae Logic Analyzers.
Exactly. There's a lot of potential UX flows available that could protect user security even when it comes to third party stores, and the law does not restrict Apple's ability to impose such safety restrictions.
That's one possibility but Google and Apple effectively made a peace treaty to maintain their duopoly status. I would expect them to keep the status against other uprising competitors rather than breaching each other's territory.
Maybe because overcoming file descriptor limits is as easy as setting the kernel limit.
The problem is that society doesn’t really stand behind whistleblowers.

We claim to, but at the end of the day want someone else to do the standing behind them while we go back to our lives. And we don’t want whistleblowers around as we fear that we will be their next target. Whistleblowers, in their effort to restore trust, become automatically untrusted by large swaths of society.

Naming makes you persona non grata to a lot of people.
You're seeing decentralisation at play driven by new technology.

People are tired of making someone's else millions and they want in, risk and money wise.

Especially because with digital media the cost/risk to start a business and enter the creator economy is way lower.
There's abundance of information that could potentially help people to be more independent and rely less on apprenticeship to learn a trade.

I think there's a lot of waste in companies, the bigger the company the bigger the waste, so I think this trend is positive.

What we need to fight is the belief that picking a major you like is more important than picking a career the market wants.
Similar idea to Wired-Logic https://github.com/martinkirsche/wired-logic

Wired-Logic uses a GIF as output.

Interesting take on making AND and XOR gates, makes it a bit more colorful.
Serverless model as implemented in aws lambda is not faster or cheaper. A single node.js process with fastify.js or hapi.js can handle hundreds if not thousands of requests per second. In lambda to handle 1000 requests per second, assuming a single request take 100ms you need to have 100 instances of lambdas running. Serverless is only cheaper if your application see very little traffic and somehow fit in very limited feature set of lambda. Otherwise, you still need to pay extra for provisioned concurrency and spend engineering resources to workaround lambda limitations.

What often happen is people build own framework on top of serverless instead of just using Rails, Django, Phoenix etc.
Lamarck and Lysenko got a raw deal.

https://en.wikipedia.org/wiki/Lamarckism

https://en.wikipedia.org/wiki/Lysenkoism
For real? Is that by design? In elite jail is at least just an instantaneous transfer and an financial transaction, which is maybe one reason why the justice in elite doesn't really work.
> I find that surprising that Go did not use registers for its (internal) calling convention until 1.17. And I also find it surprising that they only expected a 5% boost from it.

It's because there's no difference for a normal non-leaf function between a stack calling convention and a register calling convention. If 'f' is a non-leaf function either the caller of 'f' will have to put f's arguments onto the stack (stack calling convention) or 'f' will have to save its argument registers onto the stack before doing its calls (register calling convention).

Register calling conventions end up being a big win if you have lots of non-leaf functions that can forward their arguments (rare) or lots of leaf functions that can't be inlined (also rare). Some programs will get a big boost out of it but most will only get a small one.
The brain's secret to life-long learning can now come as hardware for AI
> young people trying to hustle money through odd job sales, youtube channels, online ecommerce

Most of these people are working super hard, struggling and will never ever get anywhere close to "getting rich" or "escaping that life".
>Even btrfs can't hold a candle to ZFS and it comes closer than mdadm+ext4.

Could you elaborate a little bit on this point. I've used both btrfs and zfs and they have both been fine, but I'm not using them on a large enough scale to see problems.
We were never higher than a 1% fatality rate in any place. The high rates that some people estimated early in the pandemic were due to garbage data from very limited testing of asymptomatic cases. The CDC did a more thorough analysis and estimated a 0.6% infection fatality rate back when no one was vaccinated.
Whenever I look at zfs I become confused how that all works. Predicting performance is incredibly difficult. The rebuild times horrendous.

That's coming from someone who has been using Ceph for a couple of years now. I know it's apples to oranges, but still. (For one, zfs is non-distributed, whereas Ceph is).
I had a manager who wanted to track it weekly and put it on a dashboard besides dev names.

Thankfully he realized the idea was terrible/other events made it irrelevant, but it was discussed and code written to support doing it.
Mark Russinovich Keynoting OC3
Mind sharing your company name?
If you are 80 years old and vaccinated against COVID, there are a lot of other things that are more likely to kill you. So she should be out living her life.
You’d have to likely get rid of capitalism at that point. Ain’t happening.

We’ll need something wiping out billions including the rich in order for that to have any traction… by then though - might be too late for society to feel like they should bother. After all - if they can’t feel the effects of their work within their lifetime - is it worth doing? Most would say no.
You explained this better than I did. People are choosing new routes to make money rather than suffer under the old ones
Push notifications don't mean only user visible notifications (or certainly don't mean a sound or haptic notification is required). It's nice for the app to get notified so it can download the message, so it's ready when you next want to look at messages.

Of course, worst of both is interruption notifications where you see part of the message, tap to read the whole thing and then get to wait for the thing to load.
Trader Joe’s is a favorite study in trying to explain how it manages to thrive with just a small number of SKUs (~4000) relative to typical grocery stores that carry 50,000 SKUs. Perhaps this might shed light on their warehousing strategy.
the version control system?
It's more than that I think. It's boasting about selfishness and a lack of empathy in a way.

I also have a "side" in the general covid individualism vs collectivism debate, but I can absolutely see the issues people on the other side have. Even the ones I don't think are all that reasonable or valid, I can empathize with how others feel and understand how they could feel that way without being "bad people".

Unfortunately I see a lot of this selfish rhetoric from both sides but particularly from the collectivist side, the ones who have said we're all in this together and have asked others to make sacrifices, to summarily dismiss the concerns of others, remain totally closed to any of their opinions or concerns, and even outright making fun of them and bullying them ("poor baby"). It's really quite an astounding about face and I can't quite fathom the blatant hypocrisy and hatefulness of it.
What benefit would Google Play on iOS provide for the user?

My theory is that for the major non-gaming companies- Google, Meta, and Amazon- building their own third party app store on iOS is not in their interest. They would essentially be carving out a ghetto for their own apps. Even if the law mandated Apple accept third party apps, Apple can still control that experience. And that experience will inherently involve friction. There will be friction to enable third party app stores. There will be friction to sign up for said stores, add payment information, and deal with yet another membership. Users would rather use mobile web sites before they have to jump through hurdles to install an app from a third party app store. There will be a public backlash against these companies for hoarding their apps in third party stores.

I think if they do introduce third party app stores, they won't take crucial apps- Google Maps, Facebook, Instagram, etc.- off of the Apple App Store. They stand to lose out too much by risking being dependent on their own new, untested third party app stores. And they would suffer a lot of heat from angry users for forcing them to sign up for and then manage yet another account.

Besides, these companies' apps aren't exactly the new hotness that inspire organic migration, unlike say TikTok. Imagine: users muddling through the Google Play Store for iOS® to get their Chrome, Google Maps, YouTube, and Gmail/G-Suite apps, and what else? The Google search app? The umpteenth Google instant messenger app? What would Amazon stand to benefit by duplicating their Kindle-oriented third party Android app store on iOS? Offer their Kindle reading app, the Amazon storefront app, and Audible? Does Zuckerberg really want to reenact the Facebook Home fiasco? Most of the time when these giants try to play in the others' home court, they tend to stumble pretty badly.

Gaming companies such as Epic, Valve, EA, UbiSoft, and now Microsoft-Acclaim-Blizzard might have a great chance at fostering third party app stores, given their unique content and gamers being accustomed to having to deal with multiple platforms with exclusive content. And er, a greater willingness to ignore user outcry over closed platform shenanigans.
Note that the graph defaults to "15-day percent change" -- if you switch to "15-day detection proportion" you can see that 98% of sites are reporting 100% detection in wastewater. (You can also see this in the data table.)
Anima (YC W21) | Multiple roles | London, UK (but will consider remote) | Full-time | https://www.animahealth.com/

At Anima, we’ve built ambitious software to automate the entire healthcare workflow - from history taking to recommending & saving an action plan for the patient, ready for a human doctor to greenlight.

We're backed by YC and raised a $2.5m seed round in 2021, giving us a runway of 3+ years. We are pretty unique among health techs: we have both medical and engineering domain expertise - there are 4 doctors working full time at Anima, as well as 'pure' software engineers.

Anima is now the most advanced online triage platform and is live in NHS clinics around the UK. We’re looking to add talented software engineers, medics (who can or can't code!), and designers who are hungry and understand the urgency and importance of what we’re doing for society. Join Anima & you'll solve super interesting technical problems that will save lives.

Roles:

- Software Engineers (expert competency in JS/TS. Comfortable with key frameworks/libraries like Angular, Node and React. Able to work full stack in JS/TS)

- Clinical Engineers (medical or a medically-affiliated degree required. Otherwise, no specific experience, including coding, required)

- Clinical Account Managers (medical or a medically-affiliated degree required)

- UI/UX designers

Contact rachel@animahealth.com or check out our careers pages for the relevant job ads and to apply: https://www.animahealth.com/careers
Control robot by mind (blinking) via RaspberryPi and PiEEG
details also here
https://github.com/Ildaron/EEGwithRaspberryPI
What's "up" isn't strictly generational, but a question of who's fallen into a black hole where they waste their time on social media and have no work ethic because they've never felt the slightest need or pressure to scrub toilets or bus tables. I'm thankful to be from a generation where we had to do grunt work, from well before 16, and where friends were people you hung out with in real life when your job was done. What we're really seeing is the halo effect of pampering and coddling of kids - via helicopter parenting in the '00s and then social media complaints about life going forward. This is different in a fundamental way: If anyone had complained they were too good to do hard work in the '90s, you would have risked being seen as an elite rich snob. In fact a lot of my friends rejected college and went into trades or trucking because it was "HONEST WORK"... because they were embarrassed to be the kind of lazy people who would put on a tie and sit at a desk. I always thought that was a little stupid and selling themselves short, but it was at least an honest emotional response to the idea of people who seemed to sit on their ass all day and make money by doing nothing. What's changed here is that the entire basic concept of that - the conceit that led to it - still revolved around an idea that making money was essential to having a complete life. That's been obliterated by a tidal wave of political viewpoints you're supposed to adopt about capitalism and labor, which you can spend your time scrolling through and parroting on Twitter while they sell you ads to spend (presumably your parents') hard-earned cold-eyed capitalist money on toys, instead of facing the reality of showing up for a job that isn't "good enough for you".

The boomers did a real bad job of raising their kids.
Google "How to Make a Mint: The Cryptography of Anonymous Electronic Cash" if you haven't already. Bitcoin is a honeypot for illicit actors. And so far it's been serving its purpose well - just like Tor.
>Except this was measured in studies of human behaviour. Only they apparently studied humans who had both mice with acceleration and the intelligence to give the mouse a quick flick to get across even rather large screens.

Did you address my comment on widescreens? No.

LOL show me these studies.. they need to be replicated dozens and dozens of times because I don't know if you heard, the entire field of human psychology suffers from a replicability crisis so basically all the science and most associated fields related to such human behavior Bull f-ing shit. You know what's an Associated field? UI and UX design.

I bet you that you can't even find the study. The whole thing is just coined based of anecdotal saying of some random ass hole.

>A) No.

No to you.

>B) Buy a joke detector.

I bought one and I'm pointing it at you. It's ringing. That means you're a joke.

>Now please stop spouting meta bullshit that only shows that you still prefer blathering to actually getting a grasp on what it is you're blathering about.

You need to grow a brain. None of what I said is bullshit. It's real. You have no ability to think outside the box and look deeply at your long held beliefs. I am literally telling you that you've been worshipping this UI bullshit for a good chunk of your life.
They are usually really good, but germany also pushed a lot for more students in universities over the decades.
The reasons why Meta is in trouble
Exactly my point. Gimmicks get old. A gimmick you need to wear on your head gets old even faster.
Meaning you have other issues which have nothing to do with CI. Fix your tests etc.

None of the tests can be 'flaky'. Either remove them, or fix them.
Discoverability in libraries is better, and difficult to replicate in an online setting I've found. When I found a book through the online database, I would go to get it and almost always the other books on the shelf or nearby shelves were also relevant to my research. But most of these books didn't show up in the results of my initial queries, so I would not have found them without the physical library.

Unfortunately, the libraries I went to, have drastically shrunk their accessible physical collections in favor of keeping most books in storage.
>focus less on precedent

I'll let the reader determine who is furiously trying to list every vaccine mandate precedent. As is often the case, the bad faith argument is one of projection.
> I don't know how you'd get them to line up from different angles

E-ink.
You are absolutely right! They seam easier to reason about. But relational databases actually are simpler to reason about when you compare equivalent feature sets. I've seen people argue it is just a key value store, so it is dead simple, right? But then they didn't just use key value store features. They used or implemented themselves joins, transactions, consistency constraints under parallel modifications, etc. But this is not the system for which they determined that it is simple.

But even for simple use cases durability might be a requirement. And that is not so simple to get right.
Ah okay, fair point then. I guess you could lay a rubber strip across it rather than paint. It seems probably real though, so the point is moot.
This says a lot more about the quality of C# vs. Go's protobuf code generator (which was already poor and now even worse - you're going to the trouble of codegen but then implement it using reflection?) than either language itself.
At the same time, you can ask dang to explain any decision he's made and he'll give you a fair and reasonable (if sometimes mistaken) answer.
Great article. Thanks very much for it. There's a typo in the heading "Or how to play YouTube videos on you SONOS, easy and for free." I think might want "your SONOS" instead. :)
In 2008, China was in a liberalization phase and things, while not great, seemed to be getting better. The backsliding afterwards has popped any optimism about a more open/human rights aware China. China was also ascending in 2008, but looked much more compatible with the west and other countries than it does today. While Hu was surely a weak leader, Xi’s “second coming of Mao aspirations” have largely turned the western world off. It will be interesting to see who will succeed him (except, as if this moment, he is basically president for life).
The People deciding to ditch their smartphones
Cold warrior: why Eileen Gu ditched Team USA to ski for China
This most interesting part for me is this "What people considered a boring hell of a life in 1965 is a fantasy unobtainable to an increasing number of >>average<< people". It would be good to analyze what happened between 1965 and 2022, what has changed that instead of progress we see some kind of downward spiral. Or maybe 1965s are idealized? Are there people looking on this? I have zero knowledge to understand all of this, unfortunately.
There should be a way to name these people anonymously. Maybe drop the ass holes name on blind or make a "shitbosses.com" where we name these jackasses and vote.

Heck I'll stand behind my words. If you ever apply to a company called Anduril. Watch out for a childish manager named Calvin Hareng. This MF: https://www.zoominfo.com/p/Calvin-Hareng/-1964480350

Anduril is hiring and if you're coming on board watch out if he's going to be your manager. He indeed PIPs you if you try to switch teams, just like this amazonian ass hole.
How did "wolf" get turned into "wolvic"? That section at the end just seems to take it for granted that permutation is totally normal.
Can one jam an overhead SAR from the ground? For example, by aiming a radar beam at the bird to fuzz a location?
I probably wouldn't want to work for a manager who filtered out names from their list based on previous employers alone. That seems like petty and self-sabotaging behavior.
Replying to myself so as to add the following quote from Rudy Rucker that seems to me terribly apropos:

"I never really understood the ideas in economics, in fact I almost failed to graduate from college because I couldn’t stand going to economics lectures. Hate, hate, hate the stuff. It’s like studying Bible stories or pseudoscience—economics has so little connection to daily reality. For instance, it’s completely obvious that companies can’t in fact grow forever, year after year, without hitting some debilitating limits. But the so-called value of a company is based on how much they grow from quarter to quarter. Economics as practiced by bankers is complete horseshit, but they’ve bought out all the politicians, so nothing reasonable ever gets done. In the long run, of course, the situation will resolve itself. Meanwhile we’re seeing a resurgence of the dystopic SF novel!"
As an Indian, the US is by far one of the hardest countries to get into long-term. There is constant uncertainty about when you'll be kicked out.

This is why when I had the choice, I picked Germany over the US. Because I know that no matter what, in 3 years, I can apply for a PR, and in 8, citizenship. The new government is talking about reducing this time frame, but even if they don't it's still a lot faster than waiting decades for a GC.

While the US is still the top immigration destination of choice amongst Indians, other English speaking countries are now easier to get into and most Indians prefer a stable future so they skip the US in favor of other countries.

Long term, if the US wants to retain it's ability to attract top talent, they need to do away with place-of-birth based visa and GC restrictions.