skysight-inc/HackerNews huggingface dataset:
Due to how my job is defined, autocompletion (the kind that comes with LSP) is usually not an option at all. In the context of my job, the largest part of my effort goes towards RCA (figuring why something doesn't work) in a system mostly not written or designed by me.

This means, that most of the time I deal with a system after it was deployed, often times in a distributed system with most of it only accessible remotely. So, the aspects of my tools that I value (over autocompletion) are integration with shell / terminal, integration with debuggers / tracers / profilers, ability to quickly search / patch files in any format.

Typically, if you look at my monitor (when I'm actually doing something), you'll see Emacs running ansi-term with tmux that shows a bunch of buffers with shells in VMs in different corners of the world, database interactive clients, interactive debuggers, interactive interpreters, vi with multiple tabs open, multiple journalctl -fu xxx buffers, or perhaps kubectl logs -f xxx buffers etc. and outside of tmux some Org buffers with lists of tasks or text that I use to export to JIRA markdown.

(I think my setup would make for an exciting hacker representation in some sci-fi movie! It's all green letters changing rapidly on black background in many small adjacent boxes)

Even in this context, there's some word completion available (eg. in shell, or in Emacs just trying to complete the word by finding similar words in the same buffer), but usually by the time I actually need to write something new (rather than add breakpoints or investigate in some other way), it's crystal clear what needs to be written, and I don't need to leaf through pages of autocompletion to find the right word.

---

Now, while most developers don't spend that much time figuring out why their software doesn't work, I still think it's a significant portion of any developer's work, so, simply from the standpoint of how much time you spend in what environment it might make sense to go for a tool that's better at editing text than a tool that has better integration with LSP.
Linux Text Editors You Should Know About
Where was that, and when? I got tickets through hackerspaces and was never expected to do anything for them.
Ephemerality in User Interfaces
There is a verse in the Old Testament where Moses asks to see God's true form, but God tells him that it would kill him, so God turns away and lets Moses see his ass instead.

Which I guess is a very literal interpretation of God making man "in His image."
Brazil shuts BYD factory site over 'slavery' conditions
I have seen the add and did not think anything of it. It is not much different or any more mindless than a lot (maybe most) other adds these days.
The flame retardants aren’t there on purpose. If they had the choice there wouldn’t be any in these plastics.
Ratta Supernote – ePaper notebook for those who write
As being part of a software development team working on RPS (runway performance) I can tell you, it is stories like this which keep us up at night.

The amount of business logic involved is staggering, but miraculously there are experts who truly seem to understand almost all of it.
Understanding “almost all of it” is not enough, so there are several different experts who in their entirety hopefully capture 99.99…% But you don’t know what you don’t know…

One of the “calming” facts is, that in the tens of thousands of test cases we compared our results to existing solutions, we did discover errors in their calculations. The “calming” aspect is, due to the many safe-guards these errors seemingly never surfaced.

Coming from a machine-learning background I quickly understood that there is little appetite for AI solutions, as any optimization which would reduce fuel consumption, is easily offset by all the safety margins.
In my mind the goal of the software is to make everything explainable and proof that you truly did think of every eventuality.

I am very curious to learn what major f*-up lead to planes being grounded.
The only tool you need really is a very powerful search that lets you jump around with only a few keywords.
Let's bring human female breast size into the discussion as well, another unique feature among mammals (not counting cows..?)

Here is just the first search hit[0] I found on the subject, linking the two.

"Finally, Morris (1967) believes that breasts mimic fleshy buttocks, thereby providing a clear face-to-face signal in upright bipeds, but he does not explain the evolution of buttocks in the first place."

I vaguely recall some assigned reading in junior high school science, which described how mounting from the rear (where buttocks were an attractive sexual signal to males) was transformed to sex from the front, with breasts becoming larger as a substitute for the buttock as a sex attractant.

[0]https://www.journals.uchicago.edu/doi/abs/10.1086/283699?jou...

Another: https://english.elpais.com/science-tech/2024-12-19/why-are-w...
Serious question: Dont software changes with companies dealing with human lives have to go through a rigorous lab testing environment? And then maybe a beta group?
Interesting, would you mind sharing what country that is?

I have only a single card with raised/embossed numbers, and that's somewhat ironically a pre-tax transit benefit card, i.e. the least likely of any I own to ever be used in a carbon imprinter.
> but at least Arc is looking decent with the most recent release

To be fair that really remains to be seen. It took them how many years to ship a single decent card? Sure it's very competitive with last gen Nvidia and AMD GPUs but it's not clear if that's the case only because Intel is willing to sell them with very low margins or even at a loss.
i assume it would be within bounds during “normal” atmospheric conditions. In the air with the wrong data and extreme conditions would be where it gets dicey?
FYI the demo’s login credentials are case sensitive for the email field (when they probably shouldn’t be?).
Try to make map/s. Something visual. Of one or multiple aspects. Cross-reference func/class is easiest but too low level ; needed is crossreference of notions - in space AND time.

Did such thing several times, helps a lot. in my last gig i landed as "owner" of 300K js , in-house event-sourcing-from-scratch.. a complicated mess although somehow organised because of the events. There was a team working on those, but in somewhat darkness - noone knew why x-y-z is so. After some staring at code for a while, found few patterns - some repeated, some once-off, and build a mapper (i am python guy, used Esprima as js parser) to extract and build the graph of domain-event-reason-consequence for all available cases, then made visual maps of those 4 aspects (graphviz). And although noone from the team learned to look/use those, i used them, to guess eventual consequences of some change or answer why this-and-that happened, and shown to various interested parties as "very elevated documentation" :)
I presume planes are in the air any time a problem is discovered with any system.
"Best" is subjective. Different teams have different needs. What problems are you guys hitting that is driving the need for a tool? Answer that, and maybe we all can tell you which tools solve your specific pains.
Benchmarking that isn't based on communicating the distribution of execution times is fundamentally wrong on almost any platform.
I understand the motive of the lawyers, but why do the law and the licensing bodies allow them to get away with this? If a dentist gets caught drilling healthy teeth he'll be sent to prison, or at least lose his license. Baseless legal threats may not be bodily harm, but on many occasions they've driven people to suicide. Lawyers are utterly lawless.
But its SDK is not the c++ abominations like v8, and that alone is enough to choose quickjs or similar, since we all know here, that c++ (and similar, namely rust/java/etc) is a definitive nono (when it is not forced down our throat as a user, don't forget to thanks the guys doing that, usually well hidden behind internet...).

For performance, don't use javascript anyway...

That said, a much less worse middleground would be to have performance critical block written in assembly (RISC-V Now!) orchestrated by javascript.
Case 1 is definitely addressed by the Polonius-related work. There's a post [1] on the official Rust blog from 2023 about that, and this post [2] from Niko Matsakis' blog in June 2024 mentions that they were making progress on it, though the timeline has stretched out.

[1]: https://blog.rust-lang.org/inside-rust/2023/10/06/polonius-u...

[2]: https://smallcultfollowing.com/babysteps/blog/2024/06/02/the...
Intel is strategically important corporation.

Investors know that.

They want to keep extracting profits, knowing that when (not if) things go dogshit (even more so than today), the public will bail them out. Since this CEO worked on other stupid things like long term technical viability, instead of pursuing the higher priority (investor returns), he was shown the way out.

2008 was an eye opening year for a lot of rich people.
Nope, a physical card from BBVA. I tend to use banks for my financial needs ;)

So far, they've looked at me strangely, fetched a superior who either says "whatever" or they run through the card through their reader to get the last four. Seems to work out well enough at least.
When a bird is perching or walking on the ground, it is almost never standing with its legs under the entirety of its body. A bird is like a rectangular box whose long axis is parallel to the ground with two sticks just slightly aft. In contrast, a standing human has a rectangular torso whose long axis is at 90 degrees to the ground with the legs coming out of one end.

To see this, do an image search for an Ostrich, which shows the 'box' effect perfectly. Smaller birds have a body box that is often at more of an angle to the ground, and with legs that are tiny compared with a human's. The bird's hips are near the back of the box but there are usually bones behind them, which is where the tail is mounted. The equivalent of the femur is tilted forward and short compared with a human's, and a bird's sternum may actually be between and below the equivalent of our knees.

Very different anatomy.
We have so many levels of autocomplete now. When I was in school intellisense was just becoming a thing, and it made me so much more productive. Being able to quickly scroll through method names and then jump to the docs was a huge time saver. Another big time saver is when they added the ability to highlight a function and read the doc inline/popup. Now I never leave the code window which is great for keeping focus.
Interesting that it did not sell out. I've heard there was a lot of concern in the community about covid.
And then they fed that database to the model through prompts. That's prompt engineering.
Heres two examples for 3 and 6 points in 2D, 3D respectively: https://en.wikipedia.org/wiki/Cassini_oval#Generalizations

These are symmetric as well though.
right after the spotted lanternfly (i.e., likely never)
I think that sort of thing is a bit different because you can have more control over it. If you’re serious about benchmarking or running particularly performance sensitive code, you’ll be able to get reasonably consistent benchmark results run-to-run, and you’ll have a big checklist of things like hugepages, pgo, tickless mode, writing code a specific way, and so on to get good and consistent performance. I think you end up being less at the mercy of choices made by the VM.
I also like Delta and have forgiven them for that episode, but many of us flying that day didn't make it to our destinations until several days later (in many cases too late for the purpose of the trip). I was flying home from a work conference and was lucky that I woke up early, saw my flight was cancelled within an hour of the incident starting, and immediately booked on another airline. I got home 6 hours later than intended, but at least I got home the same day.

The alternatives that Delta booked for me were already going to be the next morning (Saturday), and I followed them after getting home: while the first leg worked fine, the second leg was cancelled late Saturday morning. It's likely that I'd have received yet another rebooking, but if that one also involved two legs it could easily have pushed my return date to Sunday, and by that point in the weekend I doubt I could have found openings on other airlines if I'd changed my mind.

I had coworkers who didn't make it back home from that conference until Monday night.

So yes, I think they tried hard to avoid inconveniencing people, but if you made it the same day you were lucky. Many didn't.
Show HN: Ayapo – A Browser with Social Features (Built with Replyke)
Hi HN,

I’ve built a new browser that adds a social layer to the web. Every website can be upvoted, downvoted, or commented on, making it easier to gauge trustworthiness or discover niche sites, like back in the days. The home feed works like Reddit, letting users explore websites sorted by hot, top, new or controversial.

The idea came from wanting to make the web more transparent and also exciting again.

Technically, I built Ayapo using Replyke, which is a service I created to simplify building social apps for React & React Native.
Replyke handled all the core features like feeds, comments, votes, in-app notifications, bookmarks and user management, letting me focus on what makes Ayapo unique and also on the UI.

Would love to hear your thoughts and feedback.

That said - Replyke is my main focus - Ayapo is simply a showcase of what Replyke can do. I plan to onboard some first developers to try out Replyke in a few weeks. If you think you can find use to the system I'd appreciate a sign up in the form I've setup over here so I can get in touch
https://replyke.com

To be clear, Replyke work perfectly fine and securely even if you already have user system in place, and just want to add the social features.

App Store download: https://apps.apple.com/us/app/ayapo-social-browser/id6738983...

Google Play download: https://play.google.com/store/apps/details?id=com.replyke.ay...
Collectivized or public losses come into play when the government bails out failing companies so that shareholders don't get hosed for a bad investment. Shareholders getting hosed is the opposite of that; private loses.
But this doesnt have the property that the product of the distances to the focal points is constant no?
The key issue of Petes is when they don't stay and make sure management knows that it's a prototype that needs more love.

They milk the credit and move on, leaving the next engineer explain to management that what they have is not what they believe they have.
Pizarro = Pi + Bizarro. Also there was an evil person that beared this name, Francisco Pizarro, the conquistador that kickstarted the genocide against the Incas. See https://en.m.wikipedia.org/wiki/Francisco_Pizarro
Fun fact: Nvidia H200 are currently half the price/hr of H100 bc people can’t get vLLM to work on it.

https://x.com/nisten/status/1871325538335486049
How do you manage restrictions on Reddit and X?
HNSW can be used for large indexes when combined with an effective caching strategy. Aerospike uses a distributed cache with query steering approach which allows you to have many indexes, including large ones and load them into memory as your application needs them.
And this is only the beginning...

I guess the 'trusted IPs listing' internet is coming for us... like what did happen for phone communication: nobody, sane and not pathologically naive, is answering a unknown phone number anymore.

Ofc, Big Tech will want to be "trusted" and make sure no small alternatives will be reasonably 'real-life'.
https://aerospike.com/docs/vector/learn/caching
Phew... where to start? I think before randomly citing research, it's best to approach this subject theoretically first.

Assume "psi" exists. Purely as a thought experiment. What does this mean?

One key implication would be that consciousness can somehow access information beyond normal sensory channels. If this ability exists, it would likely be influenced by psychological factors - just like any other cognitive function. This leads us to a fascinating paradox: Our beliefs and expectations about psi would logically affect our ability to demonstrate it.

This is exactly what researchers have found with the supposed "sheep-goat effect" - where belief in psi correlates with performance in psi experiments. While skeptics often dismiss this as special pleading, the ultimate cop-out for negative results, it's actually a logical consequence of the initial premise. Strong skepticism could act as a psychological barrier, while openness might facilitate the phenomena.

This creates an interesting epistemological challenge. Unlike testing a new drug where belief shouldn't affect the chemical reaction, testing psi inherently involves consciousness - and therefore belief systems. The field has faced intense scrutiny because of these challenges and its implications. When Bem published his precognition studies in 2011, it sparked unprecedented criticism and launched psychology's replication crisis.

However, this scrutiny has led to increasingly rigorous methods in the field - despite this controversial topic being a potential career-ender and underfunded (although there are some private initiatives...).

So, having said all that as an important preface, in my opinion... One answer to your question: a recent example is the 2023 study in Brain and Behavior examining CIA remote viewing experiments (Escolà-Gascón et al.). Using extensive controls and blind conditions, they found significant above-chance results in high emotional intelligence participants. The authors - who describe themselves as skeptically oriented - conclude their data shows "robust statistical anomalies that currently lack an adequate scientific explanation and therefore are consistent with the hypothesis of psi." They argue for continued rigorous research while acknowledging the philosophical challenges these findings present.

This isn't hard proof of psi, yet, but it's evidence that there may be more going on than skeptics may think. We shouldn't dismiss it out of hand, just because it's so controversial, and because it seems incompatible with a materialist worldview that says "mind" must be spatially and temporally localised, and cannot access or manipulate information elsewhere.
It depends on what I'm working with.

A huge 100k LoC codebase? I'll happily boot something with an LSP. But it's very annoying and gets in the way. I hate when the context for my keystrokes is an autocomplete window, but it's worth it if I need to call a method with fourty arguments.

But when I'm writing code from scratch, it means I know what I wrote and what I'm using. If I forget, I usually just go back through the code.

Pen and paper is very useful as an extra scratch space.
I've one I built called Cras. Store all my neat things I find on the web there. Recently turned it into a PWA so it's a share-target on my phone (Android) which is awesome.

It's self-hosted and all packed into SQLite so, IMO, very portable.

Recently added a trick to snapshot all the public links I save - my copy and on Archive.is - link rot is real.
I use it when I need to get a table or something from a webpage. Works really well for small stuff.
Likewise, I have never been able to get a satisfying answer as to why no one seems to be willing or able to put the same ASpeed AST2x00 chips that it seems half the OEM IPMI/iKVM/whatever solutions use on a standard PCIe card instead of embedding it in the motherboard or using some proprietary interface.

I have never been able to identify a technical barrier to doing this, the important features most people actually care about are implemented over a 1x PCIe link and USB, plus a couple of GPIOs to twiddle the power/reset button connections. Most OEM implementations also connect to the LPC bus and others on the server board to allow more in depth diagnostics, voltage logging, etc. but those are bonus features and not requirements for a useful product. I do not see any technical reason a useful generic PCIe implementation couldn't be produced, and as a result I have a strong feeling that the lack of such products is an intentional choice by one or more of the vendors involved to increase margins by pushing users who want these features up to entry level server boards instead of sticking a card in a higher-end desktop board that might better fit their needs.
I mean, maybe? But if you hover over the function you just completed, the same LSP will also show you the documentation.

This is how I personally use it for discovery, anyway. The other day I was writing some Rust code and needed to remove a prefix from a &str. I tried a few common names after ‘.’ to see what would autocomplete, before finding that Rust calls this idea “trim_start_matches”. I then wanted to know what happens if the prefix wasn’t present, so I just hovered my mouse over it to read. Now, if I was writing Rust a lot, I would end up memorizing this anyway. I’ve never not written Python without a similar tool involved, yet I have a pretty close to encyclopedic knowledge of the standard library.

I feel similarly about go-to-definition. I often use it the first time I’m exploring code, or when I am debugging through some call stack, but I also always do read where I actually end up, and do form a mental map of the codebase. I’m not sure I buy either the contention in this thread that these “crutches” make developers uniformly worse, or that removing them would make all poor developers suddenly more disciplined
I'm gonna wager a guess and say that the human butt has not evolved much further since 2020
Other way around: Easier tickets is an incentive for volunteers, as a bit of a payment in kind. It helps people known to volunteer come back, and it encourages them to keep volunteering year after year. You need to work, honestly, ridiculous amounts of hours to get a voucher (15-20 hours), and so it'd not be a very good incentive for average person.

You can absolutely get tickets on public sales by knowing when sales start, refreshing on the dot and doing the captcha as fast as you can. Reducing your latency (ethernet, fresh browser profile without extensions) helps. Add some friends into the mix and you'll get all the tickets you need.
Adding on, I find that the people who manually navigate everywhere rather than using the IDE navigation features also don't use IDE refactoring features.

When people say "just organize your code well", this isn't something that happens perfectly on the first time, it's something that evolves as the codebase grows. IDE features reduce the barrier to reorganizing as we better understand the problem domain or as the solution grows.

My experience is that those who don't take advantage of their tools produce worse output, even if they believe they are producing better output, the organization they've created only works in their mind and not for their teammates or other people who later inherit the project.
Yeah I think this becomes more true the closer your type system gets to "formal verification" type systems. It's essentially trying to prove some fact, and a single mistake anywhere means it will say no. The error messages also get worse the further along that scale you go (Prolog is infamous).

Not really unique to Rust though; I imagine you would have the same experience with e.g. Lean. I have a similar experience with a niche language I use that has dependent types. Kind of a puzzle almost.

It is more work, but you get lots of rewards in return (including less work overall in the long term). Ask me how much time I've spent debugging segfaults in C++ and Rust...
Grep?