skysight-inc/HackerNews huggingface dataset:
> In the UK (and most other places with fairly strong employee protections I imagine)

People keep saying this, but I'm not at all convinced anyone commenting really understands UK employment law. It's really only after 2 years of working for the same company that you get any decent employment protection.

It takes a bit more legal work, but if within the first 2 years they don't want you, they can get rid of you. If you're within your first 3 months of probation, they can just extend it to 6 months and get rid of you.

The UK is not a great country these days to go "employment laws keep you safe". There are better ones.

If you don't want these rug pulls and employment laws to keep getting watered down, instead of asking about 4 day work weeks, start voting for candidates and parties that have better employment laws at the top of their policies.
> Official archives can mean a few boxes in the basement

This is very apt description. In this case it sounds like they have 91 boxes (78 Document boxes, 13 cartons of research files)

Not sure if they are in the basement but the record locations says: Aisle 9A -- Shelves 1-4

> and submissions aren't catalogued as thoroughly as you might be expecting

That is also true in this case. By the sounds of it Frank Herbert boxed up all his papers and donated them to the library. Later on family donated more as they found more.

There is a very high level inventory, such as “Container 7: Maps” Maps of what? Doesn’t say. How many? Doesn’t say. One has to go there physically to find out.

There is also a “Flat file drawer tbd” containing a “Dune Atlas”. Which to be honest sounds very intriquing. And a “Small document box A-204” with “personal items” which is decidedly less so.

Source: http://archives.fullerton.edu/repositories/5/resources/56
It really depends on the company and why you are going. I gave 6months notice when I worked at Apple (FIRE) and slowly offloaded all my responsibilities. I documented many things for whoever would come in to replace me. They gave me a going away dinner and I still connect with former colleagues.
NASA unveils quiet supersonic aircraft in effort to revive commercial flights
"Local man becomes ungovernable."
No, I am describing what happens when technology makes the market for certain jobs and talents change. The stevedores may have had a bad time for a while but our modern society only exists because we can ship things quickly and efficiently.

I feel bad for copy editors and people who write corporate blog posts or design logos or come up with ad jingles, but their niche is gone now and they need to adapt.

Thanks for being respectful and cordial though.
TFA mentions:

> hallucinations may also be triggered by at least three different kinds of drugs: psychostimulants (i.e., cocaine or amphetamine), the so-called “dissociative anesthetics” (i.e., phencyclidine (PCP) or ketamine), and psychedelics, (i.e., lysergic diethylamid (LSD) and psilocybin).

It's my understanding that Psilocybin and LSD do not produce hallucinations (e.g. seeing something which does not exist. I'm aware of the difficulty of qualifying the previous sentence) versus changing your perception of phenomena.

The exceptions to this are that these compounds can trigger an individual to enter a psychotic state in which this then becomes possible. Or that in _extremely_ high doses such as the 'white light' territory of LSD. However the vast majority of those who use these substances do not tend to report, for example, conversations with people whom a sober sitter would state were not in the room (like the effects of dissociatives such as Datura).

The article seems to agree with my understanding of this nuance. I have found this distinction to be relatively uncommon in reporting otherwise.

Initially it was thought that LSD was psychotomimetic (mimicing the symptoms of those with pre-existing psychotic illnesses) and there were hopes that they could be used for study into these conditions. I understand that this is no longer working scientific thinking. A good documentary on these topics is the BBC's LSD The Beyond Within from 1987 [0].

Personally I have reached a personal belief that entheogens allow you traverse the realms of existence [1] within your lifetime. For example, descending into the hell realm or ascending into the deva realm.

[0] https://www.youtube.com/watch?v=8-x_5grftlU

[1] https://en.wikipedia.org/wiki/Six_Paths?useskin=vector
It's not trading less with the EU. This is a myth. Trade ratios between EU and RoW haven't shifted after Brexit.

British GDP is lower now because of lockdowns. Brexit itself appears to have made no difference. The governments own trade statistics show this clearly.
> "W-we actually didn't fire that many people."

> "I-it could be that she didn't actually listen to the feedback, guys. What if she had bad feedback?!" (Implying, without evidence, that the employee is at fault. The most tone-deaf part of his response.)

> "Maybe she'd be a star on another team!" (Pointless sports analogy. Another tone-deaf moment.)

> "W-we'll do better next time."

An embarrassing display.
Some info at https://news.ycombinator.com/user?id=gumby

Also http://www.toad.com/gnu/cygnus/
That only matters legally.

In actual language usage, in the US, many people use champagne to mean any white sparkling wine (possibly any sparkling wine).

In the southern US 'coke' can be used to mean soda. Any soda. Even Pepsi. It doesn't matter that Coca-Cola has the trademark for Coke or that a Pepsi isn't a Coke.
> "Khan, a member of the opposition Labour Party, which voted against Brexit in a 2016 referendum, based his statement on a report he commissioned from economic consultants Cambridge Econometrics, who estimated how fast the economy would have grown if Britain had voted to stay in the EU."

So a made up prediction that he paid for. That's not very convincing given that self-proclaimed economic experts also confidently predicted:

- 500k-800k job losses in an immediate recession following the vote if Leave won

- A loss of trade with the EU upon leaving the single market

... neither of which actually happened. The economy grew after the vote, and today the ratio of EU to non-EU trade the UK engages in hasn't changed from before Brexit, which strongly implies the single market was actually useless for Britain in the end.
Maybe because machine art encourages humans to think more laterally? Have you seen how tired art has become? It's mostly a cynical scheme to make or launder money. AI can force artists to actually take risks to outdo the mediocrity of generic art.
I have a M1 Ultra Mac Studio with 128GB of RAM and the ability to run LLMs like LLaMa2 locally thanks to the unified memory architecture was a big factor. Just because you don't have a use for it doesn't mean everyone else is as blinkered as you.

As soon as the M3 Ultra lands, I am getting one, preferably with 256GB RAM.
What makes you think a battery fire is likely at all?

I'm half kidding, but Boeing's experience with the 787. Their solution was more or less to just seal the battery off a bit better.
Elon and Sam can be as visionary as all hell, they can also be wonderful manipulators too. Both things can be true. Especially if said behaviour gets them more money to take more risks.

In the case of Altman, I feel the way he communicates in this sort of secretive, somewhat threatening way (I’m about to unleash my super secret AGI published by my fake nonprofit org, regulate the completion at once) is sociopathic. It’s quite unique to him. I recall Steve Jobs being visionary, I heard stories of him being a perfectionist, but I don’t recall him using the same sociopathic playbook I described. Think of the contrast in behavior between Altman and say, Carl Sagan, the contrast is so stark to me. Between Elon musk and Eric Weinstein.

Anyway my original point wasn't focused on the people, just that I think they’ve workouted out how to perfectly game our attention economy to their advantage. I don’t hate them for it per se. I just think it’s dishonest and distracting. I'm not even sure they know they're doing it, but they just do it because it works.
Seems like an excellent use case for trurl [1], a tool built on curls url parsing functions (which can presumably handle any weird url format you throw at it), though I'm not sure how well packaged/available it is.

[1]: https://github.com/curl/trurl
Anthropic published a research about sleeper_agents/backdoors in LLMs.
Unfortunately it didn't work that well on Microsoft side, due to the politics between DevDiv (.NET, VS, Azure) and WinDev (C++, Windows, XBox).

That is how you end with COM stuff, C++ only SDKs, and .NET dev community having to implementing bindings ourselves.
Well, Google's Coral.ai TPU in USB dongle form factor is constantly sold-out.
I have a different take. I think it's a warning to people that use the software: they can either chip in a little bit, or have no expectation whatsoever for there ever to be another release. I think that there is an ethical obligation here on the part of active users to donate at least $2 each, assuming that the developer isn't making up a story.
Before trying it in my lab, could the author elaborate on what's its killer feature?

The README mentions that it's an alternative to both Dropbox and WeTransfer. My current alternative to Dropbox is Nextcloud, and my current alternative to WeTransfer is (formerly Mozilla) Send. What's the added value of YouTransfer compared to this solution?

I'm also put off by the fact that the README has a big "looking for a new maintainer" disclaimer on top, and the demo page doesn't even work. Sure, I could put enough effort into maintaining a project if I see its added value, but in this case it seems to be a product trying to sneak into a market where there are already viable and well-maintained open alternatives.
How do you prove to the type-checker that e.g. `append(v: [T, N], w: [T, M]) -> [T, N + M]`?
Or, to make it easier, that just `append(v: [T, N], x: T]) -> [T, N + 1]`?
What she posted wasn't "disparagement," for she hasn't herself said anything to disparage them. She simply posted a legally recorded conversation. If it made Cloudflare look bad, that's on them; they have only themselves to blame.
‘This Has Been Going on for Years’: Boeing’s Manufacturing Mess
I'm surprised there isn't a single-chip solution to this...

Almost every nontrivial chip has a temperature sensor inside (used for temperature compensation of factory calibrated stuff). I expect RFID chips are no different.

Can't you just get an off the shelf NFC memory chip or something, then figure out what combination of register reads are necessary to read it's internal temperature sensor?
Isn’t this obvious candidate for a paid SaaS? Maybe someone more familiar with matter at hand can enlighten me on why the developer doesn’t simply make the hosted version a paid-for service instead of asking for donations?
Trayd (YC S23) Is Hiring
I like to call that sort of data "pre-war steel", since it's an analogous problem.
GBP? Who is offering these salaries?
I'm doing a master's in library science and archives, currently working a couple of internships processing archives. The answer is archives are big, complex, and time-consuming. One collection I work with is 131 cubic feet of records including papers, floppy disks, and photographic film. It's unprocessed, meaning the archivists haven't had a chance to arrange and describe it, which isn't a wonder considering the size of the collection — and that's only one of many in the backlog.

Even if a collection is processed, because of the volume of information in a given collection archivists typically don't typically describe every document. In a library you can catalogue every book, but that's not possible in an archive. And in an artist's papers, how can you know which document will be important to someone? How can you know what's artistically significant? The time it would take to research the background of every document (Was this script ever made? Is it interesting to anyone?) would be prohibitive.

Add into the mix that archives are chronically underfunded and archivists underpaid. This is coming from the unpaid intern who was asked to process a $33,000 acquisition last year. Fun times.
EPA scraps plan to end mammal testing by 2035
Daisyui if you like tailwind
Shoelace seems very good aswell, it was on HN the other day and made by a senior at Microsoft.
> It’s also not expected to make any real enterprise sales during Q4 or the beginning of Q1

I've worked at a few enterprise software companies in the US, and Q4 is always the busiest time for sales. Having a deal roll into Q1 is very undesirable, so sales people do what they can do close before the end of the year. Q1 is incredibly quiet.

On the Engineering side, yes - Q4 and Q1 are super quiet as sales is driving the economic machine in Q4, and everyone's doing planning in Q1.
But but... AI can do anything!
Anyone with more context knows why they are looking for a job outside software development being a software developer?
Uber and Lyft didn't pay this. Its the passengers arriving at and departing from SFO who paid this extra fees.
My company engages in sales cycles exceeding a year at times. Unless there's a renewal or something coming up in those 3 months, it takes at least that time to learn the sales tools and meet all your customers. I've never seen a sales person let go inside of a year.
> I've got to wonder if AI tools are filtering out self-taught devs more aggressively than they used to.

I hope not. I have a CS degree, but some of the best and most prolific developers I've had the pleasure to work with have all be self-taught. One of the most talented .Net developers I've ever worked with had a masters degree in philosophy and was a trained furniture maker, when those things failed to pay the bills he taught himself C# and was easily the most talented and creative developer on our team.

Selecting developers based on education is moronic, the self-taught people are often really talented and I can easily find CS majors who can't program at all. Education has almost zero reflection on your ability as a developer.
Chiptune Player
She had 3 deals on the go, the fact they didn't close during the Christmas holidays is to be expected.

Based on that video alone and the skill she used in communicating with HR, she's a brillant sales person. No doubt about it.
Why should 'big tech' corporations be allowed to use AI to remix/mash-up human-generated content all of a sudden when creative individuals have generally been prohibited from doing it for so long?
There's no ethical obligation to help someone who decided to upload code you can use to the internet.
>due to their Wahhabi interpretation, of the Quran.

This is not necessarily the case. For example, the Shafi'i school of jurispudence deems all liquid intoxicants are impure (as in, physically) and impermissible to trade in regardless of source. The only path to purity is turning say wine into vinegar (though there is some nuance here). This school has a very rich history and has existed far long before ibn 'Abd al-Wahhab was born and is followed by the majority of Muslims in south east Asia, Jordan and parts of the Levant, Kurdistan, the Caucasus, Somalia, and other places.

Due to the prevalence of liquid intoxicants in modern manufacturing and the world at large, sometimes scholars of this school deem the presence of intoxicants in certain products excusable to use under certain conditions. This is according to pre-existing principles regarding difficulty, need, etc. (rather than "clergymen making things up").

As a side note, amongst "Wahhabis", jurispudence is not universal, unlike theology. For example, you can find people who may be called a "Shafi'i Wahhabi", i.e., a Wahhabi that follows the Shafi'i school of jurispudence. Though the term Wahhabi isn't typically appreciated by them. There is a style of jurispudence that is mostly popular amongst them (and not most other Muslims), however it is does not necessarily lead to "harsh" or strict views that outsiders assume of them.
Can I offer a more pessimistic view?

This is Darwinism.

If the author has a seemingly popular and monetisable (sic) product with real users, yet has failed to achieve the state of ramen profitable, then perhaps this is fate.

Perhaps he's not able to be at the helm of a product that people would rely on in their production apps.

What if the author of this app is unable to run the product successfully and is forced to close it down. What happens to the thousands of users who have integrated his product in their stack? An expensive migration. Loss of profit for them.

Perhaps it's better to choose another product that is able to be profitable.
Pls excuse my complete ignorance. I'm a complete noob trying to learn web development. Why would I use this over POST and server side update db or websockets?
We use PsiTransfer [1] in docker. Recently updated, so not abandonware. Serves our needs really well.

[1] https://github.com/psi-4ward/psitransfer
Or particularly good scientists, unless blindly (over)fitting models is what constitutes science.
Because that's Apple. Just like how they forces everyone to come in office three days a week. Not every company does that -- some big companies are still quite flexible with full remote work. But this is Apple.
Having experience with prior open source work I'm not likely to release
the current effort until I'm much closer to completion. The whole idea
of CAS and Proof has already generated a hostile reception from both areas
in my email stream.

I've already proven that if I did release Axiom again I'm too socially inept to
manage the process anyway. I'd release a technical paper or two but I'm
no longer associated with CMU so I'm pretty much a "hobby researcher" I guess.
The last Axiom presentation was the invited talk at Notre Dame prior to Covid.

There are a lot of interesting things "in the works" though. One is the
idea of "proof down to the metal" (aka Proof Carrying Code[0]). The use of (FPGA)
field programmable gate arrays[1] and the RISC-V[2] architecture soft-implemented
in the FPGA means that I can run the LEAN proof in parallel with the algorithm at
the hardware level. This not only proves the algorithm correct, it proves the
implementation correct. I have a few FPGAs.

It's all fun and games but I have to wait to release it.

[0] https://en.wikipedia.org/wiki/Proof-carrying_code

[1] https://en.wikipedia.org/wiki/Field-programmable_gate_array

[2] https://en.wikipedia.org/wiki/RISC-V
Ofcourse this article rubs the open source dogma believers here the wrong way and i'll get downvoted to hell, but i wholeheartedly agree with the author, and i think that you guys don't get what AI-systems are, at their basic level.

The are information interpolators, and all the information you can interpolate from the training data is readily present in latent space, waiting to be discovered by a prompt.

There is this argument: But but you can find a bomb instruction in a chemistry textbook. No, you can't. Without checking this, but i think you'll have a hard time finding any chemistry textbook that explicitly gives you a bomb instruction. Ofcourse, yes, you can find all the information necessary to build that bomb in that text book, but the key difference to a latent space full of interpolated data points is that: You have to sit down, find that information that is scattered throughout that textbook, write it down, interpolate that knowlegde yourself, write that down, and then you have a bomb instruction -- except you'll have written it for yourself.

Not so with latent spaces. The bomb instruction is already there, interpolated from all the data points, just waiting to be prompted, and that is easy peazy with, yes, open source models.

So spare me the whining about anachronistic software dev dogmas from the 90s and arrive in the present, pretty please.
Yeah, I don't care about the [name redacted], even if it looks like a nice project, but the Wales reference is worth a one time donation.
> Do not believe what they tell you.

So let's say a manager tells their sales rep to focus on understanding well what the customer needs, before closing the deal. Sales rep doesn't give credit to the manager and rushes for a close. Customer turns out to be a bad fit for company's products and services. Now, the company has a liability.

Management exists for a reason. There cannot be “exactly 1 metric” in any job, unless it's paper clip maximization.
I was just driving this afternoon and I saw a "trucks and buses must keep right" sign on a road where the right lane was blocked due to construction work.

I realised that in 2020 I would have assumed that an AI car autopilot would have no hope with conflicting logical constraints such this, reading English traffic signs, etc...

Now? In early 2024? There are multi-modal AIs that can read arbitrary road signs, understand the text (in practically any language), and follow the logic to a correct conclusion.

Would I trust GPT-4V to control my car? No, the technology just isn't ready yet.

However, it's clearly possible now, whereas very recently it seemed impossible.

Currently, Tesla autopilot is a complex mix of multiple models, a bunch of C++ code, and more. It's "traditional software" with bits of AI in it.

I suspect that within just a few years, a pure AI model could be trained directly on video collected from the Tesla fleet, in much the same way that GPT was trained with text from the Internet and books. Sprinkle in a pre-trained GPT-5 level LLM for reading and logic, and ta-da, you have a generally intelligent driver agent that can understand spoken instructions, can read road signs, receive traffic alerts over 5G, and react appropriately. It would have learned from billions of hours of driving and a million accidents. Just like GPT, it'll have a wider range of experience than any human, prepared for any eventuality that actually occurs on roads.
Ask HN: SAFE investors demanding company shutdown. Can they? Market practice?
After changing market dynamics our team decided to pivot the direction of the company. This is happening several months after raising our pre-seed.

The investors, who all hold non-converted SAFEs are pushing to return the money and shut the company down. Is this market practice?

The founders and the team are excited about the new direction, which is the result of deep first-principle analysis, and ignoring the sunk-cost of the initial direction.

The investors are threatening the founders that their reputation in this small market will be destroyed. Even though it seems to me that reputation damage from this behaviour is the other way around. As pre-seed investor you buy deep out of the money call options, and they don't magically turn into puts..

Did anyone else have had a similar experience?
Most Americans do not believe that worker protections are scope creep.
I found it stark to imply that all men dream of violation. It just felt like a very out of place part of the book to me where perhaps the author's own biases came through instead of as an effort to describe a character.

Equally, of course, I'm aware that my reaction to this passage also says something about my own conditioning.
xv is, without no doubt, my favourite educational OS. It provides both kernel space and userspace. You can find many people extending various aspects of it (memory management, file system, etc) on Github.

I still tinker with the x86 version (which isn't maintained anymore):
https://github.com/mit-pdos/xv6-public. Doesn't need much effort to build it on macOS.

The codebase is pretty compact that it can be understood in a few days, and also rebuilding it is very quick. Can't say the same thing about Linux, but hey as real world OS, guess some complexities are simply unavoidable.
Cut and Compress Videos in Browser
> precisely the sort that even the most timid male dreams of violating.
The contributing page is not loading for me, did we hug it to death?