skysight-inc/HackerNews huggingface dataset:
The only types available to you in this flavor of STLC are bool, bool -> bool, bool -> bool -> bool, (bool -> bool) -> bool, etc.

Structurally, if `true := \x\y.x`, the simplest attempt at typing it would be `true : bool -> bool -> bool`. But that means `true` can't have type `bool`!

What you need is to say that true (like false) chooses one of its two inputs to return, no matter what type that happens to be. So we introduce a type parameter (think Java generics, if that's what you're familiar with).

"Given any type T, `true T` has type T -> T -> T". A formalized notation for this (there is more than one notation you'll see) is `true : ∀ (T : Type), T -> T -> T`. And `false` has the same type. This type obviates the need for a declared `bool` type.
In my experience one of the main reasons for wanting to scrap code is not only that it has scaling/other tech issues, it also has very poor separation of concerns.

Granted, that concept can and should be introduced into old codebases. Last year my team successfully warded off the Sirens of Rewrite by just doing the hard work of extracting all of the dead framework calls and then NOT adding them back in drag-and-drop style, but properly exposing them through interfaces that don’t require everything to know everything about the particular replacement framework we used.
That's not quite good enough - people use threads to e.g. permit multiple blocking i/o operations to be in flight at once, which works perfectly well right now. So you're going to want to support multiple GIL threads if you want to be able to support existing code safely.

Sadly, you can't just trivially bolt on thread safety to code that was not designed with it in mind.

However, if you go the other way and introduce e.g. an @nogil decorator, similar to that seen in some cpython alternatives, people will have a straightforward path to opt in incrementally as they fix and verify the critical parts of their code, while preserving known working behaviour elsewhere without having to throw entire complex systems over the wall at once.
There is also a Part II: https://www.niemanlab.org/2023/04/a-history-of-buzzfeed-news...
Thanks. I'm excited to become a pod person.
One bloomed in the greenhouse at my alma mater last month: https://www.local3news.com/local-news/rare-corpse-flower-blo...

I think its first and previous bloom was three years ago.
A "stay at home order" is considered a lockdown, per wikipedia. If you disagree, take it up with the editors there. You will find them far more receptive than me.

https://en.wikipedia.org/wiki/U.S._state_and_local_governmen...
> And it does go back to that "bipolarity"

It happens in New Zealand too, and we don’t have bipartisan politics
Yikes sounds like decomposition.
Much of why this stuff is not reusable is that eventually someone in the NLP world is going to properly migrate the features for promopt engineering that the coomers over in stable-diffusion/automatic1111 land have "pioneered", such as token weighting, negative prompts, token averaging, or etc. Literally all of these techniques work with regular LLMs (if you don't believe me, see here: https://gist.github.com/Hellisotherpeople/45c619ee22aac6865c...). NLP folks just haven't built the right tooling for it. Particularly sad since there's supposed to be an "Automatic1111 for LLMs" project called "Oogabooga" but it doesn't have any of the good features.

The future of LLM prompting will involve highly specialized and engineered prompts, much as is the case with most images seen on civit.ai

We are all likely to eventually throw away a lot of our current prompts
Thanks for all the details. The App Store app bit is a very bad look. The rest seems on the up and up, or at least isn't the OS phoning home your personal data.

I'm inclined to think the quote only meant to claim that Windows and macOS try to lock you in, and that Linux doesn't steal your personal data. The sentence structure is ambiguous.
Also what does this do that llamaindex doesn't?
China did solve it in the 50s.
You need (at current market rates) something in excess of $10k in solar panels to be able to fully charge an EV, plus additional high power charging equipment so that you can get more than a few miles of charge per hour. The other generally available renewable is wind.

Wind generators look like prices are somewhere around a dollar per watt of maximum output once you get beyond low end ~400W outputs. So again you're looking at 10s of thousands of dollars in hardware.

Both Solar and Wind are not continuous generators, so you'll need batteries, which for a reasonable capacity you're looking at more than 10k.

There are micro hydro generators but they all require a reasonable head and flow, and the way they throw around generation figures I couldn't work out when they were talking maximum output vs cumulative output over a day, month, or year (TBF this is a common problem with all discussions I can find about home power generation).

Geothermal generators are out of the question, they're not generally available, and there's no real small scale story that generates power in "I have an EV" quantities that I can find.
Not under any but most narrow of meanings, i.e. "can follow URLs / can talk HTTP". By itself, it's not a browser to users, it's not a browser to software developers, and it's definitely not a browser to lawyers and judges.
If it was just CO2 levels going up then maybe. The problem is that temperatures are going up too, so gas solubility is going down. This means that C4 or CAM photosynthesis plants might get an edge over C3 on a larger area.
>No, then they're called a Gary Stu, Marty Stu, Marty Sam or Tom Sue

Well I never heard any of those names ever.
I assume this is the link: https://github.com/nomic-ai/gpt4all ?
Your first step is "take" and your second step is "figure it out". If you did figure it out, you wouldn't have to be forcefully taking.

Are you assuming we already have enough resources to solve poverty? Isn't the actual issue that even with perfectly equal distribution we don't have enough resources for every body?

If the pie isn't big enough, why is the communist's focus always on how to divide the pie, rather than growing the pie? Do communists have anything to add at all when it comes to increasing productivity so we can all have more?

Wasn't lack of productivity exactly what killed communism? Even China didn't wake up until it opened its markets.

Inequality isn't increasing because poor people are doing worse. Poor people are doing better. Poor people's conditions are improving faster than they ever have. It's true that the richest people's wealth grew even faster than that, therefore increasing inequality.

But if you really care about the wellbeing of the poor, then you wouldn't distracted by inequality when the conditions are improving. You'd interrupt the most successful ever for the worst system ever, driven by jealousy, bitterness, and moral indignation.
> House construction is far, far more standardized and strict that programmers coding crap code. It's not a good analogy.

the way i took it was that in home construction what they describe is completely absurd and yet that is how most businesses do software, so the contrast there drove the point home (no pun intended)
You're exactly right. Making an objective claim that everything is relative is a performative contradiction...which is why the relativists are wrong. The objectivists are also wrong.

The truth is somewhere in the middle...which is why nobody has won the argument yet.
Depends a lot on the language does not it?
people on HN often claim that Python is "strongly typed" while PHP is loosely-typed, but I don't see the difference honestly. both are pretty loose.

re:
1 + "1"

I didn't get your point really. My reply was to counter claim that Python is supposedly "strongly typed" and I don't understand how this strong typing helps developers. I know that languages can infer types, which is tangential subject. I dont know why you brought this up
Why is that the answer? I'm talking about the insanity one about the soul who hears voices.
The only OpenAI 'crap' being used here is to generate the embeddings. Right now, OpenAI has some of the best and cheapest embeddings possible, especially for personal projects.

Once the vectors are created tho, you're completely off the cloud if you so choose.

You can always swap out the embedding generator too, because LangChain abstracts that for your exact gripes.

Everything else is already using huggingface here and can be swapped out for any other model besides GPT2 which supports the prompts.
Well, the user should be allowed to easily program it to send the notifications (or any other stuff that the web page may do) to a file (e.g. /dev/null) or to a pipe (e.g. a program that filters notifications).
Also Veep, a huge success in the US.
Is this robust enough to feed all your emails and chat logs into it and have convos with it? Will it be able to extract context to figure out questions to recent logs, etc?
You say that as if these events are unfortunate accidents instead of lack of technical leadership.

Sometimes they are. I've seen several applications that were successful for many years but eventually had to be rewritten because some vital dependency was no longer viable.

In web development we had an early generation of web apps that used plugins like Flash or Java to do things. Fast forward five years and those plugins have been brutally killed off by the browser developers. However other web technologies have become viable alternatives for some of those things. That's a big rewrite.

Some programming languages have had big jumps that weren't entirely compatible. Python 2 to Python 3 is an obvious example that took years but eventually resulted in not only Python 2 no longer being supported but some libraries never being updated to support Python 3 and others being created to provide similar functionality. In this case many of the direct code changes could be automated but you can't automate swapping out each obsolete library for a replacement with a similar purpose but a different API. And maybe you wouldn't want to because in the 5 or 10 years since you built the last version new ideas have come along and you're better off adopting them instead since you have to make a big change anyway.
Concatenating in NumPy with r_ and c_
Dude, take a break and come back to this in a day or two. I have not said that you're a rich white guy, and I have not said that you're a racist. If you want to talk about this with less emotion and with the assumption that I do listen to you and respect you, then we can do that.
Do you have citations on OpenAI embeddings being some of the cheapest and best? The signs I've seen points almost in the opposite direction?
> let's just agree to disagree

That‘s one, I‘d say.
Oh, not this again. No, it's not a net negative in ALL forms. And if you really were concerned about downsides, AI has a ton more potential downsides than Web3 ever did, including human extinction, as many of its top proponents have come out and publicly said. Nothing even remotely close to that is the case for Web3 at all:

https://www.nytimes.com/2023/05/30/technology/ai-threat-warn...

https://www.theguardian.com/technology/2023/may/10/ai-poses-...

https://www.theguardian.com/technology/2023/may/30/risk-of-e...

https://www.theverge.com/2023/5/30/23742005/ai-risk-warning-...
What a stupid comment
I think it would be a good idea in these situations (many cooks in the kitchen) to use a data attribute for each HTML element that uses HTMX, such as `data-htmx-id` to reference your elements instead of just using the `id` attribute (which already carries a lot of contextual baggage).

This would solve a couple potential issues:

- Identifying that the element is used for HTMX swaps

- Warning anyone that changing this attribute will break said HTMX swap
> Consider the rights and feelings of the pedestrians he almost hit and their families and communities

I don't think "we should stack up feelings against a human life" (or "we should stack up their right to feel safe against a right to be alive") is a winning argument.

There were options for diffusing the situation that didn't involve killing a man. People are justifiably angry they weren't taken.
Drones aren't big enough to make for good antiradiation munitions - the Russians will just put a cage/net around a dumb emitter and the Ukrainian drones will be attracted and failed.

Good antiradiation munitions need a powerful warhead and a human in the loop.
Honestly, for me, getting good quality results matters way more than keeping my searches private. And for that, nothing compares with GPT4.
> you can't even declare variables in the middle of a function

You can since Delphi 10.3.

https://en.m.wikipedia.org/wiki/History_of_Delphi_(software)
Show HN: An Ethereum-authenticated community on Web3, science and technology
Hi everyone, we started developing Caches about a year ago and it's finally gotten to a stage that I believe it can be enjoyed by more people. Accounts are totally anonymous thanks to Sign In with Ethereum. You don't need to provide an email address or password to sign up.

Some communities groups on the site are NFT gated and some you can't even see unless you have the correct NFT in your wallet. If you have a community NFT token we would love for you to make Caches your home. Reach out to @CachesAdmin on the site.

Friends, countryhumans, lend me your brains! Leave behind the wreckage of Reddit and begin to migrate to greener pastures! Join a social community created for nerds, by nerds! Ok, ok ... no need to shove, I'm leavin!
this is very cynical view and skips the US foreign policy failure of Obama in the middle east, and is part of the reason why Trump got elected in the first place.

not even talking about millions of killed/displaced refugees that are now in Europe and all over the middle east, and all the humanitarian disaster that was caused by strategic miscalculation and doctrine mismatch
> I got into situations where I needed to pass a bunch of data back to the rendering page and it got really messy.

Could you not fetch that data separately from the patterns htmx provides and do some light parsing/rendering logic client-side?
> The only solution (for a non development/testing uses) is for applications to accept no as an answer.

Agreed; feeding fake data is not a substitute for writing good applications. However, that does not mean that feeding fake data is worthless. There are many uses (including, but not limited to, programmers/companies that have failed to write good applications; like you say, testing is also a use of such a thing).
"whenever an object is passed" clearly refers to run-time. An object is not being passed when we are compiling the function call.

"declared in the function" clearly means that the function has an internal type check.

An interface declaration (Modula-2 interface file, C header file with prototypes) is not "in the function"; it's compile-time meta-data about a function.

A function call between separately compiled translation units has no idea what is in a function.
The context for the joke is that some job listings have inflated requirements, like N years of experience from framework/language X that realistically nobody has (or in this case, can have)
Interesting! I'll probably start doing that. I hadn't connected the satisfies keyword to this problem, but it seems like a good solution.

My complaint about writing the schemas twice isn't the busywork (which is, like, annoying, but whatever I'll live). But the concern about small discrepancies between the two causing problems later.

I'll definitely use this going forward.
In the books Children of Time and the sequels (Children of Ruin and Children of Memory), when Dr Kern's human body is destroyed she ends up being existing as an artificial intelligence in multiple systems, one being traditional software and another as an ant swarm that can process information and carry data (her emulated self in this case).

The ants in the book are slightly "uplifted" as a species but are still just ants, a species subordinated to the uplifted spider-arachnid species.
The point of civil disobedience is often to ensure the non-graceful handling being protested results in a very non-graceful effect. Companies soften their stance real quick when the hard positions they hold cost them a lot more.
Apps punish users - there must absolutely be a feedback effect of users punishing apps.
Don't build a personal ChatGPT, and don't let OpenAI, Microsoft and their business partners (and probably the US government) have a bunch of your personal and private information.
we are talking about pascal
As chance would have it, my daughter is at summer program at the Jacobs School of Music at Indiana University and she texted a photo from the greenhouse last week that the corpse flower there is blooming.

The appearance of the article on NPR seems to imply rarity of the blooms; but if anecdata says anything about it, it may not be…
> like weev w/wget

Speaking of this and other cases of trying to punish someone for every iteration of a for loop - I wonder if the result would be the same if the accused drove actual browser to click stuff in a for loop, vs. using curl directly. I imagine the same, but then...

... what if they paid N people some token amount of money, to have each of those people do one step of the loop and send them the result? Does executing a for loop entirely on in part on the human substrate instead of in silico is seen as abuse under CFAA?

(I have a feeling that it might not be - there's lots of jobs online and offline that involve one company paying lots of people some money for gathering information from their competitors, in a way the latter very much don't like.)
Obviously, what they're going to do is blast music really loud.
Mobility is such an antifeature. Taking your work home with you is something you really shouldn't have to do. Worse even, taking your computer which potentially holds sensitive data with you could result in it getting stolen, at which point you've got a big problem on your hands.

Laptops for work make no sense unless you're a field researcher.
Against Method by Paul Feyerabend is extremely readable
https://en.wikipedia.org/wiki/Against_Method

The Unique and Its Propery by Max Stirner is extremely readable
https://en.wikipedia.org/wiki/The_Ego_and_Its_Own

Particularly surprising in the case of Stirner because he was a friend of and contemporary of Marx (both Young Hegelians), who was writing extremely unreadable works at exactly the same time. Consider that they were all reacting to the least readable author in the modern cannon, Hegel
What do you (or anyone else, feel free to chime in) do with other LLMs that makes them useable for anything that is not strictly tinkering?

Here is my premise: We are past the wonder stage. I want to actually get stuff done efficiently. From what I have tested so far, the only model that allows me to do that halfway reliably is GPT-4.

Am I incompetent or are we really just wishfully thinking in HN spirit that other LLMs are a lot better at being applied to actual tasks that require a certain level of quality, consistency and reliability?
I like how you decided to trash years of my life and experience and made up a scenario where I'm motivated by envy or failure (and even faulty of bad attitude) behind your keyboard because my experience doesn't fit your views.

If you've been in this field, I'll gladly listen to your experience.
The more recent FSD software versions do try to detect these. It will warn you about a "hands on defeat-device detected" before locking you out. Not sure how it's determining this. Likely the interior camera seeing both of your hands at some point and the steering wheel still saying its detecting pressure. Or maybe it detects the amount of pressure against the wheel, and obviously a human would result in varying amounts of force vs. probably a consistent amount of force if its a weighted stationary object.
It's difficult to compete. A small business might answer 10,000 requests to their chat bot. The options are

- Pay openai less than $50mo

- Manage cloud gpus, hire ml engineers > $1000/mo

- Buy a local 4090 and put it under someone's desk, $no reliability +$1500 fixed

Any larger business will need scalability and you still can't compete with openai pricing.

Maybe one of you startup inclined people can make an openllama startup that charges by request and allows for finetuning, vector storage
Good points I actively avoid allergies nearly all political discourse (especially online) for the reasons u stated. Unless ur also masochistic, any normal person would be driven insane at the sheer absurdity of it all (“normal” being us abnormal people that find nuanced and good faith discussions constructive lol)
Be less interesting? Seriously though, for static content like an article, caching and cdn’s can handle fairly large traffic.
Calling alcohol social feels like an evil marketing gimmick - certainly our advertising pretends it is social.

Alcohol is deeply socially destructive - we know the stereotypical examples of damage in the the poor and the indigenous communities. The examples of damage in middle-class homes of the wealthy (e.g. doctors) and the average working class (tradies and nurses) is much less visible.

The words “social” and “alcohol” are immiscible.
More evidence for why I tell people that the Cogito was a massive mistake. You literally cannot even imagine ontology (being) without knowledge or "thought".

The problem is that the appearance of thinking is not thinking. You don't actually know for sure that you are thinking. P-zombies will gladly tell you "they think therefor they are".

My ontological foundation starts with my uniqueness, coming from the "creative nothing". Go read stirner or like dharmic philosophy for a non-cogitoist take on ontology.
Hugged is an euphemism that describes when demand is higher than supply for server/bandwidth resources.

Solution: increase supply and/or reduce demand.

Reducing the dynamic content (reduce the number of HTTP requests and the time taken for the server to respond to each request) goes a long way, but CDNs are good for increasing supply if that is ultimately necessary.
> The doc contained system requirements for both iOS and Android devices, and we were specifically rejected for even having mentioned the competing operating system.

same, for us we just open all links in safari now, so if mentions of android show up its not "in the app"... an arguably worsened user experience for no good reason except to keep apple happy
I started participating in a Discord server and it was awful in all the ways that have been said. Strange UI, info scattered everywhere, mediocre search, can't find anything. I can chat with real people though.

Then I realized, maybe all this is good in a way. Discord allows you to chat with real people, but if you want to promote yourself or do some stealth advertising, it sucks. In the end it seems to be full of honest to goodness normal people who share an interest.
That is what sanctions do, so either no politician has ever thought about the implication of sanctions or it's an intended effect.
Code Interpreter appeared in ChatGPT+ for me yesterday and I spent several hours experimenting with it. It seems to have huge potential, and I was barely able to scratch the surface. I'm looking forward to seeing what uses other people come up with for it.

OpenAI announced a few days ago that they have disabled the browsing mode for a while:

https://help.openai.com/en/articles/8077698-how-do-i-use-cha...
It'd be in user's best interest but not corporation's best interest.
Many years ago I learned programming that way. Pascal then C, Assembler and VB Script. I completely agree with the argument that it is a great teaching language. Our teachers even explained this to us. JS, C, C#, Python and Java syntax is just crazy for real newbies. Curly braces basically do not exist in normal life and scare people. And Go and the functional group of languages are just not understandable with their concepts. Imperative programming is much easier to understand.

Pascal is in a sweet spot.