skysight-inc/HackerNews huggingface dataset:
Indeed, I feel like I'm reaching towards a generalized understanding of context.

It seems to me that unless the logical languages are restricted from reasoing about themselves they become either incomplete or worse, inconsistent.

I have a sensation that on the computer science side of things, unless "reasoning about terms themselves" is somehow 'handled' (restricted) one can end up with undecidable systems, or worse...

But I still have questions about complexity so I cannot really undesrtand how completeness and soundness realte to decideability.
FWIW I came to the comments because I also found the “Immutability changes everything” paper nearly unreadable.

I just wanted to comment that I love your last paragraph from a conceptual level. You want immutability? Great, let's talk about what performant game design looks like in that context. Games are special, in that they kind of do everything that computers are good at, to varying degrees. The author's ideas about snapshots of relational databases inviting further schema changes in the pipeline—I guess I see the idea you're trying to introduce, but what does it actually look like in a chess program? Or a choose your own adventure game?
I don't understand how the writer didn't realise somewhere during writing this that they're conflating immutable state concerns and higher-level state validation in logic loops.

Collision detection validation and the game loop, to use the example, has absolutely nothing to do with what kind of data structure you're using, and is absolutely not what functional programming was 'supposed to help us avoid'.
I keep thinking I’ll like paper, but I just don’t. A few years ago I started keeping a daily journal: not so much a diary with today I feel… but a record like changed the van’s oil. Drove the kid to camp. Called Mom.. [0]

I was using Drafts on my iPhone as a kind of bullet journal, with an action group I wrote. [1] After a year of this, articles like this one convinced me to switch to a paper journal and to get a nice fountain pen. [2] I've done this for about a year and a half now, and when I fill up this current notebook next month, that's it. I'm going back to digital.

Turns out, pen and paper is vastly inferior to digital in every way I care about. Other people love it and that's awesome, but I can't escape the fact that I hate handwriting stuff, and I often cut my thoughts short so I can quit scribbling. Worse, the analog notes aren't actionable. My Drafts workflow turns my day's worth of bullet-style entries into a set of digital diary entries, new calendar events, and tasks in my task manager. I'm already carrying my iPhone with me everywhere [3], so I don't have to remember to drag something else along. If I'm jogging and think of something, I can say "hey Siri, remind me to..." and it makes a note for me without me having to pause and jot it down. Paper seems nice for impromptu drawings, but since keeping a paper journal, I've literally never drawn something in it.

For me, for my workflow, digital is vastly superior. Paper has its strengths, but none of them apply to how I want to use it. I mention all this for the benefit of other people reading this article and feeling vaguely guilty for not toting a paper notebook with them all the time. I think the important part is the note taking itself, not the medium they're recorded with.

[0] As an aside, this is enough for me to remember that day when I look back at it later. It’d be useless for anyone else reading it, but I write for me, not for a hypothetical person who gives a care about what I was doing in 2021.

[1] It got kinda popular: https://actions.getdrafts.com/g/1Sd

[2] Rhodia Webnotebook A5. Lamy Safari, Noodler’s Baystate Blue ink.

[3] None of this applies while on camping trips. I take a paper notebook with me to write stuff down because I don't have to charge it.
Please do, I’m taking notes :)
Venmo to Charge Users for Selling Goods and Services
I find it interesting that, according to the article and in 2016 at least, North Korean graduate students had unfiltered internet access! Probably monitored, and it mentions they were forbidden from creating accounts in social media platforms, but still... unfiltered access!

This tells me there's a lot we don't know about NK. Lots of people seem to assume maximum oppression/censorship by default, when the reality might be more nuanced.
Is MLOps Convergent or Divergent?
https://archive.ph/il0tV
I've seen a lot of really sophisticated data pipelines and testing frameworks at a lot of shops. I've seen precious few who were able to make well-considered product decisions based on the data.
Certainly not every, perhaps not even most, people with mental health issues spew venom online. However, a disproportionate amount of the invective which I hear when walking downtown in a city, comes from people with obvious mental health issues. There may be many others who are silently struggling with mental health issues who walk by me on the sidewalk, but even a few people who are very much not silent can numerically overwhelm the amount of invective said by the rest of the population. Given that the online environment gives the online equivalent of these few people a bullhorn to broadcast at a much greater scale, the problem is likely disproportionately worse online.
Hahaha nice response, fucking dumbass!

ROFL he's available for startup consultations ahahahA maybe he can do some spell checks for you

Also your website doesn't work =( I was looking forward to that

What's wrong is your daddy a mountie or what man? You sound like a milk drinker. I don't even have particularly strong feelings about this you're just really dumb

ColeChristensen ahahaha gotta remember that. Go outside and talk to some real people and stop living in a bubble with your tv news ass.
Maybe serve as a physical reminder for your friends that you are still part of the class to make it easier when you then get back?

I think I agree with this being over-hyped, but trying to look for reasons it might be a good idea.
Bayer isn't Bavarian, it's Northrine Westphalian.
Bobee Fett?
I never really got started with reddit when it was hot..

And every time I've tried to use the site, it just feels like a hot mess...
What's the alternative? Be only on one platform? Not viable today. Implement 5 different apps, usually not viable.

The platforms are fragmented and the user pays the costs of that in the end, one way or another.

If you hide it by increasing development costs, the price of the app ( or amount of ads or premium only features) must go up to compensate and the user pays the cost as well.

Edit: downvote all you like, there is still no magical solution.
They make it very difficult to be a contributor as well, a lot of subreddits focus on showcasing/bragging rather than discussions now. I've had a DIY question I've posted to the three biggest home improvement/diy subreddits and it was deleted from one, downvoted to oblivion in another one without replies and downvoted to 0 in the last one with the only comment proposing a solution so overkill grotesque that I didn't bother to reply.
Perhaps because a lot of the idea have been picked up by other languages with bigger ecosystems: Swift, Kotlin, Rust, etc?
Was thinking maybe this would mention Tauri but looks like they're rolling their own? Haven't tried Tauri myself, and but really looking forward.
It is inefficient and unpalatable compared to traditional trust absolutely, even to some other crypto methods that try to achieve similar goals. Like I said I'm not really a fan of Bitcoin (or crypto to be honest).

That being said Bitcoin doesn't aim for less product per entropy. That would literally mean you get more reward for doing the same work in the same time but less efficiently which isn't true. That doesn't mean everyone always uses the most efficient hashing method, just like not every car uses the same engine because it has the best efficiency, it just means the aim isn't towards making less product per entropy. The product may not be aligned with what you want (e.g. "very efficient way to trust a transaction") but that's back to calling the energy usage all "just for waste" because you don't personally value the output the same way as someone else (which is true of every use of energy).
Show HN: Timewarp – a terse relative syntax Python datetime library
That’s such a weird point when people to complain about bots and cheaters in games a lot. It almost killed Fall Guys because games stopped being fun.
It's worth pointing out that the poverty line is S.F. is 82k while the federal level is 12k. As others have pointed out this includes shelter, food ...

So, they are spending 73% of the poverty line. This would be the same as a LCOL area spending under 9k to keep a person housed and fed. That seems entirely reasonable. I realize it's not apples to apples comparison,but I think it provides some perspective.

https://sfgov.org/scorecards/safety-net/poverty-san-francisc...
I've never used Telegram, but I suspect the Teams integration with SharePoint/Office365 and the (terrible) way Teams tries to be cake icing and floor wax by integrating file store, wiki, document library, telephone, whiteboard, plugin app ecosystem and webhook scripting environment with Windows ACLs makes it more complex than an independent chat/call/video call program?
Just so you know, adding rel="nofollow" has never been intended to prevent bots from following those links. Even famous crawlers like Bingbot will sometimes follow, and index pages linked to by "nofollow" links.

The only thing that rel="nofollow" does is tell search engines not to use that link in their PageRank computation.

If you do want to block well-behaved crawlers from crawling parts of your site, the proper way to do that is to use robots.txt rules.
Ada provides a kind of iterator called a Cursor which could be used to build up a package of functions similar to the various C++ standard library algorithms. I believe this has actually already been done. Cursors can also be converted back to positional information if it makes sense (like with a Vector).
Plus paper is recyclable
For a second I thought this was the title of a new James Bond.
For many years the secret incantation to run an unsigned app is right click open twice in a row and confirming at the warning. “Run this… yes, and I really mean it!” Once you do this once it remembers and opens normally. This is still the case in Big Sur and on the M1.

This idiom is fine with me. It’s easy to remember but kind of hidden from the non-technical. It also forces you to think a little which protects from accidentally launching an unsigned app.

An alternative idiom that would work would be a red warning and requiring the user to type “YES.” This is also common in non-reversible delete dialogs.
So what are the legal ramifications? Because that's really the only interesting thing here? (A list of affected products would also be good, but that's not interesting, that'd kind of the bare minimum)
Turns out, the world is really really complicated.

So it's better to say that our models are simplified, not lies.
Show HN: I’m an introvert – made an app to help maintain connections with people
I've written some on this topic. Start here https://rigtorp.se/virtual-memory/ , there is more on similar stuff on my website.
I've recently switched to the browser based client https://teams.microsoft.com and ditched their desktop application as I grew frustrated with its extremely slow UI. The browser client is more responsive, consumes less CPU and RAM, and uBlock some of the tracking javascript.

I can live with some of the missing features:

No noise cancellation

Audio devices are configured via windows sound settings

Can only share full screens and not individual windows

Standard Windows notification sounds and not the Teams sounds.

Maybe missing more otherwise its more or less the same app.

I've installed it as a Chrome App and it has its own window, task bar icon / shortcut and generates notifications.

I'd suggest others to try it out.
I mean....obviously it's not quite the same, but there are plenty of people who think that in the former Soviet Union and its republics people had no idea about what the West was up to. That again couldn't be further from the truth - there was loads of smuggled in media, magazines, books, movies with home made dubs, people listened to forbidden radio stations.....yeah all of it was highly illegal and you could get in serious trouble for it, but people absolutely still did it. I have no doubt that similar things are happening in North Korea right now.
> Actually GNU project is one of the culprits for C spreading into a world of that was already moving into C++ and other safer languages.

Both of these things can be true! GNU has advocated for C for some pretty asinine reasons. At the same time, they’ve ported all kinds of Lisp idiosyncrasies into their style guide.
There is much wrong when the institutions cease to function for their citizens.

I can't believe this has to be explained to you: Corporations and governments are working against the people every step of the way.
This is a grit-your-teeth issue every time a storm comes near, especially with the building boom in South Florida (Palm Beach, Broward, Miami-Dade Counties).

Before Hurricane Andrew hit in 1992, the region had not been impacted by a significant storm in years and there was a very lax attitude toward building codes. Many places built in the 1980s we’re not always constructed with the most sound practices [1], builders were taking shortcuts and local government turned a blind eye to the issue.

Andrew changed everyone’s thinking after the “new” neighborhood of CountryWalk was flattened [2]. Some of the strictest building codes in the nation were implemented — and enforced — after Andrew.

But the lax attitude has returned. For instance, in the past decade, I’ve seen new multi-level residential buildings constructed with wood (instead of concrete) above the second floor, wondering how such construction even receives approval given the building code.

But it is happening, and the majority non-native, transient population has no clue the overpriced real estate they’ve purchased may not be suited to handle a major storm. They will face a reckoning if this day ever comes.

I would advise anyone looking to buy down here to do your due diligence. Hire a good inspector and engineer to examine your potential purchase, as well as a lawyer to make sure all repairs or improvements were all done above board.

[1] https://www.miamiherald.com/news/local/community/miami-dade/...

[2] https://en.m.wikipedia.org/wiki/Country_Walk,_Florida#Histor...
Hello hackers. I wrote the app and I hope it can help others like me.

I’m not very good at keeping in touch with friend and family. Also, my girlfriend likes little text messages here and there, and I’m not good at sending them. So “there’s an app for that,” right? No, there actually wasn’t. So I made one.

I define the app as a smart device automation tool for text messages, calls and email that’ll help you stay in touch.

The story on how the app got started, my eureka moments, repeated failures and a little technical detail is at https://medium.com/@mtc.dev/my-first-android-app-story-331c9....

I’d love some feedback.

Cheers.
I don’t think that connecting the 4 buttons of functionality in 5 frameworks is all that much work, when the bulk of the work is backend. Also, it is a trivially scalable problem, where you can just throw 5x as many people at it.

I get the popularity of electron and other cross-platform tools for small startups, but for Microsoft..
Ask HN: How to Get into Category Theory?
I've always been interested in "Pure Maths" and Category Theory, because I'd like to understand the mathematics/logic behind programming more deeply and rigorously (also, just the concept itself is cool).

However, I don't have a very advanced mathematical background (The highest that I've learned is Calculus 2), so I don't know what the "pathway" towards Category Theory is-

What are the prerequisites and/or some resources to learn Category Theory?
The difference in terminology depends which edition of the book you read. In the second edition he includes a long passage explaining that a lot of readers of the first book misunderstood the word "affordances" and so he was now introducing a new term, "signifier," which means what people thought "affordance" meant.

In short, the app already affords you the ability to scroll to the right to view more options, but there's no signifier telling you this.
Inside the Johns Hopkins Psilocybin Playlist
And if cheating can’t be detected via statistical inference on the server inputs like texture hacks to see through walls?
You must be strawmanning my position to make this comment.

Obviously static type systems are useful. I don't even think my point is contrary to anything you are saying. This is not being said as way of undermining any particular paradigm because computation is universal - the models of computation on the other hand (programming languages) are not all “the same”. There are qualitative differences.

Every single programming paradigm is a self-imposed restriction of some sort. It is precisely this restriction that we deem useful because they prevent us from shooting off our feet with shotguns. And we also prevent ourselves from being able to express certain patterns (of course we can deliberately/explicitly turn off the self-imposed restriction! ).

Like the restriction you are posing on your self is explicit in "type systems are carefully designed so that the compile-time reasoning says something useful about what actually occurs at runtime"

If you could completely determine everything that happens at runtime you wouldn't need exception/error handling!

All software would be 100% deterministic.

And it isn't.

I can say nothing of the structure of random bitstreams from unknown sources. I only know what I EXPECT them to be. Not what they actually are.

In this context parsing untrusted data IS runtime type-checking.
> how much we're going to suffer before we accept that

And whether it will even be possible by then to remove enough carbon to make a difference. It's far from clear that it's even possible now. It took several hundred million years for nature to sequester all that carbon in the first place. It has taken us a mere 300 years to release it, but releasing carbon is one hell of a lot easier than sequestering it. And we're staring down the barrel of a blue ocean event in the next few decades, possibly even the next few years.
Imo this is a lame excuse. Some rolling release distros whose packages more or less equally up-to-date are far less brittle, namely NixOS and openSUSE Tumbleweed.

Arch's demanding nature with respect to being routinely updated follows directly from the fact that its package manager is stateful and unsophisticated (e.g., its dependency resolver is incomplete (will fail even when solutions are available, because dependency resolution is NP-complete and 'gotta go fast')).

It's totally fair to call this an Arch/pacman defect. Part of it is also lack of enduring hacks like Debian and derivatives use (long-lived transitional packages), which is a choice by Arch developers. A glance at the online Arch package listing and some example .PKGINFO files indicates that Pacman also doesn't support metadata like 'provides' and 'replaces' in DEB and RPM, which means the developers have fewer tools at their disposal for dealing with transitions like that, even when they want to.

Clearly many users don't mind all these tradeoffs, but others who shy away from Arch after experiences like that mentioned in the GP comment are totally right, as a matter of fact, to blame the design of the package manager for their woes.

We're not looking at the price of bleeding edge packages or a rolling release. We're looking at the price of 'keep[ing] it simple, stupid'.

Edited to add: the existence of the DUR shows that Debian probably doesn't fall on the right side of the complexity tradeoff for the purpose of maximizing user contributions. The same users who contribute to it could also create their own Debian packages, but they don't, presumably in part because it seems harder to get into. (It's not that bad if you use debhelper, but it is also clearly a crufty system that has evolved this way and that over time.)

So Arch's philosophy also clearly has other strengths. But imo we shouldn't give it a pass on the kind of fragility outlined in the GP.
Do you mean type instead of shape? I also don't know what you mean by incorrect. C will also create casts when using two different number types in a math operation.
The percentage of people who would pay for it, probably wouldn't make up for the dev time to implement it.

Once upon a time the HN userbase and the reddit user base weren't a million miles apart, those days are long gone, reddit is mainstream and mainstream consumers don't care that much about ads, the new UI or everything else this thread is up in arms about, it's still the defacto internet forum and nothing I've seen looks likely to replace it.
The article says Electron is a memory hog because it is based on Chromium, but so is WebView2! As it is based on the new Chromium version of Edge.

It’s still not clear how the switch results in half the memory use then (though I’m happy to see it!)
Yeah I stopped using Reddit a couple of months ago and I’m way less stressed out and I’ve just went back to finding forums to post at for discussion the way I did before Reddit. There was a time when I think I did get some intellectual discussion from Reddit and this is why it overtook my forum use and replaced it. Those days are gone, it’s now just a shitty Facebook clone with extra steps and every sub, even r/programming, is a bunch of people who are just memeing 90% of the time.
You ask how you are supposed to find it.

You are not supposed to find it.

Then in next iteration designers can tell management that only 0.3% of users use settings and then they can get rid of it all together.

Just like Mozilla and the settings to remove the top tab bar after you have enabled Tree Style Tabs or Sideberry.

I'm only partially joking here.
There is no ethical consumption. You can only weigh different evils against each other. Unfortunately you only have extremely limited information and limited energy to do so. It hence makes a lot of sense to let governments handle this for you.
Won't the reason be SafetyNet certification for Android DRM?
> Let’s be precise in our language here, please.

It is pretty silly when people who are calling bitcoin a "currency" and autonomous blockchain agents "smart contracts" complain anytime the term "ponzi scheme" is used for a zero sum speculative asset that only pays out gains to existing holders by bringing in new "investors".
I probably wasn't clear. By "now" i mean past few years. I personally feel that the article was speaking from old userbase's perspective.
I still use Skype, as Discord is missing a feature I use. With Skype people can call me using a landline and I can dial out to landlines. It would be cool if Discord added VoIP landline support and could even transfer numbers from Skype to Discord.
The concrete instances are demonstrably useful, since theyre... actually used!
However in Haskell theyre basically one kind of very concrete object. Invoking the abstract machinery of CT to explain list concatenation just has the hierarchy backward. Its like telling someone that inner-product induced norms on hilbert spaces are extremely useful when youre talking about taking the absolute value.
"In California, teenage sucide increased 24 percent, leading to 134 deaths in 2020. In contrast, only 23 California minors died of Covid-19."

More teenagers died of lockdown, than died with COVID.

Why havn't all restrictions across the land (including masks and endless testing) ceased immediately?
Not every business earns its revenue by casting the widest net possible. Focus on users who are known to have the discretionary funds to buy new iPhones and then you’ve also focused on users who aren’t as likely to penny-pinch when deciding whether to pay for your products.