arunaugustine
- Karma
- 0
- Created
- ()
- Submissions
- 0
- Notes on the Math of LLMs (PDF File Link) (drive.google.com)
- Discontinuation of QuickBooks in India (quickbooks.intuit.com)
- New workflowy feature: Trello like boards but recursively embeddable, infinitely (beta.workflowy.com)
- Show HN: FB Messenger Automation for Creators (producthunt.com)
- From Quitting Silicon Valley to Getting Our First Paid Customer (indiehackers.com)
- Learn TLA+ (learntla.com)
- SEA's trip to Flatlands (Act 1 Scene 1 Take 1) (medium.com)
- How to use AWS Kinesis stream processing in JavaScript (blogs.aws.amazon.com)
- Courage to be MySelf (medium.com)
-
The abstract question I had: What to do when faced with this situation: I need to test a piece of software for logical correctness. But the computation is so complex that in order to generate the test cases and expected…