skysight-inc/HackerNews huggingface dataset:
I spent about a year struggling with GJK back in the 1990s.

It's useful for collision detection in 3D, and it can also be used as a closest-points algorithm. As a closest-points algorithm, it's easy to understand the basics. You have two convex solids. Start with a random point on each, and get the distance between those points. On each solid, try to improve the distance by advancing along each edge from the current point. Pick the new closest point. Repeat.

This stops working when the closest point is no longer a vertex. That's when the "simplex" concept is needed. The closest points can be vertex-vertex, vertex-edge, vertex-face, edge-edge, edge-face (no unique solution) and face-face (no unique solution). The simplex thing is really doing a case analysis of those cases.

Lots of things go wrong in practice. If you are doing a physics engine, objects will often settle into face-face contact. A single-point collision model will then result in vibration or incorrect movement. Also, as positions settle into face-face contact, the GJK algorithm runs into a small difference of large values problem that can result in a complete loss of floating point significance.
The termination condition can also cause infinite looping.

In theory, this is an elegant solution, but it's a difficult numerical analysis problem.
Despite that, it's probably the fastest approach to the problem. It's O(log N) in normal cases, and O(1) for situations where the positions are closest to the previous positions and you use the last solution as the starting point.

The late Prof. Steven Cameron at Oxford did a lot of work on getting GJK right.
I used GJK in "Falling Bodies", the first commercial 3D ragdoll system, in the late 1990s.
I'm sure that's where it started, but it's perfectly usable from userspace; https://liliputing.com/nestbox-makes-running-linux-virtual-m...
Propel | Full-time | Senior Platform/DevOps Engineer | Remote (US) | $150k-$230k

Propel is on a mission to empower low-income Americans by simplifying access to government benefits with modern technology. All of our users deserve first-class experiences in their daily interactions with the social safety net and financial services. We're a passionate team of 100 Propellers - all working to help our users get through the month, every month. We’re looking for a self-motivated Platform Engineer to join our Infrastructure Team within the engineering org at Propel.

You will own our fundamental cloud services that our engineering team builds upon, our application platform (based on Kubernetes) that we run our applications on, and own our developer experience and tools.

Tech stack: AWS, Kubernetes, Jenkins, Terraform, Datadog

This position is fully remote, but offices are available in Brooklyn, San Francisco, or Salt Lake City if desired. Location does not affect compensation, but unfortunately we are only accepting applications from residents in specific US states at this time. Please see the job post for the complete details.

https://boards.greenhouse.io/propel/jobs/7445950002
Related Discussion The way that Jensen Huang runs Nvidia: 40 direct reports, no 1:1s [0] (235 points, 9 months ago, 174 comments)

[0]: https://news.ycombinator.com/item?id=37486882
My bad. Should have rtfa. Guess he's just an idiot.
>> Texas’ oilfield regulator, the Texas Railroad Commission, has yet to offer…

can anyone explain why the Railroad Commission regulates oilfeilds? is it because there aren’t many railroads in Texas?
It is important to note that utility scale Solar+Storage is still more expensive than combined cycle gas, at $60/MWh versus $45/MWh.

This is close enough on a purely economic aspect that a carbon tax to allocate costs for the externalities of carbon or more stringent emissions requirements may make it cheaper overall for Solar + Storage!
It is largely the premise for at least the beginning of Speaker for the Dead where the main character lives essentially a digital nomadic life traveling at almost light speed planet-to-planet. He knows he can never go back to any place he's been as everyone died of old age as soon as he left. It has FTL communication though.
It encouraged my interactions to drop to zero. I closed the site just after 5 minutes, instead of the usual 15-30 minutes per occasions (1x-2x per week). And I’m not sure that I’ll ever open it again, if not just for when somebody links something there. I used the site solely to check three people what they thought, what’s important and what the good arguments were on given topics. But this is after my usage was already dropped considerably, because most of the interesting people, who I cared, stopped using such public channels as Twitter.
Some legal systems permit inference of guilt ("spoliation inference") based on attempts to destroy evidence; you might wind up with just extra convictions this way.
I'm pretty unknowledgeable when it comes to tax law but... If you're an employee at a series A start-up valued at $50 million and part of your annual salary pay package is being issued equity worth $100,000 do you have to pay tax on that immediately? If you can't cash out because there hasn't been a liquidity event how do you pay the tax?
I forgot to mention if you get the griddle (Sorry, i kept calling it a skillet before, i meant this one: https://fieldcompany.com/collections/cast-iron-griddles/prod...)

If anyone gets that.... cook some smash burgers in it and it gets the best seasoning ive ever seen, very quickly.
> Just ignoring it and marketing the technology under some new name is adjacent to lying to your audience through omission.

They don't market technology, they market solutions. E.g. afib detection on Apple Watch, rather than calling it a BNNS using a custom-built sensor for one-wire EKG.

This is the document where they describe how the solution works, and they clearly state adapters work based on LoRA.
That’s a fair point. I just wish there was a clear cause and effect behind the black swan event. Part of what makes the big short so interesting to me is seeing exactly how the black swan event transpired in the 2008 housing crisis.
I paid $800 for a barley-used one off Craigslist. True, it lacked the Android features (which even the 2015 model might have had? Certainly the successor Pixelbook did), but it was perfectly serviceable for my uses with crouton on it. And when it eventually went out of support, I removed the write-protect screw and loaded a standard BIOS onto it so that I could then install Linux Mint. It was a capable machine for several more years, marred primarily by that poor battery life.
I'm the author of https://bolinlang.com/
Go is a magnitude slower. I have some ideas why people think go is fast but there's really no excuse for a compiler to be slower than it. Even gcc is faster than go if you don't include too many headers. Try compiling sqlite if you don't believe. Last time I checked you could compile code in <100ms when using SDL3 headers (although not SDL2)
Well, the file was found on his laptop and laptops are pretty much exclusively using SSDs. On SSDs a simple `rm` is enough. On an SSD:

1. You run rm
2. Your filesystem uses trim to mark the pages as invalid
3. The drive's garbage collector finds blocks containing invalid pages and consolidates valid pages into new blocks and marks the old blocks as invalid.
4. Then the drive resets the block to empty and marks it as available.

This improves write performance because SSDs can only write to empty pages (they cannot overwrite pages that have already been written, instead they'd have to first reset the page and then write a new page) so by proactively resetting pages, they have pages ready to be immediately written.

But this also means that the blocks containing your deleted file will be proactively reset/emptied which means it will uncharge the cells which is equivalent to all the bits being `1`, thereby destroying the file.

Source: https://kcall.co.uk/ssd/index.html
"Peak Carbon" is a phrase that's been in use for quite a while now, because we're out of atmosphere to dump extra burnt fossil fuels into if we want to keep climate change relatively mitigated.
Yes-- and worth more today.

I don't think it's an ordinary path. The founder had success before, and the company I was a part of skipped seed and started with a series A before raising more pretty quickly.

edit:

From the looks of it, they have 500+ employees now.
Most have voting control, subject to certain investor veto powers, after the A. Very few have it after the B.
Consider https://legendapp.com/ or https://noteplan.co/ for nice note integration with your calendar. You could easily create a list of contacts in these systems and trigger various events (singular and recurring).
There's no getting into anything you haven't already been doing 6+ years right now.
Etleap (YC W13) Is Hiring Customer Success Manager (SF)
Geoffrey Hinton's former PhD students
Every skills and specific interest they ever learned have some components of facts. It's pretty inevitable for someone to learn and acquire the facts.
If what your saying is true (the type is fixed as an integer), then it's even easier in tfa's case. No inference necessary.

In my code channel is not a string, it's one type of the 31-set of (String, Foo01, Foo02, .., Foo30). So it needs to be inferred via HM.

> If it was a string then it parses very quickly.

"Parses"? I don't think that's the issue. Did you try it?

----- EDIT ------

I made it an Int

let channel = 11 :: Int

instance IsString Int where
fromString = undefined

instance Semigroup Int where
(<>) = undefined

real 0m0.543s
user 0m0.396s
sys 0m0.148s
Alexa is not on a phone or PC. It could only be so useful being available only at home.
A lot of scifi is just westerns, with blasters replacing guns. See "The Mandalorean".
Hey, we all received the memo - Musk is evil now. So please, play your part.

All jokes aside - having different implementations/ideas competing for similar goals is nothing but good. We cannot pretend to have "min-maxed" space travel or rocketry at this point in time - so there's still lots of ideas to experiment with.

Any organization that can successfully design, assemble, test, and launch a new rocket into space is a huge victory for the US, space exploration, and ultimately the world. Making space more accessible is likely to lead to all kinds of new discoveries and technology that benefits earth and beyond.
External SPI flash can be encrypted on-the-fly with most real commercial MCUs - the issue is that this was not designed to be a commercial MCU for use in products.

Relative to other offerings, it's pretty nice (not a fan of ESP32 Xtensa or their new RV32 offerings - ARM chips are so much better) as a DIY/hobbyist/open source chip.
4 Day Workweek at Dutch Software Company AFAS
Storage requirements are workload dependent. If your load can be deferred, you don’t need batteries.
As an addition to the other responses about the historical side you can currently still ship your car in/out of Australia today you'll just have to do it as cargo instead of a single passenger ferry which also carries your car too. I know a guy that did that with his car to Europe for ~8 months, just make sure you plan well in advanced or you'll be waiting 2-3 months on that leg :).
Yeah, its probably a more boring problem of inadequate regulations and corporate negligence.
Okay I'll bite. If there's one thing to be learned from economics is that incentives matter.

The incentives of the ruling class are vastly different from these of the general public. Covid was just one very clear illustration.
Przewalski Horses Land (Back) in Kazakhstan
Also ex-Alexa in the early years, while that would have helped, I really don't think it was just the tech stage. As we grew it was very hard to work on the core tech at all since we had a bunch of time spent on organization issues and working with people who 1) didn't get how ML worked or pay attention to how the tech is changing (most of the "domain" teams) and wanted to just ship new integrations or demo features and 2) never found a monetization channel which would have allowed for investment into deeper tech (and less senior leadership/exec churn).

Though I also very much agree with the other point of OP that privacy paranoia also blocked development. The privacy team seemed like they would have been most happy if we couldn't ship.
Maybe so. I'm aware of satellites used to measure oil tank utilization [0], so sometimes odd information is informative for a specific trading strategy even if it is not useful in general.

0. https://medium.com/planet-stories/a-beginners-guide-to-calcu...
I've worked in oil and gas for years. The only reason we're fracking wells with 2000lbs of sand per foot on a 1-2mi horizontal well is because the easy oil in U.S. is all gone. If you could drill a vertical well and have oil gush out like it does in There Will Be Blood, then people would be doing it. Hydraulic fracking only hit snooze on Peak Oil. All of the easy oil is gone, and we're fracking what's left.
It would be very cool if one could view the whole 3D embedding space
Very cool, and I love the 3D models they've made available to view and zoom in on.
But generally, you need batteries.
Forget Copilot+, Windows is already tracking everything you do
I made a few courses on Udemy and wrote a book, over a few years net about 20k, super cool! Relative to how much time went into it I probably didn’t actually make that much money but I had a great time and it feels fantastic to make some money on my own initiative
> Authors generally fail at creating characters smarter than themselves, for perhaps obvious reasons.

Hah, I've noticed that for years. Anderson's "Brain Wave", however, is a decent attempt at what more intelligent people would be like.
Maybe the suspicion is the top 5% carry six smartphones?
Well, maybe you should think about the real responsabilities: Europe make laws in reaction to ABUSES. So dont blame Europe for the legislation, but the abusers that made this legislation mandatory to defend european citizen ;-)

Actually, Europe is so slow that a lot of experiments may take place. And there wont be any legislation if there no abuse...

It took a loooonnnng time for Europe to react to Facebook, Google & co abuse with users datas. Same for OpenAI using a awful lot of copyrighted material without giving anything back... So thank'em for Europe legislation :-)
LLMs are increasingly trained on multimodal data besides human written text, such as videos showing complex real-world phenomena that humans may also observe, but not understand, or time series data that humans may observe but be incapable of predicting. I don't see a fundamental reason why the LLM that is trained on such data may not already become a superhuman predictor of e. g. time-series data, with the right model architecture, amount of data, and compute.

In a way, next-token prediction is also a time-series prediction problem, and one that is arguably more difficult than producing the time-series/text in the first place. That is since to predict what a human will say about a topic, you don't just need to model the topic, but also the mental processes of the human talking about it, adding another layer of abstraction.
Tres Commas
Sure, but not more adoption than Python. All the examples look math-focused; would you write a web backend or a batch script in Julia?
Russia produces a lot, but loses even more.

Indicators of that include bringing T-55 tanks to the battlefield, which require four, instead of the usual three, crew members to operate, which is troublesome.

They produce artillery rounds at a rate of 250k per month, but fired approximately 10mln during the first two years of the war.

The Black Sea Fleet is unlikely to recover anytime soon - if ever.

The list goes on. What good is production capacity ig it's wasted like that?
So, do it again. Was anybody surprised that imported 'supplements' had no ingredients listed?
Well, with an ORM you put everything in data structures, and write them.

Most data fits into hierarchical data structures that don't form a complicated memory graph with references.

Once you know how to write primitive types and arrays of them, you can write objects, and it means you can write anything (without having to worry about writing "before" or "after").

And yes, switching to SQLite absolutely addresses the "perpetual fopen” problem.
Which is sad, because on paper the TI Sitara MCUs are unbeatable for peripherals and cost.

TI, if you're reading this:

- Give me standard ARM SWD facilities / CoreSight

- Give me an accurate SVD

- Give me a 10,000 page document detailing the register maps and behavior of all peripherals

- Get out of my way

And nobody else will be able to compete. (Who has USB SS/PCIE/N GMACs in one product? PRU?)
"Reasonable time" is subjective. What happens if you don't limit the time?

Guesses:

1. Successfully compiles

2. Reports an error

3. Never halts

4. Nobody knows
[dupe]

Discussion: https://news.ycombinator.com/item?id=40661703
We are headed towards a world where my robotic coding assistants are smarter when it is sunny.
Because to date I haven’t seen anything that doesn’t appear to be a solution in search of a problem.
And non-mobile crap. I recently purchased a structure for my backyard on my phone.
SpaceX is already the world's cheapest launch provider by a significant margin, and transports 90% of the world's tonnage to orbit. That's with a launch platform that costs a bit over a thousand dollars per pound. Once Starship is in production, that will drop to around thirty dollars per pound, while their annual launch capacity increases enormously. Everything about the space industry will change, and we'll be able to do a lot more than we ever have before.

Without another company able to do the same thing, Elon will completely control all that. How desperate that is depends on your opinion of him, I guess.
No love for NXP in this thread? They make a very similar peripheral called FlexIO [1] on devices like the K32.

>[FlexIO is a] Highly configurable module providing a wide range of functionality including emulation of a variety of communication protocols

It is extremely capable! I have used it to hack together an octo-SPI... which stretches the definition of the S in SPI ;)

[1] https://www.nxp.com/docs/en/supporting-information/FTF-ACC-F...
This is not really moving ChromeOS to Android, but rather using their Android Bluetooth component over the crusty Linux blueZ-thingy. And they even talk about the possibility of running the Android Bluetooth component on normal Linux. So there would be no ‘threading’ like repercussions as far as I would see?
Okay, except that... almost none of that is true? Desktop Linux started early enough that I don't think it could have NIH issues and has mostly iterated ever since; I grant that maybe it could have picked up something like GNUstep, but that's not obviously a good idea in hindsight and definitely wasn't at the time. And Linux is doing fine on security, is definitely behind on a11y but still has it, and mostly does cross-app communication through dbus. I will grant that resource control is underdeveloped (though I'm not aware of any other desktop OS doing it better?), and permissions only really became a thing recently with flatpak.
this is so awesome. all those millions poured on the promise of getting rid of all call center operators, instead all we got is better mental health for them. this is much better than during everyone and having poet robots that was what we were promised.
i find it interesting, to see technologist humbling in front of sheer complexity, when is sparse over billions of years. What people were able to achieve in such a (seems always shorter) frame, it's nothing easy to live with
In retrospective, yes. But Swift for TensorFlow and similar projects received much attention at a time. (Also see Mojo as another attempt).
For me, HIPAA. I do not want access to a single resource or record that I don’t require to do my job.
Should all Google Street view data be publicly available?
Whilst there may be some inefficient bureaucracy in large orgs, I’m tempted to offer the following proposition:

Companies that are absolutely at the forefront of AI, must be by definition, doing terrible things wrt privacy & security.
I also happen to be working on an ultra-low power project with an ESP32.

It is hard to beat that 5uA deep-sleep current!
Many devices run entirely from RAM which is completely viable with the ROM bootloader/SWD.
Not sure what you mean. There's a viable answer that's marked incorrect. The examples should show the pattern well enough to eliminate possible wrong answers, correct?
Can LLMs Perform Verified Lifting of Code? [pdf]
Stoke employee here.

These are the hardest working and most intelligent people I’ve ever worked with. I truly believe we are about to revolutionize this industry very, very soon, at a similar-to-greater magnitude than SpaceX has managed.

If you’re at all interested in joining our mission, please get in touch. We’re still in our infancy and have plenty of seats that need butts on all sorts of teams. Even the Fusion and Data Engineering teams are growing, where prior aerospace experience is not at all required.
Is there any workload that can be deferred at will, without harming businesses or people?
Yeah, but people do like to write y = .log(x * 0.1) + (1.24).squareRoot() type of expressions for what Python did best (NumPy and PyTorch).
We debated doing 2D vs 3D and 3D brought a bunch of usability issues. We also noticed most SOTA embedding visualizations were 2D and already yielded good insights.
There's no maybe about it. And it goes beyond greetings. But I do agree it was non-sensical here
> Money, spent, represents using up the labour of others.

Except the labor is entirely voluntary. The people performing the labor had the option of saying "no."

> but other people's time and effort.

In exchange for money so nothing was wasted other than the potential value of the money to the spender.

Critically the notion that "it _could_ have supported hundreds of families" is wrong. The money obviously _did_ support those families.
comrade businessinsider inciting class war!
The introduction of set-theoretic types has truly been a technical tour-de-force. A huge improvement of the language, but in a backwards-compatible fashion.
Yep. We basically doubled the amount of CO2 in the atmosphere. If we had a machine that could take some volume of air and scrub all the C02 out, we’d need to pass half of the atmosphere through it to cut the CO2 in half.
I thought "poetry" was the package manager that was on the ascent in Python, is that no longer true?
What about WWF? I always thought you'd have to be a complete imbecile or willfully dishonest to confuse the World Wrestling Federation with the World Wildlife Fund, yet here we are.