sestep

12 ms·

151.
by sestep 3y ago
When I was at Facebook, I wrote a Python script to extract shell scripts from GitHub Actions workflows, so we could run them all through ShellCheck: https://github.com/pytorch/pytorch/blob/69e0bda9996865e319db
152.
by sestep 3y ago
Note that this page doesn't currently include instructions from WasmGC which is starting to become supported in some engines; that spec can be found here: https://webassembly.github.io/gc/core/syntax/inst
153.
by sestep 3y ago
Also note that that webpage can be somewhat out of date; for instance, see here for some recent edits to it (e.g. features Node had implemented that were marked as unavailable): https://github.com/WebAssembly/website&#x
154.
by sestep 3y ago
I'm curious whether this is any indication that WebKit is going to start catching up on WebAssembly features: they're currently pretty far behind both Chrome and Firefox, lacking big important ones like multiple memories and garba
155.
by sestep 3y ago
Ah I see, I misunderstood: you were talking about `strip = "debuginfo"`, while I thought you were talking about `build-std`. Thank you for the link/clarification!
156.
by sestep 3y ago
Are you sure? If so then this is awesome news, but I'm a bit confused; the commit in that min-sized-rust repo adding `build-std` to the README was merged in August 2021: https://github.com/johnthagen/min-sized-rust
157.
by sestep 3y ago
What is the 27th letter?
158.
by sestep 3y ago
Could you clarify what you mean when you say "it's still physically inaccurate" and "The carbon dioxide molecule should be linear"? In my post I was specifically contrasting the diagram in the Penrose registry (in w
159.
by sestep 3y ago
By the way, just for clarity, note that the comments in this subthread were written before we updated the random seed for that example to result in a much better diagram: https://github.com/penrose/penrose/commit&#
160.
by sestep 3y ago
Yeah :( To be honest, I think we got a bit overeager about this one, since none of us on the project are chemistry experts. At least for the front page, we should probably replace that with a different diagram from our registry. I think thi
161.
by sestep 3y ago
Yeah, this is unfortunately a big pain point right now. Every time you click "compile" we allocate a new Wasm memory to use for running the optimizer. But garbage collectors in current browsers get confused when there are lots of
162.
by sestep 3y ago
True! Splitting every single diagram into three files feels quite heavy. For Penrose version 4.0, we're planning to combine all our DSLs into one so that they can be mixed together in one file.
163.
by sestep 3y ago
Not affiliated with Roger Penrose; we often hear this question about our project name: https://news.ycombinator.com/item?id=36749211 As Nimo mentioned in a response to that linked thread, we're open to suggestions for
164.
by sestep 3y ago
Right; there seem to be cross-cutting benefits and drawbacks for declarative text-based specification of diagrams vs direct manipulation. One research project exploring this tension is Sketch-n-Sketch https://ravichugh.github.io&
165.
by sestep 3y ago
Yeah, definitely a fair critique. Actually, we have been researching the usage of LLMs to generate Penrose diagrams! We presented a poster on this at SPLASH 2023 in October: https://2023.splashcon.org/details/splash-202
166.
by sestep 3y ago
Yeah, exactly! Also, possibly a third idea of Penrose is the way the selector matching blocks in the Style language can be used to construct the constrained optimization problem as you mention. This is inspired by CSS, but there are a lot o
167.
by sestep 3y ago
Here's a page listing several more: https://text-to-diagram.com/
168.
by sestep 3y ago
Also our Penrose 3.0 release post from July 2023: https://news.ycombinator.com/item?id=36746047
169.
by sestep 3y ago
Right, my understanding was that by "immediately" they meant "way faster than LaTeX". You make a good point about consolidated errors though, I hadn't thought about that before.
170.
by sestep 3y ago
Could you clarify what you mean? They explicitly compare against LaTeX, on which Overleaf is built, and I don't see any points in their comparison which are mitigated by specifically using Overleaf.
171.
by sestep 3y ago
https://youtube.com/shorts/R-r3x8scCdI
172.
by sestep 3y ago
It tasted bad.
173.
by sestep 3y ago
They may be getting better, but they're still pretty stupid. Also if you decide not to stomp one and instead pick it up by its wings, it just instantly gives up and stops moving. I got too tempted one time and ended up eating one.
174.
Eslint-Plugin-Unary-Minus(github.com)
1 points by sestep 3y ago|1 comments
175.
by sestep 3y ago
If you have a variable x whose type is not assignable to number | bigint, TypeScript doesn't flag -x as a type error, so you need an ESLint plugin to catch that.
176.
by sestep 3y ago
Good question! The graph styles you see in those examples can definitely be used to draw directed acyclic graphs (try opening one in the online editor and modifying the Substance file!), but it sounds like you may specifically be asking whe
177.
by sestep 3y ago
Thanks! And great question; I'd probably say the main missing pieces would be the level of integration and the amount of general programming you can do. The former is kind of difficult for Penrose to compete with; for instance, to let
178.
by sestep 3y ago
Good point, thanks! Editing the post now, should have an updated version up soon with a blurb.
179.
by sestep 3y ago
Sam here (Penrose maintainer and one of the authors of this announcement post), AMA :)
180.
Penrose 3.0(penrose.cs.cmu.edu)
241 points by sestep 3y ago|43 comments

More ›