skysight-inc/HackerNews huggingface dataset:
This is the take I thought I'd have, but in the last example, the guesser model reaches the correct conclusion using a different reasoning than the clue giver model.

The clue giver justifies the link of Paper and Log as "written records", and between Paper and Line as "lines of text". But the guesser model connects Paper and Log because "paper is made from logs" (reaching the conclusion through a different meaning of Log), and connects Paper and Line because "'lined paper' is a common type of paper".

Similarly, in the first example, the clue giver connects Monster and Lion because lions are "often depicted as a mythical beast or monster in legends" (a tenuous connection if you ask me), whereas the guesser model thought about King because of King Kong (which I also prefer to Lion).
Yeah not sure what’s impressive about this. Having the model be both the guesser and clue giver will of course have good results as it’s simply a reflections of o1’s weighting of tokens.

Interestingly this could be a way to potentially reverse engineer o1’s weightings
A 2 minute Fizz Buzz at the beginning of the interview is great to filter people who managed to fool the recruiter.

It is also a cool opportunity to "talk shop" if they go for a strange solution.
> Also, one of my friends has a PhD in literally rocket science (aeronautical engineering from MIT)

One of my friends is a nuclear physicist from TU Delft and they somehow managed to install a fake clone of Chrome haha. Somehow never got their accounts broken into or money stolen.
This is explicitly against the rules.
>Plenty of people like to solve challenges in weird ways and might even see the suggestions that it is inappropriate as a challenge.

That's absolutely not the way to approach an interview. "Let me try to do things the exact way you clearly don't want, just to see if we can." Is the candidate going to try to do their next job this way? What are you going to do when their egotistical attempts to solve problems in clever ways despite your advice and even instructions bites YOU?

>"What set of tools would you choose to build <normal software project>? And why would you choose them over alternatives?" or "We here at X make use of Y a lot, have you worked with Y or alternatives? What did you think about Y or alternatives?". Both are infinitely more telling about the candidate.

I hate coding interviews but I am sympathetic to people who want to do them because I've met people who are such good bullshitters that they could fool most people. If you're talking about someone with no working experience and who claims to be self-taught, you really have to make them write code.

>Someone's choice for a contrived joke problem will not reflect their choices for a real software project.

The interviewers tried to tell him to approach it like an industrial-grade solution, not a weird academic exercise. He was in the mood to do an academic exercise, and that's what he did. The interviewers seriously don't know what he will do in the workplace. That's why they're trying to make him write some code in such a way. Self-taught people are more of a risk in that they often overcomplicate (or oversimplify) things.

>I worked with people who liked to solve silly problems in silly ways, but when it came to real projects always preferred mature languages and libraries which focused on long term support, stability and maintainability.

Good for you? I'm not talking about silly problems. I'm talking about someone who wanted to rewrite our build system in a compiled language, and our Python unit test driver in a different compiled language. He wanted to use inappropriate "fun" languages at work. I'm not categorically against using interesting new languages and tools, but when there is ZERO benefit to doing so and nobody else knows said languages, it is not to be done.

>The problem with the interview is that instead of talking about the subjects, they themselves want to rely on subtle hints about the candidate. Which may not mean anything.

The whole point of the interview is to get hints about the candidate. There are times when interviewers read too much into what the candidate does or says, but this isn't one of them. The candidate wanted to show off his knowledge of type theory despite pretty obvious hints that the interviewers didn't want that. That means he has bad social skills or else he has an ego issue. The fact he blogged about it in such a way to brag about his solution suggests he does have an ego problem. There's also a healthy chance that the whole story is fiction, just to advertise himself as a self-taught "genius" who is turned down for being "too good" lol.
The base conversion insight was great. With this insight, the solution could have been just as compact and much more readable without using types.

Sometimes it is possible to be too clever.
Did the interviewer caution about the candidate's direction because they cared about the candidate and wanted to help, or because the solution was unique, unfamiliar and made them feel uncomfortable?

If you tightly script your interview, but then present it as open-ended and flexible: that's on you.

My take if I was interviewing (and forced to use this approach): appreciate what a interesting interview this was, explicitly tell them "wow! that'd didn't go as we planned, but interesting approach!", maybe steer conversation to the pros/cons of unique/efficient solutions vs. less terse / bog-standard approaches, have some prepared code to debug and refactor (instead of expecting the candidate to produce it).

I do a lot of interviews and most of them are so boring and forgettable. The best ones are unique and the candidates shows passion about <anything> in any demonstrable way.
might have been a problem in Bun that was fixed by: https://github.com/oven-sh/bun/pull/16747
I second this. Everyone should strive to be somewhat physically fit, dress well and eat well. It's a huge psychological boost. Like Deon used to say, "look good, feel good, play good."

Walking 30 minutes a day in the outdoors when permissible gives me huge mood improvements. I can definitely feel the difference on the days when I don't walk. Buy some button down collar shirts, shower when you leave the house, get a decent haircut, simple stuff. Makes a world of difference on how you are perceived and therefore treated as well.
You don't think good money has an intrinsic value as good money?
Microwaves versus drones. How engineers are mastering electromagnetic weapons
I got my hopes up, but hive says

> Please note: eBooks can only be purchased with a UK issued credit card and all our eBooks (ePub and PDF) are DRM protected.

Bloomsbury OTOH sells DRM-free e-books.
I never understood the “encourage others to take ownership” manager thing. I mean, I can do the same and encourage others to do things and that would let me with very little actual work to do. Like, why would I even be necessary as “manager that encourage things” if we have to begin with engineers that are paid to take on ownership from the very beginning?
Nice idea for my retirement (not in the very short term)!
I would have thought that any kind of contract would require a signature or something rather than agreement by text (but obviously I'm not a lawyer)
https://github.com/helix-editor/helix/pull/12527
> I still think 100% unemployment would mean a lot of people who live today in relative comfort, and are therefore complacent

My prediction if we get there is that the "AI" will present us with a seemingly 'benevolent' solution.

"AI has solved everything. Climate change. Limited resources. AI can fix it all. Everyone except a select few must stop ... reproducing."

It's like when a large organization wants to reduce headcount and they do it with buyout packages and retirement.
Yeah, indeed. I gave my feedback to the TA that was managing the position, although with little hope it would be of any use.
People often prefer to see those who are similar to them in a positive light, since that’s their primary frame of reference. Some struggle to grasp that someone with a completely different perspective or set of social skills can have something valuable to offer. I see this most in hiring practices where hiring managers ask highly personal questions and claim it is to check your "cultural fit", but they are probing for people similar to them. I also see it in how people treat others they’ve just met that are from a completely different background, there is typically a faint form of aggression for literally no reason.

> At the opposite end of the personality spectrum are insecure people, who I’d also avoid, as they tend to see credit as a zero-sum game, needing to diminish you to bolster themselves.

Like many sweeping broad statements, it is entirely useless to base decisions on. The world isn't black and white, there are shades of gray all around.
Some extension of the Patreon model onto decentralised social media could work. I pay a few bucks a month to the creators of webcomics and other content that I enjoy, just because it's the right thing to do, and I dunno, it makes me feel more connected to these people that I've never met but who bring me some joy?
Please explain what intrinsic value is
I ditched file explorer in neovim and just use fzf.

I also ditched tabs and rely on fzf on the buffers.

It’s a really powerful setup and cleans up the UI significantly
I wonder how relatively portable Elite is to non-6502 platforms with byte-addressable instructions – the idea of a 68k Elite sounds fun. Presumably we would need an implementation for a platform with few banking + memory mapping shenanigans, something relatively portable to memory-mapped IO, etc...
Why does the initrd have to keep the PCRs the same after handing off to the root filesystem anyhow?

Capping off the PCRs with any arbitrary value before execing into root would stop this.
It might not be what you're hoping for, but just doing a question instead of a web search. It's often more useful to get even a hallucinatory answer compared to affiliate marketing listicles that are all coming from smaller models anyway.
I think this might be a troll post, but here's my comment anyway.

The reason why you didn't get this job is because they filtered out themselves, it was not you that was bad, it was them thinking you where too smart for them. It took a lot of time for me to figure out this, that in a relation you want someone that are on the same level. I used to think that companies want to hire the smartest people... But no, they want to hire people that are like them.

Here's my tip: Start filter out jobs instead of having them filter you out! There are many jobs, especially if you are willing to relocate.

Only apply for places that are as much into types and functional programming that you are! Or at least on your "nerd" level generally.

Do the company have a technical blog that writes about this stuff?
Do the company have a technical speaker that speak about this stuff?
Is anyone at the company writing technical articles about this stuff?

If you see a good article, reach out to the author and ask if they have any openings or can recommend a good company to work for.

Also if you are applying for a senior position, and you get to an interview, you should be talking to them as if they where 5 year olds. Even if they say they have 30 years of experience, explain stuff like if you where talking to a kid. For me it's much easier to come up with a better algorithm then explaining to others why it's better. It feels like explaining it to my dog.
>Companies literally keep a big list of all the people who have shares and how many, in case they want to send out a dividend or something. If they think it is important to check it is easy to do once they have a name.

I thought companies only knew the brokerage, and it was the brokerage who could tie it back to a specific person ?
Of things to brag about in Texas, power grid is not one of them.
props for writing this out

i know it couldn’t be easy

we have limited time in this world

i’d rather spend it with the strong and confident, who need me less than weak and insecure

it’s not fair

it’s not right

but that’s the structure of the world

i don’t like hearing well aktually, because for every one time they are right (and they are right occasionally) i’ve had to listen to to them whine where they have low context

don’t waste peoples time with your insecurity

don’t help the weak

help yourself
I've been trying to do this with just word2vec, instead of throwing an LLM, since you just need to find a word with the appropriate distances optimized. https://github.com/captn3m0/ideas?tab=readme-ov-file#codenam...
If you're building some sort of basic, crud app you shouldn't hire this candidate, or at least recognize they are a project - is that what you want?

But if you're doing anything unique, or experimental they might be a great fit.

Most of us are doing the second.
Can you explain what you mean by your second sentence? Is it that your colleagues became more friendly?
A lot of things changed in 28 years, including me, and I wasn't enjoying the job anymore. After a while, coding wasn't that interesting any more.
How are decentralised platforms managing abusive content? TikTok had some bumps in the road maybe five years back with this, but got it under control. I know I don't want to be scrolling through video content and see illegal or unethical content.

That compliance aspect seems like one thing that pushes us towards centralised architectures for social media, but I'm guessing that AI models to screen images / videos are pretty widely available now and cheaply deployable?
Cheap large GPU memory on Mac. Nvidia is an order of magnitude more expensive
Try curling the urls with a referrer of Google.

There's a related site compromise where a hacked webserver behaves normally except, when the referrer is google.com, it adds a JavaScript redirect to the end of any page.

You go to example.com, everything looks normal. You click a link to example.com, you end up on a page selling herbal dick pills. Site owner yells at Google thinking it's their fault. Googlebot never gets served the redirect.

You should be able to do the same thing with 301 redirects.
> I'm just annoyed by the lack of support

You know you can hire someone to support them right?
I was talking about "formal logic".

I don't recall how it is built already.
are you sure it was the answer for the first question? i went through a fast paced interview recently. i was told that it would be fast paced and the interviewer did cut me off when i gave an answer like that for a different question, but i can't imagine that that would be the reason to reject me. (i didn't know all the answers so it was fair in my case)
You wrote multiple paragraphs denigrating his point in response to criticism not even specifically addressed at you — but which nevertheless triggered your insecurities.

Do you think that behavior rebuts his point?
We can sell them safety.
Once they start touching the Library of Congress's program for free audio and Braille books for the blind and other print disabled, then we'll see some action from the blind community. However, I suspect the Deaf community will act first, and with force. It's amazing to see how indifferent people are around me. Trump voters are all about getting rid of DEI, completely missing the A, which they'll someday need if they grow old enough.

At least Apple isn't getting rid of their accessibility program. But I fear what this will do as a signal to other companies, particularly apps like Doordash, which some people rely on. Oh, and can't forget Facebook, which is headed in Trump's direction, which tons of blind people use. But, we'll struggle on as we always have. Eventually, Windows will decay enough for blind programmers to finally have enough and switch to Linux, and we'll ride that wave as long as we can. And then Tim Cook will retire, some conservative will take his place, and we'll all have to move to Android lol. Would be just our luck.
This is a great idea. What I have found worse in hotel rooms is not the chair, it is that the desk is at a stupid height relative to the chair. I use a standing desk at home and would love an easy way to use a standing desk at a hotel without carting around a tripod.
>They literally have no computer system that can tell them the difference between you and a hedge fund manager, and so an email to IR [...]

The "From" header on the email? It might be possible someone sending from a @gmail.com address is a hedgie, but if they want to announce their affiliation they'll use their company email.
>> Do you have a reference where I can learn about this?

> I don't really understand what you're asking for.

That comes across as rude and condescending; please don't communicate like that. Your English skills seem OK but in case you still need help, they're asking for a "reference" -- that's an online source of some sort probably, where they can "learn about" it -- that means that the reference would contain content helping them to understand the topic better. For example, the helpful content you gave after your rude and condescending initial comment would be an example of such content.
Show HN: I built a DIY plane spotting system at home
I agree to sell you my car for 100 euros. You can sue me if you don't hear from me soon.
What if the game showed a different order of cards to every player?
Jackson Heights is the winner here
Indeed DRM is a very different thing from adhering to standards like `robots.txt` as a default out of the box (there could still be a documented option to ignore it).
FFS, moderation... Kindly find and deal with the misbehaving nagger.
In these systems you pick what you see and don't rely on a third party algorithm for that. If one instance allows the publications of things others disagree with defederation is an option.

Under no circumstances should we let AI filter the fediverse. Freedom is worth more than mild offense.
Working Fast and Slow
No, it seems to assume changing trains is instantaneous and trains are waiting for you.
Loops uses ActivityPub and the Fediverse as it's decentralization model (it's created by dansup, the dev of Pixelfed). The implementaion details, i.e. what's federated and how, are probably still fleshed out. It's the first project trying to bring the TikTok-style video feed to the Fediverse, so there's not much prior art.
You might like my Amstrad CPC demo from 10 years ago called Breaking Baud.

It was a custom turbo loader for the CPC that had a co-operative multi-tasking thing going on, so it had a loader, music player, realtime data decompressor and some spare time left to do some other things.

I had plans to make the demo even better, but actually what got produced was quite pure because everything, literally EVERYTHING, is loaded directly into RAM and then decompressed in place (that's what the random white flashes are you might see at times - it's usually where a RLE marker was placed in RAM and shown by the display hardware before the background task to expand/copy the RLE section was executed).

As such, every step of the animations loaded could actually a full screen independent of the last, it's just most of the time it compresses super easily as the delta from what's already in the memory at that point is very small.

The live capture of the demo as it was presented live for the first time is here: https://www.youtube.com/watch?v=D62jpqZ6TG4
Someone else running it on real hardware (but sadly turned down the tape volume after a minute or so): https://www.youtube.com/watch?v=G7HEK1B2oIc

This is a very early prototype that actually shows the speed of loading completely unrelated images, just relying on compression - some of the screens load 16KB in around 10 seconds: https://www.youtube.com/watch?v=qfGcvWOaFFw (BUT BE WARNED IF YOU ARE SENSITIVE TO FLICKER)
- That's just like, your opinion, man

He was using DRM as a metaphor for restricted software.
And advocating that software should do whatever the user wants.
If the user is ignorant about the harm the software does, then adding robots.txt support is win-win for all.
But if the user doesn't want it, then it's political, in the same way that DRM is political and anti-user.
Build for the Web, Build on the Web, Build with the Web
The ADL is not the arbiter of what is and isn't antisemitic
The rules that they added, like the ban on mathematical operations, made it clear that they were not looking for understandable code. His code could handle new rules without a problem, so extensibility was not a problem either.
At a corporate job, starting projects will catapult you more than finishing them. Especially long multi year projects.

My mentor mentioned this to me and it took me a LONG time to understand it.

Starting an AI project for example will:

1. position you as the AI thought leader just becuase you were first to the idea

2. associate AI used anywhere with you

3. bring you up in any conversation about AI

It's really weird but this how all those useless executives operate. Start projects and leave :) .
Highly recommend reading "Stealing the Corner Offfice" https://a.co/d/5dTRSNQ if you don't plan to do a startup.
Very cool project
US Pedestrian Study: We're Walking Faster, Hanging Out Less
They do if they're AGPL licensed and the internal form software is used to provide a user facing service.
Both are true, as praise is absolutely a currency that can be devalued like any other.

Given with abandon, even honestly, it loses its value to both the disponer and recipient. That's something that many in management roles never appreciate and is one of the reasons that some give it too sparingly. They've found that abundant praise loses its utility and come to the incorrect conclusion that scant praise is best.
I hear you, but it's not other people's job to deal with your insecurities. You have to fake it until you make it, to use a cliche. Be mindful when your brain starts being unfairly critical, pause and think, "hey wait a minute, I'm doing better than most people on this earth, so I must be doing something right." It takes a while, but you have to work at it.

Also, try to get out of the habit of being overly critical of other people. That habit will usually extend you being critical of you. Give people the benefit of the doubt, and extend the same courtesy to yourself.

Understand you deserve to take up the space you exist in and you deserve to breathe the air you breathe.

Best of luck.
generally there is a "temperature" parameter that can be used to add some randomness or variety to the LLMs outputs by changing the likelihood of the next word being selected. This means you could just keep regenerating the same response and get different answers each time. each time it will give different plausible responses, and this is all from the same model. This doesn't mean it believes any of them, it just keeps hallucinating likely text, some of which will fit better than others. It is still very much the same brain (or set of trained parameters) playing with itself.
I just knew it's going to be Rust as soon as I've read the title.
Most linear and switched voltage regulators have upper limits for the allowed load capacitance, they become unstable (oscillating) above the limit. Replacing 100nF for 3.5uF everywhere is very ill-advised. Better to stick with 100nF, and have a distributed (total n*100nF) capacitance of few uF on the whole load line, for stability and low frequency decoupling, no more.
The headline is based on a quote from Jim Free. That's a delusional bit of project management if that's what he really thinks.
Secretive: macOS app for storing SSH keys in the Secure Enclave
I agree. I'm a big fan of the Fediverse and I think it's really cool to have something like TikTok, but without a good algorithm (that needs a lot of data), I don't see Loops to be a viable alternative for 99% of TikTok users.