skysight-inc/HackerNews huggingface dataset:
Fair enough.

I’ve been thinking about what a local-first software forge would look like. I have my doubts it would be commercially valuable though.
aiLEADS – AI Augmented B2B Lead Generation
Quickly and easily convert queries to B2B leads. We'll search the internet for your query and check potential leads to extract a description of the business and contact info.

I made this app while looking for B2B leads for another project because I found existing options too heavy. They all felt like I was paying for bells and whistles I didn't need.

My goal with aiLEADS was to make something simple. Put in a query, click to scan and boom, you have leads.

There's a demo video on the homepage and I'm also happy to answer any other questions here.

Thanks for your time!
I said immigration creates disorder. Your points about America prove rather than rebut my point. America is rich, but it’s not orderly. Everything from individual social interactions to the operation of every level of government is characterized by disorder resulting from heterogeneity.

Japan is considering more immigration to deal with its population problems, but the juice isn’t worth the squeeze.
Odd indeed.

It's also worth noting that the article has a real apples != oranges problem. Things like 'libsystemd' are not in any way comparable to your typical Rust crate.
Good for you! It really is the very most important thing, to find ways to not be at war with yourself when the world's got more than enough things for you to be at war with to begin with.

If you ever need someone to talk to (who is also firmly on the spectrum + has dealt with severe mental illness in the past + is mostly on the other side of it), hit me up anytime. Email is in my bio (it's my work email but it'll do).
The theory you’re alluding to says it is impossible to create a general algorithm that decides any non-trivial property of any computer program.

There is nothing in the theory that prevents you creating a program that verifies a particular specific program.

There is an entire field dedicated to doing just that.
> Or if you want to make K8s do something it isn’t designed or not presently capable of, so you need to hack on it.

I ask totally nonargumentatifely: can you think of any examples?

I’ve twisted and contorted Kubernetes into some frankly horrifying shapes over the years and never run into a situation where it wouldn’t do something I needed it to do.

It’s, essentially, just a whole big pile of primitives and most of the functionality is implemented within the platform anyway (not as part of the platform).

The furthest I’ve had to go is some custom resources, setting up some webhooks, writing a controller, and integrating against the API.

Wondering what gaps I have here and what I might try or run in to that’s gonna run me up against that wall.
Cumberland also happens to be where the Chesapeake and Ohio canal tow path terminates, and is a really nice 168 mile mostly off road dirt bike ride all the way to Washington DC. It has been extended all the way to Pittsburgh. So if you were into biking, Cumberland could be kind of a cool place to hang out.
Had to click around to figure this out: it’s yet another Linux distribution. Seems to be focused on quality-of-life for Rust developers.
Do you have info about current (production) implementations that increase the number of workers?

In https://tokio.rs/blog/2020-04-preemption#a-note-on-blocking (2020), there's reference to .NET doing this, and an explicit suggestion that Go, Erlang and Java do not, as well as discussion of why Tokio did not.
For me things got much better when I got to uni. In high school I didn’t care about most of the subjects, but at uni I was studying what I had chosen for myself.
musca is an X window manager that does something like this, where the tiling layout and windows are decoupled.
github.com/enticeing/musca
I can relate - I was quite bad at math through high school.

I eventually hit a wall in college then, like the author, decided to start from the complete basics: positive and negative numbers, fractions, arithmetic, algebra, then calculus.

Khan academy made this possible for me (in 2010), I don’t know where I would be without it.
Durov 2024 interview, https://www.happyscribe.com/public/the-tucker-carlson-podcas... [text] & https://tuckercarlson.com/the-tucker-carlson-interview-pavel... [video]

> Telegram has been used by protesters in places like Hong Kong, Belarus, Kazakhstan, even in Barcelona back in the day. It's been a tool for the opposition to a large extent. But it doesn't really matter whether it's opposition or the ruling party that is using Telegram. For us, we apply the rules equally to all sides. We don't become prejudiced in this way.

> It's not that we are rooting for the opposition or we are rooting for the ruling party. It's not that we don't care, but we think it's important to have this platform that is neutral to all voices because we believe that the competition of different ideas can result in progress and a better world for everyone.. You don't want to be geopolitically aligned. You don't want to select the winners in any of these political fights.
Beta is typically close to feature complete.

Alpha is basically not close to feature complete.

Pre-alpha is check this out but here be dragons! For an OS it makes sense, seeing failure typically means a hard reboot.
I’ve been working on (with a couple of friends) a one-click observability solution for Supabase: https://supafana.com

This our first experience in infrastructure SaaS (we opted for Azure) - way harder than we planned for, but seems to work!
Interesting. So are you just looking at names with a dramatic slope / climb after a given year, then trying to figure out why?
This was the only possible outcome politically. It’s also likely the best one safety wise as well.
What happens with this?

sed 's/y/i/g' <<-''EOL
xxyyzz
EOL
>christogrozev

Well, if this guy starts damage controlling, this is definitely a CIA operation
My first introduction to "beat poetry" was my high school English teacher playing us the Mike Myers scene from So I Married an Axe Murderer.

"Hey Jane, get me off this crazy thing.. called love"
> Ruby on Rails is so slow that it needs larger computing power.

That's true, but...

If you measure both developer productivity and server costs and on unified metric, for at least some projects it's 100% worth paying for powerful servers so that you can use the unbelievable magic that a good Ruby on Rails team (or single dev) can sometimes achieve.

I've seen many times over the last 10-15 years where a good Ruby dev or team pushes out a working project in a weekend or just a week or two - for something a typical Java dev team would still be writing requirements docs and editing boilerplate from their dev tooling.

I probably wouldn't want to have to support the RoR project up to Facebook or TikTok scale. But neither Facebook nor TikTok are supporting the code/platform/decisions they launched with either. Hopefully whatever your project is, it'll start turning over enough profit to pay for a 50 person dev team to do a ground up rewrite choosing a stack based on observed user behaviour at scale rather than guesses or hopes about what users are going to need.
> Isn't it worth the effort to do the research instead of just seeing what happens when venture-backed companies introduce their for-profit wares into the classroom?

On the IT side of things a while ago it was mainly about grabbing as much hardware as possible and then waiting for them to get bored and fuck off.
It's a silly sort of comparison. Is reaching the programming competence necessary to hold an average software engineering job easier than attaining a PhD in mathematics? Yes, 100%. Is becoming a well-regarded software engineer by building large, complex systems or contributing significantly to projects like the Linux Kernel easier than getting to the top of your field in academic mathematics (tenured professor, high-impact papers)? I don't think so, or at least, it's not obvious to me that one is more "difficult" than the other. They take different skills and personalities, and I don't think that talent in one would necessarily translate to talent in the other.
I'm assuming the executives will be receiving a pay decrease and reduced stock options due to their poor performance[1].

[1]https://arstechnica.com/information-technology/2024/05/micro...
<satire/>In unrelated news, Amazon announces layoff of 4500 developer positions...
> I can't seriously rely on - or even keep up with - a dep tree like this for a single and relatively simple project.

Our dependency trees in `uv` and `ruff` at Astral are bigger than this. We rely on it and keep up with it. We do not spend most of our time dealing with the dependency tree. (Although I do think our compile times are longer than would be nice.)

> For my livelihood, I'm necessarily going to place more trust in Microsoft's ASP.NET or VMWare's Spring than in @animewaifu420's three dozen half-abandoned packages and their 'dank' Discord.

If this ends up being true, then that means there is financial incentive to provide something more holistic, right?

I don't know what "dank" Discords have to do with anything here.

From my perspective, I see a lot of derision and vague feelings in your commentary, but little hard data. Tons of production web applications are built in NodeJS on orders-of-magnitude larger dependency trees. Tons of peoples' livelihoods depend on it.

To be honest, I have a lot of the same feelings as you. I don't like large dependency trees either. But that tends to be more connected to tangible problems like compile times.

> There's no reason Rust couldn't, in the future, have fully-featured crates, with dramatically curtailed dep trees and wide industry buy-in.

There's no reason C couldn't have better dependency management either, right? But it doesn't. And the problem isn't just technical.

> but the ecosystem is years away from a sufficient level of maturity for me to feel inclined to return to it for any significant work at this stage.

I suspect the ecosystem is more mature than you think it is, particularly if your understanding of maturity boils down to just a single number of dependencies. But like, if you had written this comment originally, I probably wouldn't have replied. I don't think what you're saying is totally unreasonable, but I also don't see this changing either. Like, if Microsoft wanted to come in and build a nice web framework for Rust, I think it's very likely it would be built on top of the existing crate ecosystem. I don't think they would, for example, roll their own HTTP implementation unless there was some technical reason that `hyper` wouldn't work for them. I do not think they would do it just to get the dependency count down.

What you're seeing is a manifestation of a million tiny little decisions. Should I write my own URL parser? Or should I use a crate for it that I know is also used in production by a number of large companies? Why would you choose to roll your own? (Again, excepting technical reasons.) You wouldn't. You would use the one that already exists. And this decision procedure repeats over-and-over. Big companies aren't immune to it either.

In any case, I did say "trade off" and not "Rust's way is always better." So my reply makes room for viewpoints like yours, where as I think your original comment didn't make room for a more balanced take. That's why I responded.
Reminds me of GNOD’s Music Map.
https://www.music-map.com/

I really appreciate Apple Music links being listed instead of just Spotify.
> You could often watch interfaces be drawn line-by-line and box-by-box, with many pixels getting redrawn multiple times before it was finished.

Maybe if you ran Windows 95 on a 386 with 4MB of RAM.
Linus Torvalds talks AI, Rust adoption
It's worth keeping in mind that very smart people in the past believed things that we now know are nonsense. And most likely, smart people today believe things that will be considered nonsense in the future.
I have a handful of "regulars" that I watch repeatedly. Most of them are at the point now that I've seen them so many times that they can work as "background noise" when I'm coding or doing something else. IOW, I can turn the volume down fairly low and it serves a purpose, but I'm so familiar with the story already that I'm not likely to get drawn into actually paying attention to the movie (as opposed to whatever I'm working on) unless I'm at a point where I need a break anyway.

Some of the ones that are on that list for me:

The Matrix

The Matrix Resurrections

The Social Network

Inception

Sneakers

Hackers

Antitrust

Rad

Tron: Legacy

Vision Quest

Rocky (really the entire Rocky franchise)

The Karate Kid

Kickboxer

Bloodsport

Hard To Kill

Above The Law
Wikipedia entry:

https://en.wikipedia.org/wiki/Suzetrigine
People put serious effort into even IE compat for a while. AFAICT the beginning of the end came with trying to do battle with mobile browsers; you simply couldn’t debug all the potential problems well enough. I remember burning a month on a regression that affected only iOS before Apple fixed it. Of course people were going to eventually pick an easy standards based target and tell everyone else to pray.
People like what they understand. But they need to respect what they don’t when the experts say so.
Building a word game for my mom: https://little-riddle.com/
My friends and I have been working on building our website — https://bigbeans.ai
It's leetcode for ML/AI space.
We believe that a lot of software engineers are interested in learning about GenAI and like us learn by solving problems. :)
Need a licence apparently, source available.
Or, you know, use standard tools available across distros like lspci, ip, df, and ps, among others.
I’ll check it out… my guess is that it is a systems and silos problem.
> - The government is not a good allocator of funds, free market competition works a lot better for creating the best product.

This is irrelevant here; the only people buying most of the products that Boeing makes are governments or airlines (many of which have government backing, because countries find it advantageous to have an airline). Without government, there's just no Boeing, or SpaceX, or Lockheed Martin, or Airbus, or...

The problem ultimately goes back to 1996 when Boeing was more-or-less taken over by McDonnell-Douglas management, and quality engineering took a back seat to quarterly results. Everything, from bad QA to "greasing the wheels" with lobbyists, ultimately goes back to someone with an MBA deciding that those behaviors were worth it for the stock price increase.

And to be fair, they were... until they weren't. But by then, the guy with the MBA has either left or divested, and it becomes someone else's problem.

SpaceX's success can be in a large part contributed to the fact that they don't have a bunch of retirement and pension funds demanding a chunk of the profits every quarter regardless of actual market space performance.
I’ve been working on Style.ai, an app that helps you dress better.

You add a photo of your outfit and get some feedback along with ways to improve it.

https://apps.apple.com/us/app/style-ai-outfit-analysis/id647...
Thanks. For me it's mostly about getting stuff out of the house and doing some necessary repairs/maintenance. I can mostly keep track of stuff. I "just" need to get necessary jobs done and I've really gotten behind.
There have been many startups that have been just this. They all have died except for a very few.

Most of my edtech founder friends were motivated to serve and transform education because it didn’t work for them and they realized it didn’t work for most students.

Codeacademy is a good example of a successful one.

Companies that succeeded, in some cases enabling inner city school children to perform on at a college level, died. CiteLighter is a good example. There have been countless ones in math.

The reason the bad edtech products win is because they are built to survive the incredibly disjointed buying groups who all have, explicitly, their own agendas when it comes to anything in the classroom.

If students & teachers could decide where their classroom’s tech budget went, there would be a revolution in education in half a generation.

But they are dead last on the list today.
DST being on a weekend doesn't mean things can't go wrong. If it's Friday at 1pm and you want to schedule something for 1 week later (next Friday at 1pm) and there's a DST transition over the weekend, are you correctly getting next Friday at 1pm? Or is it 2pm because you didn't account for the jump forward in time, thus making this particular week 1 hour shorter than more?

DST problems can manifest in a lot of interesting ways. That's why it's important to use a datetime library that does DST safe arithmetic (like Temporal).
Something like the Apple Vision Pro with 8k spatial video will be the de facto standard 10 years from now (2034). I watched the Vision Pro demo at the Apple Store, and yes, that is crazy and is the future of A/V tech, so we will need high-bandwidth 2.5Gbps+ connections to support it.
> Here’s a simple rule, based on the fact no one has shown that an llm or a compound llm system can produce an output that doesn’t need to be verified for correctness by a human across any input:

I’m still not sure why some of us are so convinced there isn’t an answer to properly verifying LLM output. In so many circumstances, having output pushed 90-95% of the way is very easily pushed to 100% by topping off with a deterministic system.

Do I depend on an LLM to perform 8 digit multiplication? Absolutely not, because like you say, I can’t verify the correctness that would drive the statistics of whatever answer it spits out. But why can’t I ask an LLM to write the python code to perform the same calculation and read me its output?

> I think it follows that we should not use llms for anything critical.

While we are at it I think we should also institute an IQ threshold for employees to contribute to or operate around critical systems. If we can’t be sure to an absolute degree that they will not make a mistake, then there is no purpose to using them. All of their work will simply need to be double checked and verified anyway.
Maybe we should sow the seeds for conspiracy theories that would benefit humanity if the mad-anyway people were to believe them.
> Easy fix:

That converts "0800" into "00:00AM".
Perhaps it depends upon why the checklists exist, how accurately they model what needs to be done, and how closely they are followed. Consider aviation: pilots live by checklists. In the world of aviation, following checklists doesn't guarantee that things won't go wrong during a flight, but not following them or treating them cavalierly is an invitation for disaster. Those checklists are built upon years and years of hard-earned experience.

Granted, however, having a checklist for no good reason other than to say that you have a checklist, or not regularly reviewing and updating the checklist based upon real-world conditions, is meaningless.
Something going that fast would not be able to slow down any kind of useful payload into Mars orbit with current propulsion technology.
Japan's quite unique in that regard.
Still working on Octarine (https://octarine.app). Recently released Linux images, so more people could try it.

Currently re-writing a bunch of the bundler stuff and how UI takes data in for performance improvements, before shifting gears to building the Windows version!
Reflect Orbital – Sunlight After Dark
Sounds like the solution is to turn it into a privately owned company then. Of course, that's greatly simplifying things, but it would be a right step in the right direction.
I'd like to see that. Link(s)?

I've been on the sidelines, waiting for the dust to settle. Kind of like waiting a few months before applying the latest major OS updates.
> Personally I don't think we'll ever have an extended manned presence anywhere farther away than the Moon

https://en.wikipedia.org/wiki/Flying_Machines_Which_Do_Not_F...
I've been building local tracking for job search listings[1] in my spare time, along with crawlers[2] as data sources. Mostly in bursts though, bc I've been juggling fleshing out the project with actually using the data. (On a related note, the current working state of the backend hasn't been pushed in a while, and still reconsidering the name.) It's mostly been an API up to this point, and most recently I've been chipping away at a frontend to accompany that, which is beginning to be useful on a personal level. In particular, I just got file upload working. But long-term, I see it as a hybrid between Tinder and a CRM (and I already have "swipe" animations working if not the actual touch handling), where you can bring your own data on jobs and companies -- however you get that, because I'm sure you can find better scraping processes -- and have a way of organizing them.

It's a lot of experiments. On the frontend, I'm dispensing with any design systems or styling libraries, and have opted for vanilla CSS and hand-rolled animations. I'm using React for now, just to get it scaffolded faster with tools I know already, but I've been eyeing a few others, for reasons that range from a standing curiosity about Web Components to new ones about signals. The backend stack is all Deno-based: it includes Astral for any scraping needs you might have, uses Oak for routing, and leverages kvdex for storage. (I also contributed `model.getOne` and `model.updateOne` to the latter as part of initially getting duplicate detection working.) My goal is to keep the whole thing light on external dependencies, outside of a few pragmatic options, and generally work more directly with platform or runtime (or in Deno's case stdlib) functionality where feasible.

I otherwise rebuilt my website over the last few months, using Lume for static site generation with similar aims about shipping something generally lighter (the content there is all Markdown, and so far, everything but the syntax highlighting and the ToC generation are built by hand). Additionally, I've been using it as a home for writing[3][4][5] and not just code, so that I have some other things I can show off. (The last one made the front page a couple weeks ago!)

[1] https://github.com/chaosharmonic/escapeHatch

[2] https://bhmt.dev/blog/scraping

[3] https://bhmt.dev/blog/markdown

[4] https://bhmt.dev/blog/osquery

[5] https://bhmt.dev/blog/sonic_pi
I started working on my opensource water meter again (https://y-drip.com/). Hardware is basically done so I'm working on the backend website for those that don't want to setup their own server. More technical details here: https://hackaday.io/project/191398-ydrip
No, I haven't considered alignment. I think they're pretty well aligned already, but honestly haven't thought about it much at all.
I imagine there's a cross-TLA committee that analyses all the available zerodays, and meets quarterly to prioritise what order and which agencies can burn those zerodays when needed. And probably KPIs for each agency to add new zerodays which move their agency higher up the list to potentially burn the really good ones.
> That probably should have been the first thing to try.

The point of the post is not "how to make mmap work best with async/await" or "how to optimise mmap with async/await", but exploring the consequence of incorrect code (and thus explaining why one might need potential remedies like those). Sorry if that didn't come across!
There's value in 'backwards compatibility' from a process/skills perspective. I agree that companies usually pay too high a premium on that, but there is value.
The Queueing Shell Game
Working on an advertising and marketing strategy platform with my brother comprising a series of apps that accelerate workflows and time to insight using AI.
Ruby should likely strive to this:

def initialize(name => ::String, age => ::Numeric)
@name = name
@age = age
end

or better yet?

def initialize(name => String, age => Numeric)
@name = name
@age = age
end

I've been out of Ruby for a while so I don't understand by why the top level qualifiers are necessary.