skysight-inc/HackerNews huggingface dataset:
For an example of a rational actor exhibiting instrumental convergence without trying to live forever, see Mr. Meeseeks from the Rick and Morty series.

(I hope this counterexample will suffice. I don't know how to explain where you're going wrong without saying "read all the books I've read" – but hopefully you can figure it out yourself. If not, reading David Hume's A Treatise of Human Nature might help. (Disclaimer: I generally think David Hume is so wrong as to be not worth reading.))
Intel has always been an echo chamber of fiscal earnings and cutting corners to appease investors. For the longest time they stagnated on Mac hardware improvements because it would cost money, they would not have lost Mac as a business customer if they continued to innovate.
Cannot Vulcan compute be used to execute code on GPU without relying on proprietary libs? Why not?
I’m baffled to see so many anti-k8s sentiments on HN. Is it because most commenters are developers used to services like heroku, fly.io, render.com etc. Or run their apps on VM’s?
Get some experienced freelancers ( small team ) give them a proof of concept application to build. Review.
That's a fair point and I'm probably just being overly touchy. I have ADHD-C and (perhaps unsurprisingly) favor ADHD-* nomenclature for distinguishing inside the umbrella. I think a large part of my aversion to "ADD" is because in the past I've mostly heard it used by people who saying they're "so ADD" when describing normal behavior (the same way people refer to being "OCD about X").
Strongly agree here. It's hard to find a CTO if you don't have access to any engineering talent that you trust and have vetted. A small, focused project with a team of very senior freelancers both gives you a chance to dip your toes into the idea of running your own in-house software development, and an opportunity to vet individuals who can help you make good hiring decisions down the road.

If you're interested in following this strategy, don't hesitate to reach out to poetic.artifice@gmail.com -- I'd be happy to help on both fronts.

As for your concern about logistics being not sexy enough - I've found that the best programmers (and the ones you'd want) are more interested in the technical aspects of the problem and business and customer impact, rather than the sexiness of the business domain.
Honestly, Regex is not nearly as complicated as most people make it out to be. Read through the rules and then design some simple expressions.
bad product is a symptoms of a even deeper cause... Lack of competition. The decline of intel started long ago. The financial results here are just very very lagging indicator of that. The lack of competition combined with very agressive anti competitive practice allow them to survive on pretty bad product line.
In a healthy market, competition would have force intel to improve well before the point we are now
I am really not saying they should, but it would help if they did because the project fails after a year due to the overwhelming burden of the disorganized legacy. Note that it's not just me on the project; it's also a lot of other non-senior team members that aren't really capable of handling the legacy without introducing serious bugs.

You're thinking in an over-constrained framework where there are just two choices -- either to form a consensus or to reject the ideas. If instead you take a higher view, you will see that giving senior engineers ownership and freedom allows the management to see if the engineers sink or swim. The technical lessons will then be more apparent.
Elden ring in particular is just full of shitty unintuitive knowledge checks that are not easily learned by trial and error.
I have an Arc A770 and it seems to work fine so far... though I've only had it for a month. There are some tolerable teething problems: I can't set the fan curve from Linux so I had to duct tape some extra fans, and it's incompatible with BIOS boot (requires UEFI) which should be considered acceptable in 2024. For presumably the same reason, there's no graphics output in early Linux boot until the GPU driver is loaded.

The IGPU in my previous machine's i7-6700K (Skylake) was also just fine. Intel Graphics Media Accelerator, yeah that really sucked, but that was like 15 years ago?
VimHero teaches you how to use Vim with interactive challenges and games
I don't get the hate for Kubernetes in this thread. TFA is from Figma. You can talk all day long about how early startups just don't need the kind of management benefits that Kubernetes offers, but the article isn't written by someone working for a startup, it's written by a company that nearly got sold to Adobe for $20 billion.

Y'all really don't think a company like Figma stands to benefit from the flexibility that Kubernetes offers?
Can someone with legal expertise or knowledge on this topic explain to me in simple terms how on earth asset forfeiture without conviction can exist in a country that claims to have due process? How has it been legally justified?
> wonder if someone would do the same for Psion

Another groundbreaking platform, that often pops up nostalgically.-

Both, Palm and Psion were the result of careful development, craftsmanship, care, and an almost-obsessive attention to detail. No wonder we are - and, often - still talking about them. Perhaps, also, yearning for something similar.-

Phones, though, seem to have fagocitated entire categories of hardware ...
I can't just sit around while others are working. I don't think it would be any different in zero G.
Besides just abundant trial and error, there's a great Python module call greenery, that produces Finite State Machines from any Regular Expression:

https://github.com/qntm/greenery

So, you can observe what kind of state machine is produced from any given Regular Expression. You can also use it to merge and such manipulate state machines, or simplify Regular Expressions.

Quite helpful.
That does offer slightly better presentation for students with its interactive elements, but otherwise looks pretty standard for an undergrad linear algebra textbook in overall presentation. It has many sections that could use some interactive portion with none at all.

However, I'll give you that interactive texts (or texts with supplemental interactive material) are often better for some things (and some parts of linear algebra) than a plain dead tree format.
>If it takes that long, then this is your actual problem

Most IC design life cycle are 5+ years. Expecting to turn over in less is part of the problem intel is having currently.
Reasons not to do this:
- you don't really understand the full complexity of the domain or regulatory environment yourself
- you don't have the funding available to commit to not only the development team but also the infrastructure to support them (tooling, cloud environments, security team, policies to support this, technical writer, ...)
- you're not prepared to pay for top talent (assuming you can even judge it, see the point below). Starting something from scratch successfully requires a really experienced team who understand how to model and build things well. Who know how to build in sucha way that frequently changing things effectively become configuration rather than code etc etc. Most likely this means people who have 10+ years in the industry and preferably people with some product and industry experience.
- you expect this will be a one-time cost hit and then effectively free in perpetuity; software is expensive to maintain, requires ongoing security patching, keeping up with library and technology updates, and ongoing commitment even if from a business perspective nothing is charging.
- you don't have experts on hand who you can afford to have spending more of their time than you think is reasonable with your development team explaining in detail all of the lessons you've learnt from the current poorly performing software and what they really need.
- you're not prepared for it to take at least four times as long and be four times as painful as even your worst-case initial estimates.
- you're in an environment that requires eg. purchase of vendor libraries and/or integration to proprietary platforms and this impacts the economics of boutique development
- you're highly regulated and software you build/use has additional complications like certification/audit/... requirements - especially if you don't fully understand or can't communicate this effectively to the build team
- you don't know how to judge the competence or experience of your founding technical team; this will be critical to your success - more critical than almost anything else. One bad hire can derail your entire effort.
- you want an entity that you're bound to contractually and that you can sue for remedy when things go really wrong. And they will go wrong.
Of course there are lots of reasons to try to build the software yourself too, but hopefully the above gives a few counter points to think about.
This is my experience doing RLHF for math for LLMs. So many times it’s a partial answer. It may find the minimal case for example, but it doesn’t say why it’s the minimal one, even when the prompt specially asks for the why.
For this test, you can do it on pretty much any reasonable Linux machine. Longer histories can churn through more CPU and RAM--some of the more aggressive tests I ran for this work involved 20 GB heaps and 50 cores--but you can tune all that lower.
Would you accept sincere congrats for such achievements? Honestly, kudos.-
Dr. Nik. What a treasure.

Speaking of former Soviet treasures, "hot4words" taught me why the "in" needed to be there. Etymologically speaking, that is.

How time flies
Do you just think every mass tech adoption is a grift? Don't miss the forest for the trees, scammers will latch onto any popular movement, and an investment bubble often occurs as well since not every bet will play out with speculative technology.

But to discredit the entire movement as a grift is to give authority to these scammers and not real builders and technologists spending their time and effort trying to innovate and improve society.

We made it past the dotcom boom and it turns out the internet wasn't a scam. Don't write off decentralized commerce or generative technologies either. See the bigger picture. You can be skeptical and curious at the same time.
I have recently stumbled upon a challenge with deduping lots of media. I'm talking about both images and pictures. They are named in different ways, comes in different image and video formats, and are spread out throughout a whole directory and deeply nested. In total, it's about 170 GB of content.

My approach have been this:
- Flatten out all the deeply nested folders
- Categorize the content into folders with the year as name
- Run deduplication and set the threshold to 100% match (I really don't want to loose any content)
- Sync to Google photos

Have anyone else faced similar challenges?
U.S. invests $67M in national research security centers
Though prior to Gelsinger, Youtuber and chip leaker / rumor monger "Moore's Law is Dead" mentioned that Jim Keller's stint at Intel was so short (April 2018 - June 2020) because of internal cultural toxicity. In particular, things like leaders of major groups in Intel trying to get employees of other groups fired, so as to make their own relative progress look better. Take with a pound of salt of course, but MLiD's sources have been pretty decent.

You only resolve that kind of badness by firing a bunch of SVPs and VPs and Gelsinger hasn't done that, for many possible reasons.
Here's a theory about why at least some of these come about:

https://lethain.com/grand-migration/
I’d love to have something like this in Xcode. Or alternatively if I could export an xcodeproj file from my Spawn project? I couldn’t imagine developing an entire launchable app in English (at least not yet). But if it could build an MVP that I can then iterate on, that would be awesome!
Well if I were one of the astronauts I'd be thrilled to have a few months extra in space <3

This is probably the least bad effect of this.
Thank you for the correction. Then you can measure the color difference?
For the microcontroller however, the use in commercial products is encouraged.

There are one-time programmable registers for Vendor, Product, Device and Language IDs that the bootloader would use instead of the default.
It would be interesting to see if those are fused on the Pico 2.
I'm skeptical. Big company, design & manufacturing cycles on the order of years because chips are that sophisticated these days, I don't know what you'd expect to see within 3 years of a new CEO.
Apple is a large beast for sure.

With as much expertise as the author has. I didn't read solutions or ways forward. I suppose the main objective is awareness?
This is really awesome. On almost every project I’ve worked on, I’ve never been able to trust and truly rely on proprietary services and companies to handle my authentication and authorization. I’ve been forced (i.e., it was already decided) to use Auth0 before and I hated every minute of it.

Congratulations on launching Stack Auth and providing a better alternative!!!
There is a drink called "Cuba Libre" (White Rum + Coke).
I just read the grep man page.
Are you saying the public would prefer that the drug not exist over the drug being expensive? If not, the public is getting a return. Like I said, it is reasonable to argue that the public deserves more return, ie. that it's a bad deal. But the argument that it's paid for by taxes and therefore should provide value to the public falls short of disagreeing with the status quo.
AI doesn't exist with the right amount of collected data, we're going to hit a wall very soon where we just get bad AI data constantly because we are throwing data to the wall and hoping it sticks. Businesses should not be investing in AI right yet maybe 2-3 more years.

The businesses that should are the startups and businesses who are helping define the model, like ChatGPT and Microsoft, but the adoption is still too early. If I was McDonald's or Wendy's and I wanted to use AI to help promote sales to customers I would need to be able to grab demographic data which may not be appropriate PII data.

All of the lawsuits happening right now for data collected without permission of the data provider is going to all change the landscape.
Direct human feedback - from an actual human - is the gold standard here, since it is an actual human who will be evaluating how well they like your deployed model.

Note that using codified-HF (as is in fact already done - the actual HF being first used to train a proxy reward model) doesn't change things here - tuning the model to maximize this metric of human usability IS the goal. The idea of using RL is to do the search at training time rather than inference time when it'd be massively more expensive. You can think of all the multi-token model outputs being evaluated by the reward model as branches of the search tree, and the goal of RL is to influence earlier token selection to lead towards these preferred outputs.
Chinese megaconstellation launch creates field of space debris
What does dual licensing AGPL/MIT do? Isn’t the MIT license more permissive in all cases?
With mouse models, you are at least guaranteed to get results within two years. Human models can take 10, 20, 30 years.
I think a solution is something the government needs to do, I don't believe there is a free market solution to a problem caused specifically by a free market.
6. It's the only alternative if you want to keep UI elements out of your title bar.
Oh, I was trying to understand why cheap chiniseum USB-C-powered products off Amazon were only charging from a cheap USB-A brick and not from my quality USB C chargers.
Maybe, but the reality is remote workers aren’t as productive and don’t contribute to company culture enough (at least in the organizations I’ve worked for).

And frankly, if we’re going to hire someone remote, why would we not hire someone in India for $15 an hour? Or someone in Europe for $35? Remote work doesn’t make sense for most software positions
Pretty terrible compared to edge, with edge you can hide the top bar if you're using vertical tabs, which actually make it fit a purpose, you have more horizontal space, but you can't with firefox, they also don't show labels
Alright sir! I may have a look with my current nextjs project.
If you're talking about America's semiconductor problem and not mentioning Intel even once, your view is horribly horribly slanted
I have a constructive recommendation for you and your engineering management for future cases such as this.

First, when some team says "we want to use helm and etcd for some reason and we haven't been able to figure out how to get that working on our existing platform," start by asking them what their actual goal is. It is obscenely unlikely that helm (of all things) is a fundamental requirement to their work. Installing temporal, for example, doesn't require helm and is actually simple, if it turns out that temporal is the best workflow orchestrator for the job and that none of the probably 590 other options will do.

Second, once you have figured out what the actual goal is, and have a buffet of options available, price them out. Doing some napkin math on how many people were involved and how much work had to go into it, it looks to me that what you have spent to completely rearchitect your stack and operations and retrain everyone -- completely discounting opportunity cost -- is likely not to break even in even my most generous estimate of increased productivity for about five years. More likely, the increased cost of the platform switch, the lack of likely actual velocity accrual, and the opportunity cost make this a net-net bad move except for the resumes of all of those involved.
Practice, the more you use them the easier they become. I never studied them but knew when to use them, then just tinkered and iterated until the pattern did what I needed it to. After a while you can mostly just write and read them without much tinkering.

Regex101 is an excellent tool.
Our clients are MIT, our servers are AGPL.
I find the article compelling. He cited a lot of other articles, isn't making outrageous claims, provided concrete numbers, and isn't spinning unrealistic conspiratorial claims. The only core feature of human behavior we need to accept to believe the article is that some people are very greedy.
> Genius or Charlatanry? - A psychobiographical reinterpretation of the life and works of Buckminster Fuller

Actually a person can be both. I think Elon Musk is one such person.
Given the 100% loss rate, most startups are not sued for using funds wrong, which makes it particularly safe to waste the investent.
In practice it's the other way around.

In practice AMD and Intel GPUs should be suitable for machine learning but the software story isn't good. I know I can buy a NVIDIA card and know it's a good investment because everything worth with CUDA and be training models in less than a day. If I went with some other brand I'd expect to put 6 man*months into figuring out the software story, and that's a lot more than the price difference in the cards.

I've been wondering about the soundness of Intel's software strategy in that OneAPI ("One" is a bad smell in marketing speak, the only premium product in my mind that has "One" in the name is "Purina ONE" pet food, the XBOX ONE is an astonishing own goal of a name because you'd never get your mom to understand that an XBOX ONE is better than an XBOX or XBOX 360) is based on OpenCL and the one thing I know about OpenCL is that I don't know anyone who likes coding for it. The idea that you could code for FPGA and GPU out of the same API also seems delusional because FPGA is (mostly) about latency and GPU is about throughput. That is, FPGA can do certain small operations insanely fast and avoid the overhead of 16-bit math when 13-bit math will do, GPU is all about doing large operations in bulk.
>Intel's problem isn't that competitors want to storm the castle and achieve domination over the landscape that x86 controls.

IMO it's both. While the importance x86 is declining, AMD is aggressively eating what ever part of it is left.
I also think that in the long term, as intel and amd build better x86 chips, the value proposition of ARM will slowly fade in favor of something like risc-v
> Why not treat everyone fairly?

Lots to unpack here.

1. Why is “not the same” equal to “not fair”? Genuine question.

2. It’s human nature to give favor to those that you think are “on your side” — this can mean various things in a manager’s case.

3. I would counter “why don’t all ICs contribute equally?” They don’t, and usually it’s not even close.

Overall, I understand and appreciate your sentiment, especially in a large org in which most folks are effectively replaceable cogs in the wheel.

That said, as a business owner who uses sub-contractors, I would not be happy if I had to treat all of my sub-contractors equally since they often add vastly different amounts of value to my business (even in the same type of work).
The computers had a C compiler and Pascal interpreter made by Watcom out of Waterloo. QNX was the OS, which is also out of Waterloo I believe. So overall, the system supported a few Ontario based companies.

There was a trackball integrated into the case. Some buttons on the keyboard acted as buttons for the mouse cursor.

One of the most popular programs on these computers was a program called FGED. It would save animations that could be played back later. Some people would spend hours creating them, then later play them back for their friends.

Later version of the ICON supported DOS games. I remember playing "scorched earth": https://en.wikipedia.org/wiki/Scorched_Earth_(video_game)
> Smartphones feel like a regression in most ways

... and a severe regression in many ways.-

PS. Hint: Would we see targeted, multimedia, attention-sequestering advertising on devices so well crafted? (And, operating under such constraints)
A mathematician tutor that doesn’t know how to write proofs though. Or at the most charitable, not how human mathematicians write proofs. I’m not talking about using Lean or similar, but the common parlance and rigor outside of theorem provers.
... and another beauty of a math book written in LaTeX is that you can fit a 286-page book into just 1.3 MB. Good luck doing that in MS Word.
"Linear Algebra Done Wrong site:sites.google.com" finds the page you linked.

https://www.math.brown.edu/streil/index.html redirects to https://sites.google.com/a/brown.edu/sergei-treil-homepage/h...

But OP's link, https://www.math.brown.edu/streil/papers/LADW/LADW.html does not redirect. So it seems like a problem that the site owner can fix.
Also logistics sort of famously has interesting computer science problems to solve.
Wow. An US Robotics one. That is truly vintage material. Still boots?
Gemini 1.5 Flash price is now ~70% lower ($0.075 / 1M)
https://regexlearn.com
I learned command line globbing first. Then I just translated my knowledge there into the equivalent regexes.
If you have over $200M annual revenue, I can't see how you couldn't afford to build this thing in-house, but then I don't really know what kind of product we're talking about since it's so stealthy.

When it comes to actual suggestions, from a developer's point of view I'd say the following:

1. Migrate slowly. Don't try to build an entire replacement for what you already have at one go. Tackle the low hanging fruits first. Plan the big replacement after the small replacements are already up and running.

2. You'll need at least one person to be the glue between business and tech, and that person must be developer-first, not business-first.

3. Don't overhire. You probably don't need a big team. I'm sure you'd be able to begin with no more than two or three developers.

4. Attracting talent should be easy since the job market has been terrible for developers. You can see job postings with thousands of applications.

5. Hire remote whenever possible. This will increase the talent pool enormously.

6. Always consider the possibility of SAASing whatever you'll build.

Good luck.