arpit

Hacking code at Comcast Labs / co-organizer @ GDG Philly / love art and design

[arpit @arpit]

Of course the ideal senior engineer is a deep domain expert that drives projects to meaningful outcomes, but it is crucial to recognize your own identity/strengths and your org's needs at any time and make the changes if needed.

[arpit @arpit]

I had an thought about senior engineers in big companies. LMK if you agree:

There are two archetypes that I often run across at senior roles:

1. The Domain Expert with deep technical mastery
2. The Outcome Shipper who excels in execution and shipping high-impact features

[arpit @arpit]

Put a Shipper in a core infra org, and their quick wins create massive tech debt that the rest of the team resents.

[arpit @arpit]

@romannurik What’s a “Founding Engineer” at Google? Not a role I have seen often 🤔

[arpit @arpit]

Feels about right 😂
(source: https://t.co/hqTp6khFav)

[arpit @arpit]

TIL about AI corrigibility

https://t.co/OtZrTBMG6A

[arpit @arpit]

How do people guage the quality of a agentic skill? Token usage? Some kind of readability score?

Is there an agent skill marketplace that grades the skills in their catalog?

[Moritz Schauer @MoritzSchauer]

The most complete list of LLM writing tics I've seen.

[DENJIN @DenjinK]

Couldn't help myself

[arpit @arpit]

TIL about Recursive Language Models

RLM allows a large language model (LLM) to process arbitrarily long prompts (often millions of tokens) without suffering from "context rot" or loss of reasoning quality

https://t.co/xoalsX40di

[Kevin Rose @kevinrose]

Want your own Slack for $0? I open-sourced Ember. It deploys to @Cloudflare’s free tier in about a minute, works with Slack-compatible payloads, and includes an AI assistant and media attachments.

[arpit @arpit]

Insightful graphic of the day
(Source: https://t.co/SAw2dbhz9b)

[arpit @arpit]

Oh man, this chart is so good 👏

[The Intellectualist @highbrow_nobrow]

Marco Rubio: "For years to come, there are many people on the right...that are going to be having to explain and justify how they fell into this trap of supporting Donald Trump because this is not going to end well.” (2016)

[arpit @arpit]

James Talerico’s win in Texas is a reminder that religion is supposed to inspire the best within us, not the worst

[arpit @arpit]

Must be the season. Was discussing formal verification with someone for the last couple of days. Looks interesting .

[GitHub Next @GitHubNext]

How we can secure 50% of the world's software.

Traditionally, formal methods have been mostly used for safety-critical systems like operating systems, hypervisors, and databases. We're extending this to formally and empirically verify code correctness and security for full-stack web apps, one of the most common types of applications*, using the Proof-Driven Development Kit (PDD Kit).

Coding agents now write code faster than anyone can review effectively. PDD Kit turns what the developer meant into a Verus specification. It then proves the AI-generated code meets that spec for every input.

Researchers @alexlavaee, @MatthaiP39719, @Mappletons, and @k_cieslak break down Proof-Driven Development x Chopin in the blog here: https://t.co/EwhqTx2OjT

*44.4% of respondents work as full-stack (27.3%), back-end (13.5%), or front-end (3.6%) developers. Stack Overflow Developer Survey 2026, n = 25,767.

[arpit @arpit]

Cognitive Surrender seems to be the phrase of the week. Keep finding articles on it (definitely feel it too)

https://t.co/mfYslaWOhS

[arpit @arpit]

Voted! Time for a congress and senate that actually does its job 🫡