skysight-inc/HackerNews huggingface dataset:
Telus International! Not exactly a sketchy fly-by-night entity, and their job postings for these gigs are all over the place. I guess that after all these years we find out that Telus is really short for Teluseverything. I completed the survey but there's no way in hell I'm going to take any position they offer, ever. Though I'm sure answering no to that question means my application got round-filed immediately.
Maybe I didn’t explain myself well.

My managers and principal engineers on my team made it clear that NOT actively working to build promotion packet materials and engaging in self-marketing within the company placed me at a lower rank over time.

It was explicitly not good enough to do my job as described.
They used a system called stack ranking and (unofficially) they would put people lower on the ranks on PIPs and prepare to let them go even if they were fulfilling their responsibilities to the letter (but not above)

Maybe this wasn’t the case for staff level engineers, but it was for mid levels (which I was at the time)
> As the hours have passed and the manhunt has continued to come up short, some commentators have started creating a mythology about the killer, who has stayed ahead of the NYPD and all its cameras. The victim ran a business that effectively decides which medical care its customers can and cannot get. Commentators who dislike the American health-insurance system are using Thompson’s death as an occasion to condemn the industry’s conduct, as if the assassin were a modern-day Robin Hood.

Ah, and now it's time for settling into that good old corporate media management of the Overton window. The reaction to this event definitely isn't an immediate society-wide outpouring of energy from everyone being thoroughly frustrated with the healthcare racket specifically, and the utter lack of corporate accountability in general. No, it's just a small faction of "some commentators" who "dislike the American health-insurance system" creating a "mythology" only after "the hours have passed". Everyday upstanding people all believe that it's downright shocking how a member of the corporate class that has managed to except themselves from every other form of accountability has suffered this escalated attempt at accountability. He had a family, don't you know!
GlassDollar | Data Engineer & NodeJS + LLMs Full-Stack | Full-Time | Remote(Europe); Hybrid(Berlin); Hybrid(Sofia) | CET ±2 | https://glassdollar.com

GlassDollar is transforming how top corporations discover and partner with innovative startups. Help us build the first complete database of startup solutions.

We’re looking for a Senior Data Engineer to take charge of our data infrastructure and deliver scalable, high-impact solutions. Become part of our stream-aligned team of Product engineers.

* Architect Data Solutions: Design, implement, and optimize data pipelines and backend interfaces that power our platform.

* Optimize Search & AI: Build systems around ElasticSearch, vector embeddings, and LLMs, enabling efficient data retrieval and innovative recommendations.

* Maintain Data Quality: Organize, restructure, and verify startup databases, ensuring accuracy and reliability at scale.

* Value-oriented Execution: Operate autonomously to deliver increments that directly impact users and drive business growth.

* Push the Product Forward: Focus on creating solutions that add value, demonstrating a deep understanding of the product’s vision and purpose.

Our tech stack: NodeJS, Postgres, OpenAI, ElasticSearch, Vector Embeddings

Compensation: €75k-90k+ + plus equity.

For more information and to apply: https://www.glassdollar.com/co-create#open-roles
This is also one of my major complaints at this point. I'm building a developer tool with starklark resting at its core and I had already came across your work.

I wish the starklark team had addressed it at this point.
If liar is lying so the not false statement can also be: "Not all not my not hats are not not green".
Using vectorization in C# to boost performance
https://archive.is/xe2V5
And make my story worse? I feel like to optimize for spite I need to pay a little as well. You made me laugh though - have a good day :)
This question shows how far we’ve travelled from the original concepts of sending/receiving/viewing email. I just found it funny that you said “regular HTML client”, as if that was the default interface for email. Originally, it was all text, so this post is in many ways closer to how many thought of a “regular” client. But ever since Hotmail, it’s been a gradual shift away from command line email towards web applications. Desktop GUIs are still (kind of) holding on, but even they are more likely than not to be an Electron app.

To answer your question, these days, I’m not sure. There are so many extra features that email providers (Gmail/Office365) include in their web interfaces, it’s hard to not make the argument that the web interfaces are the better way to use email.
Ah I see that now, thanks. It was under the ad banner so I missed it first time around.
Is anyone else even close to Google in this space? (e.g. on the "System Metrics" the blog defines)
Ah I missed that this thing is actually embedded. I thought they were just doing multiple implementations for shits and gigs.

Carry on, Google
Show HN: VidPlusPlus – Uncover What Your YouTube Audience Wants to See
Hey HN,

I’ve built VidPlusPlus, a tool that helps YouTube creators uncover content ideas by analyzing audience feedback and emerging trends in their niche. It scrapes insights from tons of YouTube videos, comments, and feedback to suggest actionable content ideas.

Key Features:

Discover Fresh Ideas: Actionable suggestions based on real audience feedback.
Save Time on Research: Automated analysis of hundreds of videos.
Boost Engagement: Identify the topics your audience truly cares about.

I made this to help creators avoid the guesswork of content planning and connect more effectively with their viewers.

I’d love your feedback and thoughts on it! You can check out the free demo here: https://www.vidplusplus.online/

Let me know if this seems useful or if you have any suggestions to improve it!
I've had a set of these (purchased from Amazon) deployed since October and we've been happy with them. The outdoor strand is run by a QuinLED Dig-Uno board and has stood up to a lot of rain so far. The wires at the end are just flush cut short with the conductors showing, so I made some attempt to weatherproof that spot just in case.
The difference is in the model. The same way you can model mechanics with Newtonian mechanics, or statistical mechanics, or quantum mechanics and each of them can be useful in different scenarios, and irrelevant in others.

If you're making Western classical music in classicist, romanticist or modernist style, the model of music you have will carry a lot of information about harmony and the application of harmonic techniques throughout the piece. Given a core musical idea you can then apply peripheral techniques (such as orchestration) to build a full piece. E.g. when people study counterpoint, the model of music originates from vertical harmony of notes and when they can be used with respect to each other. The assumption is that orchestration is something that'll be separately developed "skinning" the composition. E.g. a common technique in this tradition is composing a piece for piano four hands and then orchestrating it (e.g. Holst's "The Planets" symphony was composed this way).

However, this stops being a useful model once you step into other musical traditions. In some cultures harmony would be like how Western music treats orchestration, peripheral to composition (like how extreme speed is irrelevant to Newtonian mechanics because it was never designed for near lightspeed motion). So you'd first design timbres, and have an idea about how timbres interact, timbres change, transform to each. You may have a theory of counterpoint of timbres. Once you have this, you can apply any standard "harmony skin" on the composition and you have a piece. This is not even restricted to non-Western music. If you look at the postmodernism in Western music you'll find instances of it. Easy example: a lot of people say that Philip Glass "makes the same music" again and again, what is being missed is the point he's trying to convey is that even if you pick the exact same 4 chords you can still create variation in music via other means. It just won't be different from the traditional harmony-centric Western musical model.

By the way, I studied CS and my full-time job is a Software Engineer. So I doubt our disagreement comes from my background in computer science.
How much of this was how bazel works vs. starlark itself?

I find the starlark language is very simple (though inconsistent between the various implementations in bazel, go, and rust) but it takes a bit to understand how the magic between defining rules and implementations works in bazel. and TBH, that is also one place I've really needed auto-completion/static typing in starlark to understand what I can/cannot do.
Abuse of comments is not an academic, theoretical consideration.

https://www2.jwz.org/doc/cddb.html

(Unfortunately, because jwz blocks HN referrals, you can't click on this link, but will need to copy it into the address bar)
Why Online Recipe Websites Are So Awful
We've been using RS232 since 1960. I have 100% confidence that in a thousand years there will still be engineering terminals in starships emulating a VT100
> The question becomes why all_of returns true for an empty list.

Because it is, if you'll forgive my Haskell-ese, the only implementation that means that `all_of $ l1 ++ l2 == (all_of l1) && (all_of l2)` for all lists `l1` and `l2`, including empty ones.
> It performed a computation in under five minutes that would take one of today’s fastest supercomputers 1025 or 10 septillion years. If you want to write it out, it’s 10,000,000,000,000,000,000,000,000 years.

If it's not, what would be your explanation for this significant improvement then?
I think we are sitting at about 75% on one of those problems that will go asymptotic at 90%.

And that’s if you swap the default diff algorithm for one of the optional ones. I’ve used patience for years but someone tweaked it and called it “histogram” when I wasn’t looking.
Which seems to be an untenable premise.

"I never make a true statement" says the liar.
We actually had almost the exact same thing happen to Notebook.ai last month:

- automated notice of trademark infringement from some posted user content, accusing us of "fraud and phishing" (filed by a third party on behalf of Meta)

- that user content was immediately deleted upon receiving the notice

- exactly a week later, our host (Heroku) banned our account with a generic no-reason "Your account has been banned."

Total downtime of about 24 hours until it was resolved; luckily, Heroku's support simply unbanned the account whenever I reached out to ask why we were banned. Migrating to another host wouldn't have taken much longer, but would have been a pain.

Goes to show layering a couple automated processes together can have pretty devastating false-positives. I'm glad there was a human in the loop at Heroku I could reach to get things sorted out relatively quickly; also glad to see Itch.io is back up and got it sorted out relatively quickly as well.
I suspect there being a shred of plausibility is why there’s so many people lying about it for attention.

It’s as simple as copying and pasting a link to prove it. If it is actually happening, it would benefit us all to know the facts surrounding it.
Meta comment: I really appreciate comments like this that breakdown problems to the first-principles physics and show their works. Thanks!
You have the power to stop this: disable the app if you believe the ads are harming your child, or opt to pay for YT or another kids video service that doesn't serve ads.

One issue is that YT is possibly violating the law. A separate issue is that parents are allowing children to continue consuming harmful ad content on an app.
Memecoins Show Coinbase's Base Blockchain Isn't So Centralized, Founder Says
The Nonstop Gay Sex Party on the Mexico City Subway
Yes, it works. I recommend you to start reading children books in french, newspapers, wikipedia, and then some short novels or youtube videos with subtitles to keep progressing. Duolingo is great to start
I don't share your mistrust of the aesthetic, but I think it's pretty natural to be skeptical of the out-group, so to speak, doubly so if you have no practical way of verifying their claims. At least you're honest about it!

I guess something to think about it that amongst a group like the "burners" there is huge variety in individual experience and skill. And even within a single human mind it's possible to have radically groundbreaking thoughts in one domain, and simultaneously be a total crack-pot in another. Linus Pauling and the vitamin C thing comes to mind. There's no such thing as an average person!

I guess we'll see what the quantum experts have to say about this in the weeks to come =)
the 2nd edition one is from 2021 and has some errors; there is errata for it

it's alright, a lot of stuff I'd characterize as a 'good start'
Sora is here
To those pointing out that it's dynamically typed, meta's rust implementation - that they use in buck2 - supports type annotations.
It is decades of Arch toxicity, other distros not only Debian based will confirm it. Arch is an OK distro but their kernel is not faster then a Debian kernel, I run Arch for a whle, I compiled the kernel with the flags for my CPU, I build the required modules into the kernel so it loads a second faster, there was no systemd so I also optimized the boot services. I had a ton of free time. But then I did not had free time, and screwing with the kernel and latest upstream bugs was no longer fun. So as an experienced ex Arch user, there is no magic shit Arch puts in their kernel to make it faster, the horror story you hear about Ubuntu is newbs having issue with GNOME and breaking it by tring to put customization in a DE that does not allow it.
That's cool, I had no idea they were cooled.
He doesn’t seem to do social media. We need to find a way to send him logical conundrums :)
>they did not even tell the users to throw away the "outdated" but perfectly working devices, offering a small discount to buy new

Because they simply brick the device when updating and it's easier, faster, cheaper to buy a new device than to unbrick.
only needs trailing commas
Because it's popular?
Do you have a regulator you can report this to?
There are theories like SPOT and Internal Set Theory that don’t require filters.

Plus the ancient mathematicians did very well with just their intuition. And more to the point, I cared much more about building (hyper)number sense than some New Math “let’s learn ultrafilters before we’ve even done arithmetic”.
True of course, but then MSVC only matters for building Windows and Xbox games (and at least on Windows I would also give Clang a try since it typically optimizes better than MSVC).
That explains metaverse funding at least.
I think "experimentally equivalent" is what GP meant, and as of today, it holds true. Google's results are predicted by other interpretations just as well as by Everett. Maybe someday there will be a clever experiment to distinguish the models but just "we have a good QC" is not that.
Doesn't a PLA just boil down to a truth table that you can dump the same way? Or am I thinking of the other kind of programmable logic chip used for this purpose? GAL, I think?
From "12 Days of OpenAI: Day 3"

https://www.youtube.com/watch?v=2jKVx2vyZOY (live as of this comment)
Some devices are hard to upgrade in large part because they were never intended to be used with things like OpenWRT.

To that end: While it can be nice that OpenWRT runs on a quirky compact all-in-one MIPS-based consumer router-box (or whatever), the software also runs just fine on used Dells from eBay.
Sora System Card
It’s “out of the environment”.
Have you tried using the Schrödinger Exception Handler? It catches errors both before and after they occur simultaneously, until you observe the stack trace.
I mean, that's like saying GPUs operate in parallel universes because they can do certain things thousands of times faster than CPUs.
Am I oversimplifying in thinking that they’ve demonstrated that their quantum computer is better than at simulating a quantum system than a classical computer?

In which case, should I be impressed? I mean sure, it sounds like you’ve implemented a quantum VM.
The number N in question will adjust with dx (up to infinitesimal error anyway). So if dx is halved, N will double. But both retain their character as infinitesimal and hyperfinite.
A quantum computer is not just a 10^X faster normal computer.

Are there AI algorithms that would benefit from quantum?
>Do quantum computing folks really think that we are borrowing capacity from other universes for these calculations?

Doesn't this also mean that other universes have civilizations that could potentially borrow capacity from our universe, and if so, what would that look like?
As if "thinking about it" will ever stop people from acting first.

I'm far more scared when tech-bros like Musk land on Mars and contaminate stuff we might not even be able to detect yet.
It's a rather traditional type system; the specification is here: http://software.rochus-keller.ch/busy_spec.html.
The main advantage are the combination of modularization, types and formal declarations, so that if you make a change in a large build (such as my https://github.com/rochus-keller/LeanQt or https://github.com/rochus-keller/LeanCreator systems) incompatibilites are immediately found by the compiler. Without these features you can never be sure whether all effects were checked.
Just because he wasn't caught right away doesn't mean he won't get caught. https://www.cnn.com/2024/12/09/us/unitedhealthcare-ceo-brian...
'Truly remarkable breakthrough': New Google quantum chip hits accuracy milestone
If that is true then liar said truth.
Untyped computation in the academic sense you refer to is untyped in the sense of Forth and assembler. The untyped lambda calculus doesn't even have numbers. Pragmatically, a language in which type errors occur is a typed language.

Nor does it make sense to conflate "typed and untyped" with "statically typed and dynamically typed". These are simply very different things. Julia is an example of a dynamically typed language with a quite sophisticated type system and pervasive use of type annotations, it would be insane to call it untyped. Typescript is an example of a dynamic language which is nonetheless statically typed: because type errors in Typescript prevent the program from compiling, they're part of the static analysis of the program, not part of its dynamic runtime.

The fact that it's uncommon to use untyped languages now is not a good reason to start describing certain type systems as 'untyped'! A good term for a language like annotation-free Python is unityped: it definitely has a (dynamic) type system, but the type of all variables and parameters is "any". Using this term involves typing one extra letter, and the payoff is you get to make a correct statement rather than one which is wrong. I think that's a worthwhile tradeoff.
What you describe at the end has already happened in China. Municipalities (at least the large ones) routinely have cameras with facial recognition everywhere in public. The police has power to pull up this kind of information without warrants (it's China, so what do warrants even mean).
You glossed over the hard part.

You have to sell before the “gains dry up”, otherwise you won’t have much money to invest in a new company to have enough of a voice to suck it dry.

But for an index fund, there is no fund manager choosing when and if to sell. The investors of the fund are just following the markets, not really earning a lot (in real terms), but also not losing much.
'"bug for bug" compatible'
I didn't mean to be dismissive, but that I can see why you would choose iOS as your main OS. Because yeah maybe other people in your family are not as tech savvy and you want to use the same ecosystem.

Also apps on Android usually have sane defaults so you don't necessarily have to make microdecisions in order to read an email.
(ossia dev here) yes, we have quite a community mainly due to having a big push in funding in media and specificially music & audio research labs in the 80s / 90s with places like IRCAM, GRAME, SCRIME etc. :)

Also see IanniX (https://www.iannix.org/fr/) which is another OSC sequencer from french developers & researchers and Open Stage Control: https://openstagecontrol.ammd.net/ (yes, also french ;p)

@op: ossia has some support for PTZ cameras (mainly through NDI) and MIDI/HTTP/WS/etc..., I'd be curious to know if it would fit your bill. Definitely hooking some MIDI control to a PTZ movement should be a matter of a few clicks at most but I don't have a PTZ camera plugged in right now to make a small video.
Sure, but the question isn't about which statement is possible from the liar's statement, it's about which statement we can conclude from the liar's statement.

The liar could be lying because they have no hats. They could be lying because they have a non-green hat. We cannot conclude E because it's possible that E is not correct.
I am running a copy of this on a spare phone. I'm 95% sure that it bundles an sshd, as LineageOS does.

The Bliss launcher leaves a number of features to be desired. I can't see how to create a shortcut of the browser as an incognito tab, which for me is a must-have. The lack of widgets beyond the separate widget pane also is limiting.

I've seen some methods to get Trebuchet imported by various means. That would be required for a daily driver.

Otherwise it looks like a reasonable clone of Lineage with odds and ends.

Edit: LineageOS bundles /product/bin/sshd - I have seen wikis on how to set this up with authorized_keys. /e/OS likely has the server daemon as well. My phone says that it's OpenSSH 9.0p1, BoringSSL.
Well, allegedly funding their platforms. Not all ads convert.
> The death of a program happens when the programmer team possessing its theory is dissolved.

I really like this quote. And if we look at what is generally called "legacy software" it mostly fits pretty well with this description. And I agree with the idea that to have a proper living program you need people with experience in this specific domain, consequently if you have too much churn in your team your programs can die.

But I think this only one side of the story, and probably its the side we have least influence over.

Another component for this problem is how easy is to understand a program. Imagine your program is distributed and you need a consensus algorithm. In a broad sense both Paxos and Raft are good solutions for your problem. But by choosing Paxos you are making things harder for anyone who needs to join this team in the future.

And this is just due the fact that people generally have a hard time understanding how Paxos work. Sure, there are several techniques one could use to limit the impact of choosing Paxos can have over a program. Its not that hard to isolate networking behind an interface and treat Paxos as an "implementation detail". But the reality is that predicting what things should be completely isolated is pretty hard, especially if your prediction needs to happen 5 years in advance. And when you don't properly isolate these things they spread all over your codebase.

This is why I think the metric "how easy is to explain this code?" is pretty important. If we want to create successful programs (which one way to measure would be "programs that outlive their original teams") we need to be mindful about how we structure our code. "Literate programming" is probably a good way to think about this, in the end of the day we are writing code for other humans to read and understand. If that wasn't important we could all be working with minified source files.