HN user

loxias

2,051 karma

you may send me email via loxias AT mit DOT edu

Posts2
Comments772
View on HN

I would love, _love_ to know more about your data formats, your tools, what the JSON looks like, basically as much as you're willing to share. :)

For about a month now I've been working on a suite of tools for dealing with JSON specifically written for the imagined audience of "for people who like CLIs or TUIs and have to deal with PILES AND PILES of JSON and care deeply about performance".

For me, I've been writing them just because it's an "itch". I like writing high performance/efficient software, and there's a few gaps that it bugged me they existed, that I knew I could fill.

I'm having fun and will be happy when I finish, regardless, but it would be so cool if it happened to solve a problem for someone else.

Firstly, at the $219 price point you can have my money already.

Beyond that, things that appeal to me are basically anything which increase the likelihood I can accomplish high dexterous fine motor control skills, for things like tinkering and DIY assembly. I think that would include extra wrist DOF and a longer-reach variant.

Integrated cameras are an interesting idea, but I'd like to be able to swap them out for my own.

My dream is to have some sort of multi-arm table at home. I imagine holding a circuit board, small component, soldering iron, and wire with four robotic arms I control with shaky hands from my laptop. :D

"This Is How You Lose the Time War"

No other book captured the feelings of being 20-something and flirting like reading this. Reading it felt like being right back there again, with all the excitement and anxiety. Highly recommended to anyone.

Unsure how it connects to the notion of a brain filling in the blanks. I thought it was quite "filled in", but maybe my brain did it, and therefore I'm making your point for you :)

I look forward to reading this in closer detail, but it looks like they solve an inverse problem to recover a ground truth set of voxels (from a large set of 2d images with known camera parameters), which is underconstrained. Neat to me that it works w/o using dense optical flow to recover the structure -- I wouldn't have thought that would converge.

Love this a whole heck of a lot more than NeRF, or any other "lol lets just throw a huge network at it" approach.

Thanks for what you're doing. Of all the various companies and orgs posting chatter about deep learning, I've come to really appreciate your efforts (and Anthropic), because you're USING MATH. :)

I have some understanding of applied math, continuous and discrete, and while I don't keep up to date with developments in deep learning/AI in general, I always look forward to unsloth posts because they tend to center on achieving a desirable result thanks to proper application of good old fashioned "understanding the damn math and once you do, then doing the obvious". :)

Reminds me of learning about how to optimize twiddle factors in wring a performant FFT (more than divide-and-conquer, one also uses trig identities and some algebra to reduce the number of multiplies), or of learning of elliptic minimal Q-factors (EMQF) filters -- clever IIR filters that give a sharp frequency response using less than 50% (or is it 25% or more?) of the computation required traditionally by optimizing for *coefficients with lots of zeros in the base 2 representation*. And computers, it turns out, can multiply numbers by zero really fast. ;-)

The throughline to me is that if you pause and think deeply about "wait, what are we really doing here?" and look at the whole math stack, and think about what computers are good at, sometimes you can achieve great results.

Wow! This is really cool! Really really cool! I imagine some sort of use where it's even more collaborative and not just "unadorned turn-by-turn".

For example, maybe I'm taking notes involving words, simple math, and a diagram. Underline a key phrase and "the device" expands on the phrase in the margin. Maybe the device is diagramming, and I interrupt and correct it, crossing out some parts, and it understands and alters.

Sorry, I know this is vague, I don't know precisely what I mean, but I do think that the combination of text (via some sort of handwriting recognition), stroke gestures, and a small iconography language with things enabled by LLMs probably opens up all sorts of new user interaction paradigms that I (and others) might be too set in our ways to think of immediately.

I think there's a "mother of all demos" moment potentially coming soon with stuff like this, but I am NOT a UX designer and can't quite imagine it clearly enough. Maybe you can.

This is really, really cool and thanks for making it!!

We must think at least somewhat similarly, last few times I was apartment hunting I did the same, though I never polished it up like this (more plugging numbers into a spreadsheet).

Honestly the biggest thing this does for me is validate that the data APIs must exist for what I'd really want, which is write something to make much larger and more complex "programmatic" maps -- the list of places being generated by a more complex sequence of steps for instance, and the combining function for different criteria including nonlinearities.

Curious how you're computing the walking distances, I'm guessing this is combining some off the shelf API for it with another for the points of interest? Though it would be badass if you did it from scratch starting from just OSM. ;)

What I don't get isn't the benefits of BWT on its own. It's why BWT should add any additional benefit if you're already doing Huffman.

Ahhhh. Now we're on the same page. :) Seeing how it helps when combined is somewhat subtle/non-obvious. I believe it relates to BWT and Huffman both being approximations of something more optimal. The two transforms could also have different window sizes -- one rarely does BWT on a whole 1GB file -- which introduce inefficiencies. Huffman coding is also only optimal in the very large alphabet and very long data limits. As your data length and alphabet size decrease, it gets less optimal.

Put differently, "I think that's a wonderfully phrased question, this _is_ my specialization/subfield, and I'm gonna need to chew on it for a while."

I always understood it as working because of the predictability of a symbol/letter/token given the previous one.

Sorting all the shifts of a string puts all the characters in order, then looking at the last column shows you all the _preceding_ characters. If there's any predictability there (which there often is), it's now easier to compress. It's sorta like an entropy coder in that way.

I've never thought of it as being that deep, and understood them since I was a kid -- building an intuition for "why" the FFT works is much harder -- but that being said, I clicked quickly to reply thinking "that's easy! I can explain this!" then struggled for a while trying to get the picture in my mind into text. :)

"Okay"

Can you describe for me what the product does?

It's not that hard to make a turnkey "just add power" appliance that does nothing but spit out tokens. Some sort of "ollama appliance", which just sits on your network and provides LLM functionality for your home lab?

But beyond that, what would your mythical dream product do?

Intel PMem really shines for things you need to be non-volatile (preserved when the power goes out) like fast changing rows in a database. As far as I understand it, "for when you need millions of TPS on a DB that can't fit in RAM" was/is the "killer app" of PMem.

Which suggests it wouldn't be quite the right fit here -- the precomputed constants in the model aren't changing, nor do they need to persist.

Still, interesting question, and I wonder if there's some other existing bit of tech that can be repurposed for this.

I wonder if/when this application (LLMs in general) will slow down and stabilize long enough for anything but general purpose components to make sense. Like, we could totally shove model parameters in some sort of ROM and have hardware offload for a transformer, IF it wasn't the case that 10 years from now we might be on to some other paradigm.

facepalm

Wow, I had no idea. Thank you for providing the valuable additional context of the above being potentially from one of those "GME to the moon"... pauses ... people.

I had it totally completely backwards.

HAHAHAHAH!

Oh man... Ouch! First time I'm hearing it put that way!! As far as I knew, the contract was done before I left town! :)

But that absolutely, to a T, sounds like (a distorted version of...) *exactly* the sort of miscommunication I'd get into 20 years ago.

Glad to hear some version of my youthful exploits turned into tales, even if I have to be the "heel". :)

bows

neato! Curious where you're sourcing the raw feed from. Wire service (AP, Reuters, AFP)? Google news? "the wikipedia current events page"? Something else?

As in every other engineering endeavor, the raw data you start off with has a lot to do with what you end up with, no matter what transforms happen. :)

Dimagi became successful?!? Awesome! I also worked there as a third person, though I don't think overlapping with you. :)

Congrats on living the dream, I tried, failed at that 5 years ago ("maybe i can just sell my coding directly...") though I probably gave up too quickly.

Nice article!

My life got a lot easier since I adopted the habit of making a shell script, using buildah and podman, that wrapped every python, rust, or golang project I wanted to dabble with.

It's so simple!

Create a image with the dependencies, then `podman run` it.

We're not all optimizing for the same thing. :)

A comment containing a few terms I can google and educate myself on, if I'm curious, has far more value to me than "having a conversation" (or whatever engagement metrics you're optimizing for).

It's useful to me in that you've identified an interesting niche! I like the idea! As for the implementation, eh, I'd probably rather code my own so it can be in bash or c++ ;-)

It's also useful to me in that it's a solid example of what can be done with LLMs these days, wow!

Also, tangentially, a long long time ago I had a similar system set up, except for packets, not screencaps or audio. A 24h ringbuffer on my router to log _everything_ was a cool-to-have that made debugging network issues easier.

You subtly referenced one of my favorite facts.

"In 1920, Pierre Fatou expressed the conjecture that -- except for special cases -- all critical points of a rational map of the Riemann sphere tend to periodic orbits under iteration. ... can be interpreted to mean that for a dense set of parameters 'a', an attracting periodic orbit exists [in the logistic map]."

Friggin' blew my mind at age 20. Still kinda does. :)

Absolutely. Honestly, I took the presence of this HN post itself, and the fact that it directly contradicts my own first hand experience, as a really bad sign (for HN).

Very little has changed on Reddit since the protests. A few tight knit communities went to discord. But tons of people loooove to complain.

NovelQA is a great one! I also like GSM-Symbolic -- a benchmark based on making _symbolic templates_ of quite easy questions, and sampling them repeatedly, varying things like which proper nouns are used, what order relevant details appear, how many irrelevant details (GSM-NoOp) and where they are in the question, things like that.

LLMs are far, _far_ below human on elementary problems, once you allow any variation and stop spoonfeeding perfectly phrased word problems. :)

https://machinelearning.apple.com/research/gsm-symbolic

https://arxiv.org/pdf/2410.05229

Paper came out in October, I don't think many have fully absorbed the implications.

It's hard to take any of the claims of "LLMs can do reasoning!" seriously, once you understand that simply changing what names are used in a 8th grade math word problem can have dramatic impact on the accuracy.