markisus

Curious if anyone actually agrees with the supposed benefits of scroll hijacking. I find it jarring and always hate this effect when I come across it.

> Scroll canceling enables you to animate objects that don't scroll with the page.The event is locked to the vertical scroll position, but the animation doesn't scroll vertically.It's enjoyable for the user and gives them a sense of control over their experience — always a way to keep your visitors interested. As you can see, it's a lot of fun — and we've only scratched the surface!

What does it mean to "fuse operations"?

This tidbit about a prodigious undergraduate struck me. He double majored in math and physics and was about to start his PhD at Harvard. And in a sudden freak accident he was gone from existence. The universe will always remain unfathomable in some ways.

> In 1996, Qijia Fu of Hamilton College in New York — then just an undergraduate — proposed using germanium-based neutrino experiments to detect a CSL signature of X-ray emission. (Weeks after he submitted his paper, he was struck by lightning on a hiking trip in Utah and killed.)

What is URT?

I believe that the language designers did some experimentation and designed the vtable struct so that calls to it can often be devirtualized. See this blog article for more details https://pithlessly.github.io/allocgate.html

Looks like its advocating for a modeling language like UML, except it's based in category theory. The advantage is that you can formalize certain heuristics to help you quantify if your architecture is consistent and simple. You can also use it to model a jazz performance, supposedly.

> Mixers (or "tumblers") work by collecting up a bunch of deposits, which get coalesced into larger chunks over a random period of time, then doling out portions of that chunk as withdrawals at a later time. Naturally, a percentage of the deposits (1-3% normally) typically stay with the service as profit.

Actually I think the v1 contracts did not require or accept a fee for usage. I'm not sure about their v2 contracts which incorporated some sort of governance token called TORN.

Looks like they made a version that scatters images of everything except trousers! Unfortunately, they hid the results at the bottom of the supplementary pdf [1].

[1] https://static-content.springer.com/esm/art%3A10.1186%2Fs435...

This story is especially interesting, given the discussion happening over at the thread about a developer Tornado Cash being arrested.

https://news.ycombinator.com/item?id=32436413

The dev doesn't operate the TornadoCash contract. The code is actually run by people who operate ethereum nodes. After the initial deployment, the dev has zero involvement.

But supposedly the problem also exists in the United States because many people who work in America come from India.

I heard about many companies in this space that have since shut down / become acquihired. Root AI acquired by AppHarvest [1], Abundant Robotics (shut down) [2], Traptic acquired by Bowery [3].

To me, this suggests that the problem is hard. Last I checked, the state of the art in robotic grasping seems similar to the state of many other AI systems before ML hit the scene. It's super-mathematized all to the questionable end of analyzing how a few points points can optimally apply forces to simple convex polytopes.

A similar feeling exists when you look at the state of path planning for robotic arms. There, collisions must be avoided at all costs because we don't have the mathematics for it. So you make this super precise plan that carefully snakes its way around all the little voxels that happen to become occupied in your occupancy grid. To execute these plans we need to manufacture robots with expensive harmonic gearing and sub-millimeter level repeatability. These types of robots would not be economical for outdoor picking tasks.

To make progress, I think there will have to be new ML techniques and new lower cost robotic hardware developed in tandem.

[1] https://www.appharvest.com/press_release/appharvest-acquires... [2] https://www.therobotreport.com/abundant-robotics-shuts-down-... [3] https://techcrunch.com/2022/02/16/following-acquisition-by-b...

Wow I did not know this! This is really great news.

I agree. Zig is great in many ways but I am also so frustrated by some of the obviously horrible unergonomic decisions the core team makes. To this day, you are forced to declare loop index outside the loop body, despite many requests from the community.

https://github.com/ziglang/zig/issues/358#issuecomment-49100...

The material might actually help. I'm guessing that as you slide the blocks against each-other, friction melts the surfaces. When the blocks settle, the surfaces re-freeze, gluing them together.

Your questions prompted me to skim through Walter Block's exposition of evictionism [1]. There is a sense of what constitutes a reasonable, gentle, eviction.

"From these examples is derived the principle that when one evicts a trespasser, or deals with any other violator of rights, one is obliged to do so in a certain way; it must be done in the least invasive manner possible consistent with upholding property rights. If a trespasser is on your lawn and you have a bazooka, you are not entitled to blow him away - not as a first step in any case. That is far too extreme and incompatible with the doctrine of private property rights. The homeowner has the right to make sure that the outsider does not trespass further, but he must be evicted in the gentlest manner possible." -pages 21-22

When there is no possible gentle eviction, due to technological or other circumstantial limitations, Walter Block believes that one can evict even when the sure consequence is death of the tenant.

"Based on the private property rights philosophy, the individual then had the right to evict the trespasser in the most gentle manner possible. If there was no gentle manner feasible, an individual's property rights to her womb transcend the so-called "right to life" of anyone else." -page 22

It looks like the world "gentle" is doing a lot of work here. One could claim, in the spirit of your comment, that a 9 month notice period for eviction is required for gentleness. In an even more bizarre twist, one could argue that an abortion is only gentle when the fetus would be then transferred to a life support system that could bring it to full term. With today's technology, this would imply an earliest date for abortion instead of a deadline. Walter Block does not, in my opinion, clarify the issue of gentleness enough in the document to settle the issue.

[1] http://www.walterblock.com/wp-content/uploads/publications/b...

This line of thought has been elaborated under a theory called evictionism [1]. Evictionists concede personhood of a fetus, but reject its right to reside in a womb without consent of the owner of the womb. The logic seems sound, but leads to conclusions which are objectionable by current mainstream moral standards (for example, allowing extremely late term abortions for non-medical reasons [2]).

[1] https://en.m.wikipedia.org/wiki/Evictionism

[2] https://news.gallup.com/poll/235469/trimesters-key-abortion-...

Oh you are right. Looks like they did manage grow some "undifferentiated lettuce tissue" in the dark using acetate and then did some preliminary work to show that whole plants can metabolize acetate when grown in the light. I wonder what the plan is, if any, to increase "plant tolerance and consumption of acetate as a heterotrophic energy source".

This diagram explains the gist of the paper [1]. This system supposedly enables growing "algae, yeast, mushroom-producing fungus, lettuce, rice, cowpea, green pea, canola, tomato, pepper, tobacco" in the dark with acetate.

[1] https://www.nature.com/articles/s43016-022-00530-x/figures/1

I think you're getting at only half of the idea of a database engine. The other half is to provide a flexible querying interface to slice up and aggregate the data into reports. The user may be willing to tolerate some inefficiency in storage / modification if they have a small number of records, as long as the querying interface is useful.

There are built-in tools in rec for querying, joining / foreign keys, checking data integrity against a schema, and aggregation and reporting.

So the set of advantages over json/yaml are similar to SQL's advantages, except the database format is human readable and grepable.

What does smaller caller mean in this case?

This brings to mind a crazy story about Skyguide that I heard. Skyguide was implicated in a midair collision between two aircraft in 2002. A family member of one of the deceased later murdered a Skyguide employee in an act of vengeance.

https://en.wikipedia.org/wiki/2002_%C3%9Cberlingen_mid-air_c...

Dear ImGUI also has python bindings [1] which I've had great success with in tuning computer vision algorithms interactively. It's a slightly different use case than your project here since it doesn't use a browser and only works locally.

[1]https://github.com/pyimgui/pyimgui

Is it even theoretically possible to waveguide gravity? The electric field can be positive and negative, but gravity is unsigned -- there is no anti-gravity. This is probably related to what you're saying about faraday cages.

I wonder if the artist is an example of a "10x programmer" in this particular niche, even just for the fact that only a small percentage of programmers has this level of artistic fluency.

I think there is a project quite similar to this one called Verifiable Software Toolchain (VST) in which you can write a C program, convert it into a massive Coq expression, and then write theorems about that expression in Coq. The Software Foundations series has a volume about it [1], which I found to be an order of magnitude harder to understand than the other volumes.

It feels like the magmide project aims to the same goal as VST. It's unclear how it will improve on what VST has done. It may just be that formal verification of real world languages is inherently complex.

[1] https://softwarefoundations.cis.upenn.edu/vc-current/index.h...

Eigen is really nice for getting code that looks like the underlying math and it also optimizes away unnecessary temporaries by using template expressions. However, when you mess up, you get a screen full of template errors that take some experience to understand and debug.

It makes me wish for a language + compiler where linear algebraic objects are first-class values.

Multiple other users confirmed the results and that one answer's author never followed up.

Can confirm the poor performance on small matrices (less than 20x20). This is a problem particularly for robotics applications when your entities are positions, velocities, etc.

https://stackoverflow.com/questions/58071344/is-eigen-slow-a...