skysight-inc/HackerNews huggingface dataset:
you are correct. The Schrödinger equation for the hydrogen atoms in spherical coordinates demonstrates separability which allows you to separate the radial and angular coordinates. The radial term, which is most interesting due to the 1/r potential is typically a Laguerre polynomial. The angular term is 'free' from any potential is typically a spherical harmonic.

The spherical harmonics in general are typically derived as part of the solution to the Laplace equation in spherical coordinates. A bit of a semantic point (though perhaps the distinction is important) though, since the Laplace equation's angular dependence is identical to that of the Schrödinger equation for the hydrogen atom.
UPDATE:
It's my mistake... The FAQ on the MVP page was generated using Gemini, and I didn't review it carefully. I've now updated the FAQ.
thanks for testing the game, really appreciate it. We will be looking into improving things for sure between now and official release date. Thank you.
In my experience, learning a second language to a high level involves some amount of disassociation. Only people I know without this experience spoke both languages from a very early age usually at home. So this tracks.

But there can be other factors as well. For example in social contexts can change sharply between languages. The way I talk with my family is very different from the way I speak professionally—at home I'm the youngest and at work I'm the boss.
ah you mean chromebook? YEs some chromebook may not have good enough GPU to run it.
I'm really against mixed-member proportional (and pretty much all form of proportional representation) since you end up with party hacks unaccountable to voters. When parties control the order of the lists there is also really strong incentive by representatives to tow the party line to avoid relegation.
thanks soo much!! =)
thankk you! =)
Thanksss!! =)
Location: Tsukuba, Japan (native from Brazil)

Remote: Yes

Willing to relocate: Yes (anywhere). I do NOT need visa sponsorship for France, Brazil or Italy.

Technologies: too many so dividing by focus below.

- ML/Data Science: pandas, scikit-learn, Tensorflow, PyTorch, Apache Spark, HuggingFace Transformers.

- Natural Language Processing: NLTK, spacy.

- Computer Vision: OpenCV, Tesseract/TesseractOCR, PyTorch, torchvision.

- Web development: HTML, CSS, Javascript, Bootstrap, PHP, Wordpress, Python + Flask, Python + FastAPI.

- Desktop applications: C, C++, Qt, Python + PyGame, OpenMP.

- Software Testing: pytest, Selenium.

- Cloud: Azure Storage, Azure VMs, Domino Data Lab, AWS Lambda, AWS APIGateway.

Resume/CV: https://docs.google.com/document/d/1emayi7l4JXVZag7hz2rI7Xx6...

Email: matheusolipaula@gmail.com

About me: Almost 6 years of experience in the tech field, with 2 of those being in AI engineering and 4 on software engineering. Ny current focus is on ML and Data Science but looking for all good opportunities.

As a software engineer, I have released a game developed in Python in Steam along an Indonesian team named Herculion and developed software solutions to speed up their development processes. I have also released three websites for Odds Scanner, a Maltese startup focused on sports betting websites, and developed a desktop app for particle physics during my Bachelor's degree using C++ and parallel processing libraries such as OpenMP.

As a ML Engineer, I have worked for SCOR, one of the world's largest reinsurers, producing a document classification model and a backend solution to make use of said model for them. I am also currently working as a Computer Vision Engineer at one of Japan's biggest research institutes, AIST, for almost a year now, where I developed a deep learning model for depth estimation on panoramic images with SOTA performance and contributed to the development of a novel spherical SLAM solution. I am currently working on pose estimation in a project in partnership with Carnegie Mellon University.

My current job unfortunately gives me no opportunity for growth and is too research-focused for my tastes, and therefore I am looking for a new opportunity in a company where I can grow as a professional, have a bigger engineering focus and advance to a more senior position in the future. My strong point is being a generalist that can easily adapt to new requirements at the job and do anything given enough time and resources, while also having specialist knowledge in ML and software engineering thanks to my education and research experience.
thanks for feedback, yep you are right we could certainly improve the UX here. Thank you.
(2015) Popular in 2021, although limited discussion (174 points, 10 comments) https://news.ycombinator.com/item?id=28243636
ahhh yess Terms shoot need to get that fixed! Sorry about that.
We do use some other techniques to filter out comments that are almost always considered useless by teams.

For the typical team size that uses us (at least 20+ engineers) the number of downvotes gets high enough to show results within a workday or two, and achieves something of a stable state within a week.
Try now... I think it's working OK after we pushed a quick patch update earlier today.
Thanks for clarifying. The issue is what code would be rejected for auto-translation, not the correctness of an "accepted" translation (as my comment may have implied).

The point of noting that the example translation quietly does the wrong thing, is that that is the reason that it would have to be ("unconditionally") rejected.

While the paper does suggest that their example translation would be rejected:

> If the original C program further relies on x, our translation will error out

note that precisely determining whether or not the program "further relies on x" statically (at compile/translation-time) is, in general, a "Halting Problem". (I.e. Cannot be reliably done with finite compute resources.) So they would presumably have to be conservative and reject any cases were they cannot prove that the program does not "further rely on x". So it's notable that they choose to use a (provisional) translation that has to be rejected in a significant set of false positive cases.

And at least on initial consideration, it seems to me that an alternative translation could have, for example, used RefCell<>s or whatever and avoided the possibility of "quietly doing the wrong thing". (And thus, depending on your/their requirements, avoid the need for unconditional rejection.) Now, one might be an a situation where they'd want to avoid the run-time overhead and/or potential unreliability of RefCell<>s, but even then it seems to me that their translation choice does not technically avoid either of those things. Their solution allocates on the heap which has at least some theoretical run-time overhead, and could theoretically fail/panic.

Now I'm not concluding here that their choice is not the right one for their undertaking. I'm just suggesting that choosing a (provisional) translation that has to be rejected with significant false positives (because it might quietly do the wrong thing) is at least initially notable. And that there are other solutions out there that demonstrate translation of C to a (high-performance, deterministic) memory-safe language/dialect that don't have the same limitations.
It's a shame that Apple's stated intent is to throw the project away after a while. Personally, I really hope it sticks around forever, though I'm not optimistic.
On the one hand, making mistakes in basic math is reasonable cause for retraction; on the other hand, why are people defending the use of something with only 8% of the daily limit of a carcinogen? Is there some hidden benefit to using melty plastic utensils on a hot iron pan versus, say, wood or metal, both of which contribute closer to 0%?
not quite as they are missing the radial dependence
"Now, it should be clear that most of the time (28s-53s on the time line) of importing that particular USD file is spent in id_sort_by_name".

Luckily there's a graph screenshot. But the graph it displays is incomprehensible. Without "id_sort_by_name" being on the one bar, I wouldn't even know what I'm looking at.
Initially, Kotlin attracted mid-level folks to transfer. I recall a roaming staff engineer who lead the project for a bit, and then wisely rotated outside of the org.

Long-term, the folks who remain are stuck and unhappy. The business got what it needed and moved on, leaving a system half in maintenance-mode, half feature-complete. Any Kotlin-only changes are mostly just bug-fixes or glue work with other team's SDKs. Any new features carry a lot of risk because the few people motivated to drum up new business (and write up requirements) left or quiet-quit.

In a weird way, the project naturally selected for people who would get stuck maintaining the artefacts of the project. It's a paradox that I can't fully comprehend.
Thanks for sharing this! Linked it on the website.
I'm not saying nobody in Poland did anything, but that isn't the standard. I think this is the story:

https://www.reuters.com/article/lifestyle/film-about-massacr...
Give it another shot after we pushed a fix earlier today. =)
In-Depth Comparison of Open Video Models: Hunyuan, LTX, CogVideoX
I was intrigued by how many of the 3000 cities you’ve cached I had heard of. You used population size >100k as cutoff, it would be interesting to compare how many cities someone has heard of with their population size.

This would be a fun metric to rate someone’s “global orientation”.

Only recognize the cities with >1M people? Low GO score (or more charitably, high Local Focus score :-)
little tells?

I figured the direct quotes from The Bell End were a bit of a give away.
I want to avoid another "not-a-framework" framework, like how React called itself "just a library" to semi-honestly offload the responsibility of state management. I don't know if LitElement is that, but I have some trauma.

On a positive note, it's a joy to compose my own framework.
"Domain Modeling Made Functional" is a great read and sits next to a lot of these topics. Very easy to follow and learn from even if you don't know (and never intend to use) the language.
Our AI code review bot (Codacy) is just an LLM that compiles all linter rules and might be the most annoying useless thing. For example it will ding your PR for not considering Opera browser limitations on a backend NodeJS PR.

Furthermore most of the code reviews I perform, rarely do I ever really leave commentary. There are so many frameworks and libraries today that solve whatever problem, unless someone adds complex code or puts a file in a goofy spot, it’s an instant approval. So an AI bot doesn’t help something which is a minimal non-problem task.
They are just eigen states of the angular momentum operator.
FP does not deny state, it merely segregate it between the before and the after, and everything that is in between is transient. Then you combine all the individual functions, piping them into each other and the whole reflect the same structure. Then, it becomes easier to reason about your logic as you only have two worry about 2 states: the input and the result. No need to care about individual transformations and ordering like you do in imperative.
I feel that way sometimes too.

But then I think about how maddeningly unpredictable human thought and perception is, with phenomena like optical illusions, cognitive biases, a limited working memory. Yet it is still produces incredibly powerful results.

Not saying ML is anywhere near humans yet, despite all the recent advances, but perhaps a fully explainable AI system, with precise logic, 100% predictable, isn’t actually needed to get most of what we need out of AI. And given the “analog” nature of the universe maybe it’s not even possible to have something perfect.
We found that in general it's pretty hard to make the llm just stop without human intervention. You can see with things like Cline that if the llm has to check its own work, it'll keep making 'improvements' in a loop; removing all comments, adding all comments etc. It needs to generate something and seems overly helpful to give you something.
I'd be fine with that as long as it was something I could turn off and on at will
Earthly Switches to Open-source (2022)
If it is 1860 and you want to see that your data is preserved for 164 years, then you start by keeping it in geographically diverse places where people will look after it and tend its needs for 164 years.

As a concept, that's really not different at all from holding on to today's data here in 2024.
He's 80 years old now, and it sounds like he might be suffering from dementia. That business about objecting to the taste of his beer is a common symptom of dementia, as are his inappropriate reactions.
I mean one man's trash is another man's treasure. We can't save it all but if we save even 10% of it, that would be great for future AIs to learn from our mistakes and what humans once did on a day to day basis before they were replaced.
I have several friends who do this work for various platforms.

The problem is, someone has to do it. These platforms are mandated by law to moderate it or else they're responsible for the content the users post. And the companies can not shield their employees from it because the work simply needs doing. I don't think we can really blame the platforms (though I think the remuneration could be higher for this tough work).

The work tends to suit some people better than others. The same way some people will not be able to be a forensic doctor doing autopsies. Some have better detachment skills.

All the people I know that do this work have 24/7 psychologists on site (most of them can't work remotely due to the private content they work with). I do notice though that most of them do have an "Achilles heel". They tend to shrug most things off without a second thought but there's always one or two specific things or topics that haunt them.

Hopefully eventually AI will be good enough to deal with this shit. It sucks for their jobs or course but it's not the kind of job anyone really does with pleasure.
I mostly just want to preempt the inevitable citation to IQ & The Wealth Of Nations; it's a little squicky for me to predict it's coming (but it was definitely coming).
These talking points went mainstream around the time Reagan got elected, around the time stuff like the Laffer curve got taken seriously.

The United States was mounting a vigorous defense against the Warsaw Pact in 1960, and again in 1970, and straight up through 1979 before Reagan was elected and we took the Laffer Curve straight off the back of a napkin and to the legislature.

There is a way to run a participating democracy without a dystopian upwards wealth transfer, without unlimited political spending, without a catastrophic class segmentation that will lead to war. And we can do it all while opposing unbounded statism.

It sounds like you’re doing well under the current system and trying to frame it like that makes a system good.

Fuck you.
QEMU probably had to account for differences in memory models. A fork with that stuff removed might be able to easily catch up.
Is there a way to do that without signing in?
People have been doing this for ages. It comes down to the effort model in use. Personally, I prefer BEAKL layouts, because I have very weak and slow pinkies.
That doesn't explain why people would have less sex now than in the past.
> A 50% + 1 margin of victory should result in the law becoming void the moment the parliament composition changes.

I do like the idea of built in timers on laws, but instant revocation seems too extreme. A marginal law expiring at the end of the new term seems more conducive to stability. That gives time to debate, discuss, and pass (or not) a modified version so everyone affected has time to participate and plan for revisions.

> Constitutional changes should essentially require unanimity ( and a referendum on top of it) since they are the only permanent laws.

Here in Canada the bar on constitutional amendments has been set so high it's unlikely we will ever be able to change it for any reason. Too much change isn't healthy, but neither is none.

Not American, but I do think their bar for constitutional amendments has also been set too high and I think it's contributing to polarization. Setting it even higher seems counter-productive. I have similar feelings about the filibuster.

More laws passing would let people live with the consequences, good or bad, of all the stuff being proposed. Voters would be able to vote based on reality rather than the boogey-man each side portrays of what the other side might do with power. There should be a high bar to change a constitution, but it needs to be clearable more often.
That is fascinating that this amazing system was the work of largely one person. You mentioned that interacting with the OS was super difficult. What were the most enjoyable aspects of building Rosetta?
Voices from the Dead Letter Office
This. That is the biggest idea and also the most applicable and the easiest to understand when your complexity is going through the roof.

For example in Ruby land it is very common to make a class and then make a lot of small tiny methods which are one liners or two liners.

I had asked him directly about this and his answer was to avoid doing it.

Since then my Ruby and Common Lisp code has become much better.

I have since moved to rust, but the point still applies.
A bit tangential but why is CloudFormation so slowww?
You could say that. Or, in binary ASCII, you could say your name is 93.75% the same (it flips only the last bit of 16).
a vibrating string make sine waves, a vibrating bubble make spherical harmonics.
I have been doing this for years and it’s amazing. It really does make meetings more useful because I can show people what I’ve done and they see it and know. It’s far easier in the moment to put down the Jira ticket and write a description of what I did or who I helped or what is broken and the attempts to fix it etc etc.

It helps me organize what I’m going to do. Who I need to talk to. Etc etc. this part is outside of the Changelog per se but I also keep a log for that and I keep a document called reference. It’s a Knowlege graph of sorts of all things that I learned about the company over time.

Examples include: this is how to reload data from this really convoluted system and the things to watch out for. (This eventually becomes a confluence doc for everyone’s benefit)
unspeakable
> Footage of people being shot is actually allowed on many platforms.

It's also part of almost every American cop and military show and movie. Of course it's not real but it looks the same.
Feature Chum
Not a silver bullet; you increase api versioning overhead between services for example.
It is because they are permitted to operate with a total upper limit of kills for certain protected species. They have to continually monitor, and if they hit the limit they need to seek further approval to keep operating.
> Omegle was basically Tinder for predators

Any evidence for this or do you just have a grudge?
Elon is going through a classic drama of having success in one area on life, means people tell him he's an expert at everything should involve himself in every big thing.

Reminds me of Howard hughes from his biography.
Wireless High Resolution Scrolling Wheel [video]
Excellent comment, can’t wait to give this a look and start playing around.
As a daily user of F# I'm not sold on this suggested alternative.
It seems to be trying to make it as easy as possible to make the Result type behave like exception handling, but I think there are some key downsides to the approach.

First, Result is often used in place of Choice only to communicate the intent that the 2nd case is an error case. Making it more work to use Result (by requiring the types used for the Error to implement some special interface) means programmers will simply use Choice instead.

But the bigger issue is that this suggested change would remove the ability to ensure that cases of an error type are exhaustively matched. They introduce the FailAs active pattern at the very end of the blog to deal with logic that wants to inspect the underlying error cases, but active patterns break the compilers ability to check if a match is exhaustive. This is a really useful property for program correctness, I can ensure that a caller of my function will receive a compiler error when a new error case is introduced that wasn't previously handled.

I wonder if a better design for the error type could be some kind of error type set that could automatically collect possible error cases up the call stack, so that when confronted with an IFault you at least know what possible cases it could have. With some type inference help it might not even be that painful to deal with, the first example could automatically infer a type like Errors<AtlasError, ForExError>.

As touched on briefly in the article, the elephant in the room here is that changing the Result type doesn't do anything to unify the two distinct worlds of exceptions vs error values that currently exist in F#. Dealing with obscure C# exception flow from F# has been the biggest source of subtle, hard to track down bugs in my production code.
Autistic people do have empathy, it just works differently. Most of them are actually really caring, just not very good at showing it. Nor at picking up others' feelings. But they do care about them in my experience.

Most of them I know will have more difficulty with this type of work, not less. Because they don't tend to process it as well. This includes myself as I do have some autistic tendencies. No way I could do this.
But apparently being a barely-concealed white supremacist is “fine”. Reasonable people can agree to disagree, in your view.
Depends seriously on the country, the Netherlands was way ahead there. In many ways more ahead than it is now because it has become so conservative lately.
Okay I’ll bite. The essay on raising children piqued my interest. The first two paragraphs:

> I never yet saw that father, but let his son be never so decrepit or deformed, would not, notwithstanding, own him: not, nevertheless, if he were not totally besotted, and blinded with his paternal affection, that he did not well enough discern his defects: but that with all defaults, he was still his. Just so, I see better than any other, that all I write here are but the idle reveries of a man that has only nibbled upon the outward crust of sciences in his nonage, and only retained a general and formless image of them; who has got a little snatch of everything and nothing of the whole, à la Françoise.

This does not seem “updated” or “modern”.

Updating these old texts seems like a perfect use case for AI. Let’s give GPT 4o a shot:

> I have never seen a father, no matter how frail or deformed his son may be, who would not still claim him as his own. Yet, unless completely blinded by paternal affection, the father is fully aware of his son’s flaws. Despite those shortcomings, the son remains his child. In the same way, I am more aware than anyone else that what I write here is nothing more than the idle musings of someone who, in his youth, only skimmed the surface of knowledge. I have retained only a vague and incomplete impression of the sciences, having dabbled a little in everything but mastered nothing—true to the French way.

Much better!
There's never been a time when people didn't ____ (fight wars / die of disease / die of starvation / etc / etc). We know that very well, and that's why we work hard to improve our world.

Compare the world you were born into with those from history, and you'll see we can accomplish incredible things.