skysight-inc/HackerNews huggingface dataset:
Seeking breakout opportunities has the potential to grow and accelerate your career beyond the traditional accumulation of skills and experience over time. Discover five key strategies that can help you find your next breakout opportunity in Tech.
Hmmm, is it really a good idea to de-duplicate audits? This is a situation where I want multiple parties to each separately do their own audits
> The "strong type systems" work by having you design the types correctly in the first place.

I was responding to a comment that was suggesting letting an AI to do that.

> The one thing worse than debugging code is debugging "types".

It depends on a language. In languages with first-class types, we have the same tools to debug types. Classical C++ templates are more akin to a macro system than a type system.
That would only be true if the solution was a debottlenecking of transportation points such as port loading/unloading. If the equilibrium solution was "volumes stagnated but people got priced out of goods because shipping was too expensive", then not so much.
As Ben Thompson pointed out recently, unlike Google and OpenAI, Meta benefits from open source AI taking off because that makes everyone better content creators, which accrues further value to their social media platforms.
Australia imports $AUD 26B of products that may have used coerced labour
Anyone else want to rally at the State Capitol? ;)

I remember onetime around Oklahoma, my grandpa was driving a fully-loaded '94 Maxima with my grandma, aunt, mom, and myself. He then proceeded to drive slowly through a tarantula migration where the entire road was covered with large, dark round, shapes as far as they eye could see in every direction moving northwest. Grandma, who had terrible vision, flung the rear door open and leaned out parallel to the ground like a cartoon character to get a better look. I swear she was about to fall out.

PS: Neovim is the correct answer. Kill regular Vi with fire and nuke VS Code from orbit. It's the only way to be sure. Emacs is for people trying to turn people and the entire world into LISP. Nothing wrong with that, but keep your religion out of my beliefs.
Purely my speculation: OpenAI is hobbling their products trying to support all kinds of integrations, specifically Microsoft’s. GPT-4 is not performant enough for end user applications, so they’ve had to gimp a lot of its reasoning to make it speedier.

This opens up an opportunity for their competitors to eat into their moat because OpenAI is treading water/downgrading their product, chasing scale. Meta is leveraging this opening to flood the field with amazing open source tools, all of which compete with OpenAI offerings, knowing that the open source community will run with them and further erode OpenAI’s moat.
“Texan” is not a race
That's not racist, it's at best jingoism.

But isn't Texas a state that prides itself on limited government? Because private enterprise isn't going to do a thing until they panic over lost resources -- likely a day late and a dollar short.
The demand for shipping containers is driven by demand for goods which is driven by consumption which is declining because people do not have the money for imported goods. Many people are struggling just to make rent and put food on the table. Buying things imported from abroad is on the back burner. The spending power of the consumer, or lack, is why demand is down and supply up.
It's just another instance of the old saying about banks. If you owe your landlord $1000, you have a problem. If you owe your landlord $10,000,000...
That is a proof of the same way that

print("Hello World")

is an executable.
Personally I think the repeated part of the gaslighting definition is really important (and the implication that the repetition is conducted abusively). Otherwise you'd argue that any dialog that causes one to question one's world-view is gaslighting, and that's simply not true under the colloquial use of the term.

If I make a statement that killing is not justifiable even in self defense, and that causes you, who believes that killing is justified as a measure of self defense, to question your worldview, I'm not gaslighting you into believing me, I'm simply sharing a viewpoint. If I repeatedly show you propaganda where innocent people regularly die because they are not allowed to defend themselves, and where people who do are punished, perhaps by being put in mental hospitals, etc. then I'm gaslighting you. Generally gaslighting refers to using lies and other statements that do not reflect reality, repeatedly, to manipulate someone into a false worldview.

I actually think it's dangerous to throw gaslighting as a term around so casually. Gaslighting, very specifically, means to repeatedly question someone's worldview, while ignoring their anecdotal experience, and that of general reality assuming they roughly align, in order to emotionally abuse them into submission or indoctrination. It's pretty serious and ugly. I know it's fun on HN to throw the term around, but Elon (regardless of how much you dislike him, and how many people follow him) arguing that WFH is morally wrong, is not an instance of Musk gaslighting the public at large. Not even really by a fun shot.
I wrote The Incredible Machine game in the 90s. Now I've made Contraption Maker
> -Assume everything you send can at some point become available to everyone, forever.

Forever is a hard concept to grasp for a kid - I was doing stupid things in my 20s that could have had forever consequences. Much worse than something available online forever. I was lucky and had none, but this argument wouldn't work on me
He probably has money in commercial real estate, like Jamie Dimon and so many others.
> If you could introduce an AI assistant that could answer these questions instantly

If you have some change documentation so good that you are able to answer that kind of question for things that a previous developer changed, you may have a chance of making the computer answer it.

Personally, I have never seen the first part done.
For a larger timeframe (and more spot rates): https://en.macromicro.me/collections/4356/freight/44756/drew...
> There can be great use cases for Blockchain just like this, wherein the proof of work is less taxing, or optional.

The prove of work part was more of a joke, I admit. Developers "mining" "software package blocks" is not really "prove of work" (even it is in some sense of course). :-)

> but these technologies actually can provide some great solutions to a more robust form of git lfs, dockerhub, or huggingface model centralization

Well, that's the Merkle trees part of the tech. You don't need any "blockchain" for that. Something like IPFS ( https://ipfs.tech/ ) is for example a nice demonstration of that.

But yes, there are useful applications of blockchains. Like https://www.namecoin.org/

But those are really rare.
Commoditizing their complement?
Could also be interpreted as a sign of respect. He is special enough to be referred to by the unique moniker “PKD”, he is not just some “Philip”.
That's exactly how I'm using the service: get ideas for new meals during the promo, then cancel and make the ones I liked myself with ingredients from the store. So I do have some hope that I'll get faster. :)
Meta has no horse in the race (i.e. they don't have a search engine). So, they don't mind throwing random things out. Withholding it won't really make much of a difference for them, as they don't have a way to productionize the tech.
A clone of “Where in the World is Carmen Sandiego?” created with generative AI
I would say usually this is deftly handled at other tech companies (MSFT, AAPL, Netflix, Facebook, Google) by outsourcing all meal preparation, cleaning services, security, low level IT, contract manufacturing to other companies. That way there is not a separate class within the same company. This works most of the time to not create a press $*$!storm.

The challenge for Elon (and Bezos/Jassy) is that his two of his companies rely on physical labor and can't outsource the physical part but still need tech talent that could otherwise WFH.

I don't envy him or Bezos/Jassy...

If you don't say stuff like this you have folks even on the tech side who will protest (i.e. TBray of AWS VP).

"I quit in dismay at Amazon firing whistleblowers who were making noise about warehouse employees frightened of COVID-19," he wrote.

[1] https://www.businessinsider.com/amazon-engineer-resigned-tre...
I know this will likely be auto-adjusted downwards due to being a link to a reddit ad. I'm not the author, I swear that I have no affiliation. This is just the first advertisement on reddit that I was excited to see in years and years.

I saw the post earlier on Glider PRO and my sister and I also spent tons of time playing "The Incredible Machine". I can't believe the person who made that is still releasing games in the same genre today.

Very glad I stumbled on this...no idea if the new game is any good or not, but was more just excited about the story arc of this particular developer who hugely shaped so much of my childhood playtime.
Heh, strong vibes of: https://www.smbc-comics.com/comic/wolf
Common in many kinds of operations, it's quite prevalent in operations management and embedded in lean and similar methodologies.

Here's an example, https://m.youtube.com/watch?v=rWg2oouZ2k0
That would cost Elon money though...
That’s not quite accurate.

https://theloadstar.com/hapag-lloyd-racks-up-massive-3-4bn-p...

> Putting the fifth-largest ocean carrier’s earnings into context, [their profit for the first three quarters of 2021 exceeded] its return from the whole of the past five years.
Effectively killing the company that developed it. Yeah, great idea.
If you promulgate hate, do not expect to be able to participate in the network.
Their plan to curtail inflation has always been demand destruction. Which means callous layoffs, unemployment, and misery for the workforce. We are just now seeing the effects, so expect it to get worse from here. We are a few more earnings misses, fumble of the debt ceiling, and another bank collapse away from a depression.
Adjustable rates obviously, occasionally, lead to spectacular blowups that make big headlines. But fixed rates "silently" steal hundreds of dollars from homeowners every month. It's a bit like avoiding auto insurance, if you total your car (typically a low-probability event) you're screwed, but in aggregate, most people pay a lot more for insurance than they receive back in claims.

The ability to easily refinance usually tilts the decision towards fixed rates but banks and mortgage originators actually make a bunch of money when you do so.
i checked the BDI https://tradingeconomics.com/commodity/baltic

its exactly at the historical 30 year average. nothing to see here lol
I am not an expert, but Meta might be missing out on a business opportunity by being blindsided on everything social media. Over time, every company (Google, Apple, Amazon) diversified themselves. With their AI firepower, they could have explored a number of new avenues. Every business need not boot with billion users.
Writers gonna artist. I wouldn't take it as anything but a colorful metaphor.

The strata who should be rightfully derided are the chauffeured-and-business-jet-class who have an embarrassingly-low tax rate while concentrating and keeping vast amounts of profits. Nearly 60% of the post-pandemic inflation was due to the profit price spiral. The "wage spiral" is a delusion and layoffs aren't actually necessary. They're business theater belying boosting corporate profits to keep up with the proverbial Jones' in other stocks.
Heh, I think the author I was thinking about was Hasui. I love his snow woodblocks.
> what do you expect to happen?

I am not surprised, I am disappointed.

I hope that we’ll at some point consider economic models that account for externalities, for the finite nature of Earth, for our humanity.

Like the donut economics model aiming for sustainability - or a similar approach.
starting my own tech company

seeing my step kids graduate
Depending on the route, rates are back, or close to, pre pandemic levels, e.g. here

https://www.xeneta.com/blog/weekly-container-rate-update-wee...

Or here:

https://www.xeneta.com/blog/weeek-20-manzanillos-star-on-the...

Still, carriers are feeling the price drops for sure. But it is way less dramatic then it was during 2008 onwards. Those rates back then were close to unsustainable for carriers. They nice for the shippers so, but the days of up to two weeks without container retention fees are gone for good.
> I wouldn't take it as anything but a colorful metaphor.

"Laptop class" is more than a colorful metaphor, it implies a set of values by the speaker.
I never said they were proofs right? I am still confused. I was talking about foramalizing and how at least to me I see programming in it. Even something extremely complex like "The Strong Perfect Graph Theorem" is still readable and reads like english+programming. That's why I said haskell looks like it comes out of a discrete mathbook. I am not sure what your point is or where my fetishization is coming from.
Not sure I particularly trust Redhat after what they did to CentOS.
Ah I did say they were proofs... that is my fault, what I mean to say is that formalization is the way they are written, is very much a language. Either way. Not sure where the venom was coming from
This model is vision-only so it can't be SOTA even if it's #1 performing in many of the original categories of benchmarks, which it is (it's a very very good model).

We've moved on from ImageNet-style tests "Choose the most appropriate label for this image from 200 possible labels" to much more advanced "Reasoning" tests[0]. PaLI[1] is potentially the SoTA here but BeIT-3[2] may be better example for my thesis. Notice that BeIT-3 is trained on not just images, but also trained in natural language. It outperforms purely image-trained models on even pure-image tasks like Object Detection and Semantic Segmentation.

Take a look at the major benchmarks for Segmentation (ade20k) [4]: DINOv2, 11th place. BEiT-3, 4th place. Yes, BEiT-3 has 72% more parameters but it's also basically an entire LLM. Even GPT-4 is a multi-modal model, and actually accepts images as prompt inputs, OpenAI just doesn't expose that ability.

More importantly, the new multi-modal models can understand human questioning like "What type of flowers are in the blue buckets of this image?" and respond intelligently, in English/whatever.

DINOv2 was trained with techniques borrowed from LLM training methods, but is not trained for natural language.

0: https://paperswithcode.com/area/reasoning

1: https://arxiv.org/pdf/2209.06794v2.pdf

2: https://paperswithcode.com/paper/image-as-a-foreign-language...

3: http://www.incompleteideas.net/IncIdeas/BitterLesson.html

4: https://paperswithcode.com/sota/semantic-segmentation-on-ade...
How does untimely offloading negate 10x price increases? It’s not like they needed eg 10x the fuel.
Smart idea. There are a bunch of different basic strategies and policies that could be implemented in a series of weekend projects. Ranged / extent reads/writes, upcoming allocations, locality-sensitive data, Short-range vs. Long-range data structures, access frequency estimates, historical file size estimates, etc.

This pairs well with microkernel architectures too. A separate FS policy manager service that is pluggable. You could write a dozen simple policies in a month and also shore up in terms of open-source defensive patents.

Or, if you're a commercial house and not worrying about day-to-day operations you could fill your patent portfolio.

Smart idea.
> Buddhism isn't a corporate ladder with annual promotions

Apparently there are different schools of Buddhism, some focuses more on "corporate ladder" than others... So...
There seems to be a timeless design aesthetic of "that emacs person". Someone should write a guide to make say YouTube look like it.
A novel the CIA spent a fortune to suppress
"and not already in the sequence" --> bound to be weirdness in that.
You had me at “tarantula migration“
I travel a lot for work. The second my account is locked out I will cancel it. I signed up for tv shows not for headaches.
It is depressing and I think I'm starting to see it around me. Many (bad and good) devs I know are ditching software development per se and moving into related areas (management, startups, compliance, etc) where experience and business know how matters more.

Because... while there is such a thing as software development experience, it's not that relevant for the majority of projects. Somebody sharp with less experience will more or less compete head-on.
I don’t think anyone cares about emacs vs vim anymore. (Because that would require caring about emacs even a little bit). It is now VSCode vs neovim and it seems like a tough fight.
starting a new job in one month

enjoying the new zelda (slowly, no need to rush through)

working on a fairy tale book with my kids

dyson vacum cleaner with laser (fun)

recording a new dj mix
Implement neovim in Emacs. It's the only solution.
As far as chat mattermost does look like a very good Slack-alternative near-F/OSS alternative, but these days Matrix and Zulip are also very good. Did you happen to try those options/do a bakeoff?

As far as kanban/task management goes, Gitea/GitLab/GitHub feels like the right place these days (for software companies). Are there any reasons you prefer a standalone tool over putting the PM stuff a bit closer to the code?
Upper class is fighting for a perk that the working class will never have. Maybe not morally wrong but working class is treated pretty badly in a place like SF.
I don'T know, if u'Re him u prolly don't let any opportunity slide
Somewhat similar idea to Candela P12, electrical hydrofoil ferry

https://candela.com/p-12-shuttle/
All of the innovation happens for their models first and they don't have to pay for it.
>You can over-hire or under-hire in moderation.

It's unclear whether that would be better. In control theory, underdamped systems are generally preferred as it allows you to reach the desired value rapidly even though you often overshoot.

Overdamped systems (IE hire in moderation) can be very slow to respond and often spend the majority of their time in the un-desired regime.

It's quite possible that tech over-hiring when people were forced to work from home yielded a net good for society even though many of those hires were let go a couple years later.
Ask HN: Is there a mental task at which average humans can still beat computers?
It's certainly not: Anything that can be solved easily by computation (obviously), information retrieval, memory, general knowledge, creative writing, poetry, drawing, composition, ...

What, if anything, is left?

Please keep in mind I'm asking about the average human, not the average HN user with a PhD in whatever.
It saves me enormous amounts of time when I'm just outside my comfort zone. Hours and hours of fiddling around, researching, trying things etc can be reduced to minutes.
Modern raster -> vector using ML techniques isn't horrible. I'm on a bus, on a phone, traveling abroad so sorry for not getting into more detail but look into it. The manual fixing is pretty minimal and tolerable these days.

This is like, within the past 2 years it's gotten decent
Why a depression and not simply a recession?
The shock of the onset and "anti"-shock of the fizzling of the pandemic must be the most dramatic economic experiment for some time.

Its like throwing a stone in a stagnant pond and watching the waves go up and down.

Except the economic fluid is far more complex, full of lags and hysteresis. E.g. shipping rates have gone down but not the costs (indicated as fuel and labor). Why not?

Nobody wants to leave a crisis go to waste (i.e. groups of people will try to maximize and make their monetary gains permanent) but there are restoring forces towards the underlying equilibrium supply and demand balances.
This may be the case for your friend’s team, but certainly not everyone. I was hired during the pandemic and was fully remote for 1.5 years, but am now expected to be in office Tuesday-Thursday. If my contact had slightly different wording I believe my situation would be different.
I think all the casting doubt about some recent mass shooter being a nazi has a viable claim in terms of cake taking.

I used to think he was eccentric but did some cool stuff too.

I now have a very negative opinion of him as a person.
How do Nginx and Caddy compare with Traefik in this regard?
The largest hydraulic presses (2019)
This is great, but unsupported anywhere but Chromium-based browsers at the moment.
With all due respect, that appears to be cherry-picking. Why focus on the 5th largest company exclusively? Did the top 4 not have huge profit growth and fit comfortably into your narrative?

There's also the accounting profits that may occur due to something other than simple operations, for example, if the company bought long-term fuel futures, they may have been taking an accounting loss every quarter until oil prices blew up, and now that same contract, a result of financial engineering, delivers massive profit all at once.
How safe are these? I feel like a big wave could destabilize, then hitting the water at 180mph would be bad news.
The underside of the plane, and especially the part that 'drags' underwater - have you had any trouble with the sealife or other underwater objects? I would think bumping into large sea lion, shark, whale or even a large school of blue rockfishes might be unpleasant (to sealife, the plane, or both)?
Those are finished goods, not components.
American automobile manufacturers lost to European and Japanese carmakers, both of whom have heavily unionized workforces.
Preemptive corollary: to repeatedly espouse one's viewpoint, even if it pertains to the mental health of a class or group of people, is also not to gaslight, though that is more recently how the term has been used and how we bridge from a serious topic to a rhetorical device used as a Kafka trap. Gaslighting is targeted at an individual, with the specific goal of essentially brainwash. It's not espousing a political belief that may negatively impact a group of people, even if the result would be oppression of the faction's liberty. That's just politics, and politics in the west is all about choosing which factions to oppress and at what cost to the majority.

For example, repeatedly arguing that you think the idea of unchecked ownership of assault weapons is a stretch too liberal of an interpretation of the 2nd amendment, and that it's crazy to think it's okay for anybody to own one without training, and that you think it'd be a good idea to limit gun ownership and require mental health checks and registered firearms lists of trained individuals, and even that you think it's immoral to allow such easy access to acquire devices that make killing trivial, because it puts too much responsibility in the hands of civilian organizations to protect people from maniacs, which they clearly can't do at scale, and even to go so far as to argue they're insane to think otherwise, is not an instance of gaslighting gun owners or rights advocates into thinking their worldview is broken and in need of an update. But by the casual interpretation, it is, since you're arguing to oppress the liberty of some group of people on practical and/or moral (designation doesn't matter, anything that causes them to question their worldview) grounds.
Don't be a cog in the machine of an unethical company? Everybody's trying to act like it's soooo difficult, and every FAANG SWE is like some Obama-platitude "single working mother with 3 kids working 2 jobs"
David Foster Wallace wrote an essay on usage guides, including Garner’s, for Harper’s Magazine in 2001. It was titled “Tense Present: Democracy, English, and the Wars over Usage.” Still worth reading if you enjoy—or at least can tolerate—Wallace’s own writing style:

https://harpers.org/wp-content/uploads/HarpersMagazine-2001-...