skysight-inc/HackerNews huggingface dataset:
I use AI and LLM's at my job every day and its made me at least 2x as efficient. Even if AI helped me complete all my tasks right away, there would still be 10 more things I need to do.

AI is a good thing
Fed Projects Just One Rate Cut This Year Despite Mild Inflation Report
New heroes of spaceflight: Not the astronauts but the software nerds
The mobile app is utterly terrible.
At least it's in the middle of nowhere. Sodium reactors tend to have sodium fires. The track record on that technology, which goes back to the 1950s, is not good.

Here's the NRC docket.[1] None of the documents seem to address sodium fires.

[1] https://adams.nrc.gov/wba/?data=(mode:sections,sections:(fil...
Firefly and Astra have both reached orbit IIRC
I mean, 99% of the world is addicted to social media and online porn, but this 1 remote amazon tribe is not, yay!!!!!
Shutting down without trying to spook their investors or current portfolio companies. Couching it as taking a break seems clever but I’m guessing any seasoned investors will read between the lines and see that this isn’t working.

The problem with thinking everyone else is wrong (ie how VCs operate) is that usually it turns out they are not. I’m guessing it wasn’t the story telling prowess of lack of deep connections (the common scapegoat for failing) but rather an unappealing offer for investors. Huge risks need huge returns. Bootstrapped companies may be slightly less risky but definitely less upside for investors. If there is no huge payday then investors know that capital will be used better elsewhere.

Im not hating on the thesis. Personally I like bootstrapped businesses much better but there is a reason they don’t attract investors.
They look nice (and it's good to see important design tweaks like having a second handle opposite the main one even on smaller skillets like the 10in), but they are spendy. I got a Finex from their original Kickstarter (I liked the idea of them being made here in Portland), but they're also not cheap. My instinct is that some quality time sanding the cooking surface smooth would produce similar results in a cheaper pan...
> Most courses don’t even need original work. Is there really any value in having profs generate thousands of different explanations of the same concept for the same topic? I don’t think so, especially as most don’t put much effort in.

I actually used ChatGPT to generate homework assignments when I was a professor last year. I of course double-checked the questions to make sure they made sense, and I would solve them myself to make sure that the solution was something that I could realistically expect a student to be able to figure out.

It was honestly great; making homework and exams was a huge time sink for me the semester before (the supervising professors didn't give me any of the materials like he was supposed to, so I had to improvise), I was teaching another class the next semester, so having ChatGPT give me assignments took a task that took me about three or four hours before to about 30 minutes.

Do the students need 100% of the assignments to be my completely unique perspective of Object Oriented Programming? I don't think so, a lot of this stuff is just practice, and they still got my perspective on things during the lectures.
That's not a sign of anything malicious.

GDPR is just a pain in the ass to implement properly, for some US websites it's just much easier to ban people from the EU from accessing it then risk the potentially massive fines
If you're looking to bump up sales, I'd definitely suggest working on the landing page design. Right now it doesn't instill a lot of confidence in the quality of the output of the tool.

Though I do like that the CTA is diving right into the demo without requiring a login.

Also I'd work on the page copy. It is overly casual for a $30/mo offering. Things like "decent code editor" while truthful don't sell the product very well.

But good job on launching something.
>It’s not to help society, but to sell AI workers at a fraction of the price of human workers to all the world’s companies, which would cause mass unemployment.

The cost of a model that is powerful enough to cause a dystopian level of unemployment is - as far as I can tell - considerably beyond the reaches of the private sector. The budgets of the wealthiest companies in history are being stretched to their limits, and they're able to churn out chatbot tech demos, which are admittedly fun, but aren't going to disrupt the entire workforce - or even meaningful percentages of it.

The people at the top of the industry are talking about multi-tens-of-trillion dollar training runs (not to mention the US grid requiring a massive overhaul with several new nuclear powerplants). They need those runs to achieve "it can perform as well as the average line-cook at McDonalds" level general intelligence. The private sector just isn't going to throw endless $trillions at this.

The most likely scenario for a generally intelligent model coming into existence, which can cause really dystopian levels of productivity replacement, is that it'll be funded by the public sector. The obvious social contract there will be that the taxpayer takes on risk in the near-term in exchange for long-term liberation from mandatory labour via UBI or a similar scheme.
https://thenewboston.com/

It changed its content so many times. It had Bucky’s videos about tunas and bacons (I miss videos with Gerald I believe?), it was a forum, it was a social network, it was some crypto stuff, and now I don’t even know what it is, have to make an account to find out.
I'm always on a quest for a better structured knowledge storage, and while I usually stay away from electron apps / desktop JS, I see that the most experimentation comes from them.

Since it's a JS application, have you considered supporting Mermaid diagrams? While heavy, Joplin is my goto for notes these days because Mermaid syntax has been a game changer compared to simple markdown.

https://mermaid.js.org/
The quote db? I assume they're cached and not calling an API every minute.
What do you mean by segmented dataset in EFS?
> This is something that can probably be done efficiently 100% in software.

Doubtful. The data transfer needed between the two devices is not trivial.
Gift link: https://wapo.st/3RovbFV

Internet Archive: https://web.archive.org/web/20240611162149/https://www.washi...
Conversation Skills Essentials
I am happy to bash on google, but I also wonder if arbitrarily picking winners and losers is a unavoidable result of an oversaturated responses for limited or underspecified inputs.
It is - depending on the read-vs-write workload. For our workload, we landed on a record size (blocksize) of 128K which gives us 3x-5x compression. Contrary to the 8KB/16KB suggestions on the internet, our testing indicated 128K was the best option. And, using compression allows us to run much smaller storage volume sizes in Azure (thus, saving money).

We did an exhaustive test of our use-cases, and the best ZFS tuning options with Postgres we found (again, for our workload):

* Enable ZFS on-disk compression

* Disable ZFS in-memory compression (enabling this option costs us 30% perf penalty)

* Enable primary caching

* Limit read-ahead caching

Edit: Forgot to add, here are the required PGSQL options when using ZFS:

* full_page_writes = off

* wal_compression = off

Once the above options were set, we were getting close to EXT4 read/write speeds with the benefit of compression.
Really cool!

When should you use pgvector vs pgvector scale?

Is there any discussion about getting this added as a supported AWS RDS extensions?
> Is there really any value in having profs generate thousands of different explanations of the same concept for the same topic? I don’t think so, especially as most don’t put much effort in.

Would you be satisfied with a professor who is mindlessly reading back to you information from external course materials? I know I wasn't when I was in school. It was only the professors who made the effort to teach what _they_ knew who were worth learning from.
Love the advertisement for British Overseas Airways Corporation on the bus: "Next time we'll fly"
Still having a conscript-based navy?

Loading their capital ships decks with exposed, extremely large anti-ship missiles?

And they likely still would have been able to tow it back to port, if the weather hasn't been bad.
Text looks great, prompt adherence too, though humans are sometimes horrifically mangled. I don't think this is the same model that the API is using.

The stable diffusion subreddit is throwing a hissy fit over censorship, but that is par the course.
> some evidently better than yours as they don’t require this intervention.

I’m not sure where that’s coming from.

Also plenty of companies out there have control past the A.
(Disclaimer: I work at Restate on SDKs) This is a very interesting point. I did some investigation myself, and so far I'm torn apart on whether a novel language would really make such a big difference for durable execution engines like Restate.

Let me elaborate it: first of all, what would be the killer feature that justifies creating a whole new PL for durable execution? From what I can tell, the thing that IMO can really make a difference would be the ability to completely hide durable execution from the user, by being able to take snapshots of the execution at any point in time and then record those in the engine transparently. Now let's say such language exists, and it can also take those snapshots reasonably fast, it is still quite a problem to establish where it's logically safe to take a snapshot, and when the execution cannot continue because you need to wait acknowledgment for stored results. Say for example you have the following code:

val resultA = callA()
val resultB = callB(resultA)

Both A and B do some non-deterministic operation, e.g. they perform HTTP calls to some other systems. Now let's say that when callB() completed, but before you got the HTTP response, your code for whatever reason crashes. If you didn't took any snapshot between callA() and callB(), you will completely lose forever the fact that B was invoked with resultA, and the next time you re-execute A, it might generate a result that is different from the one that was generated the first time. Due to this problem, you would still need to somehow manually define some "safepoints" where it's safe to take those snapshots. Meaning that we can't really hide the durable execution from the user, as you would still need some statement like "snapshot_here" to tell the engine where it's safe to snapshot or not.

In our SDKs we effectively implement that, by taking the safe approach of always waiting for storage acknowledgement when you execute two consecutive ctx.run().

But happy to be proven wrong!
When is the outcome 'known'? Only when the business fails?
Is it that Haskell, at least, doesn't support overloading in the same way as Swift? I don't know either of them well enough to be sure.

It seems like there's a combinatorial explosion of possible overloads in Swift, whereas if you implement a function with the same ergonomics in Haskell (e.g. a printf-like function), the only thing the compiler has to do is ask "Does type X have an implementation for typeclass Show? Yes? Done."

Essentially Haskell solved this overload inference problem in the same way that iterators solve the M*N problem for basic algorithms: convert all these disparate types to a single type, and run your algorithm on that.
I'm sure they did it out of caution, considering their excellent track record.
Love this company, would like to see them expanding.
Some previous discussions:

https://news.ycombinator.com/item?id=40496967

https://news.ycombinator.com/item?id=40498076

https://news.ycombinator.com/item?id=40505310

https://news.ycombinator.com/item?id=40510125

https://news.ycombinator.com/item?id=40518016

https://news.ycombinator.com/item?id=40525441
One of the interesting tradeoffs in programming languages is compile speed vs everything else.

If you've ever worked on a project with a 40 minute build (me) you can appreciate a language like go that puts compilation speed ahead of everything else. Lately I've been blown away by the "uv" package manager for Python which not only seems to be the first correct one but is also so fast I can be left wondering if it really did anything.

On the other hand, there's a less popular argument that the focus on speed is a reason why we can't have nice things and, for people working on smaller systems, languages should be focused on other affordances so we have things like

https://www.rebol.com/

One area I've thought about a lot is the design of parsers: for instance there is a drumbeat you hear about Lisp being "homoiconic" but if you had composable parsers and your language exposed its own parser, and if every parser also worked as an unparser, you could do magical metaprogramming with ease similar to LISP. Python almost went there with PEG but stopped short of it being a real revolution because of... speed.

As for the kind of problem he's worried about (algorithms that don't scale) one answer is compilation units and careful caching.
At the very least it seems like the compiler could math out how many possible states it is about to check and if the value is unreasonable instantly error out instead of trying to chew on it for over half a minute before giving up.
I didn't expect this to end up on the front page in its own right! Here's a direct link to the original question so it's easier to get to the actual discussion (HN rendered the link above as plain text):

https://news.ycombinator.com/item?id=40660270
UFO civilization could be on Earth: Harvard researchers
The thing is, when AI systems are able to translate intuitive natural language proofs into formal Lean code, they will also be used to translate intuitive concepts into formal Lean definitions. And then we can't be sure whether those definitions actually define the concepts they are named after.
The only thing holding it back is Apple not investing into making it happen. Swift is in a weird spot where it has so much potential, but without investment in the tooling for other platforms (which is uncommon for Apple in general) it just wont happen, at least not as quickly as it could.
Elon Musk Sued for Harassment by Former SpaceX Employees
https://archive.ph/6Evp2
Naked tribe not interested in nudity. News at 11.
No, this is just the typical Apple cycle I alluded too. Improvements are saved up for WWDC, previewed, then regress over the next year as other work is done, only for the process to repeat. They've demonstrated small improvements practically every year, yet the compiler continues to regress in build performance. Notably, the explicit module build system you mentioned regresses my small project's build time by 50% on an M1 Ultra. And even without it, overall build performance regressed 10 - 12% on the same project.
It is heavy indeed, and unfortunately there weren't ~1000 Eddie Halls available for this trip so they had to settle for trucks :)
Church of the Transfiguration: wooden 22-dome church without a nail
Well, there goes HN censoring things they don't like again. This was at #5 on the front page and is now around #70 with no explanation.
I'm saying they shouldn't be worried about being sued by Blizzard. This software is not a video game or related merchandise.

Trademarks do not cover all uses of a word -- they only cover the use of a word in relation to a particular field of commerce. This is, likewise, why your grocery store can sell apples without being afraid of the equally litigious Apple Inc.
We'll re-up that one and move the other comments thither.
???

Is this /s? ChatGPT? Both?
We were running very large storage volumes in Azure (+2TB) and wanted to leverage ZFS compression to save money. After running some performance testing, we landed on a good balance of PGSQL and ZFS options that worked well for us.
Cool but expensive af.
I hadnt been for a month or so (picked it up at launch), but the new beta release of Vision OS 2 looks feels like a massive quality of life improvement. Foveation and implied resolution seem to be massively improved, framerates are much higher too. The new Bora Bora (day + night) environment is fabulous and has moments of "am I actually there", the prior exisiting environments have all had a decent bump in apparent quality too. Apple are slow rolling content and experiences, but I can see this working out in the long run.
P.S. if anyone is still hung up on comfort, the "open face" headstraps do wonders, very much like wearing glasses.
civicrm https://civicrm.org/ is more non-profit oriented, so that may be worth a look.
That sounds completely made up. I simply do not believe that nobody in the CIA conceived of a layer of tinfoil inside of a normal hat, which would not be visible to anyone.
All I ask from Google is to stop ignoring quotes in quoted search strings. I get that the first hits are going to be for sites selling hats and ties if I search for:

necktie and a panama hat

But dammit, if I search for:

"necktie and a panama hat"

…the first hit should always be for the Bob Dylan song “Black Diamond Bay”.

(This is just an example of course.)

The site behavior in this respect appears to vary widely even in the same month. It is doing it fairly correctly right now it seems. I bet they turned up the “don’t be so sleazy” dial some in the last few days, since the data dump and articles about it came out.
The last paragraph is present in a reply to the tweet. It was split into two tweets since Twitter/X has a 280-character limit per tweet for non-premium users.
Can't say enough good things about Elixir and Phoenix. Now with types coming, it'll get even better.

By the way, you hear a lot about the BEAM and it's power - but in my experience you can go a LONG LONG LONG way before you ever have to even think about that part of your stack. Phoenix does such a tremendous job abstracting that for you. You just get the gainz with no effort. Other parts of the stack also just abstract that for you.

Case in point: Oban. You get powerful, flexible and easy to use background jobs for essentially free. Right there in Postgres, with your Elixir code. It's crazy.

Try it.
The options are exerciseable whenever they are vested (and if you are on good terms, sometimes before that). This can be a waste of money, or a huge boon in terms of taxes avoided.
> What the government did with Sprint was akin to allowing GM to be purchased by Ford.

The government depends on three carriers (ATT, Verizon, Sprint) for its own redundant critical communications (Continuity of government, military communications, etc).

The entire deal was structured in a way where where the wireless subscribers were shed onto T-Mobile and the important guts of Sprint were sold to Cogent for $0, who didn't have the capability or desire to take on the consumer facing business.
Pictures can be directly used in formal proofs. See [1] for instance So, the problem is not in principle, but rather, pictures and more direct syntax has not yet been integrated into current proof systems. When that is done, proofs will be much more natural and the formal proof will be closer to the 'proof in the mind'.

[1] https://www.unco.edu/nhs/mathematical-sciences/faculty/mille...
What Is the Median Pay of Magnificent Seven Companies?
You can try moonrider.xyz in the oculus browser for like a punching one. It's web-based VR with all of the community songs included.
Even that I call into question; a lot of image generation stuff has open models, and new models being pushed onto HuggingFace all the time, and if HuggingFace is too centralized for you, good news, it uses git-lfs and lots of other entities can run that as well for free.

As GPUs get better I think we will see a rise of a lot of local-AI. The companies that I think will benefit the most are Nvidia and to a lesser extent AMD (eventually). I would agree that that's too centralized, we should probably have more competitors in the GPU space, but I don't think OpenAI will be able to monopolize AI as a whole for forever.
Yes, mostly for the Mac display. Also when crankin’ my hog (just being honest)
I still use mine every couple of weeks for movies that my family doesn’t want to watch with me.

I also use it as my hotel setup when I travel for work. It’s great having a full size monitor wherever I need. I’m excited for the coming improvements with vision os 2.0.

I’m still not comfortable using it in public, though. It feels ostentatious, but I will try it the next time I fly with the family. Having people I trust around me will make me more willing to go immersive while traveling.
Twitter post where they explain their side: https://x.com/tylertringas/status/1716592486460629132

TL;DR: They were trying to run annual Founder Summit destination events with a partner fund. They cancelled the joint agreement with the partners and expressed their intent to run them alone. Partners are suing for, as I understand it, trying to "cancel" a joint business venture that was co-developed and but continue to run the co-developed venture as if the partnership never existed.

To be honest, I never understood why the Calm Company Fund was trying to run annual destination Founder Summits at all. It seemed so antithetical to their thesis of funding calm, profit-focused founders.
A novel way indeed. I love how, while difficult to build without modern computing, the clock maintains the feel of low-key ambient tech.
> I’m sure there are more that I forgot to mention.

It's a primary theme in the Darkover books.

Those were kind of frustrating for me because I enjoyed the fantasy setting, but the author was very clear that what interested her was the conflict that occurred as it was contacted by spacefaring magicless future Earthlings.

Such powers are of course also major themes in traditional mythology. I like to note that modern time travel stories split over whether it's possible to alter the timeline, but time travel also features really prominently in traditional mythology and the message there is always that the timeline can never be altered by any means.
> One variable that Google Search apparently tracks is when and where users click, not just on Google’s core site but any page that is accessed within Google’s Chrome browser. In the past, Google has repeatedly denied factoring that data into its search algorithm.

I suspect as much. And I switched to FF a decade ago.
I don’t know if my voice is weird or what, but these things- alexa, siri, etc. don’t work for me at all, they can’t understand anything I say unless I repeat it slowly half dozen times, yet regular people understand me just fine.
Comments moved to https://news.ycombinator.com/item?id=40496967.
It’s not insufferable if it’s silent. In the case of iTerm, the reaction of the vocal minority was atrocious, and completely entitled towards an amazing open source maintainer
It's a shame there are so many trade secrets involved, because it would be especially fascinating to get more details on their entire system everything from advanced topics like how they blend ML with traditional rule-based logic to how they manage data like maps (versioning, distributed updates, etc.)
Yep, can confirm that it was better in 2017 than 2021.

Mainly because when the org chart grows, more "rules" are added to the rules engine, where each rule is managed by another service... which all adds to end to end user perceived latency, etc... that's why rule engines don't work.
I completely disagree on the risk. What was the opportunity cost for you in founding? Are you taking a salary comparable to your FANG comp? Usually the early employees are getting paid a lot closer to their market rate than the founders are.
> A plugged well is injected with high pressure concrete to/past the impermeable rock layers, past the multiple steel/concrete well casings that travels through aquifers.

Now imagine having hundreds of old oil wells around, some of them are rusted out and can totally transfer fluids up from down under to the water table level.

They probably need to inspect every well and make sure it's properly plugged with concrete, not just a cap on top.