skysight-inc/HackerNews huggingface dataset:
It's not possible to use internet banking here without being able to receive SMS, so that would be tough. Dumb phone is enough for that, though.
I went back to a dumb phone and a WiFi only iPad.

I downloaded maps for offline use but I hated it and really missed having decent navigation at the push of a small button in my hand.

For music I used a 2008 iPod video. I actually still prefer it when riding my motorcycle.

I was shocked at how much I still needed the iPad for MFA via google authenticator / Microsoft auth / Authy because the Yubikey I bought didn’t work with most sites. This was a couple years ago. YMMV.

I wish I’d blogged about it. I ended up going back to a cheap Android after a couple months of missing a decent camera then go frustrated with the speed of the phone and went to a pixel and then back to iPhone.

When I have been without a phone it’s demonstrated how much I really need one for the simplest things like a calendar, a timer, a flashlight, a camera. A lot of that a dumb phone can do. But navigation is the deal breaker.

That said I think $1000 phones is stupid. I am very happy with the new iPhone SE
If your goal is to take back your attention and stop being a slave to messages and notifications, you can always turn them off and uninstall just those apps. I've been running in 24/7 "do not disturb" mode for the last few years, and it's been a game changer. I use my device on my terms when I want to, not when other people or apps want my attention. All notifications are silent and do not light up my lock screen. All calls go directly to voicemail with no ring. My ring tone and message tones are set to silent audio files, in case I missed something. Any app that I find myself compulsively going into gets uninstalled.

Also, leaving Facebook about ten years ago and never picking up any of the alternatives was a critical step toward taking back my attention.
Yeah, I am on a DODIN as I write this. In the civilian world a CA falls back on a decentralized scheme called Web of Trust which allows CAs to recipricate certs from other CAs and invalidate other CAs as necessary.

The DOD chose to create their own CA scheme originally for financial reasons in that over a long enough time line new infrastructure pays for itself with expanded capabilities while minimizing operation costs dependent upon an outside service provider. This was before CACs were in use.

https://en.wikipedia.org/wiki/Web_of_trust
It is an interesting idea that the main reason socialism failed economically was the lack of online Excel.
Google sets out to disrupt four-year degrees
That was my point. Using a mobile phone as a second factor seems more like an inconvenience.

Other sibling mentioned IMEI pinning, but I assume the emulator can spoof IMEI.

I am all for a separate physical device, just not a phone.
I've considered doing the same. Also, before I ran my own company, I used to never take a phone or laptop with me on vacation.

Here are some things I've done as a half measure to make phones more tolerable:

- Turn off notifications for almost everything. I don't let any of the current crop of messengers send audible (or vibration) notifications. I only see them if I look at my phone. I don't allow notifications from any social app, or really anything else.

- Set up "favorites" on Android, and leave my phone to only allow those through a large chunk of the time. This means the only people that I'll hear ring if they call are basically: my wife, kid's daycare and server downtime notifications.

For me that gets it into the range of tollerability most of the time. It helps that I've always been more of a laptop / desktop person than phone user for browsing. I don't tend to pick up my phone super often. Friends do complain that I'm hard to reach though.
It makes me so mad that companies require phones for MFA. I get distracted by my phone easily and when I tried switching to a yubikey, they told me that my business case for switching wasn't good enough. So frustrating
There’s other Chinese companies such as Tencent which aren’t banned. India has more serious border and resource disputes so they are using apps as a proxy in the fight.

I think the main concern many people in the west have against tik Tok is that is is a form of social media that is directly or indirectly under control of the Chinese government and will be used as a subtle form of information warfare.
I love Letterboxd's approach to movie recommendation wherein they don't provide any. Users can create arbitrary lists for all kinds of stuff based anything like genre, themes, feel, mood, cast/crew etc. There is probable a high quality list for anything you can think of. I have found some of my favorite movies on the site this way, no algorithms involved.

I wish more site would do this instead of collecting every single details about my life and still recommend be garbage sponsored content (looking at you Youtube).
This reads and feels like a 33 paragraph thinly veiled marketing advertisement for StoryGraph, using the David vs. Goliath story model.
Test and Protect – Scotland Covid App
I did it for about a month a few years ago and it was really refreshing. I’ve been trending back in that direction. I got an iPhone SE and uninstalled most apps.

I still really enjoy having a few things: maps, camera, and messaging. I don’t do much of the social thing so that’s not a problem.

I’ve been checking out the Lightphone II. It’s definitely intriguing with the support for a hotspot and podcasts, music, and eventually maps. But I also don’t know that I want to spend that much.
Helm and Magit are why I use Emacs. This is really sad. Can this repo be handed over to someone else? I'd really like to support Helm in my own way, by making code contributions if possible.
Reasons Your Growth Startup Is Hiring Too Junior
I agree, if you're learning a language you will be slower with it. I wrote this from a perspective of having used them for a reasonable time, and I used most of the above fluently, except C#, Ruby, Perl, functional bunch, which I've only used for small side projects. (And I have not mentioned Fortran which we also used a bit, Borland Pascal, Object Pascal AKA Delphi, Visual Basic, C64 Basic, QBasic, x86 and ARM assembly.)

I also know and are fluent in much weirder, atypical languages, almost esolang, of CRM114 and Faust, and rare ones like Nemerle and Vala.

Rust is pretty pedestrian compared to some of these, rather powerful and generally nice. Writing in Rust feels like writing in a cross of C# and C++20 (less verbose) with a sprinkling of SML/OCaml inspired syntax.

Main slowdown I got was having to write some foreign function interfaces, but it was as nice at it as Python with Cython, nicer than say Vala or Haskell.
Much nicer than Java FFI - JNI.
Also the common build and package system Cargo was a bit different from what I'm used to, but not altogether bad.
I have black out periods. A few hours a day that I’m not accessible. Turn phone off, disable all messages in laptop , etc.

It’s really helped with mental health to the point where I take a few days off a month and completely disconnect from “networked” tech. No phones or internet. I walk, I write, I watch movies I took the time to buy instead of taking what Netflix pushes on me.

I can’t say how I’d be without it but I do think it’s improved my life by making me appreciate slowing down more and deeper involvement in anything I’m currently doing.
> Though life was more annoying without a mobile phone

I disagree. My feeling is that life was much better, more "human" without mobile phones. I hate how everyone walks around staring down at their phones instead of looking at the world. It's like an addiction. It reminds me of the ST:TNG episode "The Game". People don't even acknowledge each other's existence anymore.

Face-to-face interactions (pre-pandemic) ceased to exist, attention spans dropped precipitously, laziness increased (I can't be bothered to go out anywhere when I can have it delivered to my door by a "gig worker".) It's truly become a dystopia. If you weren't alive or an adult in the years before smartphones, you may not realize what a dystopia this is in comparison. I'm not even idolizing the past — there were certainly plenty of problems in the past — but this is even worse, and none of the past problems were solved either.

One of the unacknowledged advantages of desktops computers is that you can't take them everywhere. You have to leave desktop computers on the desktop. You eventually have to get up, get away from the computer, and interact with other humans in person. I also feel that mobile phones decrease personal independence. The smartphone becomes a "crutch" that you don't know how to live without. You can't even function adequately without a smartphone in your hand or pocket.
I am flinching while reading the article because it makes me think about the specific examples in my own mind. I'm not even sure I can finish reading the link; it is just too uncomfortable.

Guess I'll have to find a different displacement activity now.
> Otherwise it is half a day of unpaid labor.

>> The same true for an interview

Who does half day interviews? In my 3 years as a professional software dev, I've perhaps spent a cumulative 2 hours in interviews with a company. I know that some companies have extensive interviews. But they aren't as laborious as intensely grinding on a mentally challenging project in an industry such as software.
The true super spreader events are the protests/riots. 1 in 19 million chance of dying. Who cares!! Civil war scares me way more.
Yes, thanks, I was using "scraping" in a more generic way, since I'm sure it does actually use scraping for most video providers.

In fact I'm pretty sure I've seen youtube-dl mention downloading the HTML page when using it with YouTube, so maybe it does even scrape YouTube.
This is done in America mostly for tax evasion purposes. Most larger buildings run by a real entity allow for bill pay, it's mom & pop landlords that usually ask for cash.
> What kind of search system ranks books that don't even have the query that high?

The author is being disingenuous. The search terms aren't in the book title but they are in the name of the series the book is part of. Presumably because a lot of people search for "Jack Reacher" and expect to find something useful.

That's what they are complaining about.
I can't, because I really need these apps:

- Electric scooter unlocking (you scan a QR code on the scooter)

- Car rental and unlocking

- Maps and navigation

- Grocery list (I uncheck items when I notice that I'm running out, so the list is always up to date when I go to the mall)

- Language learning app

- Music streaming

- Podcasts (includes news)

As for my experience, I tried a week without a phone and a year without social media and my conclusion was that I absolutely need a smartphone and like Twitter (after some cleanup and muting some topics). I also tried a Jelly Phone (very tiny Android phone) for a while, which was fun, but a regular sized smartphone just works best for me.

Ultimately, it's up to you, to pick the technology that best fits your life. If you can live with an old-school phone or none at all, why not? The nice thing of the "not owning one at all" option is that you can just try it immediately.
"Set up a small team of one or two strong individual contributors to take on marketing duties."

I think a strong IC Sales + Marketing, who can work solo, generate revenue (Sales), while thinking longer term and process (Mktg + sales op), would be a killer.

Does it exist or am I dreaming? Anybody has such experience, seen it working or not?
pairs() iterates over all elements. I never use ipairs() but plain numeric for loops. This works well with #. I only use pairs() in exceptional situations when I have to copy a table with unknown contents.
SOS Refugiados
And now there aren’t hardly any payphones.
Oh my here we go,it’s audition time for the Trump administration. Show us how to cast aspersions on truth and spin wire into silk.
NBA playoffs: Why this next chapter of Heat-Celtics won't let us down
Yeah but the landlords are just gonna pile this costs onto their tenants, aren’t they? So in the end the tenants are the ones paying for it, not the landlords.
The linked article has a great suggestion to start by hiring marketing ICs instead of marketing managers. Skipping straight to hiring a CMO who intends to build out a full marketing team to get the work done is a recipe for massive spending and long delays before results are seen.

In my experience, the key is to hire someone who understands your market first, not just the art of marketing in general. If their first step after hiring is to do market research to begin to understand the customers, you’re probably too late. You need to get a head start with someone who already knows the industry and the market so they can skip straight to spending marketing budgets where they are known to work well. In parallel they can research additional avenues that could compliment the startup’s unique position.
Some buy it to play music in their living spaces. My dad came back with a free Echo after moving his phone plan to Verizon. Thankfully I got him to be skeptical of it just because they are giving them away for free. Sibling got a google one for novelty. Over time they also stopped using, it got annoying having to plug it back in every time (since I dont let it stay plugged in). cus fuck google, amazon, fb, apple, microsoft, am I missing anyone? Samsung seems to stay lowkey but eff em too.
A phone is just a computer, just like any other device. What do you have specifically against it? You can just keep it turned off except when you need to use it for 2FA.
I find that if I didn’t have a phone, my time would probably just be spent staring at a computer instead. Before smart phones I would sit for hours browsing the internet on my computer.

Now I still spend hours browsing the internet each day, but usually I’m also out and about because I’m doing it on my phone.

However, I’m thinking of getting a smart watch and completely leaving my phone at home. If I really need to communicate someone I find an Apple Watch is good enough, and it eliminates the other distracting apps that eat up my time. Probably the way to go tbh, and if I had kids it’d probably be the first communication device I give them instead of a phone.
I've been using Elixir extensively and as my primary language since since 2016, and love it. :-)

Agreed about all the points, but the tooling could be slightly improved, but that's being done a lot now.

Agreed about all points :-)
I'm doing this currently. I had a job that had zero respect for my personal time and any notification from my phone would chip away at my mood to some degree. It got to the point that my phone made me miserable and I stopped answering calls / texts even from the people I would otherwise want to hear from. I've been separated from that job for years but the resentment of people I don't know being able to 'sound an alarm' on my end (hyperbolic, I know) lingered. Early this year, I canceled my phone contract and transferred my existing number to Google Voice when my physical phone died. Using this for a few days and borrowing my SO's phone to control media to the TV and I quite liked being reachable on my terms. I have since gotten a WiFi only tablet that I use for messaging / calls on the go and to deal with the TV. This works well for me as I can easily contact people when needed with minimal prior planning. I've even road tripped helping a friend move with maps.me downloading my route to my device, stopping at a McDs parking lot for wifi to place a call letting my ride know I needed pickup in ~ 20 mins, etc. It is very doable with the availability of WiFi these days (at least in my area and even along my route in rural US) and I have no plans of getting another phone any time soon. I feel like its like when I was only accessible by land line. If I'm not home or my voice app is closed, sorry -- I'll get back to you when I can.
> the vast majority of internet users were hooked on Amazon and only buying through Amazon links. Consequently, Amazon was paying Goodreads a huge amount of money in referral fees

This doesn't make any sense.

If consumers were already only buying through Amazon... why would Amazon continue to pay referral fees? The referral fee is there to get people who wouldn't buy through Amazon to buy through Amazon. But they were already buying through Amazon... so what's the point?
Four Tips for Starting Your First Development Job Remotely
What's the target market for a product that exposes the whole Linux device stack to an end user?
It's a shortened version of the slur "retard".
How is it ridiculous? Is taking action against a country actively committing genocide ridiculous?
It's probably a mix of being overall rich enough that we can think about other problems (like the environment) and because spending money and consuming is actually a choice. A market driven by consumers choice will create a market for greener products.
The more power the government has the less they care about anyone else but the elite. And they for sure won't care about the terrible conditions of the environment in paesants-ville.
The calendar improvement is small, but nice. Calendar.strftime/3 will make Timex less necessary in some apps.
Looks in remarkably good condition for something that hasn't been used for 50 years. You can even see tyre marks: https://www.google.com/maps/@39.7941501,-122.9358659,3a,75y,...
Ask HN: What are some online communities for entrepreneurs?
Hi all,

I'm a solo founder and looking for online communities to participate in to lift my spirits and find inspiration from others. As you can imagine, being a solo founder is quite stressful and it would be nice to be a part of a community so that I don't feel so alone.

Thanks for your time!
In New York, plastic grocery bags have been outlawed. You can get paper bags, but the stores charge 5 cents per. Reusable bags are now the standard, but that requires some longer term use to pay off.
PLIERS: Integrate User-Centered Methods into Programming Language Design
I don't see how tiktok is worth billions.

USA could perhaps play China's game; ban tiktok, and support a 'local champion' to create an identical US version, let's call it, toktik - it at least sounds more like the poison it is.

Then again, we need to find ways to stop China gaming the world open trade system, forcing the rest of the world to follow Chinese values and become more like China - ie less free.
Snowden leaked documents from the NSA revealing illegal mass surveillance. See here for more info: https://en.m.wikipedia.org/wiki/Edward_Snowden
1) it’s on my trunk which is a moving part. I suspect the perfectly aligned setup doesn’t close or scrapes. I would rather have a trunk that closes perfect and looks a tad off, vs a trunk that doesn’t close right and looks perfect. I am a form over function guy

2) the car is far and away the best car I have ever owned or driven. If someone sitting behind me at a stoplight sees my trunk is 1mm off perfectly centered? Sorry not going to take my car back for that. At this point I don’t see myself buying a non-tesla again.

3) what car do you drive? Have you measured panel gaps with a caliper? If so, why haven’t you gotten them all adjusted to perfect?
Um, the United States of America (depends on the state)

In my state, landlords have to keep a property heated to a certain temperature during the winter, but there’s no law saying the landlord has to provide a thermostat. Many older buildings have a central boiler and radiators.. how do you propose thermostats in each unit with that setup?
Styrofoam clamshell packaging used to use CFCs as the blowing agent, I think, but that hasn't been true for decades now.
I'm not sure I like the "heuristics" terminology with respect to machine learning, but let's agree to it, for simplicity.

Now, in automated theorem proving (ATP hence) there aren't only heuristics. For example, the resolution rule (used by the Vampire theorem prover) is not a heuristic, but an inference rule that comes with soundness and completeness results. It's what I would call a principled choice, i.e. one fully justified by theory. As to combinatorial explosion, in resolution that is not mitigated by heuristics, but by restricting the problem, e.g. to definite logic programs, etc.

See, the problem with ATP is not that we don't know good ways to perform ATP tasks- we do. We have very good algorithms that do that kind of thing. Algorithms that come with theoretical guarantees of optimality. Complexity results. Soundness and completenes results. Decidability results. All that jazz. So there is no real reason to look for approximations of the same algorithms, as might be learned by a neural network- because, why approximate something for which you already have a precise definition?

The real problem with ATP is the huge, unmanageable size of the hypothesis spaces - and the many negative rersults, e.g. of the undecidability of arbitrary first order logic languages, etc. These are not even efficiency problems that can really be addressed by better algorithms, or heuristics- they're fundamental problems associated with having finite resources, in a universe with finite time and having to explore an infinite domain. These are not the kinds of problems one solves by throwing a lot of data at an optimisation procedure.

Contrast this with chess. The search space for chess moves is finite, though large. We don't have a principled "solution" for chess, like a closed-form solution, or an inference rule- just some search procedures guided by heuristics (minimax and its ilk, including MCTS). Here, an approximation is a good alternative, because really that's all we've been able to do so far. In ATP on the other hand, there are principled solutions and we don't have to rely on heuristics and approximations. So, one has no reason to expect that neural nets can do well in ATP just because they've done well in chess.

As to the observation that neural nets have done well in diverse domains, here there's a bit of a survivorship bias at play I think, because for example, neither you nor me really are in a position to know in how many domains neural nets have been applied and didn't do so well, because that kind of work never sees the light of day- unlike the success stories, like chess or Go. So again you can't make very good predictions by looking at what has gone before.

In any case, who knows. I might have to eat my words at some point. Never say never and all that.

EDIT: Sorry about this part of my earlier comment: "I think your enthusiasm is a little premature." Re-reading it, it comes across as snarky and dismissive. That was not my intention, or if it was at the time of writing, I regret it.
Banning an app reduces another nation’s control over the culture and mindset of your country’s people. Whether this is a concern or not is less clear, but theoretically China could censor content that is critical of China, which India and US may not approve of. Or even more subtly it could nudge people in certain directions. Such as the claim that Russia is stoking the fires of internal strife within the US.
When you read and reply to people's comments on the internet, aren't you acknowledging their existence? When you browse the work that they created aren't you looking at the world?
here is more deep analize of Marketing Value Wheel
https://medium.com/@djc1805/what-value-do-you-create-marketi...
If a landlord tried to charge me $50 a month for a meth detector, I'd move. A very small fraction of this is going to be passed on to tenants.
Estimates varies between 2/3 and 90% of all plastic dumping in the Ocean coming from Asian countries.

We really don't have much hope in regulating that.
> It's impossible to overstate how useful GPS is.

Maps are useful (and I think they're more useful in paper or schematic form optimized to particular use case), but GPS is really just a nice to have.
Of course, that’s the whole point. It’s of no use to the CCP if they can’t control it.
If anybody is interested in the tweets - https://twitter.com/Snowden/status/1303841107697168384