sterlind

59 ms·

901.
by sterlind 4y ago
I completely agree with your sentiments and enthusiasm. personally, I've been waiting a long time for AI to get to the point where I can generate my own animated cartoons. I can see the pipeline for it now: sketch concept art, mess aro
902.
by sterlind 4y ago
maybe they can add a corporate Memphis style transfer stage to the pipeline and make everyone purple and blue.
903.
by sterlind 4y ago
In other words, BFS over the state space of the puzzle, skipping previously-visited states? You don't actually gain anything by unrolling everything ahead of time; it'd actually be worse because you'd store all the memory and
904.
by sterlind 4y ago
In Mathematica, the equivalent of a "function call" would be something like f[x,y]. I can write and run that, and it won't give an error if f, x or y aren't defined. Fundamentally, all atoms in the language are terms of
905.
by sterlind 4y ago
it's not just the functionalness. you couldn't do it this way in Lisp/Scheme (I think?) because of the lack of multiple dispatch. If you did (f 'x) for instance, you'd end up with things like (* 2 'x) which wou
906.
by sterlind 4y ago
This is an interesting approach. Haskell is not a symbolic language, but you take advantage of the abstractness of type parameters in function definitions to thread your implementation of "D x" through, and pattern match on that.
907.
by sterlind 4y ago
you have to have 32 ETH, which is around $50K USD, but agreed other than that.
908.
by sterlind 4y ago
to be really pedantic, I'd say PoS is an economic breakthrough rather than heavy-duty computer science, strictly speaking. the actual math of the consensus algorithms seems relatively simple, the challenge is aligning all the incentive
909.
by sterlind 4y ago
imo, Silk Road deserves the credit for solving Bitcoin's chicken-and-egg problem with network effects. a single enterprising dealer could have started it off - exchange rate basically didn't matter, as long as someone was buying a
910.
by sterlind 4y ago
I'm sure they've found and fixed issues. are you sure they've found and fixed all the issues? if I were a hacker, and I found a juicy bug in PoS, I'd sit on it until merge. either make money by shorting ETH and then wr
911.
by sterlind 4y ago
exactly! hence why I think this must be the most harrowing software upgrade of all time.
912.
by sterlind 4y ago
proof of stake is extraordinarily complicated to get right. that's why it took so long. not only is the code changing, but so is the entire incentive structure of a huge virtual economy, running the code in a sprawling, Byzantine, dece
913.
by sterlind 4y ago
China's just rolled out an inhaled vaccine, and having vaccines that target the nasal passages specifically seem very promising for preventing infection. If I could, I'd get that vaccine.
914.
by sterlind 4y ago
ahah! I found a counterexample! "killjoy." VO order, no -er, first documented usage 1776 apparently.
915.
by sterlind 4y ago
that doesn't fit the pattern. this was specifically VO-ordered compounds without any -er, like spend+thrift or scoff+law.
916.
by sterlind 4y ago
it's so bizarre! why would they only do it halfway? and import is the least useful direction for them to implement.. how often are you building models outside of Mathematica to solve inside? I can't use the Gurobi support, sad
917.
by sterlind 4y ago
I think their goal is to make a browser as usable as SerenityOS itself - that is, not for everything, not for the long tail, but for a big enough chunk of things to be fun to drive and hack on.
918.
by sterlind 4y ago
> a stable diffusion-like algorithm which ingests the HTML/CSS/JS specification documents and the requested website response and "simply" outputs the adequate framebuffer haa, that's a fun idea! setting aside e
919.
by sterlind 4y ago
well of course, but why not write the solver in Prolog and the website in Python? why are people so allergic to mixing languages? if the problem is simple to describe, then sure, write a solver or use a binding. I'm just used to the pr
920.
by sterlind 4y ago
Mathematica, correct. But fun fact: Mathematica has no MPS exporter. So I had to write my own, which is somehow the perf bottleneck in my whole setup now. Even after wrestling with it for several days. Apparently string operations are not i
921.
by sterlind 4y ago
wow. that is impressive.. but surely this CP-SAT solver can't compete with the commercial offerings like Gurobi and CPLEX right? it'd be huge news if so... but I haven't seen it rank at all on the LP-focused benchmarks I&#x27
922.
by sterlind 4y ago
I'm with you, it's fun. I got Coast to Coast vibes reading one of the pages on it. and I remembered Gary McKinnon from a Count Dankula video about him - didn't realize the conspiracy theory was connected to what he saw when h
923.
by sterlind 4y ago
isn't or-tools just a wrapper library for a bunch of solvers? I must be missing something.
924.
by sterlind 4y ago
as a note, I've tried MiniZinc for modeling a problem in the past, and the language/ecosystem simply wasn't up to my task. iirc, function calls in MiniZinc are expanded/unrolled when the model is generated, rather than t
925.
by sterlind 4y ago
In the sense that Turing-complete languages are all equivalent, yes. But in most imperative and functional languages, you'll end up implementing your own solver (as Norvig did), and a DSL to model your problem. Why reinvent the wheel?
926.
by sterlind 4y ago
yeah, the Usenet reference had to have been obscure even back then. and beta-testing OSes back then would been.. what? Windows Neptune and Copeland?
927.
by sterlind 4y ago
The focus on passing/not talking about it might return. I'm fortunate enough to pass. The past few years I felt like I ought to be out, irl, to dispel the negative stereotypes my conservative acquaintances were hearing about. But
928.
by sterlind 4y ago
Good point, actually, I forgot about prior probability. I concede the logic of your point. Personally, I am a trans woman, so my social circle includes many more trans women than the average. And I am not a predator, and I don't know a
929.
by sterlind 4y ago
> Again, all the people who tried to prey on me were straight dudes and I think the percentage of predators are roughly equal between straight cis guys and trans women Wait, so you're saying 100% of the people who tried to prey on
930.
by sterlind 4y ago
Cursorless is fantastic, this saved my bacon last year when I couldn't use my hands for months. I donate to Pokey because I'll need this again in the future, though right now I'm typing okay. I think able-bodied programmers w

More ›