Viewing profile — fultonn

Yes, it's probably the most important trick in formal methods. Often surprisingly difficult to make it actually work, but when it does you can end up with a powerful tool. In a pas…

I think you probably got this, but spelling it out anyways for future readers. The conceptual gap I'm referring to here has nothing to do with formal methods per se . It's just an …

I think every formal methods phd student who's interested in adoption of their techniques/tools has a short bout of doubt/depression upon realizing just how large of a surface area…

thx for notes; no complaints on my end. edit: edited.

> We’re fast reaching... We already arrived at that destination a decade ago. Probably even further back tbh. There's just a lot more people playing the game now, without the socia…

> Perhaps I'm imagining it You are not. A disproportionate amount of value in the computing industry was created by geniuses decently smart people who worked together and who decid…

> wagons Wagons (as sold in the US market anyways) are passenger vehicles and therefore have the same problem as the Forester[^1]: your saw leaking some gas or bar&chain is kinda n…

> Roof rack for long stuff. Unfortunately I'm 5'7 and even the low roof transit is 6.8. So it's paying >$10K more for a pretty non-ergonomic solution. > seems too small to even be …

I did consider. Maybe in the past, but the size thing isn't really true of the modern line-up. Relative to eg a base Tacoma or especially a Maverick, The Ford Transit has about the…

American trucks are built for towing -- it's one of the reasons they are so big and heavy and expensive -- so I get where the "trucks are for towing" wisdom comes from. But it's st…

> But who knows maybe it’s already full of stuff under there This is why I'm excited for REO. I live in a pretty dense city and don't have much storage space in my residence. On th…

> hoist FWIW, transporting (even large) bikes in the bed of a truck is doable and normal. The typical way to do this isn't with a hoist. You just ride or walk it up a ramp and tie …

Section 2 already limits applicability to persons collecting or processing data on not less than 60,000 consumers, so suits brought against neighbors would be (rightfully) dismisse…

> Will this have reach and teeth though? It'll have reach because MA has a long-arm statute and there's a rich history of applying that statute in the context of Chapter 93. It'll …

Thanks for letting me know. Got your email. Let's connect there.

> What is the derivative work of an AI response? Who is the creator making its derivative works? The AI is not an entity, it is a software engine operating over an obfuscated index…

IBM Research ( https://research.ibm.com ) | Boston, MA | Full-Time | Hybrid We are hiring a Senior Scientist to join our team. We're working at the intersection of LLM training and…

> there's probably no ethical way to use contemporary AI when it is "out in front" doing anything of consequence. Your "AI is a tool and nothing more" frames ethical use of the tec…

This bolsters OP's point. It's the same as calling a gun a "powerful hole puncher". There is a reasonable objection that a gun is such a powerful hole puncher that it is not merely…

IBM Research | Boston, MA, USA (hybrid - 3 days in office; location flexibility - Boston preferred but NYC/SF possible) | Research Scientists and Research Engineers Our team thinks…

what I've done for a similar script in the past: answer_initial = llm(prompt=prompt, site=site) # JSON with answer and any stuff needed to do heuristic checks. heuristic_results = …

> Edit: Hey which of the models on that page were you referring to? I was referring to the smaller ones -- `granite4:micro`, `granite4-latest`, `granite4:350m`. > I'm grabbing one …

> Is there a way to load this into Ollama? Yes, the granite 4 models are on ollama: https://ollama.com/library/granite4 > but my interest is specifically in privacy respecting LLMs…