Senior Data Engineer @onechronos

Rochester, NY
Joined April 2008
Email from @autopilotus "your job is to grow, not write scientific papers" Clearly they don't know me very well :D
1
5
This is new work with Sourcemeta and our @dataunitylab on significantly accelerating JSON Schema validation. Really happy with where we got in terms of performance!
Vol:19 No:2 → Blaze: Compiling JSON Schema for 10x Faster Validation vldb.org/pvldb/vol19/p279-vi…
1
1
1
139
Verifying myself: I am michaelmior on Keybase.io. k4HuLh2S2t3s6MZ79rjwt-enzIq2CMzHOY05 / keybase.io/michaelmior/sigs/…
57
I've been using the @arcinternet browser for quite a while now and I'm living it. My biggest complaint is that it isn't available on Linux and there's a good chance it never will be 😕 arc.net/gift/23cd28ee
1
88
We’re thrilled to announce we’re partnering with @OpenAI to bring best in class technical knowledge and the world’s most popular LLM models for AI development together! This groundbreaking partnership with OpenAI will drive our mission to empower the world to develop technology through collective knowledge. stackoverflow.co/company/pre…
629
1,774
1,553
10,969
4,669,019
Michael Mior retweeted
Some aspects of JSON Schema are tricky to master. In this new blog post, Juan Cruz Viotti, demystifies what lexical and dynamic scopes are in JSON Schema and how they work. 🔗 json-schema.org/blog/posts/u… 👇🧵
1
3
4
344
Midjourney, DALL•E 3 and GPT-4 have opened a world of endless possibilities. I just coded "Angry Pumpkins 🎃" (any resemblance is purely coincidental 😂) using GPT-4 for all the coding and Midjourney / DALLE for the graphics. Here are the prompts and the process I followed:
522
1,796
702
11,392
5,384,790
Disney made a real-life WALL-E Disney Research just revealed a new robot at #IROS2023, it uses reinforcement learning to walk and can even socially interact.
6
17
2
98
20,513
Michael Mior retweeted
Auto-Regressive LLMs can't plan (and can't really reason). "While our own limited experiments didn't show any significant improvement [in planning abilities] through fine tuning, it is possible that with even more fine tuning data and effort, the empirical performance may well improve. But all that such fine tuning is doing is converting the planning task into a memory-based (approximate) retrieval. It doesn't prove that LLMs are able to plan."
📢 My new piece for @blogCACM summarizing my views and our ongoing work on the planning/reasoning abilities of LLMs.. cacm.acm.org/blogs/blog-cacm…
50
146
24
885
378,384
Michael Mior retweeted
This is huge: Llama-v2 is open source, with a license that authorizes commercial use! This is going to change the landscape of the LLM market. Llama-v2 is available on Microsoft Azure and will be available on AWS, Hugging Face and other providers Pretrained and fine-tuned models are available with 7B, 13B and 70B parameters. Llama-2 website: ai.meta.com/llama/ Llama-2 paper: ai.meta.com/research/publica… A number of personalities from industry and academia have endorsed our open source approach: about.fb.com/news/2023/07/ll…
379
3,330
751
14,809
4,294,539
This looks like a nice way to start diving into FPGAs. Distributed KV store using ~$300 hardware! adamwalker.github.io/Buildin…
1
65
A Ruby program that generates itself through a 128-language quine loop buff.ly/3rxdzu9
Michael Mior retweeted
The $250K cop has arrived in Rochester. Rising crime and a shortage of police officers means no shortage of opportunities for officers to work overtime – with some clocking 90+ hours a week. @GinoFanelli examines the implications of extensive overtime. rochestercitynewspaper.com/r…
8
9
25
38
DNS Esoterica – Why you can't dig Switzerland buff.ly/3z16giJ
GitHub Copilot is generally available bit.ly/3zSuQ6h
Verifying myself: I am michaelmior on Keybase.io. J_jGEPFF5jjF1qWyEub7pwk9NBb0Y9XkmbDT / keybase.io/michaelmior/sigs/…