skysight-inc/HackerNews huggingface dataset:
These languages are fun. "Look ma, no verilog!" But the underlying problem with all of these DSLs is the fact that the EDA[0] industry interoperates on verilog. Period. Worse, at some point in the design cycle, post-synthesized gate-level verilog becomes the codebase.

No upstream verilog changes are allowed because it can be difficult to get a precise edit (e.g. 2-input NAND into a 2-input AOI by changing a verilog function) and you just don't have 3 weeks of runtime to go from verilog to GDSII again. Or you want to make a metal-only respin that only changes one $0.xM mask layer and requires 8 weeks of fab time instead of changing multiple metal layers including the base and needs 16 weeks and a $xM payment.

Programming language design is quite rich because they used to cross-compile to C, and now they generally generate LLVM IR. It doesn't matter what the bug is in the final binary; you're not going to hex edit the binary like you would with a single metal layer of a 300mm wafer. You're just going to recompile and it generally doesn't matter if one machine instruction changes or 1M do because unlike verilog, not even GHC needs 3w to compile a program.

source: I've been on chip design teams for 2 decades and finally gave up on fighting verilog.

[0]: Electronic Design Automation. Synopsys, Cadence, Siemens, Ansys, etc.
Better in what ways? (Not my experience with Temu vs Amazon.)
The license says it's GPLv3, but with the further restriction that "It is prohibited to make a derivative work that has server-syncing capabilities."

The two relevant sentences in the GPLv3 are "You may not impose any further restrictions on the exercise of the rights granted or affirmed under this License." and "If the Program as you received it, or any part of it, contains a notice stating that it is governed by this License along with a term that is a further restriction, you may remove that term."

This means that (1) if Pororoca contains any GPLv3 code from anyone else, then their copyright is being violated, and (2) anyone is allowed to make such a thing anyway, since the GPL allows that term to be removed.
High Tips Yields Are a Retiree's Best Friend
By that logic Microsoft Word should have to refuse to save or print any text that contained copyrighted content. GPT is just a tool; the user who's asking it to produce copyrighted content (and then publishing that content) is the one violating the copyright, and they're the ones who should be liable.
Damn, one day, when it is available somewhere near me ... right now only people in my country that know Vyvanse (or Elvanse) are foreigners lamenting absence of the one drug that makes them function.
Show HN: Scan QR codes to check in guests registered via Google Forms
Hi HN!

I made a no-code platform for creating physical data collection apps, using QR codes [1].
It does not yet have a self-service config UI though, which limits adoption.

That's why I recently released a Google Forms™ add-on for QR code check-in, based on the platform. This focused use-case makes it easy to provide a fully self-service config UI.

How it works:

1. Create your Google Form as you normally would [2]

2. Activate the add-on if you hadn't already [3]

3. Craft a confirmation email to be sent to each form responder

Upon each form submission, the add-on will send a PDF with a unique QR code (a V4 UUID) to the responder.

Have guests present this code at the event, and record check-ins in bulk using the included QR scanner.

See here [4] for more information, or try the Google Sheets™ version [5] (which doesn't send email).

[1] https://admin.trak.codes/

[2] https://forms.google.com/

[3] https://workspace.google.com/marketplace/app/qr_code_ticket_...

[4] https://blog.darkaa.com/qr-code-pass-per-response-google-for...

[5] https://workspace.google.com/marketplace/app/qr_code_pass_fo...
What makes you think it wasn't? The article doesn't claim so.
Makes me think, what about non-verbal contracts?

You ask: "Hey manager, will we get a bonus this year?" The manager smiles at you and says nothing. Can you sue the company if you don't get the bonus?
>The main point is that they are re-distributing the content without permission from the copyright owners,

By your logic, Firefox is re-distributing content without permission from the copyright owners whenever you use it to read a pirated book. ChatGPT isn't just randomly generating copyrighted content, it just does so when explicitly prompted by a user.
I have a legitimate fear of cockroaches and sometimes I wish editors would refrain from putting a gigantic roach picture at the top
Depends on the salt, there are few that hardly contain more then dairy, but some salts contain enough to make it make sense.

My main issue with normal salt is the anti-caking ingredient needed to not have it stick together, in general not needed with sea salt and a real grinder.
There exist e.g. "natural vanilla flavoring" that are not made from real vanilla.
No, plastic or fiberglass stocks aren't innovative the way a plastic receiver is. The Glock 44 in 22lr also has a plastic slide.
It's not an argument, it is a question. I'd like to know the answer as to whether the method matters to the courts.
You've lept to a conclusion about what I trust and then how that putative trust drives my reasoning. I'm not the imaginary person you are addressing.

> I trust HN discussions much more since there are plenty of people who will weigh in when things are wrong or misrepresented, unlike these articles.

Why are those people, with no responsibility, little expertise, etc., more trustworthy than other people? It seems like the common bias of social media - for some reason, people trust strangers with no credibility, which exposes them to the enormous amount of misinformation and just BS that now floods our world. If the article author or a professor wrote the same thing in a HN comment, it seems like you'd believe it.
7 years isn't realistic in the case of many authors and artists whose work becomes more valuable after time on the market, awards given as they mature etc.
>But I’m all for the outcome where consumers get cool tech and the people who actually made it (notably not the Masimo CEO) get fair compensation for their work.

So Apple and their shareholders should make nothing on this either in a completely fair outcome?
Penicillin was also accidental? I don't understand the point.
I thought he was saying it was a cheap trick?

“Tricks like clearfixes arose; bits of knowledge you just had to find and use, and then apply like cheap plaster in a house you intend to flip.”
More Rust, and Neovim as IDE (per a YouTube video that was posted on HN some weeks or months ago).

It seems like other IDEs that are attractive to me always manage to pull the rug out eventually, in one way or another (sudden bad performance, deprecations of things I use, or cutting support on my OS for the language/s I prefer).
As a recent contributor to this, it’s a go based server that performs IPC to a FUSE based client.
Probably. OP said he can't get excited about the project, and hates the situation, so sure. For a few grand in the pocket, no big deal. Is this really a standard term for selling a failed business? You can't work on something similar ever again for the rest of your life?
In Superfluid Quantum Relativities (or Superfluid Quantum Gravity model(s)), the vorticity of the quasiparticle fluid presumably results from the nonlinear [complex] attractor system;

But your question is about whether there can be centrifugal force in a non-rotating system.

There are black holes that aren't rotating.

Godel's dust fluid solutions to Relativity eventually satisfied the prevailing criteria of cosmological expansion and rotation.

Centrifugal force: https://en.wikipedia.org/wiki/Centrifugal_force

Inertial frame of reference:
https://en.wikipedia.org/wiki/Inertial_frame_of_reference

If there are no straight-line paths through spacetime which is necessarily curved if there is mass inertia to describe, aren't most spacetime paths relatively curved and is that rotation?

All transformations in Minkowski space-time are rotations in space-time.

Geodesics in general relativity:
https://en.wikipedia.org/wiki/Geodesics_in_general_relativit... :

> In Minkowski space there is only one geodesic that connects any given pair of events, and for a time-like geodesic, this is the curve with the longest proper time between the two events. In curved spacetime, it is possible for a pair of widely separated events to have more than one time-like geodesic between them. In such instances, the proper times along several geodesics will not in general be the same. For some geodesics in such instances, it is possible for a curve that connects the two events and is nearby to the geodesic to have either a longer or a shorter proper time than the geodesic. [11]

In superfluid spacetime, n-body gravity is most correctly predicted by a fluidic or a dust model with vorticity; which is a like rotation.

/? Vorticity curl:
https://www.google.com/search?q=vorticity+curl :

- "Vorticity dynamics" (2016) https://www.researchgate.net/publication/300133454_Vorticity... :

> The vorticity field is the curl of the velocity field, and is twice the rotation rate of fluid particles. The vorticity field is a vector field, and vortex lines may be determined from a tangency condition similar to that relating streamlines to the fluid velocity field. However, vortex lines have several special properties and their presence or absence within a region of interest may allow certain simplifications of the field equations for fluid motion. In particular, vortex lines are carried by the flow and cannot end within the fluid, and this constrains their possible topology. Vorticity is typically present at solid boundaries and it may diffuse into the flow via the action of viscosity. Vorticity may be generated within a flow wherever there is an unbalanced torque on fluid elements, such as when pressure and density gradients are misaligned. The characteristics and geometry of a vortex line allow the velocity it induces at a distant location to be determined. Thus, multiple vortex lines that are free to move within a fluid may interact with each other. In a rotating coordinate frame, the observed vorticity depends or the frame's rotation rate.
Sorry - I meant my "perhaps" to refer to the distinction you reiterated, but I can see why that may not have been clear.

If you feel the (also already mentioned) section on "generalized" exact cover is lacking, hey, it's Wikipedia - anyone can edit it. So, add a little material with alternate / supplementary Knuth terminology / pointers. My intent was merely to point to somewhere to make this material easier to find via search engines (eventually).
How did you summarize them with LLM? I'm curious to try it please.
The article mentions comments from the 19th century about the same subject.

I think, that Switzerland, and especially those remote mountain regions, stayed more isolated than similar regions in France or Austria well into the early 20th century, making the issue stand out more in comparison.
Some agencies will be very sad now...
I recently recreated a website that used a lot of jquery. I didn’t use any JavaScript, it was all CSS.
Radiolab's "The Interstitium" https://radiolab.org/podcast/interstitium
Why don't you want me to say masks? That's probably the best example of a failed public health policy that was more about tribalism than science. Forcing restaurant owners to impose masking guidelines that did nothing to prevent disease or shut down was quite the failure.

The public health "experts" also made very bold claims about the vaccine which turned out not to be true as well.

Then there was the media (who claimed to be the standard bearer for declaring who the experts were and weren't) who claimed Trump said to inject bleach -- when in reality he was making the public aware of a very promising UV-based technology that can in fact "cleanse" the body during dangerous infections.

If all of that is too politically charged for you, then we can just talk about how the "public health experts" robbed the entire country of Monoclonal Antibody Therapy for no discernable reason.
Out of curiosity, how's the state of DL for Julia.

Can I use PyTorch or JAX comfortably in Julia?
What hardware do you use to split the keyboard and mouse? I have the same situation but have different input devices for each machine and just change monitor inputs as needed.

Also, is it possible for one device to keylog when the keyboard is switched to the other?
>You can get basically-but-not-quite-exactly the copyrighted material that it was trained on.

You can do exactly the same with a human author or artist if you prompt them to. And if you decide to publish this material, you're the one liable for breach of copyright, not the person you instructed to create the material.
Why Topical Authority Is the New Currency
Parent is saying that with something as sophisticated as intelligence it's not enough to say that if it behaves like a duck it's a duck (which is what your seem to be saying and which the parent calls a 0-day).

There are some really good bulshitters who have led smart people into deep trouble. These bulshitters behaved really like ducks but they weren't ducks. The duck test just isn't good enough.

The -1 day is where people say that because LLMs behave like humans then humans must be based on the same tech. I just wonder if these people have ever debugged a complex system only to discover that their initial model of how it worked was way off.
> German: AstroGeo episodes "Asteroseismologie" (starquakes) and "Der Atomreaktor Oklo" (a natural nuclear reactor)

Thanks, always looking for German podcasts! In return, check out Omega Tau: https://omegataupodcast.net/
That's misleading. It might be a technical violation, but it is decriminalized. Bringing back a 90-day supply of personal-use non-controlled medications is completely fine. To be safe, carry a prescription and declare the medications at the border.
I interpreted that as the opposite - just because the iodine is getting used, it doesn’t mean it should have more.

I certainly find more on positive effects of iodine so I think I’ve misunderstood OP.
>Was honestly stunning to hear someone unintentionally explaining their business as a ponzi scheme.

Technically he was describing tokens for a hypothetical dapp that had questionable/unproven value, whereas the business he ran (FTX) and the associated tokens (FTT) were straightforwardly profitable, but went bankrupt due to bad investments/trades.

Also the interviewer (Matt Levine) came away with a totally different conclusion from that interview:

>People on Twitter now are like “he admitted that FTX is a Ponzi!” but of course that’s not true. He conceded a certain validity to my claim that some crypto businesses — not his — are Ponzis. He is just in the business of trading their tokens.

>In fact, I came away from that conversation bullish on FTX and Bankman-Fried. My view was, and is, that if you talk to a crypto exchange operator and he is like “crypto is changing the world, your old-fashioned economics are just FUD, HODL,” then that’s bad. A wild-eyed crypto true believer is not the person to operate an exchange. The person you want operating an exchange is a clear-eyed trader. You want someone whose basic attitude to financial assets is, like, “if someone wants to buy and someone wants to sell, I will put them together and collect a fee.” You want someone whose perspective is driven by markets, not ideology, who cares about risk, not futurism. A certain cynicism about the products he is trading is probably healthy.

https://www.bloomberg.com/opinion/articles/2022-11-10/ftx-is...
Swiss geology (retreat of the glaciers 10000 years ago) meant that the normal local products that would give a population iodine (milk and eggs) were themselves iodine-poor. A few parts of Switzerland which were not glaciated (i.e. Jura) did not have iodine deficient populations.

Other places in the world had different geology and this different levels of natural iodine.
This happened at a company I worked at so it’s not out of the question. I figured it out by reverse engineering and quit on the spot. They tried to tell me I’d never work again if spying on users was a dealbreaker. They showed me a natsec slide deck that identified other collaborating companies as a way of making their point. Among them was Apple.
Is it possible that Apple is fighting so hard on this because the Masimo patent also covers applications in blood glucose which Apple has sunken nearly a decade of intense fairly independent R&D into at this point?
> discoverability of functions

I think for the most part this is solved. It works very well and has good integration with VS Code:

julia> integrator.<tab>
EEst accept_step alg cache
callback_cache differential_vars do_error_check dt dtacc ...

etc. cut short.

julia> ODEProblem(<tab>
ODEProblem(f::SciMLBase.AbstractODEFunction, u0, tspan, args...; kwargs...) @ SciMLBase C:\Users\accou\.julia\dev\SciMLBase\src\problems\ode_problems.jl:183
ODEProblem(sys::ModelingToolkit.AbstractODESystem, args...; kwargs...) @ ModelingToolkit C:\Users\accou\.julia\packages\ModelingToolkit\arrCl\src\systems\diffeqs\abstractodesystem.jl:911
ODEProblem(f, u0, tspan; ...) @ SciMLBase C:\Users\accou\.julia\dev\SciMLBase\src\problems\ode_problems.jl:187
ODEProblem(f, u0, tspan, p; kwargs...) @ SciMLBase C:\Users\accou\.julia\dev\SciMLBase\src\problems\ode_problems.jl:187

> Hello World 200 MB

Not quite. There's a bunch of knobs you can use to get small binaries (I use this for industrial deployments often), but Jeff Bezanson gave a really nice talk at JuliaCon Local Eindhoven 2023 that described the reasons for the large binaries, what the memory is actually attributed to, and what to do about it (https://youtu.be/kNslvU3WD4M?si=hwo9AgXthNpiQ3-P). With the "normal options" you get to about 15MB now, still bad but not half as bad. The vast majority of that is the base system image. Jeff's talk then goes into the next steps with reducing the size of that base system image.
Pain-free running. Have had achilles issues for a few months I never really addressed, but want to get rid of this year. Goal is to run 5km without pain the next day by following a daily protocol of isometric and isotonic exercises.

Piano playing: Improve my playing by working through Alfred's Adult Piano books no. 3. Here, again, RSI is the biggest issue I'm facing.

Planning my life. While I'm extremely organized at work, this never transfered to my private life. I recently introduced weekly sessions to plan everything from exercise to events I want to attend, to reoccurring household chores like refilling dishwasher salt once a month.
This is a great opportunity for an aftermarket business. New LFP battery cells are plummeting in costs. LFP cells are also very reliable. Other than the battery, electric cars are very durable. Some electric car models (i.e., older Tesla Model S's made during the Mercedes partnership) are actually much higher quality than the current versions.

So somebody should reverse engineer the BMS for a popular old electric car model, create a new LFP based battery pack with a new BMS that is a drop in replacement for the old one (that means it is the same physical dimensions and the same electric and mechanical properties), and make the replacement.

This will probably void the warranty, but people that need a battery pack replacement are usually already out of warranty.

The LFP cells are less energy dense than the NMC cells that are used in most US sold electric vehicles, but they would probably be more energy dense than the completely used up, broken down NMC cells of a pack that needs replacement. So say you have an old 100KWH tesla model S, but the pack is completely screwed and you are getting 40 kwh out of it. The same weight in LFPs should come out to about 70 kwh. Well, people would gladly pay 6-7K for a new 70 KWH pack and a chance to keep their car, than having to shell out 80K for a brand new Model S that is made at a time of cost cutting and decreased production quality at Tesla.

It seems like complex thing to do, but it is entirely possible. All the parts are available. Power electronics are no longer back-ordered to oblivion. And it seems something that is much more useful and potentially lucrative than dozens of crazy dumb car modification projects I see people do for views on youtube.
...Are you forgetting the fact that every clickwrapped application that doesn't have a network gated auth is just a binary patch away from being "legally impotent".

In point of fact, one of what I consider the "shadow innovations" of the technical era is that we even accepted the idea of clickwrapped contracting as a valid legal construct; especially given the fact a canonical requirement of a contract "a meeting of the minds" never substantially happens. (No redline accommodation, no valid contract imo).
PartCAD the first package manager for CAD models
I suspect what will happen is the laid off drivers will still be delivering pizzas for Pizza Hut, but will be paid by Doordash et al instead of Pizza Hut, and will ultimately have reduced compensation.
William Shockley, an especially ardent supporter of eugenics and 'racism' made transistors that people of all races and intelligences use daily today.
> Why are those people, with no responsibility, little expertise, etc., more trustworthy than other people?

I don't trust them, I trust the discussion in aggregate. The discussion includes people on all sides in a healthy forum. If you are on a subreddit you are in an echo chamber so many voices will be missing, but HN has good representation of experts and people from all sorts of fields so I trust these discussions to unearth better truths than what a typical journalist can.

> If the article author or a professor wrote the same thing in a HN comment, it seems like you'd believe it.

No, if they wrote the article in a comment with that headline it would get comments saying why it is wrong, just like here.
The ability for people like you to object is why I trust it more.
Synergy, Barrier, and Input Leap are all pretty good software solutions stemming from the same ancestor. The latter two are free and open source. Synergy has a nice way of organizing the boundaries between your machines.

I wish any solution had custom monitor interleaving. My personal setup is such that the monitors are not set up linearly, and each monitor can independently switch to each machine. Specifying the boundaries on a per-monitor and per-machine basis would be amazing, but it doesn't seem to exist in software or hardware form.

I spoke to Synergy recently and they said it is on the road map as a popular feature request. Hopefully soon!
Nvidia Jetson AGX LLaMA2 Performance Test Report