skysight-inc/HackerNews huggingface dataset:
Weeel.. maybe. The joy in collecting is the collecting. Getting it all at once kinda robs the fun..

But bequething them one or two significant pieces can get them started, and perhaps carries more meaning...
Ha, I thought by instructions you meant CRDT commands, not actual text instructions.

This is not a failure of CRDT but an inevitable consequence of trying to point to a specific line in a live document. It can happen even without concurrent updates, just two people editing a document in turns; as such it is impossible to resolve regardless of merge strategies, you have to use some kind of section marker that stays in place within the text as it moves (which is basically what every collaborative editor does internally).
People complain about any system which is more complex and performant than plain ordinary JSON. Remember how Microsoft pushed "Web Services" and introduced AJAX where the last letter was supposed to be XML?

Microsoft could make the case that many many features in Web Services were essential to making them work but people figured out you could just exchange JSON documents in a half-baked way and... it works.
I don't know about the necessity of physical page turn buttons. I've had a paperwhite and now a scribe and the touch is fine. An advantage of touch is that it supports sideways orientation, which I use on the paperwhite to increase the page width.
Disappointed that Tibetan is still not available. It's not clear how the decision of what languages to add was made.
Use paper towel as wadding
From the article, it seems like the big picture is that Google wants to move WasmGC forward. They got the Workspace/Sheets and Chrome/V8 teams together to start with Sheets "as an ideal testbed".

Presumably they think this investment will pay off in various ways like ensuring Chrome has a good implementation of WasmGC and building expertise and tools for using WasmGC in other Google products.
You're doing cloud and k8s very wrong if your midrange laptop can beat it. Don't blame tools for your lack of knowledge. It's a complex tool for complex situations, it's not its job to make everything super easy for you. Just don't use it or let someone who knows how handle it.
Would you really have preferred Netflix to be your monopolistic cable company raising rates all the time whenever they decided to and blaming it on a new contract with Disney or a union strike with the Writer's Guild? How much would you pay for Netflix a month before that got to be too irritating? $50? $150?

The cable companies got to do it for so long because of the natural monopolies of shared physical infrastructure. To be fair, Netflix has been a major internet infrastructure company and there are arguments to be made about their colocation and peering agreements and the natural monopolies there that gave them an early streaming edge, even if the internet in its early days decided those sort of infrastructure agreements shouldn't create or promote monopolies. But beyond that first mover advantage and with the internet's spirit that peering and colocation are regulated fairly and not monopolistically, who would have gave Netflix the right to become the internet's TV monopoly? Would you have voted for a President who made it a campaign promise to make sure that FCC Regulators declared Netflix a legal monopoly in charge of TV streaming?

Netflix only really ever had the first mover advantage, and it is probably a good thing in the eventual long term that Netflix didn't win everything. It goes that Netflix's early model while it felt "perfectly viable" from a consumer standpoint at the time was obviously not perfectly viable in the long term as a stable situation. The situation we are in now of too many streaming services and cutthroat competition between them maybe isn't sustainable in the long term and certainly doesn't feel "viable" to us as consumers. But it certainly seems more viable and preferable than the timeline where you need to send letters to your local Congress representatives in the hopes that they might legislate Netflix price increases and put FCC pressure on Netflix to serve the content they promised to serve.
i keep a list of installed packages and the package manager I used to install them. I don't track dependencies that I didn't manually install. This is manual, every time I type "pacman" or "yay" or even "pip" I write it down in a text file.

Other than that pacman -Syu every couple of weeks.

I'm probably going to start using paccache.

I've never had an arch system explode on me. I've had Debian systems do that. Using arch has been smooth sailing for me for the most part.
Love this -- multimodal and multi-model AI systems are only becoming more ubiquitous. This fills a serious need.
> Why is it still so bad at the top languages like Spanish?

Which Spanish? I thought South America, North America, and Europe Spanish all have their own peculiarities.
There are food delivery companies, such as Toast and ChowNow, that seem more restaurant-oriented. As in, they sell an online-ordering-platform-as-a-service to restaurants (sometimes bundled with a POS system), rather than gunning for market dominance on the consumer side of things.

I think that's probably a viable model for the future, assuming they don't have VCs that will push them to squeeze restaurants like the big apps, at some point.
I was curious about the authors, did some digging, they've published some cool stuff:

Improving alignment of dialogue agents via targeted human judgements - https://arxiv.org/abs/2209.14375

Teaching language models to support answers with verified quotes - https://arxiv.org/abs/2203.11147
> I'm from a rural area that gets snow

Ah yes, because that's where 99% of truck owners in the US live.

Are you suggesting there's more truck owners in your rural area of Michigan than Dallas?
The lazy version of that, which I recommend, is always deny the first answer. Usually I deny for some obvious reason, but sometimes I just say "isn't that wrong?"
You combined parts of different comments, ignored others, and claimed the combination represented all.

Some were IT managers. Some were users capable to speak for their IT managers. Some did not say. There was no reason comments should have been limited to identified IT managers.

Some asked how to make sure the feature was disabled. Some did ask for a group policy. Some asked for a plugin or separate build because a group policy would not satisfy their company's requirements. The maintainer solicited these requests even though he disagreed with the requirements.

Some blocked the update. Some rolled back. You must know unsupported software has costs.

Do people wonder why more people don't maintain open source software? Most people don't maintain open source software. They have reasons. I think they can imagine other people not maintaining open source software for the same reasons.

I maintained open source software. Attitudes like yours tired me more than the rude minority of users.

Patreon is 1 of 6 donation methods. And I don't think the people who offered to pay $50 meant monthly.
Wouldn't work in the scenario described in the text.

As far as the restaurant is concerned the order was made by the dasher and can't be changed by seemingly random people who happen to call.
It isn't pedantic. It is the truth.

I personally won't touch non-commercial products. Mainly because I never know if what I am doing is commercial. If I'm doing open source work, but not getting paid, but there's a company involved.

Think about improving the keyboard you are using's firmware... Now what happens if that company is grateful and sends you a prototype of the next board to help them out. You are now getting something. Is it commercial?

Why the fuck do I want to think about this. I don't. So I just don't use this type of software, and I encourage others to think of commercial as broadly as possible, when considering using it.

I use all types of licenses including straight up commercial.

But I want to be clear: Their code, their right to license it. I respect that right. And that is why I won't use it.
It was in jest. But part of the problem with nicotine that helps to lead to addiction is its short half-life. If you are a smoker you experience several episodes of abstinence throughout the day, so you lit just another one.
Purdue's Bankruptcy Went Too Far
'Godfather' of AI Pledges $1M to Fix Ontario Science Centre
GP, if you like HN, but haven't yet read Neal Stephenson, you're in for a treat!
The issues identified really show a dumpster fire: https://bugzilla.mozilla.org/buglist.cgi?o2=greaterthaneq&sh...

Directly from Entrust: "Yes, there has been ongoing internal discussion and reflection on the issues found in this and other incidents, which has led to the action items described previously and ongoing changes, including the decision to revoke the certificates affected by this bug. Exceptional circumstances would need to be provided and justified by the Subscribers. Given the nature of the feedback we have received to date, we doubt that the community has any real interest in anything that Entrust could suggest, except to use against Entrust in a destructive, not constructive, way. We therefore would like more explicit and clear guidelines or a definition of “exceptional circumstances” to be adopted and applied equally to all CAs, perhaps through updates in the CA/B Forum requirements."

https://bugzilla.mozilla.org/show_bug.cgi?id=1888714
Show HN: Play Mafia Against Chat GPT
It's exactly what you think it is.

You play the classic game of Mafia/Werewolf, where all the other players are AI opponents.

I tried really hard to put a lot of effort into the UI design, to make it feel like a fun, smooth, easy flowing game. Open to and would love feedback/thoughts/suggestions, and will do my best to respond to anyone who is nice enough to take the time to comment.

Stack:
- Clojure + Clojurescript, Reagent/Ring/Compojure/DaisyUI

I did my best to get it working on mobile, but it only works sort of well, and it's a little better suited to desktop.
Huh. This is a very... "interesting" application for an LLM. I'm not the brightest crayon in the box, but if anyone else would like to follow along with my non-expert opinion as I read through the paper, here's my take on it.

It's pretty important for compilers / decompilers to be reliable and accurate -- compilers behaving in a deterministic and predictable way is an important fundamental of pipelines.

LLMs are inherently unpredictable, and so using an LLM for compilation / decompilation -- even an LLM that has 99.99% accuracy -- feels a bit odd to include as a piece in my build pipeline.

That said, let's look at the paper and see what they did.

They essentially started with CodeLlama, and then went further to train the model on three tasks -- one primary, and two downstream.

The first task is compilation: given input code and a set of compiler flags, can we predict the output assembly? Given the inability to verify correctness without using a traditional compiler, this feels like it's of limited use on its own. However, training a model on this as a primary task enables a couple of downstream tasks. Namely:

The second task (and first downstream task) is compiler flag prediction / optimization to predict / optimize for smaller assembly sizes. It's a bit disappointing that they only seem to be able to optimize for assembly size (and not execution speed), but it's not without its uses. Because the output of this task (compiler flags) are then passed to a deterministic function (a traditional compiler), then the instability of the LLM is mitigated.

The third task (second downstream task) is decompilation. This is not the first time that LLMs have been trained to do better decompilation -- however, because of the pretraining that they did on the primary task, they feel that this provides some advantages over previous approaches. Sadly, they only compare LLM Compiler to Code Llama and GPT-4 Turbo, and not against any other LLMs fine-tuned for the decompilation task, so it's difficult to see in context how much better their approach is.

Regarding the verifiability of the disassembly approach, the authors note that there are issues regarding correctness. So the authors employ round-tripping -- recompiling the decompiled code (using the same compiler flags) to verify correctness / exact-match. This still puts accuracy in the 45% or so (if I understand their output numbers), so it's not entirely trustworthy yet, but it might be able to still be useful (especially if used alongside a traditional decompiler, and this model's outputs only used when they are verifiably correct).

Overall I'm happy to see this model be released as it seems like an interesting use-case. I may need to read more, but at first blush I'm not immediately excited by the possibilities that this unlocks. Most of all, I would like to see it explored if these methods could be extended to optimize for performance -- not just size of assembly.
So … how most companies are already designing experiences?
I'm also much smarter than average, and it used to bother me.

I agree with your call to patience. In some way, we can see intelligence, and general wisdom as two axis.

Beyond patience, consider working on your compassion. You could try meditation, walks and any number of strategies, but foremost, you need to consider all those around us as worthwhile, regardless of their skills, intelligence, wisdom or anything else.

It is up to you to see beyond the superficial, and work your gifts for the benefit of those around you. If you mix your intelligence with compassion, you should be able to make others come to your view.
uv – pip killer or yet another package manager?
Gotcha, thanks. This appeared so deep down in the thread when I commented that I didn't realize it was attached to an alternate-universe hypo above.
At what point does it stop making sense to call it a pivot? I was an adopter during your open-source SD training script phase. These earlier efforts sound completely unrelated to anything I'd be interested in. So what are you, as a team, even doing, if your customer and your product are so inconsistent? What is the driving force?

Bizarre, IMO.
That doesn't stop them, just makes it a more onerous process. Most unions, in the US, have been losing out for decades now in terms of compensation.
I grew up shoveling manure out of the back of a truck. It's called washing your car. Maybe someday we'll get a proper survey that doesn't mix infrequent use with never and learn something closer to the truth. I suspect usage is contextual in predictable ways.
You already posted this with another account: https://news.ycombinator.com/item?id=40808468

So here's some more feedback: astroturfing vacuous praise for your product will make people think that it's garbage and best avoided.
Ah. My mistake. I saw a ton of open issues.
Exploited? Are you saying that these employees are forced to work for below market rates, and would be better off with other opportunities available to them? If that's the case, it's truly horrible on OpenAI's part.
I built a faceless AI video generation pipeline
If we’re going to give credit where credit’s due, the history of durable execution traces back to the ideas of AWS step functions and Azure durable functions alongside the original Cadence and Conductor project. A lot of the features here are attempting to make patterns in those projects accessible to a wider range of developers.

Hatchet is also event driven [1], has built-in support for tracing and metrics, and has a TS [2], Python [3] and Golang SDK [4], has support for throttling and rate limiting [5], concurrency with custom multi-tenancy keys [6], works on serverless [7], and supports procedural workflows [8].

That said, there are certainly lots of things to work on. Batching and better tracing are on our roadmap. And while we don’t have a Java SDK, we do have a Github discussion for future SDKs that you can vote on here: https://github.com/hatchet-dev/hatchet/discussions/436.

[1] https://docs.hatchet.run/home/features/triggering-runs/event...

[2] https://docs.hatchet.run/sdks/typescript-sdk

[3] https://docs.hatchet.run/sdks/python-sdk

[4] https://docs.hatchet.run/sdks/go-sdk

[5] https://docs.hatchet.run/home/features/rate-limits

[6] https://docs.hatchet.run/home/features/concurrency/round-rob...

[7] https://docs.hatchet.run/home/features/webhooks

[8] https://docs.hatchet.run/home/features/child-workflows
I read books on my phone, because it's always in my pocket. Just open the e-reader app instead of twitter.
See what you need to do if you want to refute something I said is actually go through each point and refute it. Not dump a link and declare checkmate. Either do that or go away.
Is it possible to create totally network-safe (unexploitable from the network interface) computers should you start from scratch and write a new OS today? Maybe formally verified network interfaces and capability inheritance based process execution, with granular capabilities protected with a memory safe language? I'm thinking Theseus OS, with formal verification of anything that is on the network boundary.
What's the difference between CriticGPT and ChatGPT with a prompt that says "You are a software engineer, your job is to review this code and point out bugs, here is what the code is supposed to do: {the original prompt}, here is the code {original response}, review the code," etc.
Why not deal with people who create problems like this the same way as one would have done four years ago?

If they're not doing their job, then why do they still have one?
> Can somebody give me another reason why they did this--"coincidentally" all at the same time--other than to deliberatly lower our salaries?

Market actors respond to market forces. Information cascades are real. Etc.

There are plenty of reasons we see lots of people doing the same thing at the same time that does not actually require any sort of direct coordination or conspiracy.
Related IT Crowd bit

https://youtu.be/ALZZx1xmAzg
The code search is rather meh than top class. Any grep can do better. Also the code search requires one to log in, basically does not exist for not logged in users, which equals zero quality for them.
Not only do humans invent stuff that didn't happen (hallucination), we're also prewired with a very long list of cognitive biases.

It depends a lot on the domain of course, but I'd bet that frontier LLMs already exhibit superhuman capabilities in providing accurate answers in the vast majority of domains.
Here

https://r2r-docs.sciphi.ai/cookbooks/local-rag
Ken Thompson is 81, "old" people invented most of this stuff.
This is a really bizarre thing to do honestly

It's plausible that there are potential avenues for improving language models through adversarial learning. GANs and Actor-Critic models have done a good job in narrow-domain generative applications and task learning, and I can make a strong theoretical argument that you can do something that looks like priority learning via adversarial equilibria

But why in the world are you trying to present this as a human-in-the-loop system? This makes no sense to me. You take an error-prone generative language model and then present another instance of an error-prone generative language model to "critique" it for the benefit of... a human observer? The very best case here is that this wastes a bunch of heat and time for what can only be a pretty nebulous potential gain to the human's understanding

Is this some weird gambit to get people to trust these models more? Is it OpenAI losing the plot completely because they're unwilling to go back to open-sourcing their models but addicted to the publicity of releasing public-facing interfaces to them? This doesn't make sense to me as a research angle or as a product

I can really see the Microsoft influence here
You get better range if you swap out the hairspray for black power, and the barrel for a metal pipe.
Using short lived Postgres servers for testing
There's https://toaq.net/ and many others. Spoken by <500 people last time I checked the discord.
I’m thrilled to share that I’ve developed a simple GRE vocabulary deck builder called GREasy, available for free at greasyvocab.com. This project, built using Next.js, Vercel, LangChain, PostgreSQL, and Tailwind, is my first SaaS initiative post-college. It features a printable PDF, a viewable webpage, and a study game—all accessible to users who complete surveys or make donations via PayPal.

As a recent graduate passionate about using computational resources to foster global betterment, I created this tool to aid those in need at minimal operational cost. I believe it will enhance the way people prepare for the GRE. Moving forward, I plan to expand the app to include quantitative and verbal reasoning exercises, and possibly even affordable full-length practice tests.

Stay tuned for more updates, and feel free to give it a try!
A potato likely has a pretty good ballistic co-efficient due to its mass to surface area ratio. It would be even better if it was denser of course, but if a nice green one, it’s still pretty dense.

That’s why artillery can hit 20-30 miles away even though muzzle velocities are roughly the same as a rifle, which would be lucky to go a couple miles even if fired at the same angle.
But not having to ship the GC could be a great benefit.
I live in the region. It is very wet and rains quite a lot. So water scarcity just isn't much of a concern. More effort is spent draining the stuff away than collecting it.
If you used a prime number instead of 30 (e.g. 29) then the aliens would spend less time checking the factors of 30 (15, 10, 6, 5, 3, 2).
Interestingly Disney was not an original partner of Hulu and was late to the game. ABC was added several years into Hulu's history. The original partners were GE (before they sold NBC Universal to Comcast), News Corporation (Fox), and a private equity firm. That Hulu did not just become Peacock (or really that Comcast didn't need to create Peacock because it might have already majority owned Hulu in that alternate timeline) and is now a Disney property is a fascinating story in GE's mistakes, Disney's ambitions, and Hulu's seeming lack of ambitions, with a soupçon of the usual private equity meddling.
Yeah. Googling it lead me to an old comment of mine about it, and Dan Roth mentioned this is their discussion on it https://github.com/dotnet/runtime/issues/94420
As long as I’m weight lifting consistently, I have no post-lunch lethargy. If I pause for a few days, I almost pass out after lunch. This is consistent. Must be related to the glucose-insulin response
To clarify, Stripe does not - Au10tix does, which they moved away from.

Stripe is Headquartered in US / and I believe Ireland - not Israel. Sorry for the confusion.
When it gives me a complicated list expression or regex or something I like to ask ChatGPT to find a simpler way of doing the same thing, and it usually gives me something simpler that still works. Of course, you do have to ask, rather than simply copy-paste its output right into an editor, which is probably one step too many for some.
I'm also curious. It seems like 6 months ago everyone was afraid of "model collapse" but now synthetic training generation and teacher models are all the rage. Have we solved the problem of model collapse?
you could convert the STEP file to STL just for the purposes of this tool, it looks like you have to apply the resulting rotation manually in your slicer anyway using the rotate tool.
Pauline Middelink [2000]
Thank you for the offer on the short notice! I ended up getting verified with the other service and am happy to enter have a little stability now. I will check out mailpace though!