skysight-inc/HackerNews huggingface dataset:
My config is a horrible frankenstein of both.

I use lua when examples are in lua or when I need some "logic" (such as assigning defaults to a var and then passing that around/overriding).
And that's embedded in vimscript.

I don't really like either. VimScript has always been a horror to me, eventhough I've been using vim for some 20 years now, almost exclusively. Lua is "that thing that I should really sit down and learn. But not now, I've got stuff to finish".

What does lua -for an end user- offer that something like yaml+python cannot offer? I really won't mind setting all sorts of flags, defaults and vars from some init.yaml, and then have some init.py to handle the few places where I do need actual logic. Why was lua picked, why did vim build its own language and not move to an existing one for its config? Am I just weird for never sitting down and learning lua? Or vimscript? Or both?
You just need to come from an elite school and a faang and use the two letters “ai” in your pitch deck.
I think other fields it's gotten much harder to explain the results. For example, it was a big deal in number theory a few years ago when 10 authors proved a weak form of the Shimura-Taniyama conjecture for number fields with complex multiplication. (The simplest case of Shimura-Taniyama implies Fermat's last theorem.) It would take an entire course to explain just the statement of the theorem.
Neither a Stripe employee nor a trademark lawyer, but your store has a LOT of products with trademarked names / logos / etc

The central processors (Visa / MC / Amex) take a very firm stance against unlicensed products; they can and will go as far as to CUT OFF whole processors who fail to enforce the rules. ("cut off" as in "hey Stripe, you and your customers can't accept MasterCard for the next two years. DEAL WITH IT")
The honest answer is chance. I happen to be studying somewhere that gives me an extra-ordinary amount of freedom, and I'll be using it soon to visit Morocco (to do research and write). I also happen to be surrounded by a friend group that are deeply tied to the music industry, and because I'm an illustrator/designer/artist, I can help musicians in that field with album art, music video animations, printing and so on. It's mutually beneficial, but I didn't plan to meet the right people at the right time.

The more "self-made" answer is that I'm ruthless about cutting people out of my life who make me feel bad in ways that can't be solved through communication or a good heart-to-heart. I have a feeling that this puts me into better situations sometimes, because people recognise integrity/self-respect and want to be a part of that.

I also am a fanatic about spending at least 15 min every day in nature, which is where I drink my coffee. This is my morning routine, come rain or shine.

Other things I do to help this lifestyle:

- Wake up without alarm (unless I have a meeting)

- If I'm at parties, grab fresh air occasionally - sometimes you'll get good company out there too, and you can recalibrate

- Saying no to things that other people think are fun, but I don't

- I don't read for hours on end - 30 min at a time is enough, then reflect

- Wear clothes that don't feel modern and sophisticated, a vintage shirt can do a lot to your slow-life mentality

- I've never worked with anything that requires me to work overtime or be on-call

I think the point isn't to have hours and hours of unlimited time to think, but to take breaks in between activities, and carve out consistent 15-30 min slots for your brain to settle down again. Take as much stress out of your life as you can, without making that a stressful activity as well.
How to Implement Content Security Policy in Rails
If you do embedded stuff you can easily get above COM100 if you're doing something like testing (if a USB to serial converter has a serial number, it gets a unique COM port). Although I don't think these high numbers have any effect on the file system, just the legacy low numbered ones DOS could have.
Is it feasible for them to build an orbital version?

I want the concept of launching from altitude to work because it seems like the heavy atmosphere part has different requirements and so having another vehicle to help with that seems intuitive.

I also wonder if you could make orbital flight with this type of system more achievable if the delivery aircraft and/or the rocket had scramjet ability so that it was more efficient.
https://github.com/Bing-su/adetailer works very well on faces and hands.

This is a good solution for all the use cases I’ve dealt with.

Are there widespread use cases where, knowing a deformity exists is required than just fixing the deformities?
I referred to MySQL vs MariaDB
All knowledge ultimately relies on some self-evident first principals which are not demonstrable.
> According to François Hollande (who served as President of France from 2012 to 2017), the West has been pumping Ukraine with weapons since 2014. From my point of view, this is a provocation. If it's not for you, please explain why

Its not a provocation because it was a response to the Russian invasion of Ukraine in 2014, which included the occupation of Crimea, and the introduction of Russian troops and Russian-sponsored PMCs (including Wagner), and Russian weapons and other support to Russian-allied local proxy forces into Eastern Ukraine, and which was the start of the still-ongoing war.
Whoever suggested 'eventual recovery from overfitting' is a kindred spirit.

Why throw away the context and nuance?

That decision only further leans into the 'AI is magic' attitude.
> "And it is true that we better watch out that they don’t get to a place on the Moon under the guise of scientific research."

This... is a really weird take. The whole thing is weird. "Steal"?? The resources on the moon? As though they belong to anyone? Why do we suddenly care _right now_?

That combined with the bizarre chest-puffing tone I'm getting from the article... what a weird thing to read.
But what you have proven is just that there is an increasing use of possibly improper terminology (improper in front of an established past and logos, improper out of inattention and unawareness) - which is what I was warning against in the first place.

Of course any group (however large) may implicitly decide that terms will have some new meaning inside said group, but this will just go in a direction similar to ⊥, the "logical explosion" ("epistemic anarchy").

And this in context is not just a "new meaning", but what I point as a sign of misunderstanding.
Unparalleled RDP Monitoring Reveal Attackers’ Tradecraft
Amar Bose ’51 makes stock donation to MIT (2011)
Ah, that makes some amount of sense.

But... Why not just call it "_forms" or ".forms", which are already prohibited due to the first character?
Well it depends what you mean by “best” :-) removing the linear layer is the easiest solution (indeed you can’t remove the embedding one; in theory you could replace embedding + linear by one hot encoding + linear, adapting the input dimension or the linear layer to match your vocabulary size, but that would just be identical to embedding layer, just much slower and more memory hungry).

Alternatively, you could indeed put a ReLU or other non linearity between embedding and linear, you get a different model with more layers and more parameters, as the given dataset is pretty large I’m quite sure this would bring an improvement to accuracy, but without testing it’s rather impossible to know. Normalisation also acts as some kind of non linearity, but when the author adds it that barely helps accuracy at all, so who knows, sometimes (often) neural networks are counter intuitive…
grok, implying a mystical union, is not applicable to AI
Yeah the title of this article is a very poor choice of words
I can't send a text from Google Voice to my phone that has the domain 'united.com' in it. It just gets lost in the ether.
They also have to change sides: https://www.reddit.com/r/MapPorn/comments/29i4hq/side_where_...
> but streams rely on spliterators for concurrency

which I never seen anyone uses and it makes everything more complicated

they probably should've have some ParallelStream interface
I can totally relate to this. I used to have shelves of old parts that I might maybe use again someday. It seems like I'm able to change my own behavior very abruptly by finding the right perspective. I convinced myself to clean it all up by thinking about opportunity cost. It costs money and time to store things. How much does it cost me to store this? Monetarily, psychologically, socially? If my rent is $2/sqft/month, then this box that takes up 2sqft costs $4/month to store here. It would cost $80 to replace the most expensive item in this box and there's a 10% chance I'll ever actually use any of it again so this box has an expected value of $8. After 2 months, I'll have paid more to store this stuff than it's worth to me. And am I embarrassed to bring company into this room because it's such a mess? Are there other things I could do with this room if it weren't crammed and cluttered? Could I live in a less expensive apartment with fewer rooms and save more money and retire earlier if I didn't keep this stuff? Do I have to spend x hr/year maintaining this stuff to keep it in functioning condition? My free time is worth at least $x/hr. I'll take it to goodwill and I'll check goodwill first if I need it again in the future. Now if I could just get my partner to start thinking similarly and stop spending $300/month to rent a storage facility to hold dead grandma's worthless furniture that no one wants ...
Not really. Space is a really chill environment. The worst that could happen is your spaceship blows up, but we’ve gotten pretty good at not doing that lately. The bottom of the sea is far harsher and less forgiving. Everything about it tells you you’re not supposed to be there.
I would have given them a 10x return.
I don't think it is unexpected if the counter examples are really really big. It haven't been so long we have gotten lot of processing power and memory. If the counter examples only appear when you are in territory that is unfeasible by hand it is not so surprising.
It sounds like they got $1 plus a perpetual right to 50% of the value if the name is ever sold onward. That right is worth far more than $1.
I mean.. -50% would make US competitive with India, and I'd much rather have people in US timezones than the worst timezone imaginable for US-West.
Well, same as anything. It sounds like they weren't seriously looking for counterexamples, they were looking for a starter project to "implement" the hypothesis and generate a nice chart to illustrate the property. It wouldn't have been a failure if that's all they'd produced, they would have moved on to the next thing.
The core difference in this story is that the victim was then contacted by UPS Canada to pay the duties for all of the stuff she was sent.
My off grid community runs a micro grid for the residents and projects here. Our all solar micro grid runs a coffee plantation, 7 cabins, 5 houses, a gym, a dojo, a lounge/kitchen/dining hall, water production, purification, and distribution, a small school, and several apartments and workshops.

It’s totally feasible for many areas and power is comparably priced or cheaper than the local utility while being much more reliable.
Who will pay for the operational costs?
While I enjoyed rewatching the latter half of episode 2 of season 1 of James Burke's Connections tv series, I don't see how the invention of the cloud chamber (which you start the video at) is relevant to standards for rail, horses, or rockets. What's the connection ?
no, with non-compete barstool is worth half their value anyway (they still get half of the proceed from selling profit so its not really $1)
There is a new project called Rad12 (https://rad12.io/)...
It's still in beta, but seem like it'll be perfect for you!
:)
Man, what a way to malign bards.

Bard is a great class!

... certainly not the type to sit around and download porn all day, I'm sure...
tl;dr: the conjecture is that if you start with three touching circles, each of which has an integer curvature (i.e. 1/r is a whole number) and you then draw a circumscribing circle around those, then starting filling in the gaps between the circles with ever smaller circles, every one of those smaller circle will also have an integer curvature.

Turns out, they don't, but no one actually sat down to do the grunt work necessary, because as it turns out you need a lot of circles before you see the pattern breaking down.
If their approach is reproducible and correct, they have successfully disproved the conjecture. If errors are found, corrections will be made.

They had started attempting to prove the conjecture. This result could be considered a failure of that proof. Showing they’re capable of performing the research makes them good mathematicians.

I believe the answer to your last question is “lots.”
"and certain non-compete and other restrictive covenants"

Might not be possible…
Link to SEC document...

https://www.sec.gov/ix?doc=/Archives/edgar/data/0000921738/0...
This was really clearly explained in Matt Levine's column yesterday [0].

Basically, Penn purchased Barstool for the exclusive right to use it to advertise sports gambling. Then, after the exclusivity term was up and people were more comfortable with sports gambling, Barstool was too toxic to stick with and ESPN was available. They had to ditch Barstool with the requirement that it not advertise different sports betting with a similar name, and the only person who wanted it (see toxic, above) was Dave Portnoy, so they sold it back to him. Effectively they paid ~$200million a year to have exclusive sports betting advertising through a big sports website, which is not insane.

[0] https://www.bloomberg.com/opinion/articles/2023-08-09/barsto...
STL: The map, set, multimap, and multiset
Common Alzheimer’s disease gene may have helped our ancestors have more kids
Holy shit I hadn’t read the cert petition and hasn’t seen the quotes. I never believed the assertion that “all white people are racist” because I honestly thought the white people around me didn’t “see race.” This has been extremely eye-opening.
Ask HN: Where do you go to chat about your work?
I’ll often have mundane programming questions that are matters of opinion or are otherwise not appropriate for e.g. Stackoverflow. I want to discuss them casually and hear how other people handle things. HN has great comments on programming-related articles, but you have to wait for the right one to pop up to discuss a particular topic. Reddit is more open to questions that are best answered with opinions, but it’s still not all that informal. Work is good for this if you have the right team, but teams can be small and it’s not always appropriate to interrupt someone to just throw ideas around.

Other than work itself, where do you go to “shoot the shit” about work-related topics, unformed project ideas, etc.?
Fighting China on the Moon, just like in Fallout!

https://fallout.fandom.com/wiki/Sea_of_Tranquility
That's right. An analysis I read said that the contract to give the company back to Portnoy specifically forbids him from running a sportsbook. He cannot in anyway compete with what Penn is doing. Again, according to the analysis I read.
> Nobody born in the last 50 years would ask that question about computers

obviously you have never had a tech support job
That's way too brief and low-effort to meaningfully engage with and update on.
There's a great Veritasium video about this. The idea is that if there are far more applicants than positions, then even if luck plays a small role - say, 5% of the outcome - successful applicants are overwhelmingly likely to be extremely lucky as well as highly qualified. Since so many people are close to that 95% competence factor, only the luckiest - by whatever metric of "luck" you like - can succeed.
I'm replying to your comment, which brings up a lot of tangential issues about Ubuntu and AWS, none of which are specific to Kubernetes. As other replies have pointed out, "you had a problem" and the bug ticket you linked doesn't even mention k8s. Skept-o-meter over 9000 indeed.
Not just unproven, there are a decent number that are known to be unprovable.
For those confused how the numbers make sense, it's important to understand that in 2020, online sports gambling was just picking up steam. Penn paid $500M to Barstool to get themselves in the space because Barstool readers have an affinity towards online sports gambling.

Now, to become even larger, Penn wants to license with ESPN instead, agreeing on a 10-year deal at $2B. Think about the $500M acquisition cost of Barstool as a cost amortized over 3 years and it's basically what they have agreed to with ESPN except they are paying more because ESPN is a larger partner.
What is an example scenario I would use this for?
> other areas like number theory…

In case you didn't notice: the article is about a discovery in number theory. The primary mathematician in this story (search the article for "Stange is a number theorist…"), the ones referenced and quoted ("Elena Fuchs, a number theorist", James Rickards, Peter Sarnak, Alex Kontorovich, Jeffrey C. Lagarias, …) are all number theorists, and the paper itself (https://arxiv.org/abs/2307.02749) was posted under math.NT.

Apollonian circles are geometry, but the conjecture is about the integers that show up as the curvatures of packings, and specifically about the "certain numerical buckets" they happen to fall into. Of course mathematics is ultimately a connected whole; e.g. Jean Bourgain mentioned in the article would not be considered primarily a number theorist.

[And of course there's a bias in what gets covered: researchers work in all areas and it's far from true that "this type of geometrical problems the currently most active field of mathematics", but the ones that can be turned into a good story (and geometry is easier to explain / show) are more likely to get picked up by media like Quanta; and some of them are more likely to be posted to HN and to be upvoted. And some of them are likely to be interpreted as about geometry anyway!]
Yeah, point; I probably should have said something more like "emoji shouldn't have alternative meanings, so they should work if your unicode support is functional (which is a big caveat)." On the bright side, yeah, emoji have been great at pushing things to handle unicode nicely and act as a... I dunno, natural fuzzing case?
Whilst its to the edge of space where weightlessness is only experienced for a few minutes, in terms of scalable processes for the masses to experience space, this seems to be one approach that could scale up quickly.
PSA: if you’re interested in the details of this topic, it’s probably best to view TFA on a computer as there is data in the visualizations that you can’t explore on mobile.
Chariots are not “useless in combat”, but they are very expensive to field and only work in pretty narrow circumstances: wide, open, and relatively solid areas (aka not bogs).

These circumstances were not a thing for Roman legions until they reached spain at least, possibly North Africa and the Middle East. As a result they were not part of Roman war doctrines.

On the other hand they were very much part of bronze-age Egyptian and Hittite armies.

An other factor to their lack of appeal tho may have been improvements in horse riding technique and gear, as well as training. Riders can also be heavily armed, but have less travel restriction, and you can field a warrior per horse rather than need two horses and a driver per.
If they only accept the very best academically there is probably a bias: it may not be that 'simple' to get a degree once you're in but since those who are in are very good they have a high graduation rate.
What are speed tests that work from the command line?
TBH, I think EV adoption is mostly a benefit. As consumer appliances go, it is the closest thing to truly addressable demand in common use.

Leveling out gw usage is more important than decreasing total gwh used.
I agree that the hype has dissipated. I'd probably contribute a large part of that to media cycles though.

Personally, I think the use cases that go beyond chat are going to be the most valuable. Specifically, the ability to produce structured information.
> Are the employees at Google working on Search aware of how bad search results have become in the past year or two?

I would assume they didn't answer this because the answer is either "No" because echo chamber or "Yes" but they don't want to say that publicly.
"At the edge" means closer to the end user. Maybe you have a central server with the master database in Virginia, USA and edge servers with read-only follower databases near various big cities where your customers live. The point of edges is to provide lower-latency access due to their proximity. They also reduce load on the master server, but you don't need edges to do that.
strange.

> Neovim is available through EPEL (Extra Packages for Enterprise Linux)

from https://github.com/neovim/neovim/wiki/Installing-Neovim#cent...

> Neovim is in Fedora starting with Fedora 25
> sudo dnf install -y neovim python3-neovim

from https://github.com/neovim/neovim/wiki/Installing-Neovim#fedo...
People actually still think this dumb joke is true?
TUI program I wrote for fun as a joke
this program has a small collection of recipes, jokes, conspiracy theories etc. it's a novelty cookbook in the form of a tui program.

ANIMATED GIF: https://gitlab.com/rust3884331/dafuq/-/raw/main/demo-dafuq.GIF?ref_type=heads

archive.org: https://archive.org/details/dafuq-tui

gitlab: https://gitlab.com/rust3884331/dafuq
You left out the part that said, "an arrest prosecutors later deemed “illegal”". He wasn't a suspect, he was profiled and murdered by the cops.
Space.com's coverage includes the specific altitude [1], listing 88.4 km: "The space plane reached a maximum speed of about Mach 2.9 on Galactic-02 — 2.9 times the speed of sound — and a peak altitude of 290,000 feet (88.4 kilometers) before heading back down to Earth. It aced a runway touchdown at Spaceport America around 11:32 a.m. EDT (1532 GMT)."

This tracks with CBC News's estimate [2], which reports that the flight generally reaches an altitude of "more than 80 kilometres up," though the CBC's report does not include altitude numbers specific to this flight.

[1] https://www.space.com/virgin-galactic-galactic02-launch-succ...

[2] https://www.cbc.ca/news/science/virgin-galactic-tourists-1.6...
Oh yeah we had that. But the query for compliance didn’t track how long you were in the office. Eventually it was updated and people had to be more clever. But the fact was while I was there they never got more than 35% compliance with the mandate. They were escalating the stakes and threatening performance review problems etc when I left. At some point I just decided it wasn’t worth being at a place that values controlling my body more than my contribution. If that’s the case they can have neither.
It's a dumb joke with no basis in fact.
Meritocracy is not really Marxist. Marxism is more 'to each according to his needs'
https://en.wikipedia.org/wiki/From_each_according_to_his_abi...

A Marxist tone would be more focused on getting rid of the elite class doing the owning things part. (which has proved difficult...)

Meritocracy is actually nearly as awful as aristocracy in practice. A better society would just be more equal across the whole population regardless of birth, merit or whatever.
i.e. CEO pay is now 300 times average employee pay, something more like 5 times would be a very different society and still have room for some merit element
And having wealth above a reasonable level shrink exponentially rather than grow exponentially through some kind of share ownership tax

Then Harvard just wouldn't matter that much
This is the funniest website I've seen in a long time.