skysight-inc/HackerNews huggingface dataset:
I write software and basic infrastructure for astronomy. I spend most of my time on the upcoming Rubin Observatory, which is actively hiring software people: https://www.lsst.org/hiring/

Academia has pluses and minuses. Less pay, but the overall mission is more interesting. Really really smart coworkers, but not a lot of structure for growth, since almost everyone just thinks in terms of tenure. Laid back pace, but sometimes too laid back; I wish expectations were a bit higher. Overall I certainly like it more than my time at AWS, but recognize its not for everyone.
To be honest I haven't the slightest idea. If forced to guess, I'd say it was the quasi-realistic wargame simulation of a potential conflict within living memory awakens violent nationalist rhetoric in people? Either way, it's very much not the same as the "your mother" type insults you see in a stereotypical Call of Duty match, it's a whole different dimension of shitposting.

Paradox grand strategy games also have this effect, but that community is better about shutting down their edgelords.
Think of it this way: web browsers are ALLOWING oauth in the first place. Oauth only works when, when a user has to login, they do so in the oauth provider independently - so you need some sort of common dependency that works across all platforms, can execute code (JavaScript). Web browser are pretty much the only cooj denominator - unless you want each device (OS) manufacturer to have to provide their own auth which as a user is a worse solution.
> If Russia has a free ticket to invade Ukraine that establishes casus belli to invade pretty much all other former soviet states.

What casus belli would that establish?
If Smalltalk is pretending to be Unix, it could just speak NFS I suppose. Or use HTTP. Or 9P. Certainly there are classes in most images that model file systems.

But thinking of Smalltalk as its own thing, and coming at the angle of interoperation between systems across networks at a higher level than chunks of untyped binary data, there are a few contenders: there have been various distributed Actor implementations. CORBA was available, back when that was relevant. Craig Latta has been doing some wonderful crazy things with interoperation between separate images (e.g. Context, nee Spoon: http://netjam.org/context/).
No, gp is speaking from the point of view of those who set up the security measure.

Once you start poking holes into the security it's hard to assure you only did it for a good cause or with good intentions (whatever that means).
You said a lot of stuff, and I disagree with most of it, but I'm open to dialogue.

> with almost no one in industry applying these lessons

Straight-up incorrect. Language designers think long and hard about how typings work in their languages. Rob Pike, Ken Thompson, and Russ Cox deliberated generics for like a decade[1] before finally allowing them in Go.

> a proper type system

I'm not sure exactly what you mean by "proper" -- but "rigid" type systems are extremely cumbersome to use practically. (Typed) λ-calculus is an academic example; Haskell is a real-world example.

> not too hard to retrofit dependent types (just don’t bother with Turing-incompleteness)

Hard disagree. It actually is extremely hard: type resolution is undecidable, for one. So you need to carefully design type resolution in a way that the "edges" of types don't (or can't) break the runtime too badly.

> why not go the extensible route of letting anyone hook into the “type checking” phase

Absolutely terrible idea, for many reasons, but mainly because, if C/C++ macros are any indication, people will abuse any kind of compile-time (or pre-processing) trickery you give them access to.

> write your own domain-specific checker, even

I guess I'm in the opposite camp here, I think domain specific languages are an absolute dumpster fire of abstraction and 99.9% of the time completely exceed the scope of the problem they're trying to solve. The purpose of a programming language is to be applicable to many classes of problems, and DSLs fly in the face of that pretty common-sense tenet.

[1] https://research.swtch.com/generic
Right? Ivermectin is reportedly extremely safe at normal doses, and parasites are an issue everywhere I would think, to an extent. Why not advocate for screening for parasites if getting rid of them has such a dramatic effect?
It is interesting, that most crypto businesses have investment from Digital Currency Group and DCG belongs mostly to Mastercard.
Several curves are being researched, non interactive ZKPs are getting heavy development and research due to their applicability here, interest in cryptographic accumulators is growing, people are finding novel ways to do old techniques, bulletproofs are an example, look at Mimblewimble, it's an interesting implementation of a blockchain using Schnorr signatures. That's just what I've got off the top of my head.
For a moment I wondered if this could be the same eagle as the one spotted in Quebec, Nova Scotia, Massachusetts, and Maine. But no it looks like the Pittsburgh eagle only escaped late in the summer and returned home after about a week’s journey around western Pennsylvania [1].

[1]: https://pittsburgh.cbslocal.com/2021/10/04/kodiak-steller-se...
Usually during a bull market no one squeals. When the party ends, everyone looks for someone to blame.
The Sound of Water: Environmental Flows in Nap Nap Swamp
I have a friend witch schizophrenia who’s never been a lot hold down a job. He always talks about the sense of shame he has for not contributing anything to society.

I think the way we bind our identity to our productivity can be super destructive for those of us who are like Zhuangzi’s knotty tree.
I agree; he ignores all the national liberation movements, which were typically nationalistic and linked to an ethnic identity (even when nominally "Communist"). More charitably he's trying to talk about the transition from the Old Left to the New Left.
People in those places should be treating their parasite infections anyway. We already knew they would be the healthier for it. But they aren't, because they can't afford it.
Why does it seem like all new Wayland compositors are tiling? Sure there's Gnome and kWin which are classic stacking/floating windows, but there aren't many minimal light weight non-tiling compositors showing up. Are tiling just easier to write?

A Windows 3.11 or Mac Classic like compositor would be fun.
Pretty much none of crypto trading can ever be skill-based depending on the time frame. Even in the medium term it’s a random walk.
That's interesting, found details here: https://dphacks.com/how-to-canon-camera-control-api-ccapi/
Alot of that info is probably already publicly available as GIS datasets. Many counties and cities have surprisingly good web interfaces to such information or at least will let you download it. Most people probably use it to look up land parcel information, but they usually include many more layers such hydrants, water and sewer, sometimes detailed local electrical grid info depending how local utilities operate.

Someone should make a crawler that specifically looks for GIS data on government pages and auto-adds it if passes sanity checks and is up-to-date.
Fexprs are present in many Lisps that have an interpreter. They are just not application definable.

If your interpreter processes special forms by looking up the operator symbol in a table and calling a retrieved function, that's an fexpr.

If the application can wire its own entries into that table, then it can extend the language with new special forms.

The original terminology in LISP was that the FSUBR was a machine-language coded special operator. When the program wired its own interpreted funtion to create a new operator, that was a called FEXPR.

FEXPR is an extension of the interpreter which is itself an interpreted function. The name probably alludes to the FEXPR containing a body of expressions that must be evaluated. Whereas the machine language analog, the FSUBR, is a pure subroutine: the interpreter isn't required to process expressions inside it (though of course it calls the interpreter, as necessary).
Linear Logic Arithmetic
Aren’t these national security secrets?
> not that you shouldn’t read peer reviewed studies critically either

Can't emphasize this enough. The MMR autism fraud paper that started the anti-vaccine industry was peer reviewed in the Lancet.

It's unfortunate that the critical thinking skills needed to know good research from bad aren't drilled into us as part of the core curriculum for every high school student.
Is it obvious? I forget many things but the rarely ever the most urgent/important tasks i have to do right now.

I need a calendar and checklists for sure but when i write to do lists they inevitably end up being things i'd never forget mixed in with a clutter of tasks that were never really important enough to get around to doing.
Do you think "twice as expensive" is meaningless? Because by that same logic, if I start with "once as expensive" that's not a number and multiplying by two gives me a meaningless concept.
Is it also interesting that most of facebook competitors get bought by facebook?
Technically yes but no person is reading that and thinking backblaze is paying you or its free. Its a nitpick
This may look and smell like a peer reviewed study, but I cannot find any reliability rankings for the journal 'Cureus'. Wikipedia article on Cureus is brief and it appears they allow anyone to publish. I would take this article with a few large grains of salt.
Ask HN: Any useful ways to either donate or monetize idle CPU time?
asside from mining crypto, what are other ways to usefully occupy my idle CPU time?
It would be a lot more worrisome if they were actually owned and operated completely in a close system by the four and only rented out the bandwidth. But this is not the case here.

Yes, Google, Amazon, Facebook and Microsoft invest in international undersea cables. But those Cables are done by a Consortium of companies. Not just between the four listed but many Telecom companies in the regions.

Pacific Light Cable Network for example, connecting between Hong Kong, Taiwan, the Philippines and the US only cost $300M with 120Tbps according to the same WSJ. That is such a small amount of money by modern standard. Not to mention while the cost wont likely go down, the total bandwidth you get from deployment will continue to go up in the future. A 1 Pbps undersea connection isn't too far fetch within 10 - 15 years time.
Well enlighten me then.
Health care is always rationed by "death panels." First lesson in every economics class is about scarcity, and even in a rich economy health care is a "scarce" commodity.

But... pick your "death panel" depending on which side of Lake Ontario/St Lawrence/49th parallel you live on; your insurance company / employer / bank -- or a panel of doctors, medical professionals, and hospital administrators. I know which I would pick.
This is what I have noticed writing a lot of software communicating with systems (old systems) with not very well specified input & output; I first want to write drivel and make it work. I don't want to write/change 1000s of vars/fields while i'm not sure if I even need them etc. Then I want to throw away and refactor with lessons learned and I want to keep doing that, adding types (and sometimes proofs). Maybe with compiler flags which enforces static typing for the 'production version'.
Losing some texts by ancient authors doesn't mean some knowledge or technology was lost.

Aristotle is actually quite useless in medieval day to day life, so losing his texts is a big deal for a person studying ancient Greece, but not at all for a 650 AD ruler, blacksmith or trader.
Totally incomparable. Almost all of those roles are on non-negotiable payscales set by the agencies, with very tight working hours.

And as for infighting and jealousy, it is very existent: not over money, but often promotions given out due to patronage, seniority ranking for choosing work duties, people abusing probationary procedures to retaliate against others... public service has plenty of misery for people on the wrong end of things, and it's a major factor for why unions are still strong there.

Public service salaries are public because it's public money. That's it. Don't glorify it.
Every day before logging off from work, I write down my todos for the following work day on a blank piece of paper. I close my laptop, tuck the paper in a folder and put both in closet away from sight.

Has worked really well getting things done and disconnecting from work.
Yes. And the D700, D800 etc. It isn't so much of a problem now with 3d printing and so many materials being available.
A few feet. It looks like there was some light flooding at a marina in Santa Cruz: https://twitter.com/PMBreakingNews/status/148239782805603123...
Or, it's a slippery slope that only leads to keeping all your BTC/ETH and missing out on what getting scammed 20 times a year feels like.
The point is that if you have a parasite infection, treating that is a good idea. If you don't, then treating it will not help you.

If you want not to die from COVID-19, getting fully vaccinated is the way. If you want not to catch and spread it (vaccinated or no) wear a mask when you might be exposed or expose others. If you can't get vaccinated, anyway do things to be healthy -- treat any parasite infections, eat well, sleep well, eat well, exercise.
DSLR's have longer battery life unless you're constantly taking pictures (and consequently are lighter since the battery can be smaller), since the sensors is typically off (whereas in mirrorless it's constantly going to the EVF).

The majority of the size of the camera is going to be in the lens anyway. Mirrorless is not going to make your telephoto any smaller·

The two advantages mirrorless really has over DSLR (other than... lack of a mirror which makes it cheaper) is faster photo rates (since you don't have to move the sensor, though modern DSLRs have liveview anyway, though not through the VF), and the fact that the EVF shows the effects of ISO/exposure/etc (though again, modern DSLRs have liveview, though not through the VF).
Org mode -- you can expand and collapse with 1 key stroke
https://www.gnu.org/software/smalltalk/

" An uncommon feature of it is that it is well-versed to scripting tasks and headless processing."

Btw., GNU Emacs is a GUI app, too.
The marquee was the clincher for me, I was just looking for a `<blink>` tag somewhere too!
I've used Haskell for 18 months in a professional setting. I prefer C++. Grass is always greener - having endless abstractions to be mathsy becomes a real pain when you're trying to build real products.
I'm wondering why you feel the need to give your boss a reason or excuse for wanting to move.

But beyond that, I've found that honesty is the best policy here. If you want to tell your boss something, tell them the truth. By telling the truth, you're telling your boss a little bit about yourself. Their response is going to tell you a lot more about them.

I'm only going to work for a boss who prioritizes work/life balance and understands that I work to live; I don't live to work. If my boss isn't on board with that, well then we're not a good match. I can take my services elsewhere. There's more than enough cyber security and cloud architect jobs out there. I'll find a place that works for me.
Bonus: Can this be a pure CSS library?
Sorry I wasn't referring to ETFs, but strictly index funds when the person was talking about safe investing. I should have clarified in my comment.
A core problem is that you don't need super fancy type systems to build robust systems in practice. After a certain threshold, type theory research is exploring what's possible in theory, like pure mathematics, not what would be good for practitioners.

But one area of large impact for this pure type theory research seems to be the mechanization of mathematics. It looks probable that in the future, the standard way to do mathematics will be by programming it in a proof development system, aka dependently typed programming language.
Like the growth of bacteria on a petri dish
I really appreciate your feedback, thank you!

> interesting tangents

Yeah, I’ve found that explaining things by first giving an example and then generalizing often works better than trying to start with raw theory.
Thank you. I’d definitely expect it to be more acidic than 0. Just reflecting my lack of college-level chem and follow-up learning. 0 seems extreme for supporting life, but we do have pretty extreme life on this planet. Fluoroantimonic acid sounds fun.
The problem with typical TODO lists is common to many productivity apps: one size does not fit all. People with different interests, lifestyles, job functions, and organizational constraints will need radically different workflows and software to support those workflows.

For example, in my day job at a big tech company, I am often blocked from doing some TODO item because I'm waiting for someone else to do something (code review, ACL approval, respond to support ticket, etc). So I don't want my TODO app to show me items that are currently blocked. This constraint in my workflow is mostly just an artifact of the way big tech companies operate, not a universal feature of work. Other professionals doubtless face other constraints.

I have a theory that the solution to this problem is for professionals (not just software engineers!) to write their own productivity apps. With a good framework, it is easy to write quite useful mini-apps that reflect your specific needs - think a spreadsheet, but with much nicer, custom user interface. I built such a framework for my own needs, and I am slowly rolling it out to the world, check it out if you're interested:
https://webwidgets.io/
I need to get back into them.

I am most productive when I start the day looking at yesterday's list and re-organizing it. By the end if I don't get too distracted I end up being more productive...
What Is Underneath Productivity?
Ukraine shares a border with four NATO countries, so US military interests are very close indeed.
Why should I tell you when it would be flagged immediately and nobody would see it anyway?
Entry level DSLRs also only had 1 control wheel for a long time. This was always one of my biggest issues when looking for a decent, affordable DSLR. It really kneecaps usability. When in aperture priority, having only a single wheel for F-stop, exposure compensation, and ISO is an exercise is frustration.
I don’t know what are things you reference in (1), some apps?

In (2), either you are speaking about consumer point-and-shoots, or you are speaking of features that can be turned off, or more typically have to be turned on. (Have you ever tried to use pixel shift, by the way? What kind of magic do you think does it do, except for capturing multiple pixel-shifted exposures?)

Mirrorless cameras I use get me a dumb array of raw light values, and I am free to apply (or not) noise reduction as I interpret the data. And if they were applying noise suppression, I would not put it anywhere in the same domain as computationally detecting and smoothening human skin or the like.

The line is there, and at this time it’s pretty sharp. If you don’t believe, try some of the latest “dumb” pro mirrorless cameras with the latest iPhone and compare their respective raw captures.
Why did this get flagged? It's pretty measured in it's findings:

These results indicate that medical-based optional prescription and citywide covered ivermectin can have a positive impact on the healthcare system. However, the present results do not provide sufficient support for the hypothesis that ivermectin could be an alternative to COVID-19 vaccines
> How do you have two processes writing to the same place in memory without memory mapping a file?

In increasing order of modernity: System V SHM, POSIX SHM, and `mmap(... MAP_SHARED | MAP_ANONYMOUS ...)` (e.g., on Linux).
Good job not reading the article, making an assumption, and commenting on the situation.

Her surgery is being delayed because hospitals are being overwhelmed by COVID-19. The exact same thing is happening in the US. It has nothing to do with universal healthcare.
Are you talking about those who refuse to get vaccinated causing excess strain on the healthcare system?

> a representative from Mount Sinai Hospital told Di Maria her surgery was cancelled because of "the situation with COVID-19" and that "everything is getting cancelled at this point."

By not getting vaccinated, it really does look like they are sentencing other people to death.
You’re only talking about one side of the equation. Buying options can never end in a loss that exceeds the original investment.
I do love thinking about all the tree shaking, minifiying and bundling that went into slimming down a website as my browser struggles to decode a few MB of json and makes 20 async calls before fully rendering the screen.
> It looks probable that in the future, the standard way to do mathematics will be by programming it in a proof development system, aka dependently typed programming language.

This is a controversial opinion, and not all mathematicians are enthusiastic about it, whether rightly or wrongly. Michael Harris, for instance, is a major sceptic and opponent.

It is still a very interesting idea. And it has had some notable successes already.
I think it's their consumer facing Dropbox like desktop tool not B2
What purpose does bat serve in showing command-line history?
Premium pricing defines a flavor of elitism, you didn’t specify the currency but I take it a thousand is more than a pack of cigarettes.
Hmm interesting. Maybe it's my own bias as well, embraced my talent for uselessness long ago haha.
I’m pretty much convinced that crypto stuff is a scam. Still, I want to question the mob. We only get better understanding, doesn’t take anything away.

I like hashing things out but whenever there is a huge bandwagon effect, I am increasingly getting more skeptical. Happy to be wrong but we need skeptics that question mob mentality.

There are several recent examples of this: 1) Inflation 2) COVID origins (Lab leak) 3) Zero-COVID policies and lockdowns.

I always question these things - what if we are wrong?
Funnily enough, now probably biggest licensed, paying user of mirc is US DoD for use in C4 systems, with text messages on IRC handling things like arranging supporting fire...
Nothing pisses me off like finding a suite of tests that has fakes with logic in them. By the time I find them, the fakes are longer than the tests. Often the commit history shows that this accumulated by accretion, and nobody ever pulled the emergency stop lever. Other times it's people who are wrong-headed about what problems tests are trying to solve (coverage chasers are but one category).
Ah yes, 'CDN at home'.

Sadly people's connections are so asymmetrical they're likely to have problems or get upset from that kind of thing.
Or, perhaps they remind you of what didn't need to be done after all...
I don’t really understand your comment. The original concern was that if workers in a private company knew each other’s salaries, there would be particular problems. I am claiming that those haven’t appeared in my experience with public salaries.

You have named many problems with working in public service. That doesn’t seem really relevant, though; I certainly am under no illusions that this is a perfect environment, just that salary transparency is not disastrous.
Saw the fix, thanks!

Was it also unintentional that instances of classes, after they have been converted to communism, compare equal with anything whatever, and hash equal to the integer 1 and the boolean True?

>>> import communism
>>> class MyClass1:
... pass
...
>>> class MyClass2:
... pass
...
>>> communism.revolution(globals())
>>> MyClass1() == None
True
>>> set((MyClass1(), MyClass2(), 1, True))
{<__main__.MyClass1 object at 0x7f8f3532a820>}
>>>
If space is relative (ie. not a separate thing itself) it seems so, you have the shortest possible distance, so that delimits what the chunk of space is.