Reading [entries|reading|network|archive]
simont

[ userinfo | dreamwidth userinfo ]
[ archive | journal archive ]

[syndicated profile] hacker_news_daily_feed Thu 2025-05-29 00:00
Daily Hacker News for 2025-05-28

The 10 highest-rated articles on Hacker News on May 28, 2025 which have not appeared on any previous Hacker News Daily are:

LinkReply
[personal profile] fanf Thu 2025-05-29 01:23
the algebra of dependent types

https://dotat.at/@/2025-05-28-types.html

TIL (or this week-ish I learned) why big-sigma and big-pi turn up in the notation of dependent type theory.

Read more... )

LinkReply
[personal profile] kaberett Wed 2025-05-28 23:36
things I wish to consolidate the cope to talk about

... include:

  • six months on from surgery: what's recovery looking like?
  • this is actually secretly mostly (but not entirely) about Pilates
  • grousing about getting the Framework actually set up Adequately under Debian (power management noooot doing what I want it to and the GPU seems to keep falling over; have not yet had time/brain to sit down with either the guide to Debian 12 or cross-referencing the way the Linux battery life tuning thread disagrees with the various guides for Ubuntu (which is an officially supported distribution)
  • What I Am Up To This Week

But everything is Very, so for now you just get the list.

Link7 comments | Reply
[syndicated profile] xkcd_feed Wed 2025-05-28 04:00
Archaea
Under the two-domain system, anyone who punches you is technically an Archaean pathogen.
LinkReply
[syndicated profile] schneier_no_tracking_feed Wed 2025-05-28 11:09
Location Tracking App for Foreigners in Moscow

Posted by Bruce Schneier

Russia is proposing a rule that all foreigners in Moscow install a tracking app on their phones.

Using a mobile application that all foreigners will have to install on their smartphones, the Russian state will receive the following information:

  • Residence location
  • Fingerprint
  • Face photograph
  • Real-time geo-location monitoring

This isn’t the first time we’ve seen this. Qatar did it in 2022 around the World Cup:

“After accepting the terms of these apps, moderators will have complete control of users’ devices,” he continued. “All personal content, the ability to edit it, share it, extract it as well as data from other apps on your device is in their hands. Moderators will even have the power to unlock users’ devices remotely.”

LinkReply
[personal profile] andrewducker Wed 2025-05-28 12:00
Interesting Links for 28-05-2025
Link3 comments | Reply
[syndicated profile] questionable_content_feed Tue 2025-05-27 22:10
High Beams

Evanescent more like Incandescent

LinkReply
[syndicated profile] hacker_news_daily_feed Wed 2025-05-28 00:00
Daily Hacker News for 2025-05-27

The 10 highest-rated articles on Hacker News on May 27, 2025 which have not appeared on any previous Hacker News Daily are:

LinkReply
[syndicated profile] schneier_no_tracking_feed Tue 2025-05-27 11:07
Chinese-Owned VPNs

Posted by Bruce Schneier

One one my biggest worries about VPNs is the amount of trust users need to place in them, and how opaque most of them are about who owns them and what sorts of data they retain.

A new study found that many commercials VPNS are (often surreptitiously) owned by Chinese companies.

It would be hard for U.S. users to avoid the Chinese VPNs. The ownership of many appeared deliberately opaque, with several concealing their structure behind layers of offshore shell companies. TTP was able to determine the Chinese ownership of the 20 VPN apps being offered to Apple’s U.S. users by piecing together corporate documents from around the world. None of those apps clearly disclosed their Chinese ownership.

LinkReply
[personal profile] andrewducker Tue 2025-05-27 12:00
Interesting Links for 27-05-2025
Link26 comments | Reply
[syndicated profile] xkcd_feed Mon 2025-05-26 04:00
Mass Spec
Patients at least found it to be an improvement over Millikan's incredibly messy and unpleasant oil drop suspension procedure.
LinkReply
[syndicated profile] questionable_content_feed Mon 2025-05-26 22:04
Dynamic Illumination

taking off her shirt acts as a flashbang

LinkReply
[syndicated profile] hacker_news_daily_feed Tue 2025-05-27 00:00
Daily Hacker News for 2025-05-26

The 10 highest-rated articles on Hacker News on May 26, 2025 which have not appeared on any previous Hacker News Daily are:

LinkReply
[syndicated profile] llvm_weekly_feed Mon 2025-05-26 21:30
LLVM Weekly - #595, May 26th 2025
LinkReply
[personal profile] andrewducker Mon 2025-05-26 12:00
Interesting Links for 26-05-2025
Link18 comments | Reply
[syndicated profile] questionable_content_feed Sun 2025-05-25 21:53
Can't Fault It

Liz is very smart

LinkReply
[syndicated profile] hacker_news_daily_feed Mon 2025-05-26 00:00
Daily Hacker News for 2025-05-25

The 10 highest-rated articles on Hacker News on May 25, 2025 which have not appeared on any previous Hacker News Daily are:

LinkReply
[personal profile] kaberett Sun 2025-05-25 23:53
vital functions

Reading. Bridget Collins, Feather (lalaietha), Jenny Lawson )

Listening. More Hidden Almanac, including First Appearance of Pastor Drom; slightly grumpy with myself for dozing through a chunk of it (to a greater extent than I realised; I did get snippets, but missed more than was apparent at the time) and am steeling myself to relisten.

Cooking. More from East: aubergine katsu curry with pickled radish (meh on my part, but A liked it), roasted carrots and cabbage with gochujang (meh on A's part, but I liked it enough to nibble at it between meals even though I'm unlikely to make it again), asparagus and mangetout with chilli peanut crumb (not actually worth spending in-season asparagus on outside the Cook Everything In This Book project, but pleasing given that context).

Eating. WILD ASPARAGUS is I think the most exciting thing I have eaten this week.

I have been Disappointed by Wagamama. Much less disappointingly, I have been plied with blueberries and yoghurt. Finished the hazel-bay-rye-and-rhubarb cake; have made some progress on the birthday cake I got sent home with.

Exploring. I am currently Away From Home. There are postbox toppers. One of them is Many Round Hedgehogs; another is Sea Creatures including Mollusc. I am sort of curious about who else I might spot in the area.

Making & mending.

Growing. ... I did not get cucumbers started. I did get some more squash into the ground (well, raised beds), and planted out a bunch of tomatoes, and at least two kinds of pea are now flowering, and I will be mildly resentful if I get home and discover all the strawberries have been eaten.

Did I mention that my established rocket remains established? I was a little concerned that I'd buried it under too much manure, and then it showed up in the next bed over.

Observing. BABY WOODPECKER.

Link3 comments | Reply
[personal profile] emperor Sun 2025-05-25 18:53
Starting on the 2025 Hugo Shortlist
I've consumed two things from the 2025 Hugo Award shortlist recently. They're Quite Different.

The first was The Tainted Cup, by Robert Jackson Bennett. I loved this; it's a crime thriller set in a fantasy world, where The Empire exists to keep its people safe from Leviathans. It has a lot of what you'd expect from the crime genre; whilst a couple of times that meant that I spotted the plot twist or reveal coming, there was still plenty here to keep me guessing (and turning the pages). It also talks about power and money (and how those with both can often keep clear of the law), and perhaps something about how we treat those who aren't the same as ourselves. There are some quite gruesome bits. I have a suspicion that there may be a sequel or two, which I look forward to reading :)

Flow is an animated film without any dialogue. After some apocalypse that has removed all of humanity, a flood comes, and a little cat (our point-of-view character) is nearly swept away. Over time it meets and befriends some other animals, and they have adventures together. This is not a plot-driven film, and I think works better if thought of as a poem in cinematic form. There are moments of very authentical animal behaviour, and also some rather less plausible ones (like animals being able to operate a tiller). I would have liked to have seen this on a big screen, I think.
Link2 comments | Reply
[personal profile] andrewducker Sun 2025-05-25 08:58
Photo cross-post


After the rest of the party are kidnapped by gnolls the wizard thinks carefully about where he should have lunch.
Original is here on Pixelfed.scot.

Link5 comments | Reply
navigation
[ viewing | 20 entries back ]
[ go | earlier/later ]