Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
cpeterso
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
5 ms
·
61.
▲
Mozilla Used Anthropic's Mythos to Find and Fix 271 Bugs in Firefox
(wired.com)
41 points
by
cpeterso
6mo ago
|
18 comments
62.
▲
by
cpeterso
6mo ago
I use the "Unhook" Firefox extension to customize the YouTube page. You can hide shorts, comments, recommendations, the home page feed, and more. https://unhook.app/
63.
▲
Meta creating AI version of Mark Zuckerberg so staff can talk to the boss
(theguardian.com)
4 points
by
cpeterso
6mo ago
|
1 comments
64.
▲
Intuit compressed months of tax code implementation into hours
(venturebeat.com)
1 points
by
cpeterso
6mo ago
|
0 comments
65.
▲
Linux kernel maintainers are following through on removing Intel 486 support
(arstechnica.com)
18 points
by
cpeterso
6mo ago
|
1 comments
66.
▲
by
cpeterso
7mo ago
A post about big-endian testing with QEMU was posted on HN just a few days ago: https://news.ycombinator.com/item?id=47626462 https://www.hanshq.net/big-endian-qemu.html
67.
▲
by
cpeterso
7mo ago
Clang’s C++2c implementation status page simply says “no” for both reflection and contracts. GCC’s says “yes”. https://clang.llvm.org/cxx_status.html https://gcc.gnu.org/projects/cxx-status.html
68.
▲
Attie: The Future of AI Should Serve People, Not Platforms
(theliquidfrontier.leaflet.pub)
4 points
by
cpeterso
7mo ago
|
1 comments
69.
▲
by
cpeterso
7mo ago
> Wisdom I received from, IIRC, the Perl documentation decades ago Perl is a language renowned for being difficult to read and maintain.
70.
▲
by
cpeterso
7mo ago
OpenCode's creator acknowledged that the ease of shipping has let them ship prototype features that probably weren't worth shipping and that they need to invest more time cleaning up and fixing things. https://x.com
71.
▲
by
cpeterso
7mo ago
I was curious why some expressions in the code used the character ù, such as “If Zù500”. It looks like a character encoding error, but the code presumably works correctly. ChatGPT says the byte value for ≤ in TI-BASIC is the same as ù in AN
72.
▲
by
cpeterso
8mo ago
Looks like LLMs also find Dafny easier to write than Lean. This study, “A benchmark for vericoding: formally verified program synthesis”, reports: > We present and test the largest benchmark for vericoding, LLM-generation of formally ver
73.
▲
by
cpeterso
8mo ago
And they can get “too build to fail” bailouts from the US government after they are dependent on ChatGPT.
74.
▲
by
cpeterso
8mo ago
Good PR for Anthropic: the DoD already has contracts with OpenAI and xAI, but is still so eager to use Claude that they must threaten Anthropic.
75.
▲
by
cpeterso
8mo ago
> Version two: hide foes? That's a good idea. Here's my bad idea: the extension auto downvotes foes and auto upvotes friends. :)
76.
▲
by
cpeterso
8mo ago
If you haven't already, check out Microsoft's "The Windows® 95 User Interface: A Case Study in Usability Engineering" report summarizing some of the Windows 95 designers' user research: https://dl.acm.org
77.
▲
by
cpeterso
8mo ago
Can the app run on smart glasses, warning you of other smart glasses users nearby? You might not see the notification on your phone.
78.
▲
by
cpeterso
8mo ago
There are a few tools to compile COBOL code to .NET without needing to rewrite in a different programming language.
79.
▲
by
cpeterso
8mo ago
GitHub recently added new repository settings to turn off pull requests or limit them to approved contributors. The announcement doesn't mention AI agents, but that's certain relevant. https://github.com/orgs/
80.
▲
by
cpeterso
8mo ago
Or they could write native client apps using Qt to handle that “last 10%” of native app polish.
81.
▲
by
cpeterso
8mo ago
> So I gave up. Try your mobile browser’s reader view mode.
82.
▲
by
cpeterso
8mo ago
No shift key needed for square brackets! Curl was a proprietary Lisp that {curly brackets} and was designed in the 1990s to build web applications. https://en.wikipedia.org/wiki/Curl_(programming_language)
83.
▲
New GitHub repository settings to configure pull request access
(github.com)
2 points
by
cpeterso
8mo ago
|
0 comments
84.
▲
Your pet's microchip may now be useless after chip company goes out of business
(local12.com)
28 points
by
cpeterso
8mo ago
|
26 comments
85.
▲
by
cpeterso
8mo ago
> The first release of NT is planned as a workstation product that will provide a strong competitor to UN*X based workstations. UN*X spelling for trademark reasons or a joke that UNIX is verboten at Microsoft?
86.
▲
by
cpeterso
8mo ago
Link to discussion of the matplotlib PR: https://news.ycombinator.com/item?id=46987559
87.
▲
GenAI Go SDK for AI
(50984e11.maruel-ca.pages.dev)
1 points
by
cpeterso
8mo ago
|
0 comments
88.
▲
by
cpeterso
9mo ago
And Google and Microsoft have huge distribution advantages that OpenAI doesn’t. Google and Microsoft can add AI to their operating systems, browsers, and office apps that users are already using. OpenAI just has a website and a niche brows
89.
▲
by
cpeterso
9mo ago
I like Basecamp’s framing of software development time as management’s “appetite” for a new feature, how much time they are willing to spend on a project, as opposed to an estimate. This helps time box development and control project scope.
90.
▲
by
cpeterso
9mo ago
> using u8 prefixes would obligate us to insert casts everywhere. Unfortunately, casting a char8_t* to char* (and then accessing the data through the char* pointer) is undefined behavior.
More ›