drew-y
Voyd Programming Language v0.2.0 – Effect typing improvements, trailing closures
Show HN: Voyd – A WASM first programming language with effect typing
https://voyd.dev/docs/?p=releases
Super excited to finally share my passion project for the last 7 years.It’s a programming language focused on web development. It features a hybrid structural/ nominal type system with support for effects.I’ll be around to answer any questions. Thanks!
Did OpenAI ever actually announce anything publicly regarding a potential windsurf acquisition?
AFAICT most of the reporting was based on rumors or leaks. But they never actually announced an acquisition. Seems like Bloomberg may have made an oopsie here.
Ok.
Here's some ideas for improvements you could make:
- Add a button to go back to the main menu / exit the battle, I keep hitting the home button instead
- Add some sort of indicator to make it clear when an attack is charged. Also maybe some hints as to how attacks are charged in the first place.
- Consider moving the question input to inside the game instead of the alert
- Try playing around with the colors to make text easier to read.
Regarding this line:
> ChatGPT can already tell you a lot about itself (showing awareness) and will gladly walk you through its “thinking” if you ask politely.
Is it actually walking you through its thinking? Or is it walking you through an imagined line of thinking?
Regardless, your main point still stands. That a program doesn't think the same way a human does, doesn't mean it isn't "thinking".
Software is never "done". Developers need to be actively involved throughout the lifecycle of a software product. Which, to me, makes this sort of model unsustainable. I'd rather know that software I rely on won't be abandoned once the base of new customers drys up. And I don't mind paying for that.
Unless your API calls are properly abstracted into function calls. No reason you can't just have a `getUsers()` function on the frontend, and then use your favorite “find all references” tool from there.
They both gave great answers overall though.
To prove that claim, you'd need to actually demonstrate some sort of causal relationship and have data to back it up
For example, you could make the argument that:
1. Demand is the primary cause of tuition increases
2. Government backed student loans are the primary cause for the increase in demand
I believe that 1 is almost certainly the main cause of tuition cost increases. What I haven't seen any evidence for is 2. If it's true, show me the evidence. I'm open to it.
From what this article states and the research I've done, the main driver of demand is not cheap government loans. It's the labor market. The best jobs in this country require a college degree. That is what is probably driving demand, the desire to earn a liveable wage. Not the fact that you can get a cheap loan.
The claim: > Main cause: Government-backed student loans.
I've read the article. It discusses student loans and how they've skyrocketed, but never makes the claim that their availability is the cause. Instead, it argues a change in America's "labor profile" is to blame for the rise in demand (which, in turn, leads to higher tuition):
> Rising enrollment is also associated with a changing US labor profile; for example, manufacturing jobs were eclipsed by “business and professional services” jobs as well as healthcare, education, and retail jobs.
Going further, the author suggests we need to forgive/cancel the student loans:
> These loans should be forgiven/cancelled
To me, this implies the author does not believe federal student loans are to blame.
1. A large increase in demand for College. I could imagine this may be, in part, due to more accessible student loans. But it appears that many factors have come into play, and the main one is the perception that you cannot get a liveable wage in this country without a college degree. 2. Less funding from state governments 3. Increased spending in administration and student services unrelated to education.
Here are the sources I've read through so far. https://www.bankrate.com/loans/student-loans/why-is-college-... https://manhattan.institute/article/a-new-approach-for-curbi...
Courier Inbox – build modern application inboxes for web, iOS and Android
> GPT-4 generally lacks knowledge of events that have occurred after the vast majority of its data cuts off (September 2021)
When someone mentions a 'lack of Black representation', they're not saying that non-Black members are less valuable because of their skin color. Rather, they're highlighting that there appears to be a systemic issue preventing people of that particular race from participating or advancing in that space. By addressing these systemic issues, we can make organizations more inclusive and more representative of the broader community.
Nobody is suggesting that people are exchangeable units defined solely by their skin color. On the contrary, it's recognized that everyone is unique and has a diverse set of skills, experiences, and perspectives to contribute.
This does not mean discarding merit or reducing people to their race, but rather acknowledging that societal, cultural, and systemic barriers have created unequal access to opportunities. The ultimate goal is to ensure that everyone, regardless of their race, has an equal opportunity to succeed.
> When in public spaces where you are lawfully present you have the right to photograph anything that is in plain view. That includes pictures of federal buildings, transportation facilities, and police. Such photography is a form of public oversight over the government and is important in a free society[1].
However, this does not apply to areas where there is a reasonable expectation of privacy. Public restrooms and (I'd assume) skirts included [2].
[1] https://www.aclusocal.org/en/photographers-rights [2] https://www.rcfp.org/wp-content/uploads/imported/PHOTOG.pdf
It's a bit confusing, but I think they what they are implying is that there is a total of 65,535 possible keys. Devices may be assigned one of those randomly. The URL must send the key and some sort of device ID. It's possible that if you know the device ID, it would only take 65,535 attempts to gain access to the stream.
Renaming a (recent) symbol of human progress is not the same thing as erasing history. That would be removing James Webb's name from the wall of NASA's former leaders, removing him from history books, etc. No one is proposing that.
Instead, it is holding our symbols to a high standard. We should pick those who truly stood out and above. There are plenty of historical figures that made great contributions to humanity at NASA. I doubt they would struggle to find an alternative.
That being said, based on the conclusions of the report, I think the name should stay.