skysight-inc/HackerNews huggingface dataset:
> pure math (topology and countability) and computer science have almost no overlap in the short term.

This is an unexpected opinion. What do you mean by this?

I would argue the opposite.

Look at Formal Verification[0].

Here's a great video about a popular formal verfication proof assitant: https://www.youtube.com/watch?v=Dp-mQ3HxgDE

A quote from the mathematician in the video expressing enthusiasm for using computers for mathematics: "All I want to do... I don't want to do mathematics on pen and paper anymore, because I don't trust it, and I don't trust other people that use it; which is everyone." (in case people only read this quote, instead of watching the lecture, the tone is tongue-in-cheek)

Formal Verification would seem a literal intersection of pure math (formal proofs[1]) and computer science (formal specification[2]).

Of note, one of the popular underlying foundations of an approach to formal verification is Homotopy Type Theory(HoTT)[3][4] which is an asserted effort to show the relationship between type theory and, specifically, topology (homotopy[5]).

[0] https://en.wikipedia.org/wiki/Formal_verification : fancy word for 'computer verified mathematical proofs'

[1] https://en.wikipedia.org/wiki/Formal_proof : fancy word for 'proof'

[2] https://en.wikipedia.org/wiki/Formal_specification : fancy word for 'rules for an algo that checks a proof'

[3] https://en.wikipedia.org/wiki/Homotopy_type_theory

[4] https://homotopytypetheory.org/book/ : a great read, even if you are a novice, or prefer other formal verification foundations

[5] https://en.wikipedia.org/wiki/Homotopy_theory : "It originated as a topic in algebraic topology"
If you can get it done in half an hour and it pays for the fuel.
I think that the other commenter was referring to the relative complexity in JWST's unfolding/deployment. It might be possible to deploy something from Starship that doesn't need to be packed as tightly (and save on engineering costs there) and still get around the same performance.

A complicated sunshield deployment seems somewhat inevitable, personally, but I'd be happy to be proven wrong there.
And you conveniently danced around the middle step that maybe was important and went right into the absurd one. Maybe you shouldn't be so calm, somebody may be pulling a fast one on you.
There is a good chance that batteries for grid storage will be from different technologies than lithium.

For instance:

https://ambri.com/
obligatory arXiv-vanity conversion:

https://www.arxiv-vanity.com/papers/2106.14204/
I wonder if groupBy should have had some sort of into argument. Otherwise, we may end up with four groupBy methods. groupBy, groupByToMap, groupByToWeakMap and groupByToRecord (should records land).

Edit: this has already been discussed https://github.com/tc39/proposal-array-grouping/issues/3
What text editor do you use? Get a course on that. Totally transferable skill no matter what you end up doing.

I know a good one if you use Sublime Text ;)
Calling it a fact check (even implicitly) causes people with poor critical reading skills - to wit, almost everyone - to interpret the expert opinion as being undoubtedly true. This is a big part of the widening divide between right and left, which is a major issue.
I accidentally inserted a screw driver into a switch without a cover plate, making contact between the hot and the grounding frame on the switch. I still have that screwdriver somewhere, about half the tip was melted. I don't remember getting shocked, but it blew the fuse on the circuit and scared the hell out of me.
> cruising on no power other than what the Ariane initially gave it

Webb has already done multiple burns to get to L2 after being released from the Ariane upper stage. Preserving time on orbit is important but the bigger issue is that Webb can only fire its thrusters in one direction (because it can't point the optics at the sun) so any overshoot is catastrophic. Ariane thus was set to intentionally undershoot L2 and Webb is making up the difference with its fuel.
Same experience as you. I still take psychedelics once in a while but at this point it has become really clear to me that after a few initial epiphanies it can becomes purely recreational. I love taking them recreationally but I am no longer idealistic enough to think I'm really opening the doors of perception.

Talk therapy, becoming estranged from abusers in my family, and SSRIs helped me long term conquer my PTSD and depression.
The factors are latency and assumptions of perfect future data. Their point stands; if your environment ends up 5-10 degrees warmer or cooler than expected, it takes time to course correct, even with a smarter control system.
I'd be quite surprised if that was true for the timeframe in question: the total number of images for 2015 were roughly the same as Flickr users had uploaded in a single year 8 years earlier.

https://en.wikipedia.org/wiki/DeviantArt#cite_ref-34

https://en.wikipedia.org/wiki/Flickr#/media/File:How_many_pu...

One big confound arrived when Flickr started having automatic uploaders which meant that a lot of accounts had every photo someone took on their phone even if most of them never saw much activity. DeviantArt had deliberation in the upload path so I'd expect lower numbers but higher average quality.
I honestly don't know how people navigate in society without this being plainly obvious to them. The number of people who believe most claims can be checked to any level of certainty is genuinely worrying and highlights a fundamental lack of critical thinking within our society, and therefore democratic process.

As you say, most of the time these aren't "facts", but usually opinions or hypotheses based on a subject interruption of some data. The truth is even if 99% of the evidence we have today suggests masks work, this doesn't mean masks work, just that it's very likely they do assuming there isn't some bias in the research. The reason I mention bias is because it's simply true that in the past research on things like contentious subjects like climate change, smoking and various diets have been biased by corporate interest.

I think the problem we have with misinformation today is less that people sometimes believe the wrong things, but they believe the wrong things with high levels of conviction and passion. The first step in the solution to misinformation in my opinion should be to promote an attitude similar to yours -- one of general scepticism and an openness to new information and beliefs.
I have 4 kids aged 1 to 6. We've never monitored milestones that closely. What can monitoring really help with anyway? All of the kiddos we have were fast at some things and slow at others.

As someone else said, unless the kids are extremely behind at something and need professional assistance (which will be pretty obvious once they are in daycare or school), there is no point.
We do know masks prevent the spread disease. Look in any Operating Room. If masking by the general public is shown to be ineffective, that only argues for further education on how to mask properly.
They're no longer owned by Yahoo/Oath and are now part of SmugMug.
> and the gun nuts are cheering on those who are destroying it.

Which gun nuts?

Conservatives? Or the Trumpists? Maybe you mean the Libertarians? Or is it the John Brown Gun Club? Or maybe NFAC?

"Gun nuts" is considerably more nuanced than presented.
I tried to design one, using a blockchain. [1]

It had all sorts of nice properties, including some resilience against Sybil attacks.

The problem was that, even with the ability to "forget" unneeded blocks, the storage requirement was simply out of reach for the regular person. [2]

And because it's out of reach of the regular person, it will inevitably centralize around companies that do it for people. And we're back to where we started.

So that's why I gave up on the idea.

[1]: https://gavinhoward.com/2020/07/decentralizing-the-internet-...

[2]: https://gavinhoward.com/2021/03/setting-aside-an-idea-decent...
> I'm a relatively new user. I started with Spacemacs, switched to doom emacs, and more recently finally crafted my own config.

I use Spacemacs (and I like it). For people who switched over to Doom Emacs, I like asking them why did they switch over? What were your reasons?
https://archive.is/weSgM
Citation needed on that. Flickr had absolutely explosive growth in the mid-to-late 2000s. DeviantART always struck me as a much more niche community.
one-time: TOTP and HOTP library for Clojure
What are the odds this will turn out to be due to ransomware?
That sounds like you're implying that black Americans aren't actually American.
There seems to have been a noticeable dropoff in new depression treatments. Sometimes I wonder if resorting to these options is a kind of desperation. I'm not saying these things shouldn't be investigated, but most of these illegal drugs will cure depression in the short term, but not so much in the longer term. Even the SSRIs have become a disappointment for many in the long term.
Apple gives top engineers bonuses up of $180k to curtail defections to Meta[..]
The power of the classic is largely in being pliable enough to be read in new ways by successive generations, if taken litteraly Plato obviously has nothing to say about downvote etiquette.
there is nothing interesting or new about "blockchain". it's a specific implementation of 3 things that are older than you are
If you're anything like me, the hardest part is to get started.

Look at "Getting Things Done". Perhaps you need to dig deeper into what should you do next to get that documentation written?

For example, maybe it's just coming up with the outline. Or one smaller section. Or showing some example codes perhaps.

And as others have said, reward yourself with a treat if/when you complete (some of, all of) the task.
No. A statement can relate to truth-or-falsity independent of its own truth or falsity.

Example: You falsely accuse me of robbing a bank. I admit I robbed the bank, due to a threat against my family. Later, my defense counsel discovers evidence of the threat.

The admission is still an admission. It grants that the accusation is true, even though it isn't. The evidence pertaining to why the admission is false is also fair game to explain why not to give any weight to the admission, but it nonetheless remains an admission.

Same here. The public discourse should absolutely correct the record and establish what the President meant. He should probably issue a clarifying statement. But it doesn't change the fact that he made a statement that, by its own words if not by its probable intent, conceded the truth of an accusation.
Marissa Mayer, thats what. [1] https://www.vox.com/2018/4/20/17264274/flickr-smugmug-yahoo-...
Thank you! I tried really hard, and seems I succeeded, I'm glad it worked.
the first two things you said are preposterous strawmen, the third I already mentioned, the fourth is wrong. you don't know what will happen in 10 years, maybe some new coal extraction technology will be invented, maybe new sources will be discovered, maybe it becomes possible to economically extract the CO2 from the smokestacks and coal becomes green and gets tons of subsidies. yeah it's unlikely, but it's not something you can "fact-check". it does violence to the meaning of the term.

imagine telling someone ten years ago that oil prices would go negative, which they did last year.

and apart from all of this, for every example you can give me of an obvious black-and-white issue where you really could fact-check it 10 years in advance, there will be 99 others where it's really not so clear-cut, but partisans want there to be fact-checker approved talking points for their side. and the market will fill this demand. for subjects outside your domain-expertise, good luck telling the difference.
Psychedelics by themselves are not a panacea. But therapy or otherwise guided experience augmented with psychedelics has huge potential.
Government provided residential flood insurance is a horrible example of moral hazard and should be eliminated. Taxpayers shouldn't have to subsidize investors who choose to purchase property in flood zones.
but that the best advice we can get now
> "Telling someone which pixels they can't serve is censorship."

Ignoring the extreme irony of people supposedly on the left arguing to protect corporate rights and personhood (of an absurdly wealthy megacorporation, no less), this is the same argument as "Telling a shop owner which $PROTECTED_CLASS they must serve is restricting freedom of association." once used by bigots. In both cases, yes, it is but both are public accommodations and it serves the greater good to require that they serve everyone equally.
I think the point of a template is that you can change everything yourself, it is not a library you install with a package manager and are expected to leave alone. Given the good explanation of what is going on, I think disabling the about page is a fair decision.
Ada/SPARK is pretty close to unheard of in the US.

People tend to solve problems with the languages they know and can find people to hire who know it. C++ is fast, and there's a good number of people to hire who know it.

Actual comments I've heard from senior developers when I tell them I write Ada in my spare time:

- "That language is still around?"

- "Other than you, I've never heard or anyone who has ever used Ada."
180k isn’t a whole lot in the Bay Area. But it still got a chuckle out of me because this is Apple!
That was my first thought that it looked like an art installation. Making it bigger makes it more impressive, and may hide losses or make them smaller to appear perpetual.
> If it is false is it really right to flag the post. I mean yes it is false but as Americans we are suppost to have free speech when we don't.

Your first amendment right to free speech is a limited freedom from the government stating that the government cannot stifle or compel your speech. Facebook is not (yet) the government, so the 1A protections do not apply to Facebook. After all, if Facebook were forced to host content they didn't want to host, that would be considered compelled speech.

I would argue that if a post is verifiably, unequivocally false it is right to flag it as such. Maybe limit its reach in "discovery" platforms but still show it to followers/friends. This is a very, very small percentage of posts (think: "the earth is flat," not "do vaccines really work?"). These warnings should link to reputable, peer-reviewed research as a primary source and a reputable secondary source for those who don't want to read the research paper.
Stossel, it should be noted, is currently suing Facebook, Science Feedback, and Climate Feedback. He acknowledges that a private company has the right to ban, take down, or deprioritize content as it sees fit. Moreover, different individuals and organizations can disagree about basic factual questions like the science of climate change. But he says that in attributing to him a direct quotation that he never uttered, the fact-checkers committed defamation.

Seriously?...Stossel is a contributor to Reason.
I was trying to find a legal MDMA assisted therapy recently but apparently it’s still illegal outside of clinical trials.
> this is how you refute bitcoin

I don’t need to refute cryptocurrency for the same reason the onus isn’t on me to disprove the existence of god.
how does this work with ctypes and things like that (or clangd)?
I didn't know about this. Thank you.

I will no longer avoid arXiv posts like the plague.
Note that `window-system' is deprecated in favor of `(display-graphic-p)'.
At what level?

intro: freedman, Pisani, purves. Very clear and accessible.

Intermediate/advanced: casella and Berger

Advanced: Bickel and doksum

Overview of ML and modern stat methods: efron and hastie

You are spoiled for good choices frankly.

What’s the best textbook you have read about X? In general the answer is “the third one.” By that time things sink in and the third book seems super clear and understandable.
(at the part you replied to)
Ketamine is legal for medical use in the US. So you’re going to miss out on the dollar this time.
>what costs do you mean? Costs in the broadest sense? That's a very amorphous type of cost.

It's clear facebook and twitter are primarily funnels towards polarizing content presented in disjointed snippets which makes real discourse impossible. This is a product of corporations chasing "engagement metric" at the cost of social corrosion and polarization.

>We can mostly infer this already and that knowledge isn't helping much

Who is "we" in this sentence? Not the average citizen.

It's not just about inferring but really understanding and improving upon.

>This will have hard-to-predict consequences that may or may not be better than the status quo. We're trying to find a balance between free speech and misinformation. Harsh punishments are a blunt weapon.

We're already down the path of hard-to-predict consequences. The root cause of GROWING engagement with misinformation is the architecture of social media. Social media needs to find balance with free speech not the other way around.

>Not sure how this would solve the problem under discussion. It would merely spread it over a larger surface area.

Two reasons why it might help. Moderation makes more sense in the context of smaller communities. The corrosive nature of social media is in large degree how it's been executed. We need a diversity of examples to see what works and what doesn't.
It's a good reason to not assume that it's worth reading. I personally gave up following him on twitter because he's such a dick. I personally do find this line of argument compelling though
You relax. I was only making the comment in jest. I guess low-quality comments spawn low-quality comments, and for that, I'm sorry.
> At least on Linux, with Network Manager, one of the options when configuring a network interface (including a VPN) is to set the subnets that are reached via it. Most universities will have a /8 or /16 subnet, within which their internal services sit (assuming the services are on-premises). You can do a split route, so this subnet is reachable via the tunnel, but everything else is routed through your regular WAN connection.

When I was in grad school, the VPN was mostly useful because it granted your access to most academic journals. Routing non university traffic around the VPN would probably break that.
No, just that they realize that expanding the war doesn't offer a realistic path to victory. Not that they ever really had a realistic path to victory, it's not like the Chinese part of the war was particularly planned, but just not digging when one is in a hole is always a good first step.

And it's important to note that the embargo Japan got themselves into wasn't caused by their invasion of China but rather their invasion of French Indochina, something that should have been a lot more avoidable.
Yes sorry I was looking at the wrong row. Edited my comment above.
What happened to Flickr? Marissa Mayer. She counted user experience as one of her core skills. She revamped Flickr's user experience. When she was done the site was unusable. I think she realized it, because along with releasing the new UX she compensated for its suckiness by upping free storage to 1TB. A couple of takeaways: (1) A lot of people who think they are good at UX, aren't. (2) When people in power make mistakes they rarely admit it or undoes their "improvements".
I don't fully remember the details, but my understanding is that the thing that most hurt Flickr was internal Yahoo politics around mobile apps.

The Flickr team were understandably very keen to get a great mobile app released - but Yahoo had a separate division (I think called "Connected Life") which had the internal monopoly on mobile development - and the Flickr team weren't allowed to release their own application independently of that team.

Then Instagram happened.
im thinking if you dont own it then how does it equate to being yours, thus income?

perhaps we should also be taxed on what we borrow
Ask HN: How do I set up a WiFi internet gateway similar to retailers or hotels?
I received a TP-Link Omada AC1200 Gigabit Wireless Access Point for Christmas and would like to use it to provide an open WiFi connection for people to use in my area.

I would like to have this network isolated from my existing home networks and have a RPI2 that I would prefer to use for the server but am willing to purchase another router if need be.

What I would like is to have a logon page that anyone wishing to access the internet must load in their browser and agree to "MY" T&C, similar to what many hotels and chain restaurants have.

I have searched for information on this but I am coming up short on specific keywords to narrow down the results. Any help or direction in where to find such information would be greatly appreciated.

Thank You.
Capital Hill riot vs insurrection

BLM "mostly peaceful" protest vs riot
DeepMind's Model Queries Trillions of Tokens with ANN
Ahh, I finally get to flex. With our powers combined, me and a random unknown dev successfully set up a Python REPL that has access to emacs. I.e. you can program emacs via python:

https://twitter.com/theshawwn/status/1472371143000707075

https://github.com/zielmicha/emacspy/issues/1

Setup guide: https://gist.github.com/shawwn/64e17ac3f7b272ce0ce16eb6a593b...

Maybe this'll be the boost you lurkers need to get your butts into one of the coolest editors. "Not your dad's editor" -- new emacs slogan, probably. /s

Bonus screenshot of compiling emacs on a 96 core TPU: https://i.imgur.com/YtJ8jF7.png

It launches emacs, then uses the (relatively) new dynamic modules feature to start a Python runtime, which can then import a library that accesses emacs.

But to my surprise, Python can also import whatever you already have `pip3 install`'ed. I imported jax and did some high speed calculations in lisp. Just kidding, I really did import jax, but it'll take a bit more work to be able to pass numpy arrays to emacs. :) But it's "just" a matter of making some kind of RPC system so that (+ a b) ends up calling back into python to do the addition. Then the circle will be complete -- elisp from python (already done), and python from elisp ("exercise for the reader").

For real though, go throw that fella a star on his github repo. The most surprising thing was that this project has been quietly on github for like two years already. It was sitting at zero stars when it popped up in one of my random google searches.
201 Tabs. May be down to 180 after I read through some news.
Every day since Windows 11's release, Microsoft is alienating people and indirectly making desktop Linux the better option.
Advising people to self medicate is very bad advice.
I did a pros/cons analysis and figured out that it would be my best bet since I knew the language at a around a B2/C1 level and there was no other EU country that spoke English (my preferred language).
However, I severely underestimated how difficult it would be to establish a social circle without very fluent Swedish and without existing connections. There is certainly an expat community that I've tried to interact with, but sadly covid has made in-person social gatherings almost non-existing (restrictions have not been very severe here but many groups like language cafes have been cancelled or moved online). Hope things get better in the spring!
The "actionable" part is that Facebook is mis-attributing statements to some sources like "Reason" and John Stossel that they never made.

> But [Stossel] says that in attributing to him a direct quotation that he never uttered, the fact-checkers committed defamation.

I think someone may be able to get a judgement against Facebook if the "fact-checkers" err in this manner.