skysight-inc/HackerNews huggingface dataset:
I began lucid dreaming at the same instant that I began having sleep paralysis about 20 years ago, at age 9. I had a vivid dream, which I still remember in great detail, in which I was in a graveyard and was cursed by a ghost due to the actions of my grandfather.

I woke up from the dream in a state of sleep paralysis, and predictably tried screaming but to no avail. Since then, I would lucid dream at least a few times a week for many years. I would also constantly get sleep paralysis and night terrors. The night terrors were nothing new, I'd had them for as long as I can remember. But they would consistently occur when I was in sleep paralysis.

During paralysis, before falling asleep or after waking up, I would hallucinate beings entering my room, shuffling things around, staring at me, touching me and speaking to me. I've been visited by ghosts, people, giant spiders, the grim reaper, succubi, elves, all sorts of things. Usually there is a great feeling of terror or impending doom. Sometimes I'm told specific things or asked to do favors for the beings.

It's easy to see how people would mistake these incidents for real encounters with otherworldly beings during a time when science was less advanced. In fact, my Catholic guardians were convinced, and still are, that I was possessed by Satan. I never received help for my night terrors, which largely exist because of childhood torture by my guardians in the first place. My grandfather would shake me violently and tell me that Satan was inside of me and that I would never have the capacity to love another person, and that my nightmares and "possession" were a result of letting Satan in my heart.

Eventually I realized that I was having lucid dreams and sleep paralysis far, far more often when I would sleep on my back. In my youth, sleeping on my side hurt and so I was stuck constantly having sleep paralysis. I developed a Pavlovian response to sleeping which fed into an already severe insomnia.

I'm now a 30-year-old adult who still suffers from insomnia and constantly has nightmares about missing the bus, experiencing childhood abuse, being persecuted by police, being at school, etc. My dreams have become a window into childhood trauma where I continually get retraumatized and trigger flashbacks. However, because I often lucid dream, these dreams also afford me a chance to explore these traumas and experience control and safety in situations when I felt like I had neither. Also, I now cannot sleep on my back almost ever due to degenerative spine disease, and other chronic pains keep me up all night, so the nightmares happen a little less frequently. Silver linings.

I think there is so much potential in the therapeutic application of lucid dreaming and I would love to figure out a way to use my knowledge and skill with lucid dreaming to help others.
And there are AIs that can (because of other design choices…)
I am not familiar with the US law, but I don't really understand how is the whole "start as a nonprofit, become a for profit once your product turns out to be profitable" thing legal. It looks like a complete scam to me. And while I don't like Elon at all, I think he and other earlier donors have a very strong case here.
Maybe because that incident happened almost 40 years ago?
> LLM-based AI is faulty, unpredictable, and unmanageable

Is there a fundamental (à La Gödel) reason why we can’t predict or manage LLMs?

> would you let an LLM manage your financial affairs (entirely, unsupervised)?

No. But history is littered with eccentric geniuses who couldn’t be trusted on their own, but who nevertheless were relied on by decision makers.

Maybe there is an Erdős principle at play: AI can be involved in questions of arbitrary complexity, but can only advise on important decisions.
I agree wrt to his goal but there is no way he is autistic, and what's a human successionist?
The popular narrative is that it is Musk, who both seems to be able to influence government policy and who has had a very public falling out with OpenAI...
I suppose, but they can still be wrong on the common facts like number of R's in strawberry that are counter-intuitive.

I saw an interesting example yesterday of type "I have 3 apples, my dad has 2 more than me ..." where of the top 10 predicted tokens, about 1/2 led to the correct answer, and about 1/2 didn't. It wasn't the most confident predictions that lead to the right answer - pretty much random.

The trouble with LLMs vs humans is that humans learn to predict facts (as reflected in feedback from the environment, and checked by experimentation, etc), whereas LLMs only learn to predict sentence soup (training set) word statistics. It's amazing that LLM outputs are coherent as often as they are, but entirely unsurprising that they are often just "sounds good" flow-based BS.
Congratulations.

On the cross-platform library, I wonder why "libGhostty" and not libTerminal. Which seems like a more appropriate in term of library?
If you’re a tech startup and previously used Bench, I’d strongly encourage you to check out Pilot.com - we work with literally thousands of startups. (Disclaimer: I’m one of the founders.)
I've heard they claimed to have SOC 2 security compliance, but refused to prove it (show the SOC2 report to customers) -- that's really fishy.
Google Accidentally Leaks Details of Its Revolutionary AI Assistant, Jarvis
> can get an app on their phone

ok, do you want that, or are you required to have that..

Uniform servicemen already have made agreements about their data, locations, records, check-ins ad infinitum.. but citizens have not made those agreements.. So uniform services will just make those agreements mandatory.. there is no end to this.

especially irksome is piling on requirements for constant check-in among law abiding people who own property and pay taxes.. while somehow hundreds of thousands can walk around living in parks in the South ? I am not even extreme on this topic .. it just defies common sense and says Slippery Slope in giant letters
My guess as to why it's necessary to nuke all potentially copyright audio is that the platform is liable for infringement, and as a result they have a policy to shoot first and ask questions later. This is justified because in overwhelming majority of cases the streamer does not have a license for the audio.

In the case that the copyright audio is coming from a game, there is no way currently for the platform to automatically verify that you have a license or not, so once again they shoot first, ask question later.

This is unfortunate, but as usual, bad actors ruin the commons for everyone.
What an asshole you are. This is not good news for anyone.
o3 solved a quarter of the challenging novel problems on the FrontierMath benchmark, a set of problems "often requiring multiple hours of effort from expert mathematicians to solve".
I would love a dart client library for this.
I feel that Gaza has shown us that there aren’t as many of these types of employees as we think.

Most people don’t care.

OpenAI is doing this show because if they don’t they are more vulnerable to law-suits. They need to manufacture a narrative without this exact structure they cannot fulfill their original mission.
They can't draw vector illustrations.
what service did you move to?
This is like preventing identity theft by putting your SSN on the side of a truck
https://statebox.org/what-is/ leads to https://typedefs.com/
I know the author is well meaning, but for some part of the population, this is just more of the same hurtful invalidation we've received our entire lives.

Being neurodivergent involves others constantly encouraging us to set ourselves up for failure.

They don't see the exhaustion so they expect us to push through. They don't have our limits so they expect us to overcome ours. They have will power to get them what we don't have so they think we aren't using ours.

There's nothing in here that hasn't occurred to me before. And it's not necessarily that the conclusions are incorrect, but that for some people they come at an extreme cost to mental health and are not truly sustainable.

I would love to hear people voicing acceptance instead of more of the same of telling us that we should try harder when we're already trying to the point of constant overwhelm.
Any sufficiently custom code will have features that give away a lot of information about the subject matter.

As an example, think about what you might see in Excel formulas.
When random filename videos are as good as YouTube Shorts. Or better given the authenticness.
I'd argue that's just because coders are first to line up for this.

There was a different thread on this site i read where a journalist used the wrong units of measurement (kilowatts instead of killowatt-hours for energy storage). You could paste the entire article into chatGPT with a prompt "spot mistakes in the following; [text]" and get an appropriate correction for this and similar mistakes the author made.

As in there's journalists right now posting articles with clear mistakes that could have been proof read more accurately than they were if they were willing to use AI. The only excuse i could think of is resistance to change. A lot of professions right now could do their job better if they leant on the current generation of AI.
The presence of a 1550nm 400Gb/s signal is really just a distraction here and doesn’t add to the experiment in a meaningful way. I don’t think anyone is surprised that you can separate channels by wavelength, even if those channels are quantum.

So this really comes down to observing teleportation given the high loss of the fiber at 1310nm at 30km. From that point of view the experiment is pretty solid but I’m not sure it’s worthy of a press release.
TianYancha is a corporate data aggregation website, it has nothing to do with FOSS. Your post is such a clumsy attempt to steer the conversation into Anti-Americanism/Westernism. Like really blatant lol.
20 years of social media has turns you into a petty teenager. This stuff reeks of Sam Altman having uncontested power and being able to write whatever dumb shit he wants on openai.com. But it's not just OpenAI, Microsoft is also stunningly childish, and I think professionalism in corporate communications has basically collapsed across the board.
Additionally, they took down all of their accounting articles without notice. They had valuable summaries on various tax topics. Thankfully, Wayback Machine has archives of my bookmarks.

All the more reason to self-host your own archived versions of bookmarks...
DKIM and SPF are supposed to prevent email sender spoofing, but that requires the domain owner to set it up correctly age the receiver to verify the records and actually distrust or discard the email if they don't match.

Both steps aren't trivial, and configuration errors are more common than actual spoofing. DMARC is supposed to fix everything, but only if the domain owner cares enough to do more than the bare minimum setup
Humans can’t but maybe AIs can coordinate at light speed to determine at the last minute if a plane should be shot down or not.
We don’t know. We didn’t predict that the rat brain would get us here. So we also can’t be confident in our prediction that scaling it won’t solve hallucination problems.
It seems unlikely they didn't know they were going down until just a few days before having to shut down services.

And given that this happens during the holidays, ot wouldn't surprise me if some customers don't find out about this until after the window to extract your data has expired. Or people have to work on fixing this mess who were supposed to be on PTO.
Yes, until someone introduces reward into llm training I doubt we'll get much further
Inputted llvm-project, resulted in this error:

Repository is too large (>200k tokens) for analysis. Claude 3.5 Sonnet's max context length is 200k tokens. Current size: 1448461 tokens.
> would you let an LLM manage your financial affairs (entirely, unsupervised)?

It will likely be better[2] not because AI is good at this .

It would be because study after study[1] has shown that active management performs poorer than passive funds, less intervention gives better result over longer timeframe .

[1] the famous warren buffet bet comes to mind . There are more formal ones validating this .

[2] if configured to do minimal changes
> Given the remote-first container-based world we're heading towards

You might want to expand on who "we" are here, because to me it seems to be a very small section of developers who want a "remote-first" experience and most (if not everyone) I speak with want software and tools that work local/offline-first, including our dear development environment.

If a tool requires a internet connection to work (so this "remote-first container-based world" you mention), I don't think either me nor many of the developers I know would even give it a try, because we need to be able to use our tools regardless if we have a working internet connection and/or the service-provider has downtime.

In fact, the only ones I know who are using a "remote-first" environment are developers who are forced to do so by their employer, and it's not a short-list of complaints about it when we meet over beers.
He has been living rent free in their heads, mouths and on their blogs for quite some time.

Unfortunately, it’s been in a quite negative tone.

If all of this is really for humanity — then humanity needs to shape up, get along and do this together.
You might be autistic is an attempt to diagnose.
Weirdly, it's Jake Paul. He beat Mike Tyson!
No, it doesn't "solve" the unpredictability problem.

But we haven't solved it for human beings either.

Human brains are unpredictable. Look around you.
Nice, that is a good idea. I think that result wouldn't be too surprising to anyone here. :)
Youtube would probably be violating dmca safe harbor if they required claimants to agree to their terms of service.
gotcha. regardless, awesome project. all the best!
I, a person who don't care about battery performance one iota (because my computer has no battery), love this answer and approach. Not every software is for everyone, and authors drawing a line in the sand like that works out better for everyone in the long-term, instead of software that kind of works OK for everything.
They are still worse at finding syntax errors than the actual parser. And at best they could be equally good. So what’s the point?
Bingo. AI can do "anything" if you press the retry button enough times. But demand consistency even once, and you're irrevocably fucked.

Kinda funny how the 8080 microprocessor can still outperform state-of-the-art LLMs if you create a reductive enough definition of idempotent performance.
Keynote: Eight Lines of Code
The Monroe Institute sells a series of audio clips that emit a different tone in each ear with which the brain creates a third oscillating tone. This third tone is known as binaural beats which they allege to synchronizes the brain's hemispheres.

The series is called the Gateway Experience. Its a kind of semi guided meditation using the binaural beats that is intended to induce out of body experiences.

I tried it years ago and although I never experienced a OOBE it did seem to induce lucid dreaming. Its a bit new-agey but not in a preachy or religious way.

https://hemi-sync.com/gateway-experience/
A self-review of my last year building Chessbook
Can you elaborate about your predictions for how the benefits of current capabilities will be applied? And your thoughts on how to build with it?
Induced Demand Debunked
> "Serious, mission critical" apps are just going to be a niche in the future.

High quality only for niche "serious, mission critical" everywhere else, enshittification already started, LLMs will just accelerate it.
Maybe it's time to check out Luon [1], which has a syntax similar to Oberon and takes some concepts from Lua, it's statically typed and targets the LuaJIT VM. It was recently covered in HN [2]

[1] https://github.com/rochus-keller/Luon/blob/master/Readme.md
[2] https://news.ycombinator.com/item?id=42413343
Well, maybe its wheel fell off.

So, the mechanic who maintenanced it last?

...

We don't fault our tools, legally. We usually also don't fault the manufacturer, or the maintenance guy. We fault the people using them.
How you've managed to communicate effectively with so many people who were using the beta version to craft the final release is beyond me!
I downloaded it last night, wrote one line of theme configuration (I picked the batman theme). and For me it just works fine and faster than any other terminal emulator I've ever worked with.
Also great with 'less' and 'tmux'.
I just switched to 'Ghostty'! so thank you.
If brown-rats-as-a-service is as useful as it is already, then I'm excited by what the future holds.

I think to make it to the next step, AI will have to have some way of performing rigorous logic integrated on a low level.

Maybe scaling that brown-rat brain will let it emulate an internal logical black box - much like the old adage about a sufficiently large C codebase containing an imperfect Lisp implementation - but I think things will get really cool we figure out how to wire together something like Wolfram Alpha, a programming language, some databases with lots of actual facts (as opposed to encoded/learned ones), and ChatGPT.
I was assuming you were referring to the Ukrainian airliner shot down by Iran in the aftermath of the Suliemani killing, which is an actual example and not a hypothetical one.
They can make SVGs
Pilot looks very expensive!
on social media employees are saying it's insolvent so no refunds :-(
It doesn't have registers, pretend or otherwise, or a memory limit. It sounds like you aren't very familiar with the JVM or computers in general. On the JVM in particular, I suggest reading https://docs.oracle.com/javase/specs/jvms/se23/html/index.ht....
Being an introvert isn't a choice.
> I can’t tell a search engine to summarize text for a technical audience and then another summary for a non technical audience.

No, but, as amazing as that is, don't put too much trust in those summaries!

It's not summarizing based on grokking the key points of the text, but rather based on text vs summary examples found in the training set. The summary may pass a surface level comparison to the source material, while failing to capture/emphasize the key points that would come from having actually understood it.
Spatial reasoning.

(But we're working on it.)
AI on a Calculator? (Without Internet) [video]
Why the hell should the Palestinians even come to the table anymore? They have been mercilessly brutalized for decades. You're effectively saying that a home invader who has taken your living room, kitchen, dining room, and left you isolated to your bedroom and bathroom upstairs has just as much right to your home as you do, and you need to now come and negotiate to maintain access to your upper floor.

It's patently ridiculous. Do both sides aggress? Yes. But one side enjoys the strategic and financial backing of the West for their aggression, and one does not, and ergo, the conflict will never, EVER be on a level playing field. To go back to my own metaphor, the invader in your first floor has the backing of the police department. What are you going to do in this situation?
for sure a mistake just due to the fact that most of russia is incompetent and corrupt. Makes no sense why russia would shoot down a plane filled with russian citizens flying to a russian airport. Just a fuck up due to russians being incompetent.
> Split Right | Split Down

Thanks for this. After 7 years of using iterm2 I still don't know what will happen with the ambiguous "Split Horizontally | Split Vertically". I know the issue is I'm thinking about it and should just learn it, but it would be more helpful if it was named "Split A | Split B".

(might be a non-native language problem)
> This is justified because in overwhelming majority of cases the streamer does not have a license for the audio

I guess my point is that this arrangement was fine for a very, very long time. Why is it suddenly not fine in the last handful of years? Who is standing to gain here? In my view, it hurts the very platforms and industries this is trying to "protect." Twitch/YT/etc. are harmed because the content will be inherently worse, and copyright audio IP is hurt because it will spread to fewer listeners. Not only this, but if it were available to me, I actually would pay to license the audio I use, but there is no mechanism to do that!

A similar dumb thing happened a few years ago with the PGA tour - they decided that anyone re-posting PGA clips without their permission, even if it was for commentary/parody/etc., was all of a sudden not permissible. So, all the golf content on IG/TikTok/etc got catastrophically worse overnight, and PGA (which struggles with viewership, especially young viewers) gets less free exposure. There's absolutely no way this was a positive outcome for anyone involved, so why?
I guess the hype is from the series of blogposts about the lengths they've gone to make it fast.
Also it looks like mac doesn't get a lot of native terminals so this has them excited.
Why do you think it wasn't possible for them to run out of money? It's not like a 10 year old business is immune to failure.

The simplest explanation is usually the correct one.
it's surely a boon, but does not match the hype
> It’s not just being a gullible true believer ...

“It is difficult to get a man to understand something, when his salary depends upon his not understanding it!” - Upton Sinclair (1930's ?)
I did something similar recently in Idris 2, specifically to see how ergonomic using quantitative type theory is. My experience is it's quite a hassle, but I don't think that's beyond reproach.

The repo is here[0], and if you like long form unedited videos about someone failing to program, you can see my struggles with Idris 2 here[1]

[0] https://github.com/dspx-plcr/qtt

[1] https://www.youtube.com/playlist?list=PL5CIEWYHtEXommjLd_zOP...
I've convinced myself I'm a multi-millionaire, but all other evidence easily contradicts that. Some people put a bit too much into the "putting it out there" and "making your own reality"
1.4M tokens... even if Claude can process that there would be a crater in my wallet
> "2 days from now" could either mean "after 2*86400 seconds have ticked" or it could mean "when the wall clock looks like it does now, after 2 sunset events". These are not the same thing.

Which is why you need some means to specify which one you want from the library that converts from the monotonic counter to calendar dates.

Anyone who tries to address the distinction by molesting the monotonic counter is doing it wrong.
Humans can extrapolate as well as interpolate.

AI can only interpolate. We may perceive it as extrapolation, but all LLMs architectures are fundamentally cleverly designed lossy compression
The questions quickly arise: Safe... for whom, and beneficial... for whom?
How to Use SDL3 from Java
Is it weird that I never considered foot because of the name? At least when you say "alacritty" i understand that it's a terminal. When I tell someone I use "foot"... I don't know, it doesn't give a good feeling.
I guess we now know that the price of a bookkeeping and tax preparation service that won’t shut down without warning is the 2x pilot are charging of what bench were charging.
Why would Putin need that? The plane was literally landing in russia. Putin could just have that person be arrested then or just disappear ("must have been russian maffia"). Not like russians try to hide murdering people.
I wanted some features for shipping and receiving and ability to find closest assets. I'll be importing zip codes which have lat lng needs to be stored and queryable.