skysight-inc/HackerNews huggingface dataset:
maybe I need to read this again more carefully but I fail to see what SpaceX is doing wrong here.

This:

> Because SpaceX works with certain goods, software, technology and technical data (referred to here as export-controlled items), SpaceX must comply with export control laws and regulations, including the International Traffic in Arms Regulations and the Export Administration Regulations. Under these regulations, asylees, refugees, lawful permanent residents, U.S. citizens and U.S. nationals working at U.S. companies can access export-controlled items without authorization from the U.S. government. Therefore, these laws do not require SpaceX to treat asylees and refugees differently than U.S. citizens or green card holders. Find more information here on how employers can avoid discrimination when complying with export control requirements.

Seems to be the issue.

But why would it be against the law for a US company to discriminate against someone without valid immigration status? I assume the issue here is a refugee has some authorization for lawful employment and SpaceX still doesn't want to hire them wholesale, hence the suit.

IMHO the United States' convoluted immigration and refugee policy is to blame. Why not triage everyone to being "legal permanent resident" and remove the distinction between refugee/asylee and other types of lawful residents? I'd need to read more but ultimately they're a lawful resident or not. What's the point of considering them a "refugee" if they're entitled to the same benefits as a lawful resident anyway? Either we trust them enough to be in this country and therefore be entitled to the benefits that entails, or not.
I keep feeling that LLMs are one direction to address the thorny "common sense" issue of AI. Mountains of training text incorporate, probably, most common sense (and a lot of nonsense). It's beautiful to see so many ideas come out currently to make better use of the models. Including the fast progress made with image generation.
If wheelchair accessibility is not enough, that supports my point. Your argument would be in the ballpark of "Remove the 1/3 support we do have because accessibility should be traded for maximum convenience of the masses and most people are not wheelchair bound"

Financial limitations are only 1 way of creating an accessibility issue

It is not just a dependency on owning a smartphone, but also on having it on you, having it charged, having it up to date, having their app installed, having their app up to date, not having any bugs, and using its processing to handle the transaction.

These are not trivial concerns, and contesting them is not the same as being against new technology.

Where is my government supplied smartphone with free internet and free charging to go along with these requirements? A cheeky question, but not that outlandish

I 1000% support using a smartphone as an OPTION but I disagree with it as a requirement.

How about just the fact that I do not want to show a line of people the brand new phone I have in my pocket because it might make me a target? Or maybe I don't want people around me to know if I'm apple or android, or maybe I have a private background image I don't want to risk being shown, or even just that my phone is in the middle of an update and I can't use it at the moment?

The examples are contrived but my point is that the requirement loses on both ends. I shouldn't need to have it on me, and also it's one of my most personal items that I own and I may not want to take it out in public on demand in order to do activities that have nothing to do with it.

There's no need to create all this management effort when previously I could basically just hand the gate person a $20, show my ID, and walk in.

If they have a smartphone I can borrow when I reach the end of the line to do smartphone stuff for the sake of utilizing new tech then that would be accessible. Requiring me to supply my own and make sure it's compatible with their system and operational at the moment is not.
Probably the researchers at meta are only interested in research, and productionizing this would be up to other teams.
> In job postings and public statements over several years, SpaceX wrongly claimed that under federal regulations known as “export control laws,” SpaceX could hire only U.S. citizens and lawful permanent residents, sometimes referred to as “green card holders.” Export control laws impose no such hiring restrictions.

This is perhaps pedantically, but not practically correct. ITAR restrictions, for example, prohibit foreigners from using or testing night vision equipment (even on US soil). If a team is hiring a rocket engineer, and it's a violation of ITAR for them to see technical data on SpaceX's rocket program then it's effectively impossible for a non-US person to perform in this role. Perhaps SpaceX could have phrased things differently, like "this job requires access to ITAR-controlled technical material..."

Now, as to whether or not asylees are able to access ITAR restricted material seems a bit more complicated. Searching around the internet it seems that only some asylees are able to access ITAR material: https://exportcompliancesolutions.com/blog/2018/09/20/u-s-pe...
that's by design! The mobile experience is just meant for browsing since there's no need to copy the code while you're on mobile.
I appreciate your thoughts here and I also wish people were kinder online. I’m guilty of being an asshole too often
Or if you define median as inverseCDF(50/100) then percentiles are just inverseCDF(percentile/100)

data series: index -> value
integrate to cdf: value -> density
invert monotonic: density -> value
> is the government going to issue free phones and watches to everyone who can't afford them

Yes

https://www.dmas.virginia.gov/media/1252/lifeline-telephone-...

And 94% of the homeless have cell phones. I would assume that the penetration of cell phones among the poor and not homeless would be higher.

https://priceschool.usc.edu/news/homeless-los-angeles-cell-p....
During the Tohoku incident I was scanned for radiation and the tool showed measurements in millisieverts. Becquerels are new to me, I'm curious of the differences...
That's the first time I hear that the main current and future use for chatgpt is entertainment.
For the claim of GGP (stealing out of memory) it's worse, as that's still possible, and there's a bus the key travels over.

The PCRs attest system state to the OS, yes.
Though the verified boot (PSB/Secure Guard + Secure Boot) chain is supposed to provide the same security there.
Provided we assume security features aren't broken by design...
There are very, very few ape species to begin with, and a large portion of them (from gibbons to Gigantopithecus) are Asian, extinct, or both.
> During Covid, i took my first dose of vaccine and the nurse said "check out our Instagram to see the next date of vaccination". "But i don't have a Instagram account or any social media. Is there any official channel, like a .gov website?" i asked, and she shrugged like 'its your problem then'.

When I retire with my tech millions and have lots of spare time, I swear I'm gonna start filing lawsuits for shit like this.
Give Cody a try! (Cody.dev)

With Cody you can create embeddings for your entire repo, so Cody will have much greater context about your code base and the problems you're trying to solve.

Disclaimer: I just joined Sourcegraph a few weeks ago.
Thatcher Effect
Carbon Offsets Are Unscalable, Unjust, & Unfixable
Well, it would be one thing if the caution was from reading good information and acting accordingly. Usually its from chomping on the FUD, hook, line and sinker, which is unfortunate and difficult to correct even when confronted with factual information that challenges your preexisting emotionally driven notions.
That having been said, the AVR chips are probably a lot more useful to learn as a newbie these days. Not many people using discrete logic ICs anymore

I dunno. I mean, there's no question that they are less widely than in their heyday. But I think there might be a surprising number of uses where they are used for some small (very small) bit of functionality where even the smallest microcontroller is overkill.

In my own experience, I had something recently where I literally needed a single AND gate to switch a transistor on or off based on whether one or both of two power rails were HIGH. A discrete 74xx chip turned out to be the simplest way to implement that.
The catch is that the diaeresis in Türkiye does something completely different that the diaeresis you mentioned, so actually it would be less confusing if English didn't have it at all.

...then again, even some Germans are using the diaeresis for this purpose, such as this guy https://en.m.wikipedia.org/wiki/Bernhard_Ho%C3%ABcker - and you can't blame him, because usually "oe" is a transliteration of "ö", and then his name would mean "hump" (as in camel's hump).
we're fixing that on the Matrix side: https://element.io/blog/element-x-experience-the-future-of-e... :)
Web App is using two open-source packages that I've created:

- MLJAR AutoML - Python package for AutoML on tabular data https://github.com/mljar/mljar-supervised

- Mercury - framework for converting Jupyter Notebooks into Web App https://github.com/mljar/mercury

You can run Web App locally. What is more, you can adjust notebook's code for your needs. For example, you can set different validation strategies or evalutaion metrics or longer training times. The notebooks in the repo are good starting point for you to develop more advanced apps.
I haven’t been following bird man’s (X man?) shenanigans for a long time, what happened?
TLDR: your intuition is irrelevant / incorrect.

I ran and exited a startup with a young family. My daughter was 4 yrs old when I sold my company and I started it a year before my daughter was born.

My strategy was to divide my work day as best as possible:

Priorities:
1. Time with wife and kid
2. Customer calls
3. Everything else

I started to wake up early to have an hour to get myself organized. I would then block 6-9am for breakfast with family. 9am-3pm (6 hours) of customer calls/coding etc. 3pm-10pm totally available for family and I would only skip for essential calls (i.e. the hell is about to break lose and I think I had one day every month like that lol). 6pm-7pm was bed time for my daughter that I was responsible for and I am still responsible for it till today. 7pm - 10pm was time with wife, completely available for her for anything she wants. 10pm-2am work on my startup again. This was the most productive time for me as everyone was sleeping and my customers didn't expect me to reply back to them either.

It wasn't easy. Could not have done this without my wife who decided to stay at home with kid to help with everything.

I ended up selling the company about a year ago and we made a decent return back that ensured that we are mortgage free, having enough saved for my daughter and now I am actually getting my proper night sleep.

Itching to start something new though..
Any other essential Windows tools in 2023?
LiDAR easily passes the “featureless white wall” test. That’s why I’ll be waiting.
OTOH, a country is not a conscious, communicating being that's sensitive about its name. The name change follows a decision by a few civil servants and politicians.
Yes, I think the "famous person lookalike" loophole should be illegal for generated images. All generated images are lookalikes, by definition. Also no tricks like "this is not a pipe".

But I think we have to allow lookalikes that do not claim to be a specific lookalike, otherwise using human image generators is going to be too complicated legally, and I don't want to ban them.
What didn’t you like about Lua for your problem domain? It’s used quite a lot in computer games, and even nginx supports it.
Other than "complete idiots", is there some reason why they couldn't have bought a surplus supertanker, and used that to dump the wastewater on a remote & ~lifeless abyssal plain somewhere? If properly mixed with brine, the wastewater would be dense enough to stay down there for ~centuries.
Don't be intentionally obtuse. Reframing the parent comment as "the _only_ concern (all) people have is poor QR code menu implementations" is disingenuous and myopic.
One approach might be to find individuals whose technical acumen you respect and look over their public projects (or alternatively their public contributions to bigger projects).
Yev from Backblaze here -> Wanted to touch on something you mentioned: if you don't have a lot of data, you might want to look into B2 Cloud Storage with one of the many backup integrations to back up your computer. It'll be $6/GB/Month, which may end up being more economical: https://www.backblaze.com/cloud-storage/integrations
Crypto has ‘amplified financial risks’ in emerging markets, central banks warn
i always open to any new findings about it. if it turns out that it really is a new hominid, then great! scientists will have more than enough on their plates. if not, then it's also ok! just keep digging and digging and analysing until something worthy of closer inspection come up.
Türkiye is Turkey in Turkish. The country isn't saying this word is now English but rather call us by our Turkish name because sharing a name with a bird is worse than being run by an islamist dictator. (While calling India 'Hindistan' and calling the bird 'hindi')
Clearly they can't find a "random schmuck" willing to do it for less than 600k.
...or forever?
The question doesn't specify any language, so FWIW, I first learned "serious" programming by reading the sources for GNOME Glib, about 18 years ago.

https://gitlab.gnome.org/GNOME/glib
I don't think efficiency is important at this point. Finding that it's possible "this way" opens the door for more work and more applications. (Which doesn't prevent others to already work on efficiency.)
The most performant AVs right now aren't using solely lidar. They have cameras and many other monitors in their sensor suites.
what about 2 point 3 kay ...
What was your experience with Lua if it worked?
What were the disadvantages that kept you looking for other extension languages?
Sounds like what's needed is a bit of tooling in the background consistently asking the LLM "How would you improve this code?" so you don't need to actually ask it.
I agree. This will ultimately become another way to extract more value straight into the pockets of the owners.

Unfortunately, I don't believe there's a way to stop (or even slow down) this train. We can't defeat it, so the only logical answer is to join it.

It's the classical issue with progress removing jobs. In today's world, since mostly everyone (aside from the capitalists themselves) relies on jobs to survive, barring a complete switch from capitalism (which will not happen in our lifetimes), we're fucked.

Next best thing we can do is to try and democratize it enough so that not only the rich have access to it.
> you must have an ID to get on plane

You don’t. You can show up at a TSA checkpoint without ID and they’ll identity proof you on the spot. As an identity nerd, I’ve done it just to try it to experience and confirm the TSA’s process. Next time you pass through a checkpoint, ask!

https://www.tsa.gov/travel/frequently-asked-questions/i-forg...

With that said, a physical credential and a smartphone are wildly different from an accessibility perspective. You can get a REAL ID compliant state credential for under $100. Poor comparison.
> Repeated and quick exposure to the relevant idioms supplied by my tooling seems to have helped

This sounds exactly like what we know about how children learn language. The recommendation now for adults focuses on a large portion of full immersion in content like tv/movies with no translation. We pick up on patterns and rules from repeated exposure. Maybe this will inform how we teach programming too. I had Copilot on learning Rust and it alternately felt distracting and like cheating so I turned it off, but I think I'll turn it back on based on your experience.
> spell checkers don't seem to have made the switch

Right click > Add to dictionary
Read the TeX WEB source (if you can't weave tex.web yourself, you can cheat: https://rfsber.home.xs4all.nl/Tex/tex.pdf )

Note that "WEB" here is not "web" as in website.
Copilot calls these "Code Brushes" https://githubnext.com/projects/code-brushes/

Last I heard they are in beta and don't work very well (even on the examples page: the "add types" brush is too strict, since `a` and `b` are checked for `null`, and the "fix simple bug" is a typo)
https://archive.is/iyExK
C.R. Rao: A Life in Statistics
never picked up an issue of the new yorker?
Clean Code is dreadful, or at least the programming examples are.

It was a good book of its time in that it was influential and encouraged people to think more deeply about how to make code readable, but even when it was published I thought it had some terrible advice.

It's probably still just about worth reading, as long as you ignore all the code examples and appreciate that some of the thinking is out of date, and a lot of the rest is controversial at best.

I also find the style grates, as "Uncle Bob" is far too full of himself and e.g. "rips apart" someone's code to produce a worse refactor.
Building LLM Apps with Redis on Google's Vertex AI
Just get a roomba
"b) this AI thing is huge."

Yeah, there are tons of opportunities for AI to do something with facebooks private user data and sell new services. For users to create engagement - and for ad companies to get very good targeted ads delivered. It is of course a challenge, to update the models on the fly, to include the latest private data, but then you can tailor an ad, that has subtil references to the latest shared wishes of the user. Probably quite effective.

So for now they mainly need top talent, to make some of it work. And open source is the best bet, for creating a ecosystem they can control and get talents who already trained on their tools. And they loose allmost nothing, because yes, they ain't in the cloud buisness.

So I will continue to not use facebook. But the models I will try.
There's an add image option in pdf.js when I use the (modern browser) demo.

Edit: added an image, saved the PDF and it does indeed include the image I added.
> How does something infinite "expand" though?

Infinite things don't work like our ordinary intuitions expect.

> I always hear "space itself is expanding" but how does that work with topology?

The topology doesn't change as the universe expands. "Expanding universe" just means that a particular metric (geometry) is imposed on the topology. If you think of the spacetime of the universe as a stack of 3-dimensional spatial slices, "expansion" just means that a given pair of points in space gets further and further apart as you advance from slice to slice into the future. That is perfectly well-defined for infinite slices, even though it's hard to imagine intuitively. The math works just fine.

> When you travel in a given direction you will arrive back where you started?

No. That would be the case for a spatially finite universe with the topology of a 3-sphere. But our spatially infinite universe has the topology of Euclidean 3-space.

> Surely that "shape" or "object" or topology or whatever you want to call it has a volume

The spatial 3-volume of the universe is infinite.

> relative to something else, or it wouldn't be able to be calculated?

Not at all. The universe doesn't need to be embedded in anything else to have a well-defined volume.
Diversify to what, though? The economics of hosting models and datasets seem to just not be great in general. For the same reasons that we can expect HF to eventually crack down on the "freeloaders", I think pretty much any other entity also will unless it's explicitly set up as a public benefit. I could see this sort of thing maybe being funded by universities or their affiliated foundations, but most companies with the resources to provide this kind of hosting also have a pretty strong incentive to extract revenue from it.
>fTPM is more secure against _this_ kind of attack, with physical access to the bus wires. However, since fTPM is a Firmware-TPM, it is vulnerable to all kinds of attacks on the system's firmware, even remotely

Yes, fTPM is more vulnerable in theory to remote attacks, but fTPM could always be patched, while it's more difficult to de-solder the TPM chip off your motherboard and replace with a non-vulnerable one and there are vulnerable dTPM chips out there.

Both solutions have their own pros and cons you have to weigh in the context of cost, convenience and threat model.

>What would be better would be a dTPM that is integrated e.g. into a SoC

Isn't that what fTPM is? The TPM spec firmware runs on the security microcontroller (Intel PTT and AMD PSP) built in the same SoC as the CPU.

What would be better is having the TPM be removable from the machine, like the YubiKey. Currently, dTPM and fTPM are basically like having your YubiKey always plugged in and glued to your machine. Convenient for authenticating you, but not secure from guys stealing your machine and probing it in a lab.
>This works well for me except the 15B+ don't run fast enough on a 4090

I assume quantized models will run a lot better. TheBloke already seems like he's on it.

https://huggingface.co/TheBloke/CodeLlama-13B-fp16
0. Get paid enough to afford all the rest.
Interesting. As a company angling or fulfilling large government contracts for sensitive projects I would have thought they had at least some requirements to avoid hiring non US-persons. Curious if they have a valid argument to have extended that practice to the whole company as this release seems to state.
throwaway since since i used to be affiliated with them.

HF did an amazing job in community building, transformers library and being the central store for all oss models. That said they are ages away from PMF and just have a bunch of different products non of them commercially successful (services, autotrain, quantization, HF hub for EE, inference end points etc). The majority of their revenue comes from partnerships with SageMaker/Azure where they pay them for sending users their way which wouldn't continue to grow.

While it's always a possibility for a FANG company to buy them IMO they are completely screwed. At a $4.5B valuation they will have to reach at minimum $250m in ARR to IPO and at the moment they're probably stuck at around $25m ARR.
It's funny how many one second pauses turn out to be less than necessary. How many sysadmins took meaningful action because the system paused when they had an invalid machine uuid?
Google Cloud learned to embrace its partner ecosystem
I've noticed lately that I have a lot of jaw tension which is linked to stress and I think information overload which is related to this article. Has anyone else had this? What has worked?