vzaliva

The missing integration point is reading progress. The killer feature (for me) of Kindle is that I can have several devices and continue reading on any of them with my position in the book synced. I want that across different readers.

For example, if I buy now Xtelink X4 for reading ‘on the go’, there is no easy way to switch back to a larger device for more comfortable reading at home.

This is a good example of a poor web site design. If you, like me, do not know what Phosh is and go to their website, it will tell you not much beyond "A user interface for your mobile phone," which could mean pretty much anything. Is it a UI level on top of Android? Is it an idependent mobile OS? How it is better that competition? What are key features and design goals?

Comcast + Netflix. My personal experience few years ago: switched to 8.8.8.8 DNS at home and my Netflix streaming become extrelemly slow.

unfortunately many DNS resolvers are integrated with CDNs. I do want privacy of an independent non-tracking DNS but I also want my video streaming work fast. :(

what languages it support? They only mention "language-agnostic".

2:463/80

Kudos for beatiful formulae rendering.

Reading reports of people objecting datacenters build in their states I wonder how Florida residents feel about the Spaceport ? It will certainly be more distruptive than datacenters.

We may be entering the age of "disposable software" (some people politely call it "on-demand software"). Until recently, coding was a highly specialised skill and was relatively expensive. So writing custom code for personal whimsy was a luxury only software developers could afford. Not anymore.

There are formally compilers (e.g. CompCert https://en.wikipedia.org/wiki/CompCert ) which are formally proven correct. I think eventually all production compilers will be formally verified.

He should publish a "bring Tesla to small court" kit, with all documents other people in the similar situation can use to sue them.

It should be a benefit of TSA Precheck program that TSA Pre members would not need an extra step of applying for Gate Explorer.

I do not use KDE and wanted just command-line version of it without any Qt dependencies, so I've burned some tokens and produced just that:

https://github.com/vzaliva/whatcable-linux-cli

I think it is fantastic to have more compiler implementations. It was probably also a fun project to code. What I find lacking in web pages is a motivation. What makes it different from popular compilers? Where is this project heading? What would be potential benefits/use-cases for using this compiler vs others, lessons learned, etc.?

Hardware-supported capability-based architectures like CHERI are great. I am lilttle skeptical about adpotion prospects of software-only implementation of fat pointers for languages like C and C++.

This is yet another variant of the "fat pointers" technique, which has been implemented and rejected many times due to either insufficient security guarantees, inability to cross non-fat ABI boundaries, or the overhead it introduces.

Russians are essentially the only truly literate people left. The vast majority of Russians read regularly, more than anywhere else in the world.

Not really.

According to Nielsen, 59% of Russians read at least weekly. High, but not the highest in the world, and behind China:

https://nielseniq.com/global/en/insights/commentary/2017/maj...

Several European countries have a very strong reading rates, some exceeding 70% of adults reading books annually:

https://ec.europa.eu/eurostat/web/products-eurostat-news/w/d...

What would it show? If he logged in to Santoshi's email account and sent an email to his personal account, the metadata would be in order, and we would learn little from it.

I've installed from snap store

So, I started it and was doing something but there is no obvious way to exit. I tried Q,q, Ecc, :q. I tried `man lnav` in separate terminal - but no man page is provided. `ps` shows 3 processes which would not die with SIGTERM, have to `kill -9`. But nice web site :)

I've tried to type in non-ASCII (Ukrainian) and preview shows it correctly. Does it guarantee it would print it properly?

There's a non-obvious fact that people with good sight might not realise. You need decent eyesight (or spectacles) to actually use smartwatch functions beyond just telling the time. As I've got older, I need reading glasses for small print, which I don't always have on when I'm away from my computer or not reading. That's killed smartwatches for me.

I think it is pretty obvious. While Jack London's martin Eden is out of copyright and public domain now, if they order Penguin edition they still have to pay them some money for it. So Amazon calculated that it is cheaper to print their own. My guess they could not do this for non-public-domain books without securing rights first.

VM hosting is good. But I want to go step further and have a local model in this VM.

Mine understant novell you policy. AI gramair chex no.

It does not. open ssh linux to mac, typing ~ just types it on fish shell prompt. It works after`cat` followed by ENTER

I find another article linked from this one even more exiting: "BearID: Face recognition for brown bears" https://www.raspberrypi.com/news/bearid-face-recognition-for...

I've used ~. for a long time but did not know about others. I know, should have read man page.

Anyway, if you try it from shell prompt it is likely will not work as pressing ENTER shows the next prompt. Try `cat` followed by ENTER and then ~?

Is it something wihch would make PS5 attractive to run local LLM models? I've heard Mac Mini shared CPU/GPU memory makes it popular for that.

A slow day in Go-news land? :)

It is heathwarming to see such mundane small tech bit making front page of HN when elsewhere is is debated whether programming as profession is dead or more broadly if AI will be enslaving humanity in the next decade. :)