skysight-inc/HackerNews huggingface dataset:
Given that even our first-tier colleges and universities still have no real idea how to teach math in a way that ensures that students will internalize and understand it, this isn't surprising. I think one of the most curious things about the modern world is that centuries into working with higher math, we still do not have good ways to teach it.

Most students with creative insights that could help advance the field tend to wind up one of two ways: (We need to create a viable, replicable third way - today it seems to require exceptional personalities for both student and teacher...)
1) They slog through the existing math education system, but it crushes their creativity and insight, leaving them mostly useless husks (this pit catches most mathemeticians, IMO), or,
2) They become disgusted by the incomprehensibility of higher mathematics and abandon the field entirely (this is a huge chasm of a pit, that prevents most all engineers and scientists from ever becoming more than moderately competent in mathematics and methods.)
Yes, at least for Arch and Debian (the only two i searched for)
Space-time tradeoffs of lenses and optics via higher category theory [video]
There are various ways to subscribe with or without the app. Deep links to subscribe are supported: https://ntfy.sh/docs/subscribe/phone/#ntfy-links -- not sure if that's what you meant.

If this doesn't work for you, you can always create a ticket or make your own app or website using the subscription API: https://ntfy.sh/docs/subscribe/api/
Tor – Project Teams present 'State of the Onion' – Nov 09, 17:00 and 19:00 UTC
I'm not rejecting the news, I largely reject superficiality and attempts to interpret statistics outside of domain knowledge and analysis of calculation methodics (oh the poor souls tasked with rigorously counting something in Russia)

> "Russia begins where asphalt roads ends" :) there are always some truth in jokes.

There is also some joke in jokes :)

St Peters may be bleak, but the culture of outside decorum really tells us nothing of the culture of basic utilities. People may not have city-like central services in rural wilder areas, but claiming that they had never seen plumbing is just super dumb.

It's not 15th century, how would one even operate their house without plumbing, c'mon.
A lot of things get done asymptotically close to the True Scotsman singularity.
FTX Token Plummets as Market Fears Possible Alameda Contagion
Online Mobs Act Like Flocks of Birds
This will be even more useful next year as Apple is said to open the flood gate of iOS web push in 2023
You start and just do the hard messy work.
A forensic accountant I know who worked with the Australian Federal Police said bitcoin had transformed their job in a GOOD way: the evidentiary chain of intent behind peoples money moving (mixers aside) was so much simpler with a self-documenting sequence of events.

Pseudonomy in distributed ledger isn't anonymity. It's a lovely loose thread on the jersey which un-knits the whole thing back to a set of simple sequences.
While I agree a business should have something higher and valuable, business is usually so competitive that mere breathing is hard enough. Most die before even mastering that.
There might be some stylistic similarities but Matt Levine is actually good.
the study provides an interesting read, thanks for the link.

It is interesting when you look at the reading results, in particular the only significant difference in reading speed was for people that typed using 2 spaces at the end of a sentence, when they also were reading a document formatted that way. (I note that the other 3 articles cite back to the same source study)

This would appear to show that considering most people outside the legal profession do not follow that convention, that there is no real benefit, particularly when even this improvement was not considered statistically significant in the study.

I did a quick skim of the course notes, and I can defiantly agree with the principals your teaching. I hope your students appreciate just how important those points are in all there written communication.
Nasir Gebelli
Eventually yes, but not anytime soon.

Right now Bike is very much a text editor, while notational velocity is more database of text files. At some point I hope to add a "workspace" aspect to Bike where you can open a directory of Bike files, but this is a long way off. For now the focus will just be to improve the text editor aspect of Bike.
They called 911 over cut little thumb while cooking? Or did she somehow accidentally cut off whole finger? Who in the world and where ever calls 911 for normal cooking cuts? And ... what does this has to do with children?

Or like, they somehow cut of kids little finger so badly that kid needed 911 and now they wonder why there is investigation? There is no explanation here that makes sense.
What a barrel of fun.
End to end encryption is already fully designed and partially implemented. I just had a baby and have no time to do it recently: https://github.com/binwiederhier/ntfy/issues/69
I have no idea (and not living here long enough). But if I had to guess, it could be that cheap/free SMS texting came before cheap/free mobile internet and thus it was already established.
Nobody's mentioned Touhou yet? Not only does Zun do all the programming, he also does all the graphics, music, and scriptwriting.
Yeah but freebsd was subversion for a long time, you cant tell me you liked it ;)

BTW Bitkeeper user here...well and git because i have to.
> "We've strengthened our internal team that's dedicated to enhancing best practices when it comes to privacy and we’re continuing to focus on ensuring that guests can make informed decisions about their data when using our app,"

This almost annoys me more than the original intent. They could at least own their actions instead of treating everyone like a moron.
Because American law was written by a deeply conservative Christian society and never updated.

My own country spent the last 40 years liberalising the shit out of tax laws.
So the developer just pays for the server and the Apple Developer Program out of his/her own pocket for the public good?
Actually I never understood how people get so upset reading what other people have to say. It's just their opinions..
Wow, this is absolutely fabulous. Thank you very much for making it. Extremely simple to use. Just really well done.
I believe that you maybe misread me, which usually means that I haven't made myself clear enough.

I'm not saying "LoC is a bad metric because it can be gamed". Most metrics can, if you work hard enough.

I'm saying "LoC is a bad metric because it can be gamed by a child within a couple of minutes".

It's the difference between lock made of a tin sheet and a proper heavy-duty steel lock. People like the lockpicking lawyer can still pick the latter, but the former is so weak that it should never be relied upon.
Competition should theoretically drive prices down, but this hasn't happened.
I don't know why the world's most thin skinned individual thought it's a good idea to put himself in this position. He can dish it out, regularly thrusting himself to the forefront of public controversies, but when it comes to taking it he is a pissbaby.
I just typed it out to see if I could remember, despite not having used it in over a decade. It's funny what sticks to your mind.
will check. congratulations.
I'm not in a position to try ATM, I thought the same question, but could you not just use the web app and have the mobile browser post notifications as happens on the desktop version? There might be different limitations wrt delivery latency between the app and sit though, particularly when your device is in low power mode to conserve battery between periods of activity.
The x86/x86-64 to ARM64 emulator has fixed bugs that has allowed Valve's Proton layer to run God Of War 2018 on Snapdragon 888 Linux devices.

It's amazing that the open source Vulkan driver can actually handle this game!
There's an easy solution to stop worrying among input, iosevka, source code pro, consolas, and the like: https://en.wikipedia.org/wiki/Andalé_Mono

$ brew tap homebrew/cask-fonts # You only need to do this once!
$ brew install font-andale-mono

Of course, most other recommendations in this thread are available as well:

https://github.com/Homebrew/homebrew-cask-fonts/tree/master/...

These land in the same folder as user installs through Font Book. Using homebrew makes moving to a new system as easy as bundling the Brewfile.
Google's AI Journey: From Keyword to Intent to Image
Nobody but you would know your id though.
Ask HN: Is Wikipedia's donation drive awesome or lacklustre?
So I have just seen a popup asking me to contribute to Wikipedia. Sure. While I was cracking open my rusty wallet, I read that "just" 2% of readers donate.

Now, from when I did charity response work - if you got 1% of say readership of an in-house magazine you were digging in a gold mine.

And 2% of Wikipedia's readership must be in the millions of respondents?

Does this mean wikipedia is just recognised by millions of people as valuable and worth supporting? Or is 2% low and they have horrible conversion rates?

I am looking for context I guess

(PS - go donate)
Neat project. Where does the funding come from?
Apple most profitable company in China, thanks to sanctions and Cook’s diplomacy
This one?[0]

[0] https://www.youtube.com/watch?v=VgGBB0hTqo0
I'm not sure about "a single person" but I believe Flask and Requests (both Python libraries) are/were at least strongly connected to a single 'creator' (Armin Ronacher and Kenneth Reitz respectively) that come to mind for me, though both have larger communities of contributors these days.
I've been using Prowl for 13 years and haven't had any problems. I paid for the app once and that was that.

https://www.prowlapp.com
You think 20-50 million people would change app to accommodate 50k people? Not going to happen.
social-engineering, geo-engineering, bio-engineering, post cold war is interestingly fun to witness

As early as the 80's for climate engineering https://keith.seas.harvard.edu/files/tkg/files/26.keith_.200...

Social engineering became clear during Facebook era and the NSA drama

And we now living the bio engineering with the supposed COVID that originated from a supposed lab

It reminds me of the mosquito virus in Brazil, that one was suspicious
Go Maine! Where are you based? Got any app links? And excuse me if I should already know your handle, I have a terrible memory.
Mastodon: Universal Search #9529
Being a Solo Software Entrepreneur at 40
I haven't heard of PostgresML before today. How does it compare to Feast?
Live coding music is nice, but the interface is awful.

Having someone type at a laptop is so boring to watch, it totally kills the mood.

I'd rather have them manipulate lego like bricks on a physical screen or even write on a chalkboard...

Something has to be better than this
Ok, but how large does the organization need to be for that to make sense, or how do you determine that?

I was recently brainstorming some ideas with a friend who has a 1-person business where it would make sense for clients to be able to connect with each other. The thought of Mastodon briefly crossed my mind, but it seemed too ambitious.
I suspect the F-Droid version might have delays. There are various issues when avoiding Firebase. There is no way to fulfill all of these:

- avoid Google servers
- preserve battery
- show timely notifications

https://github.com/deltachat/deltachat-android/issues/82
I don't disagree with your points.
Returning to the thread, I was curious about the hardcore punk bands that advocate communism, and whether that was too broad of a brush to cover that genre. The person in the video lists Bad Brains, Minor Threat Black Flag, and The Dead Kennedys as prototypical. Do any of these "advocate communism" to "critique the capitalist system"?
"Linkedin is basically a reversed Tinder.\nHot girls write to nerd guys and they didn't reply."
100% this. Source: previously worked at Arm. No inside knowledge of this case but this explanation fits background perfectly, whereas the article’s suggestions are incoherent.

Also agree the article is a Qualcomm hit piece.
Lofi and Games – Play relaxing, casual games right from the browser
First learned of Sonic Pi in Dylan Beattie's "The Art of Code" NDC London conference[1]. Overall a very interesting watch; the particular segment mentioning Sonic Pi had really piqued my interest towards this wonderful piece of software.

[1] https://yewtu.be/watch?v=6avJHaC3C2U
Yes, emergency priority: ignores do-not-disturb, full volume, and repeats every x minutes until acknowledged (x is configurable when sending the notification).
I don’t think this is going to be productive, but to be clear: the claim isn’t that science didn’t exist before Popper, or that Popper somehow gets credit for all of science. It’s that Popper has produced the best description of science’s epistemic underpinnings thus far, allowing science to progress without imploding under the demands of positivism. In other words: when we “do” science, the epistemic model we use is less than a century old.

The claim that propositional calculus is in the domain of philosophy and mathematics is not controversial in either domain. Nor is it unusual: the history of philosophy is the history of discharging subjects once they develop a field of their own.
The amount of money/value/richness in the world is not constant.

Suppose we all lived on an island in a completely stable economy valued somehow at 1 trillion dollars.

Then imagine that a dozen or so explorers went to another island and started a completely independent economy that (after some centuries) gets also valued at 1 trillion dollars.

The latter billion dollar was created at the meager cost of a boat and the life work of some people.

This is a horrible analogy for anything that ever happened, but it is something that could possibly happen.
`This is the nearest known black hole by a factor of 3, and its discovery suggests the existence of a sizable population of dormant black holes in binaries.`

480 parsecs => 1500 light years away.
Sony to begin plastic packaging phase-out next year
I'm pretty sure you're not donating to Wikipedia, but actually the Wikimedia Foundation, which, I've heard, is very well funded and wastes a lot of money.
My SO has a similar sense of smell and given her family's situation it's very likely that she went without a prescription for too long in childhood as well.

To me it's like living on a different plane of existence. Among other things she (almost) never gets food poisoning, even though she's no stranger to eating things I wouldn't touch.
MIT and Samsung Create Tetrahertz Camera That Could Be Used for Airport Security
Does anybody have a similar article about service or productized service oriented pricing for agencies?
From the FAQ[1]:

> Will you know what topics exist, can you spy on me?
> If you don't trust me or your messages are sensitive, run your own server.

This is the way. No pinky promises in whitepaper format[2] that leave out the most important bits, no meticulously constructed but entirely meaningless marketing statements[3][4], but unassuming and deferential logic with a mitigation path.

1: https://ntfy.sh/docs/faq/#will-you-know-what-topics-exist-ca...

2: (warning: redirects with identifiers, how ironic) https://www.whatsapp.com/security/WhatsApp-Security-Whitepap...

3: https://privacy.microsoft.com/en-us/privacy-report

4: https://www.apple.com/privacy/
From the build instructions:

> You should download Android Studio (or IntelliJ IDEA with the relevant Android plugins). Everything else will just be a pain for you. Do yourself a favor.

I'm not into mobile programming, and I wonder what is behind this statement.
Normal cut. Immigrants. They didn't know how to stop bleeding. Is it too difficult to imagine?
It does, but it ends up working a little bit like using a regular live-coding language with a DAW in that your switching between the two tools. Plus, from what I can remember in Renoise its largely about populating the tracker interface itself rather than values, which makes the whole live portion of it a bit more challenging
As is always the devil is in the details, but regulating debt to be more difficult to come by or forcing savings seems like it would be broadly politically unpopular and would likely have significant unintended economic consequences.
This is surely a challenging problem.
Oh, that explains why I see more Americans going for PhD (successfully or not) than, say, Germans. It never made sense to me because I was used to it being the thing you can do after an MSc/MA and those already seemed like a questionable choice for many jobs.
Time machine can only back up to HFS+ or APFS. When you back up to a Linux server, it creates an HFS+ (maybe APFS now?) formatted disk image then backs up to that. So ultimately if the FS was problematic, you’d have the same issue (just inside the disk image).
Where does a 2.2 trillion dollar company sit? Anywhere it wants to.

Apple could buy Arm easily if needed, hell they could buy SoftBank.
At https://news.ycombinator.com/item?id=23763739 I collected examples posted to HN, like one from https://news.ycombinator.com/item?id=4617174 :

> A coworker and I were de-duping records in a database. One of us said while pairing on the script "well, every slave needs a master."

> An african american woman in the office turned to us and said "maybe it's the master who needs the slave?"

> She wasn't really offend or anything and she said it with a sincere smile. She was just calling out our idiotic computer lingo for what it was.

So, neither excluded nor offended. But it was still in bad taste.
It’s annoyingly the same cadre of people giving these vacuous speeches over and over —- Bari Weiss handing the microphone to Dorian Abbott or whoever. Your post really nails it.

The only thing I can add is that when you try and dig a bit at how they see this group of people, it’s always a “mob” and not an aggrieved group of future scholars who might have legitimate complains. They’re always, always infantilized.
The "FUNEM" cryptogram I've seen before .. in a British comedy sketch from the 1970s!: https://www.youtube.com/watch?v=h-mX9T2qyIQ

I wonder which came first.
Tell HN: Lenovo advices to Google for replacement battery
Hi HN,

After reading lots of praise on HN about Lenovo laptops, especially with regards to Linux compatibility, at my business we have bought into the Lenovo ecosystem.

Now, one of the laptops (a 3 year old Thinkpad X1-Extreme, ~$3K MSRP) has a bad battery. Normally not a problem since it is a replaceable part. But we could no longer find the battery (or any of it's recommended replacements) for sale on the Lenovo 'genuine' parts store.

After calling with Lenovo sales, we got the answer "we don't sell those anymore", and the advice was to Google the part number of the battery to find a third party replacement.

Honestly, I am dumbfounded by this response. These are supposed to be 'enterprise grade' computers. We bought them with extended warranty (batteries are excluded from extended warranty though). The last thing I want is a knock-off no-brand battery that can explode at any moment.

So in our (admittedly N=1) experience, a Lenovo laptop is a ticking time bomb. If the battery goes bad, you are SOL and you'll either have to invest in a brand new machine, or take a risk with aftermarket batteries.
And a correct one. There is a reason these things did not develop until when and where they did...
VLSI Technology. As I understand it, Acorn provided the existing ARM2 chip and its design team, VLSI Technology provided design and fabrication expertise, and Apple provided capital (and the potential for the use of the design beyond Acorn).
The Needleman–Wunsch Algorithm
Yeah Ryobi is good - but there a specifically is a hydraulic driver which just does so much and so well.

I’d get it on sale of course.
You are probably a urban/hipster with few blue collar immigrant friends.
I sometimes use my little service https://pushurl.43z.one/ If I need to notify my desktop browser or phone with a notification triggered by some code.

I just go to the website with my browser click generate. Then in my script I do `curl $pushurl?title=jobdone`. When it gets triggered a notification popups on my phone that says "jobdone".

It uses the native browser web push API so I don't need to install anything extra.
Awesome work, congrats.

For someone who never did anything datalog I didn't see an example in the repo and the docs (docs.rs) could need some more content.

I hope to see a 1.0 at some point and performance that can compete with SQLite.

Would love to have an alternative, especially as I have a few pet projects that have graph data (well, in the end the whole universe can be modelled as a graph ;))
> MacOS is designed for the point and click majority. You can see this in the lack of any functionality for such a simple task as window tiling.

It also has more complete and consistent keyboard shortcuts than most of the alternatives since that’s been part of the HIG
for decades.

Similarly, I do most of my window management using the keyboard so I’m skeptical that you’ve done enough research to speak so authoritatively, or considered that possibly power users might have more than a relatively minor feature factoring in to such a big decision.
Were you looking at some Wikipedia blog or newsletter thing or was that stat for the general site?
4 load balancers with local caches + 5 replica databases.

I don’t want to discredit the achievement but the 1MM/sec seems less exciting when you learn they horizontally scaled the architecture.

Especially when SQLite, in a client/server config (BedrockDB), achieved 4MM/sec from a single server.

https://blog.expensify.com/2018/01/08/scaling-sqlite-to-4m-q...
+1 to Freeman's book on Alexander. Ghost on the Throne by James Romm is a good sequel to any bio/general book on Alexander. What happened in the aftermath of his death is arguably just as interesting, and had profound impact on history.
That was not my question.

In any case, I actually prefer it the way Signal does because

1) I don't have to sign up for / rely on a cloud provider,

2) if need be, I can decrypt the backup on my own and export it to some other format.

> then they only do backup manually

Wrong. The backup can be done automatically (i.e. every day).
The link you provided does not specifically talk about imessage
OT but i wish they'd add Mastodon support.

https://github.com/caronc/apprise/issues/586
Streamcardano.com Enters Closed Beta
StreamCardano is a serverless platform for building frontend apps that monitor blockchain live.

They entered closed beta and offer developer keys to all interested dApp developers.
I don't find reaperducer's comment to be jaded or cynical. It sounds perfectly reasonable to me.
What mob? What pitchforks? The authors hold all the institutional power.
> A company like Twitter is impossibly complex

And that's precisely why you take care in making decisions (like layoffs) and understand the business landscape (advertising), instead of shooting from the hip and surrounding yourself with yes-men.
As if this guy's intentions weren't already incredibly blatant....oh well.
Yeah, a lot of people stay at hotels like this to have sex with prostitutes and whatnot.

People also book hotels for their family members coming from elsewhere.