HNHacker News
TopNewBestAskShowJobs

poly2it

1,225 karma · joined April 24, 2025

submissionscomments
poly2it··on 26,400 live credentials found scanning 7.25M repos on China's Gitee
They compare this in the article:

  Platform  | Repos scanned | Verified-live credentials | Per 1K repos
  ----------+---------------+---------------------------+-------------
  Bitbucket |    ~2,600,000 |                     6,212 |         2.39
  GitLab    |    ~5,600,000 |                    17,430 |         3.11
  Gitee     |     7,256,531 |                    26,400 |         3.64
poly2it··on New iPad mini
It's probably very subjective, but I actually feel dizzy using my phone in 60 Hz mode.
poly2it··on Moderna and Merck say their mRNA cancer vaccine cut death, recurrence by 42%
This is a relevant question. Is it ethical to indirectly kill people for profit? If so, under what circumstances? Phrased like this, it sounds ridiculous, but that must imply that the acts being committed are not understood by the people causing them through the lens I am interpreting them.
poly2it··on LLMs are making formal software verification feasible at a much larger scale
Did you consider using an established Rust verification toolchain like Aeneas?

Edit: I don't do this often, but why is my question being downvoted? Is this question not allowed?

poly2it··on Source code of the Estonian online voting system
> some formerly popular youtuber did a video about this topic

I don't know about this event, do you have a link?

poly2it··on Making Chicken Transparent Using Dorito Dust
Does this colouring apply to and persist in live tissue?
poly2it··on Woman who rescued injured crow keeps getting 'thank-you gifts' from birds [video]
What do you think the rational value is in discussing animal behaviour using deontological assumptions?
poly2it··on Last rites for Gentoo's Chromium package
That may be true, but I don't see how it is the same topic as the build system.
poly2it··on Last rites for Gentoo's Chromium package
This is not really relevant within the discussion of Chromium's build system.
poly2it··on OpenCode 2.0
Put the agent in a sandbox.
poly2it··on Iosevka is an open-source, sans-serif and slab-serif, monospace font
I believe so.
poly2it··on I would like the value of my home to rise, while my property taxes fall
> One way out could be to tax the value gain at the time of sale

This is how it works for sales in Sweden, via the so called "reavinstskatt", or profit realisation tax. Funnily enough, it is mostly applied to individuals in practice. To avoid the taxation, companies package properties in subsidiaries, which can then be sold and traded like any other stock. The tax is then postponed until the de jure sale of the property, which never occurs. Individuals are not eligible because the loophole is closed if the legal owner also occupies the property they own.

poly2it··on Show HN: Free open source Adobe Lightroom alternative, completely local with AI
I'm not sure you submitted the actual artefact? Would be interested in knowing, though.
poly2it··on Someone has decompiled the Adobe suite, rebuilt in Rust and released it as OSS
They are clean-room implementations based on their GitHub:

https://github.com/storytold/photocraft

poly2it··on Anatomy of a Lean proof for software engineers
Gosh, all this academic nonsense like nuclear power and airplanes!
poly2it··on AI Makes Me Sad
My business is going just fine. Don't underestimate the business value of handling schlep. As I said, "a prompt" is not sufficient to run my business, even on a technical level.

https://www.paulgraham.com/schlep.html

poly2it··on AI Makes Me Sad
Right now, I can definitely prompt Claude better than my customer. Claude's abilities, when steered, are definitely impressive, but I have never seen it correctly architecture around a problem unless explicitly critiqued.
poly2it··on How to speed up the Rust compiler in September 2026
It doesn't seem to be quite that simple?

https://forge.rust-lang.org/policies/llm-usage.html#experime...

poly2it··on I Could've Accessed 17T Microsoft Records
Operating income for Microsoft was $128.5 billion in 2025.

https://www.microsoft.com/investor/reports/ar25/index.html

poly2it··on SDF vs. MSDF vs. Slug: GPU Text Rendering
> A note on fairness, because the technical reader will ask.

I think it's a mix of human and LLM writing.

poly2it··on I'm the mom in that viral Giants clip. Let me tell you about my husband
Wow, Reddit is horrible. Atrocious behavior. Leave your brains in the anteroom!

> Whoever sees this and it reminds them of their current relationship, DUMP HIM

> you can tell by the body language, lack of initiative, and lack of joy and welcome-ness for his woman and baby to be back, everything you need to know.

> There is a VERY good chance that when he realizes he went viral for being the *Poster Manchild* of taking your spouse for granted, of choosing to act like a parasitic blob

Modern Reddit provides a simulacrum of commentary. There are posts and people discusing these posts, but nobody understands or wants to know anything about the underlying topic. The lack of comprehension is crucial to the community.

poly2it··on Microsoft abandons personal AI chatbot race with Copilot reboot
It boggles my mind that Microsoft can fail to deliver even bare minimum working software so consistently, with all the engineering talent they house. What are the product teams doing?
poly2it··on I asked Meta’s Muse for its filesystem and it sent me 6.8GB
Am I missing something? This isn't a vulnerability. Your agent can see the files in its virtual environment. SSH keys are also not necessarily confidential. Please don't use AI to write blog posts.
poly2it··on AX – Google’s Open Agentic Orchestrator
It's most likely an axolotl.
poly2it··on Show HN: Cactus Needle 3: 8-29MB automation models can match DeepSeek V4 Flash
I tried the phone model:

"My car crashed I need help"

{ "'crashed' implies need for music. 'play_music' with query 'car crashed' from user's words.", ..., "confidence": 1, }

poly2it··on One Year of Sponsored Servo Development
Thanks to the scheduler, you can do both!
poly2it··on Introducing System One Models and Jev
Is there a bottleneck which would hinder putting this architecture in charge of a humanoid? Would it be able to operate continuously, for example in conjunction with an LLM for long-term reasoning? Doom seemingly works extremely well.
poly2it··on λ Snap – An inviting programming language for kids and adults for CS study
I learned to program from block programming, starting out when I was 12. I'm now a full-time developer and funded startup founder. You absolutely can learn complex concepts from simple primitives, and there is a large underground community pushing the limits of languages like Scratch. See for example Linux running on RISC-V running on Scratch:

https://turbowarp.org/1201938491

poly2it··on Open Source Durable Objects for Postgres
Please don't submit AI-generated articles.
poly2it··on Larger Pacific Striped Octopus
LPSO Astra.
Page 1 of 13Next →