MITSardine

14 ms·

31.
by MITSardine 8mo ago
An issue with that, especially now that they might go to LLMs for bibliography / exploratory work rather than google or a library, is that they may be exposed to the solution before even really tackling the problem. Maybe that's f
32.
by MITSardine 8mo ago
I'm not sure I understand what you're getting at. Public speaking is itself a skill that the teacher presumably wanted to teach their students. These types of assignments are also quicker to grade (and on class time, no less) and
33.
by MITSardine 8mo ago
I wonder if some of these could be embedded in the write tool calls?
34.
by MITSardine 8mo ago
Well, you still need time (and permission from your employer)! Research is usually a more than full time job on its own.
35.
by MITSardine 8mo ago
I find it surprising. The piece of code I'm working on is about 10k LoC to define the basic structures and functionality and I found Claude Code would systematically spend significant time and tokens exploring it to add even basic func
36.
by MITSardine 8mo ago
Hell even my young brain got tired on statistics and algebra. Could part of this also be field mismatch?
37.
by MITSardine 8mo ago
Setting the framework (what I short-handed by "definitions") precludes the exploration of results (or at least an efficient one) that would yield to some framework-defining analysis. The search space is much too rich to be explore
38.
by MITSardine 8mo ago
LLMs can write theorems, but can they come up with meaningful definitions?
39.
by MITSardine 8mo ago
There's a major difference between chess and scientific research: setting the objectives is itself part of the work. In chess, there's a clear goal: beat the game according to this set of unambiguous rules. In science, the goals a
40.
by MITSardine 8mo ago
I'm a bit puzzled because this seems backwards from what I thought had been the evolution of things. Didn't companies historically own their own compute? And then started offloading to so-called cloud providers? I thought this was
41.
by MITSardine 8mo ago
How do you know you haven't unknowingly broken something when you made a change? I think if: - the code base implements many code paths depending on options and user inputs and options such that a fix for code path A may break code pat
42.
by MITSardine 9mo ago
Numerical simulation is a well explored field, we know how to do all sorts of things, the issues lie rather in the tooling and robustness of it all put together (from geometry to numerical results) than in conceptual barriers. Finite Differ
43.
by MITSardine 9mo ago
It's just the name, BREP stands for Boundary REPresentation.
44.
by MITSardine 9mo ago
I can't help but find this comment a little insulting. It's very similar to saying "if, while, else, malloc. The LLM can figure the rest out!" as if CS were a solved thing and the whole challenge weren't assembling
45.
by MITSardine 9mo ago
I should have shared this more recent page directly on the manual with examples to begin with: https://flexcompute.github.io/EngineeringSketchPad/EngSketch...
46.
by MITSardine 9mo ago
If anyone is interested, you can try EngineeringSketchPad ( https://acdl.mit.edu/ESP/ ) which is very similar but much more mature. It also supports simple geometric primitives and boolean operations via a scripting lang
47.
by MITSardine 9mo ago
I have a terrible memory for details, I'll admit an LLM I can just tell "Find that paper by X's group on Method That Does This And That" and finds me the paper is enticing. I say this because I abandoned Zotero once the
48.
by MITSardine 9mo ago
Speaking of conferences, might this not be the way to judge this work? You could imagine only orally defended work to be publishable, or at least have the prestige of vetting, in a bit of an old-school science revival.
49.
by MITSardine 9mo ago
If I may be the Devil's advocate, I'm not sure I fully agree with "The hard part always has been, and always will be, understanding the research context (what's been published before) and producing novel and interesting
50.
by MITSardine 9mo ago
LaTeX is already standard in fields that have math notation, perhaps others as well. I guess the promise is that "formatting is automatic" (asterisk), so its popularity probably extends beyond math-heavy disciplines.
51.
by MITSardine 9mo ago
The representation might not need to explicitly encode "meaning", if it does so implicitly by preserving essential properties of how things relate to each other. For instance, a CAD object has no notion of what an airplane wing or
52.
by MITSardine 9mo ago
Are meshes not used instead of gaussian splats only due to robustness reasons? I.e., if there were a piece of software that could reliably turn a colored point cloud into a textured mesh, would that be preferable?
53.
by MITSardine 9mo ago
But isn't this what the author is doing already? That's what I got from the video. SDF is sampled on a sparse grid (only cells that cross the level set 0) and then values are sampled by interpolating on the grid rather than full r
54.
by MITSardine 9mo ago
One possibility, a little backwards maybe, is to produce a discrete SDF from e.g. a mesh, by inserting it in an octree. The caching becomes the SDF itself, basically. This would let rendering be done via the SDF, but other logic could use t
55.
by MITSardine 10mo ago
I might be misreading your comment but it seems to me you're linking this too closely to AI, as I believe you'd see a similarly international makeup of researchers in any STEM field in the US. If I recall correctly, something like
56.
by MITSardine 11mo ago
Wouldn't a decent compromise be to extend the capabilities of the C preprocessor, so that we could iterate over types at preprocessing time? That way, we could instantiate for a great number of types more easily, while keeping implemen
57.
by MITSardine 11mo ago
What do you mean by this? I've been using those libraries on mac ARM and AMD processors, are you referring to intel-specific implementations? How about the sparse matrix solver, what do you use?
58.
by MITSardine 11mo ago
This all hinges on the fact the variance is homogeneous to X^2, not X. If we look at the standard deviation instead, we have the expect homogeneity: stddev(tX) = abs(t) stddev(X). However, it is *not linear*, rather stddev(sum t_i X_i) = sq
59.
by MITSardine 11mo ago
Math isn't about memorizing closed-form solutions, but analyzing the behavior of mathematical objects. That said, I mostly agree with you, and I thought I'd share an anecdote where a math result came from a premature implementatio
60.
by MITSardine 11mo ago
We'd be fortunate if everything that gets cited were this short (it certainly often has similar amount of useful information)

More ›