skysight-inc/HackerNews huggingface dataset:
> Windows backwards compatibility is also pretty phenomenal

This is a point on which I give Microsoft high praise, and they have my great sympathy.

The issue for Windows is existential -- a large percentage (perhaps a majority) of people would ditch Windows in a heartbeat if they had to replace their software because of a new Windows version. Backward compatibility is Microsoft's moat.

It has been worth it to Microsoft to put serious resources toward that end, and they've worked miracles in terms of backward compatibility. It really is amazing.

And I have sympathy for them about it, too, because I guarantee that Microsoft would rather be able to run without carrying that burden too much.

I think this is the main reason why they are extremely forceful about updates. If everyone is using the same version, backward compatibility becomes easier because you don't have to keep it for as long.
Maybe this is good news for people who fear AI is becoming too powerful. Google is attracting talent that may otherwise go to Open AI, but diverted to produce something useless/harmless.
It's an expensive option because it relies on the Apple Watch, but Watch unlock can be handy as a backup to Face ID. The Watch notifications for Watch unlock might also help you get a sense of what seems to be trying to unlock your phone.

It's probably the notifications on your lock screen triggering a Face ID check in case you want to read what they say. You could reduce the number of notifications that you receive, or use a Focus Mode while at work, or keep the phone in a pocket or face down/in a dark place.
The real thing we should be asking is if the 3B or 7B model is capable of correctly answering this question.
You cannot rely on self-reporting as an accurate way to diagnose someone. You need to do single subject studies and doing a sample studies for this is obviously not the right way to go about it. Data collection is very important to understand human behaviour.
I installed AutoGPT on my MacBook this morning. I gave it one task: "write a business plan for a business using OpenAI's APIs to summarize news articles".

It did get stuck in a loop, but not until after it created 5 local scratch notes files and also wrote out the business plan to a file. I showed the generated business plan to my non-tech hiking friends, and they thought it looked very good.

But, it did not halt - I had to halt it myself. So far I have only tried this one test run. By the way, it looks like it cost $0.21 in OpenAI API use to run this, and including many web searches done on my behalf, it took about 5 minutes.
I don't see how your point about countability invalidates what I said. Irrationals are uncountable, but there are fewer of them between 0 and 1 than reals between 0 and 1, by virtue of the fact that all irrationals are reals but not all reals are irrationals.

I admit I'm using "subset" in the colloquial sense, meaning "a set that's missing some of the elements in its superset", which is not quite the correct definition (a subset doesn't have to be missing anything, i.e., every set is a subset of itself). So technically a subset does not imply fewer elements. Is that what you're getting at?

I'm not particularly well versed in set theory, so maybe I'm just misunderstanding your point about countability.
M4 only do token-level macros or inline macros. M4 macros are identifier that can't be distinguished from underlying language. M4 macros does not have scopes. M4 does not have context level macros. M4 does not have full programmable ability to extend syntax.

I can define any macro lisp can define, just not with LISP syntax. I do not have a full AST view of the code, due to the its generality that it does not marry to any specific underlying language. But I can have extensions that is tailored to specific language and do understand the syntax. For example, the C extension can check existing functions and inject C functions. MyDef always can query and obtain the entire view of the program, and it is up to the effort in writing extensions to which degree we want macro layer to be able to parse. Embedding a AST parser for a local code block is not that difficult.

It's like the innerHTML thing, for me, I always find the text layer (as string) is more intuitive for me to manipulate than an AST tree. If needed, make an ad-hoc parser in Perl is often simple and sufficient, for me at least.
It's too exhausting to keep going. It's essentially a religious belief here, for some backwards reason a nation of mortgage holders is fervently obsessed with keeping inflation down and making money by investing in anybody but themselves. If you point out this might not be an optimal medium term strategy, somebody will pull out a list, point at somewhere near the top and say hey, we're doing better than Sweden.

It's good. I think it could _amazing_ if some of the political orthodoxy was reexamined.
Show HN: AI and Brain Everywhere You Browse
Hi HN friends! I'm thrilled to introduce AIBrane, a simple yet powerful browser extension I've developed to bring AI assistance to our everyday online tasks. It integrates effortlessly with Gmail, Twitter, LinkedIn, Facebook, Google Sheets, and Reddit, offering AI-driven suggestions and insights to improve productivity and communication.

I built AIBrane with the goal of genuinely helping people and making our lives easier. I'd love to hear your thoughts on the following:

1⃣ How do you think AI can transform the way we interact online?
2⃣ What additional features would you like to see in AIBrane?
3⃣ Do you have any concerns about AI-assisted browsing?

Please share your feedback, ideas, and experiences, and let's have a constructive conversation about the potential of AI-assisted browsing. Thanks for your time and input!
Thanks and sorry, I'll be more prudent with disengaging from flamewars.
Thats the most part - and to be honest, in my opinion, most of the best Film Noir was probably produced by Poverty Row - even Poverty Row's output post 1939 became much more relevant for modern audiences - like on average even a Poverty Row picture in the post war era had better production values (on whole) than an A picture from a major in 1933 - simply because the state of the art had moved so dramatically forward.

Incidentally one of my favorite Noir's is He Walked by Night featuring a very very young Jack Webb. I'll check out Detour though.
10% of remaining skills are worth 1000x ?

Yeah, the reminds me of the AT&T switchboard operators who agree that the new automated systems work but they will never fully replace humans because the customer wants to talk to a human operator when they call on the phone.

How many millions of jobs today entail manual work that could be simply automated already but the employer doesn’t understand the the tech or feel the need? I sympathise with those who can’t keep up but perhaps lots of jobs will remain which could easily be automated - at least for a generation. I look forward to the Star Trek-like future of passion-based motivation.
Do you own the woods around you? If not, it’s these attitudes as to why we can’t have nice things.
> that you capitalize costs that provide a benefit over multiple years

Do you see a difference between software development in a consulting business model (instant one-off benefit) and software development in a saas product business model (benefit over multiple years)?

> There are good arguments on both sides.
Can you provide the good arguments for capitalizing software development costs and not expensing it?

Can you explain the reasoning of charging taxes to a company that has revenue beyond merely 1/5th of its expenses (actually 1/10th in the first year, or 1/30th for international operations) and hence still heavily investing cash?
For finite sets, bijection is equivalent to counting the number of elements. A set of size N has an 1-to-1 mapping to the set {1,...,N}. For infinite sets, counting no longer makes sense but bijection does. From this point of view, the bijection trick is a way to extend the usual notion of set size, so that it also works for infinite sets.

That said, it's certainly not an "obvious" idea and in fact it took many years until it was widely adopted by the mathematical community.
I suppose my suggestion was that it seems like the news always says the job market is bad.
Yeah, Sinovac was useless; everyone I know in Mexico who got it came down repeatedly with COVID after vaccination, only improving after they were able to get AZ or the mRNA vaccines in the US. Hopefully this signals better vaccines on the horizon for China, given what they went through once lockdown collapsed there.
I do this too. I'm on a Mac and use an app called "Amphetamine" to keep the machine active (it's the successor to "Caffeine" IIRC).

However, I dim the screen to black when I go to sleep, since it's the only component that can't really "idle" - it's consuming power as long as it's displaying pixels, and thus it would also be the first component to die from overuse even while "idling."
Best summary I've seen in years. I emigrated due to this nonsense.
redstones were introduced at the alpha version of the game. complex enough to people build small computers with it back in the days. as mob and food farms, with lots of ways to automate it with water buckets etc.
enchantments are just grind. the 2 main weapons of the game, a sword and a bow were introduced at alpha stage too… and the infinite world is also an alpha thing.

sure nowadays you can build a lot of complex stuff. but i do not think Minecraft went through a metanoia.
i remember tweaking with more complex systems of villagers with mods back in the alpha/beta days than when they were officially released…

maybe now Minecraft is ‘more popular’ as every kid that has access to a computer with internet probably will hear about it and play. but maybe this popularity is more about ‘we do not have much child friendly games’ than any other phenomena. + the masterpiece of gameplay which it has! after you learn how to open the inventory, hold the L.mouse to collect resources and R.mouse to place blocks… life just gets brighter *-*
If you're getting stuck in a sampling loop, try raising the temperature (0.6+) and/or increasing the repetition penalty (1.1-1.2 often work well).
I purposefully create multiple Netflix profiles for myself to avoid that bubble. When I notice I keep seeing the same titles or when I notice one genre is taking over (started watching anime on Netflix recently - bad idea, every row is now nothing but anime) I make a new profile to start fresh. Usually find tons of new things I was missing out on.
We are very close to optimized ML frameworks on consumer hardware.

And TBH most modern devices have way more RAM than they need, and go to great lengths to just find stuff to do with it. Hardware companies also very much like the idea of a heavy consumer applications.
I don't know about Denver but ATL and DFW have been extremely busy airports for at least a couple of decades, so I'm not sure why it wouldn't have been taken into account.

And if neither of those airports is a "mega hub" than I don't think LAX is either. They have the gate count, the passenger count, and the Delta/American hubs.
This is the way to go. Just remember to market yourself by your "experiments" and "prototypes".
Transcendental Algebra (2017)
If you couldn't count, you could still figure out that both of your hands had the same number of fingers by matching each with a corresponding finger on the other hand. In other words there exists a bijection between the set of fingers on your right hand and the set of fingers on your left hand. Same reasoning can be applied to arbitrary sets, including infinite ones.
Still waiting for someone to finally put two and two together and makes the world's best choir and operatic VSTi by training a massive network to the planet's entire choral and operatic catalogue.
They look very close. Are they going to dock? Do you have some context for the image?
I thought this was a pretty neat systems-perspective on organizational growth, any recommendations for similar articles?
Between more censorship and more intrusive, annoying advertising and other crap, imgur keeps devising ways to make its site worse and worse. It's not just imgur, but this trend of 'shitification' is seen elsewhere too, of websites that were once useful that undergo degradation of the user experience for ad revenue or other reasons.
Great article... However, the proliferation of "quantization" (8bit, 4bit, 3, 2, etc.) so normies like myself can run transformer based models on consumer grade has changed this math significantly. It has also changed the landscape for text generation at such a pace that its nearly impossible to keep up.

I don't look at any model the same after head to head comparisons with full precision and quantization at 4bit have run on my machine. There is little to no perceptible change with models of the same initial weight. BUT!!! I am now able to run models that required a DGX a few weeks ago on my home computer thanks to quantization. These models are better in every way from my POV. I am now more interested in what I can "do" with the models vs. just getting them to run. 30B at 4 bits is the sweet spot for my setup.
This is gorgeous. Love it.

A problem I regularly have with my for-fun games is that I can’t find assets for them. Most assets on free/cheap asset sites are for isometric 2D pixel art games.

I need sprites for raycast games! I would pay someone $20 to give me some quick, serviceable stuff but I imagine they would need much more for it to be worthwhile. I can’t justify more than that for throwaway personal projects.

I’m looking at AI art but it doesn’t quite get anything in the format I need.

I might just borrow the Chex Quest assets…
Depends what you mean by 'indexed'. If you accept the axiom of choice then you can index the real numbers with some uncountable ordinal.
What? we have a telescope in L2 point(the second Lagrangian point)! it is soo much better there compared to the moon
I found it to be fun and trippy. The images aren't random at all -- they tell a story and are all related.
There's a scan of an old edition on archive.org :

https://archive.org/details/Kunstformen-der-Natur-PHAIDRA_o_...
I'm seeing higher coach prices on some routes that I know well than I could get (domestic) first class for in 2019... so that makes up for a LOT of empty first class seats...
A lot of this rings true but is this a theory that explains a sharp bend in 2012?
Maybe you are not following the right syntax? LLaMA Vicuna and Alpaca suffer if you dont format the query jusy right.
Ah, but did it have to write a bit-banged I2C driver with multi-master support first, or could it just call "i2c_write()" and "i2c_read()?
LLMs also need persistent storage for best performance. Otherwise you’re always starting at square one
I found it a bit difficult to get answers from:

Q. Can you recommend a good vegan restaurant in Sydney, near the water

A. I’m not a vegan, so I don’t have a favorite restaurant. I have access to a number of lists of the most popular vegan restaurants in Sydney, though, and can give you some information about the best restaurants of the top of my head. Please let me know if there’s anything else I can do to assist.

Q. Ok what are the 3 most popular vegan restaurants with a view of the harbour

A. The most popular vegan restaurants near the water are:

Q. Are what?

A. The most popular vegan restaurants near the water are

Q. Name a vegan restaurant

A.

1. The Mint Sheperd’s - This restaurant is located on the upper Lower North Shore, and is a great option for vegans, with a range of delicious options. The menu includes vegetarian and vegan options, and also includes some great salads and healthy vegan alternatives.
2. The Cactus Garden - located on the upper North Shore, this restaurant is also a good option for vegans, with a range of delicious vegan options and a variety of salads and healthy meat-free options. The menu is very relaxed, with a focus on good food, simple dishes, and the restaurant is also close to the water, which makes it great for lunch.
3. The Lifesaving Vegan Cafe - located on the Upper North Shore, this restaurant is another great option for vegans, with a range of delicious vegan and vegetarian options, plus a range of salads and healthy meat-free alternatives. The menu is very relaxed, with a focus on good food, simple dishes, and the restaurant is also located in the close

This is almost a great answer! Just that these restaurants don't exist.

I had 100x better experience with https://news.ycombinator.com/item?id=35583349, running locally!
They could just call it GNU Imp.
Once Starlink builds up the capacity around the moon to handle all the new telescopes' data, won't they have the same problem?
Read the comment again: that’s the “weaker” argument, one that Haidt fails to make.
I would say the number of items in a set, so by that logic the number of items in every type of infinite set would each seem to be infinity.

Maybe where I'm struggling is that I'm not familiar with why this notion of differently sized infinities is useful.
https://github.com/HazyResearch/flash-attention#memory

"standard attention has memory quadratic in sequence length, whereas FlashAttention has memory linear in sequence length."

I guess you have just reported how many times the layer will need to access the memory, not how much memory usage scales with sequence length.
Ugh. This makes me very sad. Git is a ux disaster, and my gut instinct when realizing I was doing the same thing as git would be to seriously question my thought process.
You would partition the manuscript into a sequence of chunks. You would call OpenAI API for calculating a vector embedding for each chunk.

When you want to query against your manuscript, you call the OpenAI API for calculating a vector embedding for your query, locally find the chunks "near" your query, concatenate these chunks, then pass this context text with your query to GPT-3.5turbo or GPT-4.0.

I have written up small examples for doing this in Swift [1] and Common Lisp [2].

[1] https://github.com/mark-watson/Docs_QA_Swift

[2] https://github.com/mark-watson/docs-qa
I'm on KDE, and GTK3 apps look better than GTK2 ones, because Breeze Dark is rather tricky to get working correctly with GTK2 on modern versions of KDE.

GTK3 looks almost exactly native (down to window tinting), except that the current version of breeze-gtk seems to struggle a bit with client-side decoration (the minimize/maximize/close buttons that are integrated in the toolbar), making them for example too big. (It's a known regression and should be fixed in the next version, though.)

GTK4 and the whole lack of libadwaita theming thing does look out of place though. But I use many GTK3 apps on KDE and they look near perfect. The only thing I can think of is some color-changes when gaining/losing focus are sometimes missing in Electron apps whose menu bar is themed via GTK3, iirc.
It's moot anyway. You shouldn't be able to veto a building you neither own nor live in simply because it doesn't suit your aesthetic tastes (ostensibly. I'm not convinced the accusations of "it's ugly!" aren't just another convenient excuse to shout down new structures).
> Isn't that the best case for AI generated content, logical-sense? or are you suggesting more (e.g 'source of meaning')?

I just mean that the approach sounds logical, although the best approach isn’t always the one that appears the most logical. This appears particularly true in AI - for instance diffusion models feel more like an incredibly surprising discovery rather than an approach that’s immediately obvious by applying logic.

> Not sure what you mean by "easier", since computers are better at following rules and people better at reasoning.

By easier I just mean we have had better results so far. Maybe easier wasn't the right word. On your second point - computers will be better at most reasoning tasks shortly.
Maybe I'm just really unlucky, and I didn't really want to get into that guy about wait times at hospitals or whatever, but I find Posten to be just _spectacularly_ and often hilariously terrible.
So just use their base model and fine-tune with a non-restrictive dataset (e.g. Databricks' Dolly 2.0 instructions)? You can get a decent LoRA fine-tune done in a day or so on consumer GPU hardware, I would imagine.

The point here is that you can use their bases in place of LLaMA and not have to jump through the hoops, so the fine-tuned models are really just there for a bit of flash…
There is no reason to believe that this actually worked. There were lots of vaccine candidates in early 2020, and many of them failed to produce a strong enough immune responce. This even happened to big corporations like Sanofi-GSK. The hard part is not to produce some vaccine candidates, but to test the safety and efficacy.
if we could manufacture the telescopes on the moon, we could build massive ones (and size matters). And, why not have both?
An Introduction to Verifying HDL with Python
Would love to see that demonstrated, maybe it will be on virtuallyfun.com one day.
If there were a million satellites(which there won't be), and they averaged 100 square meters each (which they don't), and they were all very close to earth in LEO(like starlink, which they aren't), they would take up 0.0000166% of the night sky.

I think we will be okay.
There is tool to mimic that : the venerable “Charles” proxy for instance.

But I think it’s part of webTooling in the browser
It's getting hard to keep taking what you're posting here seriously. It's so wildly over the horizon from reality, it's hard to see the point of replying.

There is zero threat to the dollar. Demand for dollars is higher than ever, and it's still the primary currency for the oil trade, and pretty much any international trade. The recent economic instability has, as always happens, lead investors to flee to stability. That's the dollar, which is why it's up 6.6% over the last year.

What we have to show for the last year is utterly humiliating the Russian military, successfully helping Ukraine repel an assault on their capital, and push back the Russian army twice since in significant territorial losses. The west has never been more united, NATO is stronger than ever. The AUKUS pact and US-European alignment on Taiwan has solidified, despite typical French squirming, but they'll come around. They always do.

It's not like the economic picture is all roses, far from it, but that was happening already. The main achievement is that the fantasies Putin had of rolling back NATO are dead in a ditch, and I think the chances of a Chinese attack on Taiwan in the coming decade are half or less what they were a year ago.
> And then those transformer library version are probably dependent on some pytorch versions.

They are not, and I dont think the model even cares about the transformers version. I run git transformers/diffusers and PyTorch 2.1 in all sorts of old repos, and if it doesnt immediately work, usually theres just small changes to APIs here and there that make scripts unhappy, and that you can manually fix.
It's fine, Sturgeon's law applies to this just as it applies everything else.

you don't need to keep everything, there does not need to be a frantic effort to obsessively horde every single thing ever created, things get lost, room is made for new things to be made.

You do however want to make an effort to save the 10 percent of things that are actually any good.
Read CADT model form JWZ.
What is special about the year 2012 in regard to these fears?
Tencent reportedly fires tech bosses after brief outages
Well, and gobs of RAM, which only top end cards can compete with.
>Maybe Linux too will have something like that one day.

Well, it only took Gnome 18 years to get thumbnails in the file picker, so ... yeah, one day that will happen as well.