vutekst

Why yes actually! Thanks for your quick and very helpful reply

This looks like a good replacement for most of what I do in fusion360, but one operation I'm not sure about is importing an existing SVG file and using it for sketch geometry, say, to put an embossed logo onto something. In looking through the Replicad docs, the only SVG references I saw were about exporting.

Is this something people have done with Replicad? Perhaps with an additional lib for parsing SVG into a set of 2D curves?

Yes: https://twitter.com/goodside/status/1581805503897735168

hopefully when we finally unfold them we don't get attacked by lower dimensional beings

Also ML non-expert here. I think this is about a different kind of neuron(your 2nd suggestion). The paper another commenter linked says:

Hamiltonian neural network (HNN) intakes position and momenta {q,p}, outputs the scalar function H, takes its gradient to find its position and momentum rates of change, and minimizes the loss

<latex equation for a modified loss function that differs from traditional NN>

which enforces Hamilton's equations of motion.

https://journals.aps.org/pre/abstract/10.1103/PhysRevE.101.0...

Alas, this feature only works for users on the browser app, and not in the mobile apps.

I want this but just for watching general youtube videos sync'd with people

Same! Also a Normalite here.

I don't know how you can be pretty sure about any of that, but I look forward to the faster-than-light signaling devices we can build from this new revelation about nature.

Article is a bit broken for me because while the page is https, the mathjax file is loaded from a plain http. This is apparently forbidden by current Chrome and Firefox, so the figures and LaTeX don't work. edit: ah-hah, HTTPS Everywhere must have fiddled with it.

The passenger seats of certain cars use electric field sensing in the seatback to determine if there is an adult passenger present, to decide whether to enable the passenger-side airbag. (Though simply sensing by weight is also common.)

For an example of an electric field sensor, check out the Motorola MC33794.

https://en.wikipedia.org/wiki/Digital_signature

My understanding is that most militia members cannot keep ammunition in their homes, but private citizens can have ammo as they please.

http://world.time.com/2012/12/20/the-swiss-difference-a-gun-...

I have used both languages quite a bit. What I miss from Clojure when doing Haskell is having access to a seemingly infinite collection of libraries (thanks to the JVM/maven/etc). There are of course many libraries on Hackage but the JVM ecosystem dwarfs most others.

I'm from the US and I read it the same way, as a statement that we are far along our course.

Admittedly I am not familiar with all types of wireless charging technology, but I worked on some prototypes of such a little under 10 years ago (powering blenders and 1 kW cooking devices wirelessly through a countertop), and they were hopelessly complex and full of software. Perhaps my experience is now outdated, but it left me with strong doubts about any prospects for foolproof-ness.

I don't really understand the first proposal, can you expand on that? How would it do away with qualified immunity etc?

Is Fight Club an example or a counterexample?

This always bothered me about Babylon 5 - how/why did the spine of the station remain stationary while the bulk of the station rotated?

Indeed, imagine if we had a revision history for the Bible/Koran/etc.

Yes, presuming that the author of the unsafe code in question has manually verified the effective safety in all relevant scenarios. `unsafe` is an assertion to the Rust compiler that you know what you're doing, and you will preserve its guarantees as far as external observers are concerned.

I might point out to the grandparent post that even the basic vector collection in Rust is full of unsafe {} blocks.

This feature is one of the reasons I run CyanogenMod. You can drill down and toggle particular permissions for each app if you want, and set default policies for new apps.

Can anyone comment on general strategies that would be applicable to this game? Has anyone tried some kind of crazy machine learning stuff, or is it dominated by relatively simple algorithms?

This is my understanding as well, and that's why I objected to the parent post's assertion that "even in Haskell values must be tagged with types, and the type tags are inspected at runtime". The enum/ADT discriminator tag is value information rather than type information.

Even in Haskell values must be tagged with types, and the type tags are inspected at runtime.

This does not fit my understanding of pattern matching in Haskell. Say you are matching over a value of type `Maybe String`. The type of the value is always `Maybe String`, it's just that its value might be `Just "foo"` or `Nothing :: Maybe String`. It is not to my knowledge tagged with type information at runtime in a compiled program, merely value information. The different values an ADT disjunction can take on all have the same type as each other.

Otherwise, pattern matching wouldn't work (pattern matching is always based on type reflection).

What about pattern matching a String against a series of literal values? I don't see how this is based on type reflection, merely inspection of values.

Mapping capslock to be esc is what made vim possible for me.

I associate the word "Gosu" with the Korean/International StarCraft scene, where the word describes a very skilled player. I wonder the project lead was also thinking of that.

On the contrary, I came from Haskell-land and was impressed by Typed Clojure, at least in that it is capable of representing some things that are not easily represented in Haskell types. For example, union and intersection types can be pretty powerful. They can have easy variadic functions, and the occurrence typing is sweet -- after a runtime null check, it will remove the `Nil` type from a type union within the if-branch, or a runtime collection-empty check will modify the type in the subsequent branch to no longer include a case for a possibly-empty sequence.

On the other hand, Typed Clojure does not offer nearly the cohesive experience one gets from Haskell, nor do the types guide optimizations etc. Type checking is really a lint step rather than a build step. And almost all existing Clojure code is still dynamically typed, so you can't usually infer how to use a lib based on its type signatures (since it doesn't have them), which I love being able to do in hs.

Yeah, I had to hit f12 and disable the background with Firebug.

Some of us toil away in the mines using Java EE (and even Glassfish in production, in my case) but read HN because we dream of a better life.