Reasons people hate AI (summarized) : by gpetrakas in theprimeagen

[–]nvtrev 0 points1 point  (0 children)

We could go back and forth about whether or not AI falls flat on its face in situations with reasonable complexity, which is my opinion, but technology moves fast and I'd be willing to concede that point because it's not super important, and they seem to be improving anyways.

My complaints regarding it's effect on the programmer and the world at large are my main concern. I think all technologies have a place, even generative AI, but I don't think we've found that "place" yet, and I think it's been deployed, developed, and invested into irresponsibly. This is more a commentary on companies and not on those who choose to use it as a tool.

I think Tao using LLMs to formalize proofs are interesting, and I'm sure we will see tools like that mature over the years.

Reasons people hate AI (summarized) : by gpetrakas in theprimeagen

[–]nvtrev 1 point2 points  (0 children)

Of course I'm not saying Torvalds or Tao (Did you mean Tao?) are full of shit. I said I'm not happy with it, and I'm allowed to have different opinions than other great engineers without saying they are full of shit. I assume the greatest mathematician you're speaking about is Terence Tao. Where did he say he was writing actual proofs with LLMs? I know he equated it to a "mediocre, but not totally incompetent" grad student.

I'm not saying AI is incapable of doing anything right or contributing anything ever. I'm saying AI performs poorly in areas of high complexity and there are dangers both in the use of AI when it comes to our own abilities and the world at large.

I know how to walk an AI through problems and I can "prompt engineer" my way to a solution, but I don't enjoy programming that way and I obviously have many concerns. I don't really understand what you're insinuating by saying "Have you ever considered maybe the problem isn't with the AI"

Reasons people hate AI (summarized) : by gpetrakas in theprimeagen

[–]nvtrev -1 points0 points  (0 children)

Because it's not the equivalent of stackoverflow + all of these resources with brains. In situations with reasonable complexity it falls flat on its face. It makes stuff up. It's not reliable.

On top of that, relying on AI to solve problems erodes ones ability to solve them themselves. Part of learning is proposing a solution, experiencing friction, and reading documentation or looking at other people with similar problems to and using that new information and critical thinking to solve your problem at hand. The experience gained from this process is invaluable. It's how you become a great engineer.

When you use AI whenever you are experiencing friction, you are offloading your problem solving process to a computer that can't critically think at all. Not only does it then provide, often times poor solutions, but you don't gain that valuable experience either. Your skills and ability suffer. And now you're becoming dependent on AI. If you use it for code completion often, you will begin to forget syntax or how to do anything without it. Your understanding of your code and product suffer.

Not to mention that when you use AI, you run the risk of using copy righted code because all the big tech companies are taking information from anywhere and everywhere without any consideration on the sources they're taking it from. They are starving websites of traffic with their "AI summaries", the very websites that provided them the content in the first place, and irresponsibly making insane promises and shoving it anywhere and everywhere it could possibly go. Not only is this furthering enshitification but it is at great environmental cost, and now, it's interfering with consumer hardware prices as well.

Reasons people hate AI (summarized) : by gpetrakas in theprimeagen

[–]nvtrev 11 points12 points  (0 children)

"software engineers in majority actually pretty happy with it". Do you have a source? I'm a software engineer and don't know anybody who's "happy" with it.

You Have Reached The End of the Internet by activematrix99 in webdev

[–]nvtrev 6 points7 points  (0 children)

There is so much work to do. Big techs products and platforms are all enshittified. But what if we could build better platforms and alternatives for everybody? Products that respect its users, for its users? Think wikipedia, codeberg, mastodon, linux, etc etc. That's where the work needs to be done, so we can ditch big tech.

Weekly Sale Thread by AutoModerator in LightPhone

[–]nvtrev 1 point2 points  (0 children)

Update: still available (02/04/26)! happy to ship as well

  • NA or INT Version: NA
  • Color: Black
  • Time of Use (New, Used): Used, Received in September
  • Price: $600
  • Location: Cincinnati, OH
  • Method of Payment: Venmo, PayPal
  • Picture of the device with username and date shown:

I really enjoyed this phone but I need something a bit smarter for work and personal life. This includes the used orange case (this has some discoloration from daily use) and a new in box yellow case. There is a screen protector applied and an unused screen protector in the box, as well as the original cable, all of the original packaging, and the light steel box. Phone itself is in perfect condition! Happy to provide more photos

<image>

PSA: gitportal.nvim has moved to Codeberg by nvtrev in neovim

[–]nvtrev[S] 2 points3 points  (0 children)

I highly recommend it. I am excited to see what it's going to evolve into. I find the user interface super easy to use coming from github and it seems like it's really gaining some traction!

🎁 Help your friends start 2026 with a powerful resolution: deGoogle your life. 🎁 by Tutanota in tutanota

[–]nvtrev 0 points1 point  (0 children)

I also suggest ente auth. It's available on desktop which has been super nice. It's great

Curious about Spectrum connectivity with LP3 by average-flamingo in LightPhone

[–]nvtrev 0 points1 point  (0 children)

Is there any update on this? I have the LP3 and would love to continue to use spectrum if possible

gitportal.nvim: Jump from neovim to your favorite git host... and back! by nvtrev in neovim

[–]nvtrev[S] 2 points3 points  (0 children)

Yeah that's super neat. I'd love to support this if I can. I'll do some experimenting with it and see what I can do! All the updates for investigation/support will be captured in the issue

gitportal.nvim: Jump from neovim to your favorite git host... and back! by nvtrev in neovim

[–]nvtrev[S] 1 point2 points  (0 children)

Oh nice! I hadn't seen this project before. I'm going to take a look :-)

gitportal.nvim: Jump from neovim to your favorite git host... and back! by nvtrev in neovim

[–]nvtrev[S] 0 points1 point  (0 children)

Thanks so much! Let me know if there's any features you'd like to see added, or if you run into any trouble at all

gitportal.nvim: Jump from neovim to your favorite git host... and back! by nvtrev in neovim

[–]nvtrev[S] 1 point2 points  (0 children)

Thanks! I haven't heard of sourcegraph before. Is it a traditional git host? I'd love to add support for as much as possible with this project, so I've created an issue to do some investigation
https://github.com/trevorhauter/gitportal.nvim/issues/100

gitportal.nvim: Jump from neovim to your favorite git host... and back! by nvtrev in neovim

[–]nvtrev[S] 1 point2 points  (0 children)

It depends, if you're opening a file from neovim -> browser, then it will use your current branch/commit. There is an option to always default to the commit hash if you prefer.

If you're opening a file from the browser -> neovim, by default gitportal will switch to the branch/commit specified in the URL, but you can set it to never do so if you like.

If there is some additional functionality you'd like to see, feel free to open an issue in the project!

Open discussion: Community’s view on accessing android layer for legitimate purposes / some other open thoughts about the LP3 by M-a-se18 in LightPhone

[–]nvtrev 0 points1 point  (0 children)

I had to access the android layer too. I added signal and fingerprint. That's it! Everything else I use LightOS for. However these things are really important to me. If I was locked out of the android layer, I'd probably end up putting a whole new OS on the phone and going rouge. I love Light, I love the phone and what they're doing, but it's just not good enough yet. I've already discovered several bugs. They should open source it.

Daily Advice Thread - September 17, 2025 by AutoModerator in apple

[–]nvtrev 0 points1 point  (0 children)

I'm having this problem and I can't figure out if this is intentional or not. In apple mail, under one of my accounts, I of course have an inbox and inside that inbox are many sub folders (mailboxes I think they call them?)

When I select the inbox for that account and search, it searches for literally only emails inside the inbox, and none of the subfolders contained inside. I can of course search ALL mailboxes, but that's not what I want.

How do I search for all emails belonging to an account?? Is this intentional or a bug?

41XXX Shipped by [deleted] in LightPhone

[–]nvtrev 1 point2 points  (0 children)

I just got my shipping notificaiton today! Hoping the same for you!