skysight-inc/HackerNews huggingface dataset:
>fully furnished office with catered food, events, and mentorship 2-3 days a week

The reality is you scramble to find a workstation and are cramped in a tiny room with 10 others, there is no way to concentrate and be productive;
catered food that is barely edible for humans and horrible for the environment; not sure what you mean by events, except pointless ones that are scheduled after work, so basically unpaid work; and mentorship don’t make me laugh.

As I stated above I’m more than happy to work in a different industry than tech, it’s toxic af, the workload is high and growing and ultimately most tech companies are nothing than managers of rich peoples money and don’t provide any value to humans.
I remember that one from being a kid - I had a helicopter card game and it had the same picture as the Wikipedia page.
Why bare-metal Debian is not a good choice for most Embedded Systems
I've never been driving behind a car where the occupants are smoking?
> Mortensen, though, isn’t convinced. “It drives me crazy when people using [pandemic era] data and saying, well it worked during COVID, which was a giant existential dread and people didn’t have any other option….the company not falling apart in two years doesn’t mean that remote working is the best way you can organize.”

Instead of disputing that, I'll just reply: "It might not be the best way for you, but it's definitely the best way for me, so I'll pick only those companies that offer remote roles, and I'll do my best working for them because I appreciate WFH much more than money". Incidentally, in my niche top-paid roles are remote only.
Blame Brexit, not WFH
Ongoing discussion at https://news.ycombinator.com/item?id=40843778
Have a separate work space from your hobby stuffs (if your hobbies involve computers) or separate computers. Never connect your work accounts to your personal devices. When I had a full-time WFH job, I'd disconnect the office laptop and put it aside at the end of day. No temptation to look at it again, then I'd go row for 30 minutes and run and if I went back to the desk the only option was my own computer. Current work is hybrid, we have lab work so full-time remote is not an option, and this still works for me though the exercise is now cycling.
Anyone who cares about public health would be worried that so many people eat slop from McDonald's. But if McDonald's food is bad and unhealthy, it shouldn't be able to compete in the slightest with real food.
Curious on why you went with Codestral for autocomplete, does it outperform other local models? How is the performance compared to GPT or Claude for autocomplete?

Any plans to finetune Codestral for this specific usecase?
From Dave:

Short answer: SAT solvers are hard.

Long answer: I actually discussed it with Tim once, long after part 2 of our blog post and after the whole thing settled down. Tim was making an SAT solver based on a post about a homemade Sudoku program that got out of hand (https://t-dillon.github.io/tdoku/), and HATETRIS has a binary grid representation, so it's a logical thing to attempt. So, how would you answer the question of the longest possible game with SAT? The idea would be that you can start with a set of wells S_0, generate a new set S_1, and continue generating sets of all possible wells until you find some N for which S_N is not satisfiable; N-1 is therefore the longest game.

Suppose S_0 consists of the starting well, W_0. W_0 is a conjunction of 160 different clauses, each of which is initially set to 'not':

W_0 = !x_0_0 && !x_0_1 && ... && !x_15_9

Once you have that, you need some way of getting from W_0 to its possible descendants. There are 2457 possible piece positions in a standard 16x10 HATETRIS well, each of which interacts with at most four squares (fewer for the piece positions within the top four lines), and each of which can be reached at most four ways (from another piece moving down, moving right, moving left, or rotating). This puts a rough estimate of ~39,000 clauses needed for a function which converts W_0 into its children: W_0 -> W_1a || W_1b || W_1c || ... = S_1. Which isn't too bad, as far as SAT solvers go.

The problem is that this is very similar to what our first version of the emulator did and that version was a hundred times slower than our current version. SAT is NP-complete in the worst case, and without some huge simplification from putting it in Boolean form, it didn't seem likely to be worth the additional cost.
I think there's still a possibility for some kind of solver to aid searches, e.g. "Given this specific well, you need to clear lines 5 and 6 in order to clear line 4, and you need to clear lines 7, 8, and 9 in order to clear line 6...", and I think certain properties (such as the minimum number of pieces needed to clear a given line) are computable with SAT, maybe even to the point of making a a pruned-but-provably-optimal game tree search feasible.

Putting the raw emulator in SAT form is natural. Putting constraints like these in SAT form requires coming up with a new level of abstraction ourselves. Our only attempt at it was in the Mumble Mumble Graph Theory section; what we learned is that making a new level of abstraction is a lot harder, and we don't know how to do it.
The lazy way:
Get on xing LinkedIn and the like.
Respond to all the recruiters and let them put you on their lists.

Watit and pick the one offering a boring job at something like an insurance company.
The last time I bought a house (this was in California) I read the title insurance policy (as the author says, it's short). Turns out it protects my claim in perpetuity meaning that when I sell the property I am still covered against any claims later brought by the buyer or their insurance company.

Obviously therefore I don't need the insurance: in the very unlikely case title might be challenged I can always just sue the policy of the (now deceased) people who sold the house to me.

The title company of course did not like this. More importantly: they were the one conveying the title (a lawyer doesn't do this as happens in some other states). They said "we earn our money on this and if you don't buy the insurance we won't convey the title" (i.e. complete the change of ownership). And at least around here in Palo Alto only the title insurance companies handle this, at least according to my real estate attorney.

So basically I was required to pay an extra few hundred bucks for nothing. A true "junk fee".
United States looking at all tools to respond to Canada's digital services tax
I worked in an oil & gas company when that happened. Luckily, we had no customers in the Middle East at that time
Impact of AI Medical Assistants on Healthcare Documentation
I imagine the engineers are aware of the issues and know will be DOA, but that high up they feel the pressure to cash in on AI or risk falling behind, and they find it better to launch and remove an AI feature (to show they are actively working on AI features), than to not launching anything at all.
I could see this on Mac laptops since you can swipe around easily, but I’m loving my three vertical ultrawides side by side because you can have a whole monitor for docs, one for code, one for terminal, then you only need to save a file and saccade your eyes to see the test results if you’re using a test runner like nodemon or cargo watch
Atom is actually alive and well as a community project under the new name “Pulsar”.

https://pulsar-edit.dev/
My perception was that the Cold War was partly about exploiting this trait, forcing them into financial ruin by running races they couldn’t help but compete in.
SEEKING WORK | Remote | USA

Location: Rutland, Vermont, USA

Remote: Yes

Technologies: Next.js, Astro, Gatsby, Ionic, Next, Supabase (Postgres), Nodejs, AWS (S3, SQS, Lambda), Netlify, Algolia, Angular (1, and 2), Drupal (7, 8, 9), Technical SEO

Experience: 12 years, 7 as a freelancer

Joining date: Immediate

Website: https://www.andrewgwardwell.com/

Github: https://github.com/andrewgwardwell

Linkedin: https://www.linkedin.com/in/andrewgwardwell/

Email: https://mailhide.io/e/jrNN2QjA

Role: Frontend Engineer, Drupalist. Contract preferred, but open to permanent
Gruber literally downplayed the LassPass scam app by saying it wouldn't rip you off as much as other scam apps might. I wish I was exaggerating:

> Instead, the scam LassPass app tries to steer you to creating a “pro” account subscription for $2/month, $10/year, or a $50 lifetime purchase. Those are actually low prices for a scam app — a lot of scammy apps try to charge like $10/week.

(emphasis mine)

I have seen yoga practitioners less flexible than the contortions Gruber can get himself into to downplay Apple fuck-ups.

Lucky victims, I guess?

hey could have been scammed for more?

He also outright claims, without zero evidence whatsoever, that to his eyes, "it doesn't look like this was made to steal LastPass credentials".

Well thanks for your insight, John.

Very much a "yeah maybe it sucks and shouldn't happen, but this is no big deal, really, so why are you getting all up in Apple's face about it?" vibe.
What is the goal of your side project? It sounds like your goal is to make it your primary focus eventually when you say it "hasn't worked out yet", but there are other reasons for side projects also: to scratch a personal itch to build something you simply want to have, to learn how to use the tools you use to build the project, simply for the joy of programming...

It's hard to say without an explicit goal. The most obvious general answer is: work on it when you feel like working on it, and don't when you don't. If you want to make it your primary focus, you have to consider: when do you want it to be your primary focus by? How much effort would it take to get the project to a state that it would be viable as your primary focus? How much time do you have to allocate to the project to reach that total effort before the time you want it to be your primary focus by? How long will you be able to enjoy this project being your primary focus, compared to how much time you spent not relaxing and enjoying your personal time? Will you even enjoy it if you can make it your primary focus, if you don't enjoy working on it in your free time now?

These are all questions you must answer for yourself in order to figure out how to set boundaries in a healthy way.
Not necessarily, but if the interviewer can tell that you didn't google the company, it's unlikely that you'll be the type of person who gets promoted?
We have built out Atlas just for a use case like this. Check out our Slack integration here: https://atlas.so/slack-connect
Perhaps it could be misaligned incentives? The primary variable YT optimizes for is time spent on the platform. Being able to instantly find and skip ahead to the part you wanted means you didn’t spend the extra time that you would’ve otherwise.

Granted, I can’t see this specific feature really moving the needle one way or the other. But, internally, they might apply some sort of lens to their decision making that asks “does this increase or decrease time spent and eyeballs monetized?”, and if that is the case then there is a real argument to be made that this feature would not meet the standard for a “good feature”, based off that criteria.

Probably more likely that their entire UI is just so deeply fine tuned and A-B tested that any individual change to it has a lot of friction, lest they push an update that decreases watch time by 0.1%.
That sounds like the kind of investment in the commons that a socialist would make. In 1973 the US encouraged a coup to ensure that no such investments were made (https://en.wikipedia.org/wiki/1973_Chilean_coup_d%27%C3%A9ta...). Instead, we applied guns to the affected area and ensured that they would part with their resources as "fair free-market prices" (https://en.wikipedia.org/wiki/Chicago_Boys). They've started the process of removing those policies, but only in the last few years.

If I had to come up with an excuse for not having trains, I'd chose that.
Apparently it started as a series of xhits or whatever they’re called this week.
L402: Internet-Native Paywalls
The L402 protocol has a new dedicated page aimed at spreading awareness about the protocol and showcasing related tools and services that utilize it.

Built on top of the `HTTP 402 Payment Required` error, L402 brings built-in payments to the HTTP level.

The protocol defines a clear flow for servers and clients to process and verify payments automatically, making it a great solution for machine-to-machine interactions.

L402 is currently being used in production by companies such as Lightning Labs, where it was developed, fewsats.com or sulu.sh.

Addressing some misconceptions from previous Hacker News posts about L402, I would like to clarify two key points:

- L402 is not limited to micropayments. While the Lightning Network supports micropayments, L402 accommodates a wide range of payment types (one time, subscriptions, etc) and amounts, making it suitable for various use cases.

- The L402 flow is designed to be credential and payment agnostic. Although the current specification utilizes macaroons and Lightning invoices, any type of credential that can be linked to a challenge, and any challenge that delivers a proof of completion, can be used. This flexibility allows for the use of various mechanisms, from proof of work to Stripe returning the preimage of a hash.

At Fewsats, we are building a serverless platform that leverages the L402 protocol for built-in payments. However, we would love to see the ecosystem expand and flourish in various directions, with more developers and companies building upon this tech!
Before the rise of Chrome, it hovered at 20-30% market share for many years. After the preceding period of IE dominance, I’d call that successful.
I tend to prefer MUI but I've been working on an inherited project with Ant and it's gotten a lot better. Years back I would run in to cases where docs and forum posts were in Chinese. These days that's not an issue.
I looked up the only brand of fold down tables I know and apparently they started already in 1981, so it makes sense the product was well established half a decade later.

Parallel invention happens, it is not a complicated invention, but it is just as likely someone remembered something they saw abroad. We don't know. But apparently they executed well on the idea, regardless of where it came from.
Don't Underestimate a Bad Plan
Yes, almost certainly. Jujutsu has an embedded mini-language to specify revsets. It’s not too hard to make a revset for “all branch names that are descendants of trunk (main/master)”.

You can feed this directly into `jj branch delete`, which will remove your local copy of each branch and flag them for removal from the remote during the next `jj git push`.
[dupe]

Some more discussion: https://news.ycombinator.com/item?id=40857041
I had this thread https://news.ycombinator.com/item?id=40710782

But the thing gp suggested looks much better, at least here: https://github.com/danawoodman/bun-htmx (see src/components, they use react-dom/server renderer to template-render tsx (also note that “tsx” I’m using is not a file format, but `npm i -d tsx`)). I guess I can try that in node too.

That said, I don’t see the “quicker” part here tbh, imagining my mithril code in htmx templating code doesn’t make a big difference, unless I am missing something. It’s the same parametrized html but on server. Not even a glimpse of RAD-like paradigm shift.

I guess htmx looks better if you’re using react but never allowed yourself a thought that it’s a useless esoteric bullshit everyone agrees to out of fear of being ostracized, which htmx removes silently (and it’s server-side). Mithril is just a vdom-based templater with simple autoredraw and doesn’t implement esoteric bs already.

I somewhat agree with gp’s “unpack json” part, although it’s not a big deal with types shared across ends. I just re-new Date’s after fetch and that’s it.
> isn't quite as bad

That phrase sounds about right.

Though my impression is that shell production is still a "meh, I guess we probably should do something..." priority in the great majority of NATO countries.
"The First Amendment is first for a reason. Second Amendment is just in case the first one doesn't work out."
- Dave Chappelle
You can't copyright capabilities. I believe an exact copy of AE is perfectly legal so long as it isn't fooling people into thinking it's AE, and doesn't use any of the original code.

The visual look can be protected, some novel or distinctive features can be patented or trademarked (like Amazon patented one click purchases??), but the core functionality is up for grabs

The big Oracle / Google lawsuit a few years back is a good example. Google rebuilt the Java compiler to avoid paying licencing fees (?), and argued that because they did it from the API specs, without referring to the existing code, it was aboveboard. The functionality is not copyrightable, just the specific implementation.
'Can I log into my partner's device?'
Oh, yeah, you're right. Mostly because of

> No provider or user of an interactive computer service shall be held liable on account of—
> (A) any action voluntarily taken in good faith to restrict access to or availability of material that the provider or user considers to be obscene, lewd, lascivious, filthy, excessively violent, harassing, or otherwise objectionable, whether or not such material is constitutionally protected; or
Yes, do you have any suggestions?
I'm sure that has a lot to do with the close physical proximity of the capitals of Argentina and Uruguay.
There's only one way to find out, bubba! You're gonna have to write an x86 emulator in vimscript for us, and tell us how it compares...
I always used DiffPDF only to read on their website:
> in the view of the EU’s Cyber Resilience Act and an abundance of caution, we have withdrawn all our free software

[1]

Good to see post-cyberresilience alternatives :)

PDF diffs are really great for versioning/comparing PCB-Designs. (The only real use case I had 15 yrs back)

[1] http://www.qtrac.eu/diffpdf-foss.html
Theoretically, you could adjust your routine until it you can no longer fully comprehend it, which you can't anyway since you aren't privy to all the forces which determine your life. But this would be a liberated existence, where we aren't subject to the regularity and order of the clock.
Does this article really start “the first amendment was great when it was used for people like me (news organizations) but now others are benefiting? That’s out of control!”
Gitar is helping you delete stale feature flags
Vancouver when the cherry blossoms are in bloom is interesting, the different elevations and the different progress of the trees is fun to pay attention to.
I mean you'll get hearing damage for sure but I'm just saying that's a far cry from cavitating your brain tissue.
Boomer brain worms. If you really want to get rid of propaganda, you should take Fox News off the air immediately.
The MDN HTTP Observatory
> ... I fail to see how it's the same thing ...

You're right that it is not the same thing, which is why I wrote "That's not the same thing [...]" in the comment you're responding to. I have done the same as you guys (building an AGPLv3 or 'worse' product on top of BSD licensed code) many, many times! Anyway, what you're doing is really exciting!
Thank you for the list - I think I've come across all of these in my research! I'll try highlight the differences for each.

- https://noteable.io/ - as you say, it doesn't exist anymore

- https://deepnote.com - Deepnote is closed source sadly - you can't run it locally, you can't tweak it, you need to learn a new interface and switch to it

- https://github.com/jupyterlab/jupyter-ai - I actually mentioned this in the post but in my experience, the UX and features are far behind what we've built already. I'd love to hear from anyone who's tried jupyter-ai to give us a shot and let me know what we're missing! The plus side of jupyter-ai is of course that it supports way more models and the codebase is a lot more hackable than what we've built.

- https://colab.google/ - closed-source, similar challenges as with Deepnote. Another big challenge is that if you want to use Colab as a company, AFAICT, you need use their enterprise version (so that you can have native data collectors, support guarantees etc) and that only works with GCP so if you're an AWS shop, this might be a deal-breaker.

- https://cocalc.com - hadn't used it so far but congrats on a great project! Will check it out. Didn't look in detail but first impressions makes it look like a fairly different interface from Jupyter. One of our goals was to go to where the users already are - that meant Jupyter. So that's definitely a major difference.

- VSCode - as I've mentioned elsewhere, we're targeting a more of an analytics usecase with the features we're building. VSCode has AI features of course! But we'll look quite different once we build more items on the roadmap :)
Even if the science isn’t fully there yet, this seems well into the realm of “almost certainly can’t hurt”.
Official Justice release: https://www.justice.gov/opa/pr/professor-charged-operating-m...
Is anyone really worried about a situation where a president commits a crime and then voluntarily resigns? Authoritarians only do the first half...
sounds to me like the Fifth Circuit saw how the wind was blowing and didn't want to make a call least they upset The Powers That Be.

Plus the 5th is based out of Texas and getting appointed there usually means getting alignment with the locals.
I have difficulties too. "d" does nothing so I can only shift to the left.
Looks fine, but you can tell the topology isn’t good based on the lack of wireframes.
The cashier at the supermarket doesn't do life changing "move the needle", 10x heroics. Yet they need to get shit done.

Most of us need to get shit done so we keep getting out paycheck and not get fired. Routine is pretty much the only way to survive the chore long term. Push it to subconscious and don't think about it anymore.
(Resend founder here)

We definitely spent a _ton_ of time putting that together.

Happy to answer any questions about it.
Indeed. There can never be just one platform for project communication, because there are different kinds of communication - mostly sorted between synchronous and asynchronous.

So, IRC, Matrix (these can even be interconnected) for synchronous, mailing lists or forums for asynchronous.

And of course issue tracker, where some topical communication can happen as well, but that could completely be covered by mailing lists.

There's no reason to ever have anything non-open in your FOSS project's infrastructure.
So we were just lucky that all non-halting programs of length 5 just happened to be provably non-halting?
I agree with this, but just a minor FYI that it's philanderer.
It’s not necessarily ideologically inconsistent if people believe they should primarily be paying for materials/consumables. I do think it makes sense that people should have to pay reasonable amounts for labor as well, but it’s unfortunate that there are very few options to both pay for something and have control over its source code and self-hosting and some of the trust in the long term that we have with free software.
At least the AI got the lozenges to match up properly. Apple can't seem to get that right (on my phone).
Survey Trolls, Opt-In Polls, and the New Era of Survey Science
Food from McDonald's is as real as healthy food, it's food, there's nothing fundamentally different, just lower quality, if that's the point, then you're saying there's also nothing fundamentally different from stuff created by humans or by an AI, just lower quality.
This mainly has to do with the BB(5) champion having "bouncing" behavior: it moves from the left side of the current pattern to the right side and back again, each time extending it slightly. Since the time it takes to grow the pattern is strictly proportional to its current size, you end up with a bunch of parabolas that appear self-similar.
I'll just leave this here: https://googology.fandom.com/wiki/Googology_Wiki