pramodbiligiri

5 ms·

61.
by pramodbiligiri 5mo ago
There's a more accessible syntax for TLA+ called PlusCal: https://learntla.com/intro/faq.html?highlight=pluscal#what-s...
62.
by pramodbiligiri 5mo ago
It is described in the "Code Contracts" section of the article: "Code contracts specify preconditions, postconditions, and invariants for critical functions. These contracts are converted into runtime asserts during testing b
63.
Learnings from 100K lines of Rust with AI (2025)(zfhuang99.github.io)
192 points by pramodbiligiri 5mo ago|205 comments
64.
Evolving specs (2025)(github.com)
1 points by pramodbiligiri 5mo ago|0 comments
65.
by pramodbiligiri 5mo ago
Looks like that time command was invoked from "fish" shell: https://fishshell.com/docs/current/cmds/time.html
66.
An introduction to TLA+ and its use in parties (2023)(innoq.com)
2 points by pramodbiligiri 5mo ago|0 comments
67.
GNAP: Git Native Agent Protocol(github.com)
2 points by pramodbiligiri 5mo ago|0 comments
68.
by pramodbiligiri 5mo ago
Some kind of planning / speccing out is becoming inevitable. No personal experience with openspec but I do rely on generating plans, and then a set of tasks from the plan. And keeping a close eye on what's going as the tasks are c
69.
Full Walkthrough: Workflow for AI Coding – Matt Pocock [video](youtube.com)
2 points by pramodbiligiri 5mo ago|0 comments
70.
by pramodbiligiri 5mo ago
The link in the post didn't work for me. This worked: https://mesmacosta.medium.com/from-idea-to-execution-buildin...
71.
Code with Claude 2026 – San Francisco (playlist) [video](youtube.com)
1 points by pramodbiligiri 5mo ago|0 comments
72.
Elevated errors across Claude Models (May 8, 09:49 UTC)(status.claude.com)
2 points by pramodbiligiri 5mo ago|0 comments
73.
Claude Code Agent Monitor(hoangsonww.github.io)
1 points by pramodbiligiri 5mo ago|0 comments
74.
Come From(wiki.c2.com)
1 points by pramodbiligiri 6mo ago|0 comments
75.
LogAct: Enabling agentic reliability via shared logs(arxiv.org)
2 points by pramodbiligiri 6mo ago|0 comments
76.
Agent is a distributed system (and fails like one)(maheshba.bitbucket.io)
5 points by pramodbiligiri 6mo ago|0 comments
77.
543 Hours: What happens when AI runs while you sleep(michael.roth.rocks)
11 points by pramodbiligiri 6mo ago|11 comments
78.
A practitioner's framework for engineering trust from unreliable agents(michael.roth.rocks)
2 points by pramodbiligiri 6mo ago|0 comments
79.
Building agent skills: Intent, determinism, and stability(alexhans.github.io)
1 points by pramodbiligiri 6mo ago|0 comments
80.
Curriculum 68: Recommendations for academic programs in Computer Science(slideshare.net)
2 points by pramodbiligiri 6mo ago|0 comments
81.
How to build an Agent(ampcode.com)
3 points by pramodbiligiri 6mo ago|2 comments
82.
Uber: Leading engineering through an agentic shift [video](youtube.com)
2 points by pramodbiligiri 6mo ago|0 comments
83.
The tragedy of leisure(ft.com)
2 points by pramodbiligiri 6mo ago|0 comments
84.
TOON: Token-Oriented Object Notation(toonformat.dev)
2 points by pramodbiligiri 6mo ago|0 comments
85.
CS146S: The Modern Software Developer(themodernsoftware.dev)
1 points by pramodbiligiri 6mo ago|0 comments
86.
Human TODO(humantodo.dev)
2 points by pramodbiligiri 7mo ago|0 comments
87.
AI tooling for software engineers in 2026(newsletter.pragmaticengineer.com)
1 points by pramodbiligiri 7mo ago|1 comments
88.
Review of "Vibe Coding: Building production grade software with Gen AI"(pramodb.com)
3 points by pramodbiligiri 7mo ago|0 comments
89.
Learning about Option Value, how to measure it, Gen AI and DORA (2025)(itrevolution.com)
3 points by pramodbiligiri 7mo ago|0 comments
90.
Creating a Vibe Coding culture (2025)(itrevolution.com)
1 points by pramodbiligiri 7mo ago|0 comments

More ›