skysight-inc/HackerNews huggingface dataset:
> @ParetoOptimal this is helpful in that haskell/ghc throws these error but how do you read the error message and how do you use it or infer next steps from the messages regarding the typed hole?

Basically it gives you a good starting point at least for what things make sense there. In some contexts though, it can lead you to the right answer when you didn't really have a clear idea provided you've honed some heuristics.

In the example above I:

1. Look at the type from this piece of the error: `Found hole: _ :: Int`.
2. I look at relevant hole fits, user defined functions in scope, and see if any of those belong from the `Relevant bindings` part of the error.
3. If not, I look to `Valid hole fits include` to find valid functions that may fit.

In step 3 however, there's a bit of pattern recognition because very polymorphic functions that never make any sense can sometimes show up there. `minBound` and `maxBound` fit for instance. Other things show up here that you can usually filter out as well such as `forever` when using holes in monad functions.

The above example was for the case where you have a high degree of confidence that there are no other errors. In general, type driven development hinges upon making one small change at a time and having only one type error at a time in your code.

That isn't as restrictive as it seems however, because you can always replace a problematic expression or function full of said expressions with (undefined :: TypeIWishThisExpressionRepresented).
Yes, but they're like Scientology was in the 90s and 00s; unlimited funds, very strong union and political support and they investigate themselves with cult like omertà. It's gonna take a few decades of relentless scrutiny and political pressure to prosecute them before it gets any better. It seems like an entire generation of police are used to this type of corruption.

You can gauge how deep and normalized the corruption is by how blatant some are about it.

It's sad, because a lot of people join the police force because they want to do good for the community, and they're colleagues with people like this. The good people end up leaving or getting corrupted.

"As one bad apple spoils the others, so you must show no quarter to sin or sinners."

We've let this fester for decades. Also, this attitude and blatant disregard for citizens rights is at all levels of policing; local, state and federal. It's a cancer that has riddled the country.
The whole point is that to create the demo in the first place someone has to approve it, so if they cannot understand the thing then it doesn't get approved.

> Well yeah - if someone stood up in a management meeting and told me to think about what I might do with an avatar, my first thought would be "What's an avatar" and my second thought would be "I'm already busy with other things". He hasn't said what an avatar is or why anyone should care about them. So people pay no attention

> And maybe the thing you're trying to communicate is so novel that you can't establish context or convince people to care without showing them a demo. But at least take the time to understand why you can't tell people about it

Forget novel ideas, even relatively simple ideas within your domain are hard to communicate to other people especially if they are outside your domain.

Add people being busy and you having limited time to explain things on top of that and it becomes extremely difficult to get anything done unless someone trusts you and does not require a full explanation.

Stack ambiguity on top of that (E.g. "we think there's something here but can't pinpoint it) and there's a 0% chance of it happening.

I'm surprised this guy's management actually let him build the thing given the way he recounts how things went down.
> literally murdering mothers

Please share a link to the criminal indictment for one of those murderers. Or even a link to a news story on the investigation into that murder. What municipality did this murder occur? What was the name of the victim?

I can share many stories of literal murders that have resulted from extremist left wing judges that gave low-or-no bond to multiple-time violent felons. Here’s one:

https://www.fox26houston.com/whats-your-point/suspects-out-o...
Then it’s quite subjective then , who’s right ?

He gave it a score of 7 which IMO is pretty high?
i do intermittent fasting

at one point i dreamed about eating a sandwich . it was not lucid, but extremely vivid. its the only time ive ever dreamed of food.

if you practice abstinence, you will have dreams too. prettt fun and strong ones.

id recommend starting with one of those to make dreams more "realistic"
I don't think you should just link to completely made up posts by AI-god-worshipping psychiatrists and say that it's "important to remember" them as if they're factual.
LLM is not currently an agent (it would take a massive amount of compute that we don't have extra of at this time), but Microsoft as already wrote a paper saying we should develop agent layers to see if our models are actually general intelligences.
Yeah not every one can imagine in visual form, for some its text only while for others its sounds and a black void for some.
No need to be jealous as you have other superpowers to balance things out.
It's resource theft.
This kind of fantasy about AIs exponentially growing and multiplying seems to be based on pretending nobody's gonna have to pay the exponential power bills for them to do all this.
Perhaps what happens with Getty v Stability AI will have some bearing on how this eventually plays out.

https://www.theverge.com/2023/1/17/23558516/ai-art-copyright...
I suppose the corollary is that if you cannot agree on a set of ideals and rules to follow, if you are engaged with an entity that refuses to act in good faith, if you have views that are irreconcilable with your opposition, you are left in a situation where might makes right, and you damned well better be sure that it is your side that has might and that you can live with the consequences of war.
Do you have the upgraded cable?
Ask HN: Wikipedia Version of OpenAI?
It’s looking like AI is quickly going to become similar to having a smartphone - you are almost considered disabled or a hermit, if you don’t have one.

Do you guys know if there are any non profits exploring the idea of providing “free AI” to everyone? Like Wikipedia, but of AI services?
Many states aren't outright banning it, but making filming from "too close" a form of interference.
> Plain disagreement ends when people start to die.

Yes, if you inject enough hyperbole you can justify any sort of behavior. Luckily no one is actually "literally murdering" anyone, and these arguments are nothing but emotive nonsense.

> Guns are the leading cause of children.

That's quite a narrative.
Not completely true. You can launch bash with the --init-file flag and put the bashrc file wherever you'd like. Could even change /bin/bash or whatever your default shell is to be a script that launches bash with that flag provided.
I got two different failure modes. First it displayed an error message (which appeared instantly, and was caused by some JS error in the page which caused it to not submit the form at all), and then a while later the same behaviour as you, but devtools showed a 500 error from the backend.
Why will they not bother? I'll continue blogging.
In one of the widely-circulated video clips, Steinbach came across as inflaming the situation, taking sides, and failing to act as a neutral agent of the university who could've restored order.
Are you sure? I have a MH-Z19 and it drifted by more than 50% (baseline went to about 180-200 ppm) after a month or two without calibration. It is from a reliable vendor and the readings are quite stable, so it's unlikely to be a fake sensor.
Can you please specify at least a part or two that you specifically feel are sarcastic? The author doesn't seem to like the movie but I feel like the majority of the comments are quite factual or seem like straightforward opinion.
Some states already require two party consent for recordings. Ohio isn't one of them.
I really don’t keep stuff up to date anymore because my cell phone has never been as unreliable and prone to dropping calls as it is in 2023.
guess a normal existence is too boring for you?
Keep your ethics in your pants.
Yes but I believe they've been captured, at least the political arm of it. You don't hear much of a peep out of them lately and there have been countless shootings and beatings of unarmed and often innocent people.
The Dean is encouraging students to hold counter-sessions of their own where, presumably, nobody will disrupt them, either. Seems fair to me. Basically, anyone can organize and present a lecture... all we all is that folks behave civilly. We aren't asking for agreement. We're just asking for the chance to be heard. What more do you want?
Pelosi's trades are her broker cycling her accounts for fees. She actually lost money on the ones people were complaining about.

China definitely does not have 100 year plans, and you don't understand the point of planning if you think any of them can be valid more than a few years out.
Microsoft researches have an open inquiry on creating want and motivation modules for GPT4+ as it is a likely step to AGI. So this is something that may change quickly.
How long until Google penalizes you for AI generated content in terms of SEO?
> The only truly goal-free thinking system is a random number generator

An RNG may be goal-free, but its not a thinking system.
It’s called internet archive before release of gpt
Iranian Drone Strike Kills American Contractor
It's not cheap but GPT-4 handles it. I'm in the image processing private beta and its failure rate on text is well below the human baseline. Cursive, damaged, pixelated, 5 year old hand writing, weird lighting or angles, highly stylized, artificially distorted or obstructed, poor contrast. Doesn't matter.

My instincts tell me they haven't made it public yet because it will end captchas for good and they're uneasy about rug pulling the entire public internet. Any image obfuscated to a point of defeating the LLM will also defeat the majority of humans.
I'm fairly sure that if it did state taxes, too, I'd actually use it.
Very peculiar analogy but yes I’d just prefer to go to the park with my dog, as you say
Have laws stopped music piracy? Have laws stopped copyright infringement?

Both have happened at a rampant pace once the technology to easily copy music and copyrighted content became easily available and virtually free.

The same is likely to happen to every technology that becomes cheap enough to make and easy enough to use -- which is where technology as a whole is trending towards.

Laws against technology manufacture/use are only effective while the barrier to entry remains high.
> The faster we build the future, the better.

That depends. If that future is one that is preferable over the one that we have now then bring it on. If it isn't then maybe we should slow down just long enough to be able to weigh the various alternatives and pick the one that seems to be the least upsetting to the largest number of people. The big risk is that this future that you are so eager to get to is one where wealth concentration is even more extreme than in the one that we are already living in and that can be a very hard - or even impossible - thing to reverse.
You can make an LLM into an agent by literally just asking it questions, doing what it says, and telling it what happened.
Obviously some folks wanted the judge there to speak. Why are you so scared of differing opinions? Why must the only option be to silence those that disagree with you?

Let me preface by saying I'm completely pro choice. But you say "policies... literally murdering mothers by denying them critical healthcare." But wouldn't reciprocal policies allow for the murdering of unborn babies? Once again, I'm pro choice. But I can at least understand and consider the argument from the other side.

This polarized political environment where we demonize the other and can't bear the thought of civil discourse is played out. These childish ways are not welcome in America.

No one is asking you to be silent. They are asking you to not silence others.
A principal in Florida was recently fired for showing students a picture of David. So there's that.
The cops don't have a copyright claim. Fair use is irrelevant. Afroman owns a recording of factual events. He has the right to do with it as he pleases.
>> Guns are the leading cause of children.

It's true. I shot my wife up and now I have 2 boys.
> This statement is misleading/wrong. Like all other XDG stuff, it's not about the machine, it's about the particular user.

No, it's both. The XDG state dir is for things that are also machine-specific so that, e.g., it doesn't make sense to sync them as part of your dotfiles.

> why does the author consider the given positive example clean and tidy, when it has files .profile and .bashrc placed directly in the user's home directory? Following the rules, these files should be within the .config/ directory as well.

They should! Some shells have kindly moved to follow this convention following requests from users who like it for other apps and would prefer more uniformity w/r/t config file location conventions, e.g.: https://github.com/elves/elvish/issues/383
That's the thing. "Well" implies a gain, but how about the utility? Not so well.
Hmm, then, from first principles, we should expect "ghosts" to arise in those systems. (These will not be the "virtual entities" that people talk to and call by name (Alexa, Cortana, Siri, etc., but more akin to fixed points in the flow of information.)
You definitely should, hallucination can happen at any time. Luckily for my use case, which is explaining API changes for the purposes of porting a game mod, the compiler tells me if the AI was right or not.
Amazon has publicly walked back from Alexa because turns out people don't use it for much beyond creating a timer and it doesn't make money.

I think it's quite likely that Apple realized the same quite a bit earlier and eased up on Siri versus focusing on other things.
Catastrophic forgetting is currently a huge problem in continuous learning models. Also giving it a human body isn't exactly necessary, we already have billions of devices like cellphones that could feed it 'streams of consciousness' from which it could learn.
It works like this:

"Draw me a picture of a house"

You draw a picture of a house. Someone else also draws a picture of a house (but it looks different from yours, as they had a different idea in their head as to what a house should look like).

"That's not right, it's supposed to be on a hill"

You draw a picture of house on a hill.

"Still not quite what I had in mind. It should have 3 front windows, with a chimney on the left side, and a tree between the door and the driveway."

You redraw the picture again.

"Not that kind of tree... it should be pointier"

"You mean like a conifer?"

"What's a conifer?"

Words simply aren't very good at conveying a lot of information, so it can take many words to get a clear message across to someone. Additionally, there's often multiple ways to interpret words, which humor typically plays on. And then, with people not all sharing the same knowledge/understanding of things, it often becomes very difficult to tell someone something, especially complicated things. I mean just imagine how hard it would be to try telling tribal people who live away from civilization, who don't even know what a computer is, about ChatGPT... that is, if they even understand the language you speak.
Good to know, but of course we’d hope people would follow this out of principle, not simply because it’s required by law.
Yup you feel better since you have a lot of options and find yourself in demand.
Definitely feels good to be wanted, looks like you got forced out of those golden handcuffs and will still be making good money. Good for you!!!
As the past decade has shown us, moving fast and breaking things to secure unfathomable wealth has caused or enabled or perpetrated:

* Genocide against the Rohingya [0]
* A grotesquely unqualified reality TV character became President by a razor thin vote margin across three states because Facebook gave away the data of 87M US users to Cambridge Analytica [1], and that grotesquely unqualified President packed the Supreme Court and cost hundreds of thousands of American lives by mismanaging COVID,
* Illegally surveilled non-users and logged out users, compiling and selling our browser histories to third parties in ways that violate wiretapping statutes and incurring $90M fines [2]

Etc.

I don't think GPT-4 will be a big deal in a month, but the "let's build the future as fast as possible and learn nothing from the past decade regarding the potential harms of being disgustingly irresponsible" mindset is a toxic cancer that belongs in the bin.

[0] https://www.amnesty.org/en/latest/news/2022/09/myanmar-faceb...

[1] https://www.theverge.com/2020/1/7/21055348/facebook-trump-el...

[2] https://www.reuters.com/technology/metas-facebook-pay-90-mil...
Sounds like rationalization of furthering conflict.

Instead of the Twitter generation looking to viral content for wisdom, perhaps they should instead read works of classic philosophy.
Lots of fancy scripts around. I don't use any, I just configure new servers with an ansible playbook from my laptop, and generally do stuff by hand after that. I don't have anything I'd call "production", just personal and dev stuff. I have a cheap dedicated server that I use as a beataround and for long running computations, and occasionally spin up Hetzner cloud instances for temporary usages. I don't automate backups. I have 5TB of backup space in Hetzner Storage Box (10 euro/month for that!) and manually backup to it with Borg Backup and a few small shell commands in the .bashrc in my ansible script.
I'd rather try and fail than give up without a fight. I'm many things but I'm not a coward.
What actions should YouTube take to prevent channel takeovers and crypto scams?
I've reported numerous scams, which all use old videos of Elon - can't they use Content Match to prevent those videos from being reposted?
Is it just "those in the west" who hold these "certain moral principals"? Get off your high horse.
My claim is pretty subjective, but the idea is that there aren't many distinct kernels used in machine learning. It's all tensor contractions and element-wise operations. I'd argue that this can be maintained by hand without need for automation or high level abstraction.

Triton is used in a templated way for a very specific albeit pervasive hardware (PTX compatible GPUs), which is why it works so well. Here's some of the code: https://github.com/pytorch/pytorch/blob/a66625da3bcdf1e262dd...

Generalized kernel generation (i.e. synthesis of optimal performance from non-expert user defined kernels and novel hardware) would be fantastic to have, but it just doesn't seem particularly necessary in the field.
They forgot to write it in Latin.
You can't control whether your insurance company decides to use it as a filter for whether to approve you, or what premiums to charge you.
Exactly, the best software products are open source, of course many bad ones are also open sourced, but proprietary software that must be kept secret -- even within the company -- are usually not the best. Even for the hypothetical scenario where they are leaked - they would only make sense in the context of your business, as such should be mostly worthless to anyone else (but it may expose the degree of competence, and potential attempts at security via obscurity, so could still be very bad news).
> Software wants to be free.

I feel like I'm in a time warp and we're back in 1993 or so on /. Software doesn't want anything and the people claim that technological progress is always good dream themselves to be the beneficiaries of that progress regardless of the effects on others, even if those are negative.

As for the intentional limits on technological progress: there are so many examples of this that I wonder why you would claim that we haven't done that in the past.
Sdkman - Package Manager for Software Development Kits
Cadillac Ranch
In a similar vein: a site that tracks NYPD misconduct reports[1].

[1]: https://www.50-a.org/
On the flip side, if you can't get people to get excited about the problem and solution now, what are the chances you're totally on the mark - and even if you are, whether you can get them to care after?

What do you think is the ratio of "they didn't understand my genius until I built it" to "I built it and nobody cared or used it"?
If there are any career nights with invited engineers from those fields, then I suggest you attend them and ask questions. If not, then discuss with your careers advisor (I think UK schools have them. It's a thing in Australia) and find out whether such invitations could be extended or even field trips organised.

During your university education you will be required to solve many problems and some might be better done with some programming skills. You might need to use MatLab, etc for simulations. During this time you will gain experience with the sorts of problems that programming / CS / data science even AI could assist with. These days every field of engineering is a heavy user of computers and requires a wide variety of programming skills.

As for your question about what to include on your CV. I recommend the structure of: have solved xyz problem for abc using plx. That is, the CS aspect is the least important. The most important is the problems you have solved and the benefit / value generated. This is a far better way to demonstrate proficiency than listing a bunch of acronyms.

Good luck with your university experiences.
These appear to be local credentials (supabase init, supabase start), but I'll reach out to the founders now to make sure everything is secure on their Production database/APIs. We are a GitHub secret scanning partner [0], so hopefully this was caught early.

---

For any other founders reading this, it's recommended to add a `SECURITY.md` to your repo before doing a ShowHN/LaunchHN. This can be exposed in your `.well-known` folder (eg: https://supabase.com/.well-known/security.txt). This will help with responsible disclosures.

[0] GitHub secret scanning: https://github.blog/changelog/2022-03-28-supabase-is-now-a-g...
Now continue reading the rest of the sentence.
You forget the part where the overweight officer takes a sneak at the desserts to um.. check for cocaine?
Some bacteria live, feed and thrive off the fats in soap if your water does not already contain chlorine. I had to fight that in a home I bought with bleach, Lysol and powerful UVC lights. This applies to people with well water as there is no added chlorine.
I guess it is a little hard to apply. Eg I thought at first they were saying we should stop tolerating these woke kids cause they’re intolerant. But maybe they meant it’s ok for the kids to block the conservatives cause they were bad first. If we can’t say who was first then … not a great rule. Maybe better to stick with “any infringement bad”
Of course his warrant didn't make sense, he was wearing David Byrne's Stop Making Sense suit.
The part of the review where it says "he must have never in his life seen a flick about any small towns" could be classified as sarcastic. The reviewer also says "you should watch the movie" if you are curious about the ending, but the overall intent of the review seems to be the opposite.
They sank it in "customer obsessed research" lol
Algorithmic content has already dominated the web for many years.
Whoa how did you get a picture of Peter Griffin?