marco

@mc@sigmoid.social
792 Followers
410 Following
245 Posts

I like computers, Korean, and computers-and-Korean.

Language and keyboard stuff @Google and PhD student in Tokyo.
Georgia Tech -> 연세대학교 -> 東京工業大学.

Interested in high school CS education.

Academic:
- #ML
- #NLProc
- #Automata
- #CJK
- #Tokenization
- #FederatedLearning
- #Compression

Programming:
- #JuliaLang
- #Python
- #OSS

Other:
- High School CS #Education
- #Korean
- #Keyboards
- #Esperanto
- #Chess
- #Coffee

websitehttps://www.theoreticallygoodwithcomputers.com
twitter@good_in_theory

Any recs for screencasts of people building with Claude Code/Cursor/Gemini CLI/etc?

Doesn't have to be anything complex or long, just clearly showing workflow/interaction/etc.

Finding a Random Seed That Solves a LeetCode Problem

This problem came up again, so I updated my old solution!

https://sigmoid.social/@mc/111662581917469235

marco (@mc@sigmoid.social)

The basic problem was: Give a list of `k` length-`k` bitstrings, find a new length-`k` bitstring that isn't present in the list. For example, for `[010, 111, 100]`, an answer could be `001`. The classic way to do this is via Cantor's diagonalization argument ```python def find_new_string_cantor(bitstrings): return ''.join('0' if b[i] == '1' else '1' for (i, b) in enumerate(bitstrings)) ``` #python #leetcode #codegolf #programming

Sigmoid Social

A few weeks ago I got bored and tried solving a leetcode problem "at random". Basically, I wanted to find a way to set a random seed such that randomly generating an answer solved all the test cases for the following problem: https://leetcode.com/problems/find-unique-binary-string/.

Through a little trial and error, I managed to solve it. Check out the writeup!

https://mcognetta.github.io/posts/leetcode-random-seed/

#python #leetcode #codegolf #programming #MaliciousCompliance

Find Unique Binary String - LeetCode

Can you solve this real interview question? Find Unique Binary String - Given an array of strings nums containing n unique binary strings each of length n, return a binary string of length n that does not appear in nums. If there are multiple answers, you may return any of them.   Example 1: Input: nums = ["01","10"] Output: "11" Explanation: "11" does not appear in nums. "00" would also be correct. Example 2: Input: nums = ["00","01"] Output: "11" Explanation: "11" does not appear in nums. "10" would also be correct. Example 3: Input: nums = ["111","011","001"] Output: "101" Explanation: "101" does not appear in nums. "000", "010", "100", and "110" would also be correct.   Constraints: * n == nums.length * 1 <= n <= 16 * nums[i].length == n * nums[i] is either '0' or '1'. * All the strings of nums are unique.

LeetCode

Tokenization is an often-overlooked aspect of modern #NLP, but it’s experiencing a resurgence — thanks in large part to @karpathy and his classic tweet:

x.com/karpathy/sta...

Come hang out with us and let's fix these problems!

Today we are launching a server dedicated to Tokenization research! Come join us!

discord.gg/CDJhnSvU

#nlproc #machinelearning #tokenization

Storing Files in Chess Games for Free Cloud Storage

Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.

YouTube

Gboard never stops innovating.

https://youtu.be/EHqPrHTN1dU

#keyboard #jp

Gboard 両面バージョン

Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.

YouTube

!!Con 2024 is just three weeks away! Join us for two days of ten-minute talks about the joy, excitement, and surprise of computing!

🎟️ Get tickets and learn more: https://bangbangcon.com

The joy, excitement, and surprise of computing - !!Con 2024