saurabh20n

5 ms·

1.
Starlink satellites on ion thrusters to raise orbit; incomplete 2nd stage burn(twitter.com)
3 points by saurabh20n 2y ago|0 comments
2.
New Scientist: Arc-AGI(newscientist.com)
1 points by saurabh20n 2y ago|0 comments
3.
by saurabh20n 2y ago
Looks like you’re one of the authors. It would be nice if you could post if the actual data matches your reconstruction—now that you have it in hand. Would help us not worry about the data provenance and focus on the result you found.
4.
by saurabh20n 3y ago
Discussion of the 72B model happening here: https://news.ycombinator.com/item?id=38475501
5.
Qwen OSS 7B,14B models; techreport - Code-Qwen, Math-Qwen [sep28'23](arxiv.org)
1 points by saurabh20n 3y ago|1 comments
6.
by saurabh20n 3y ago
Summary from https://arxiv.org/pdf/2309.16609.pdf --- (q: how does one format lists on HN?) * qwen-{1.8B,7B,14B}: * 3 trillion tokens; start with BPE tiktoken, cl100k base vocab, augmented with chinese, numbers spl
7.
by saurabh20n 3y ago
actual title: “Prompting Frameworks for Large Language Models: A Survey” LLM frameworks might imply stack for building models (pertaining, fine tuning, inference etc)
8.
by saurabh20n 3y ago
Notes from quick read of paper at https://arxiv.org/abs/2302.10866 . Title of popsci is overreaching, this is a drop-in subquadratic replacement for attention. Could be promising, but to be seen if it is adopted in prac
9.
Modular: Unified Matrix Multiplication(modular.com)
3 points by saurabh20n 3y ago|0 comments
10.
Teaching Large Language Models to Self-Debug(arxiv.org)
95 points by saurabh20n 3y ago|60 comments
11.
Evaluating the Logical Reasoning Ability of ChatGPT and GPT-4(arxiv.org)
44 points by saurabh20n 3y ago|60 comments
12.
Self-Refine: Iterative Refinement with Self-Feedback(arxiv.org)
3 points by saurabh20n 3y ago|0 comments
13.
by saurabh20n 4y ago
Congrats on the launch. I think you should share some technical details for a more substantial pitch. You are using the OSS BigCode effort and "The Stack" [1, 2] (as you say in another comment), which is great. A few questions tha
14.
by saurabh20n 4y ago
Quick notes from first glance at paper https://research.facebook.com/publications/llama-open-and-ef... : * All variants were trained on 1T - 1.4T tokens; which is a good compared to their sizes based on the Chinchilla-m
15.
by saurabh20n 4y ago
The last author's tweet thread and replies have some interesting tidbits: https://twitter.com/Eric_Wallace_/status/1620449934863642624 * "We propose to extract memorized images by generating many times w
16.
Binance chain bug postmortem – Proof verifier bug(twitter.com)
3 points by saurabh20n 4y ago|0 comments
17.
by saurabh20n 4y ago
For the curious, here are direct links: * Initialization was done 42 days ago: https://etherscan.io/tx/0x53fd92771d2084a9bf39a6477015ef53b7... -- "Click to see More" and notice "Input Data" paramete
18.
by saurabh20n 5y ago
https://ericpony.github.io/z3py-tutorial/guide-examples.htm should be a quick start.
19.
by saurabh20n 5y ago
For this problem, an enumerative solver may be more optimal (and faster); where optimality is finding the word with the least number of guesses: There are ~158k 5-letter words. Start with a word containing letters with the highest frequency
20.
DeFi Flash Loans: Why Flash Attacks Will Be the New Normal(medium.com)
4 points by saurabh20n 5y ago|1 comments
21.
What Are DeFi Flash Loan Attacks?(coinmarketcap.com)
2 points by saurabh20n 5y ago|1 comments
22.
Synthetic Minds (YC S18) is hiring a compiler engineer for program synthesis(workatastartup.com)
1 points by saurabh20n 5y ago
23.
Synthetic Minds (YC S18) is hiring a compiler engineer for program synthesis(workatastartup.com)
1 points by saurabh20n 5y ago
24.
Synthetic Minds (YC S18) is hiring a compiler engineer for program synthesis(workatastartup.com)
1 points by saurabh20n 5y ago
25.
Synthetic Minds (YC S18) is hiring a compiler engineer for program synthesis(workatastartup.com)
1 points by saurabh20n 5y ago
26.
Synthetic Minds (YC S18) is hiring a compiler engineer for program synthesis(workatastartup.com)
1 points by saurabh20n 5y ago
27.
by saurabh20n 5y ago
I just started using this library 2 weeks ago. It is beautiful. We were in python land, and dreading moving to C++ for performance. This is a life saver. Not having to dig up COM UUIDs for interfaces is super nice. The lead developer of com
28.
Asteroid 2020SO to make near earth approach could be 1966 Centaur rocket booster(sciencealert.com)
3 points by saurabh20n 6y ago|0 comments
29.
by saurabh20n 6y ago
2 in Computer Science and 1 in Math.
30.
by saurabh20n 6y ago
Synthetic Minds (YC S18) | REMOTE (limited to US) | $125k-$180k | 9th team member: engineer/designer Synthetic Minds is building program synthesizers, i.e., automation that can write code. We have a working prototype in stealth and are

More ›