skysight-inc/HackerNews huggingface dataset:
Also see discussion (sub-thread) on why just guessing SAT answers won't cut it in the long run:

https://twitter.com/rao2z/status/1553082695852298240
Both of those are very useful, but slow, especially valgrind.

I don't know OpenBSD, but presumably this is analogous to glibc's relatively faster memory sanity checking.

For GCC and clang you'd also want LSAN for this, not ASAN. ASAN is more accurate for edge cases, but much slower.

"Slow" here means that even for development the runtime can be prohibitively expensive.

E.g. I regularly run git's test suite, optimized/LSAN/ASAN/valgrind runtime is on the order of 3m/15m/30m/24 hours. The basic glibc sanity checking only adds a minute or two to the optimized run.

An advantage of any malloc based detection is also that you can run it on any existing binary. Whereas the likes of LSAN and ASAN require a custom debugging build (or to have that tracing overhead present in your production build).
In practice, it's a lot more like web dev than you might imagine.

The above means that the approach is web-dev like gluing, almost literally just,

from existingliba import someop
from existinglibb import anotherop
from someaifw import glue

a = someop(X)
b = glue(a)
Y = anotherop(b)
> What value does scale have, if you get only lazy retweets and likes and low-quality responses? I don't need 'eyeballs-on-tweet' kind of exposure, but interesting discussions.

Normal users use the block button, protected tweets and whitelisted or follower-only replies which those already exist. Problem solved. This is a non-issue.

Even by looking at the so-called 'migration', it has failed to convince existing Twitter users to stick around on Mastodon which by comparing with the figures: 220M vs 50,000 daily active users, it is not even close to 1%.

It's clear the Mastodon has decided to immediately disqualify itself and has decided to add more barriers to entry and migrations within migrations as features as you have just admitted:

> ...yes I managed to pass the 15 minutes selection of an instance. Which isn't all-too-important either, as instances federate with each other and you can migrate later, if you wish.

My point(s) still stand. An island for techies and geeks isn't a great pitch to normal people who dislike Twitter and are looking for a viable alternative.
Looking forward to the next generation of cheap GPUs with enough VRAM to run models like Vicuna-13 locally.
I think the first software patents were for things like UI elements - the Lotus 1-2-3 design, or one-click ordering. I don't see any point in releasing code for something like that; the code is competely orthogonal to the design. You don't even need source to prove you are in posession of the invention; a working instantiation would seem quite sufficient.

Code only becomes relevant if the "invention" amounts to an algorithm. But algorithms aren't eligible for patents are they? Well, they aren't here. So ironically, if you need to provide code to support your patent application, then you've proved you aren't eligible for a patent.
Just get rid of all the abbreviations in your mind - they seem to be very intimidating. I really liked the explanation that Stephen Wolfram did on ChatGPT:

https://writings.stephenwolfram.com/2023/02/what-is-chatgpt-...

Maybe someone has resources to understand machine-learning on an ELI5 level.
I agree, I find twitter to be a better experience and something I actually use now. I do not before
Just admit that school's main function is free day care. Provide rooms for playing and quiet rooms for those who want to study.
> That's an argument for including support for real mode, rather than for coming up in it.

Not really. You have to come up in it to boot software that expects to already be in it.
I'll cancel your anecdote with mine.

I didn't take any advance math in HS and actually did quite average. By some miracle I was admitted a very good Electrical Engineering program. However they made me take these advance math classes before university to prove that I could handle the task.

Removing these options from HS just lowers the bar for everyone.
Funny seeing that relatively old article, when you consider that JetBrains made good on that promise: Kotlin made writing DSLs actually pleasant.

class ModuleTest: StringSpec({
"it should behave well" {
2 + 4 shouldBe 6
"test" shouldBeInstanceOf<String>()
}
})

This includes many things that Kotlin makes use of, like String.invoke(block: () -> Unit) which is both an extension on String instances and makes uses of Kotlin's "ability" to move lambdas out of parentheses if they are the last argument (so something like log(lazyString: () -> String), can be used as log({ "message" }), or log { "message" }, @DslMarker (to allow a String.invoke(() -> Unit) block in the form of "it should behave well", only inside the context of a StringSpec.), infix funs (+ is infix operator fun plus(), with some slightly specific language handling because it's extremely common, infix fun shouldBe). This is using Kotest (https://kotest.io/docs/framework/writing-tests.html), but other tools like Ktor, Skrape.it (https://github.com/skrapeit/skrape.it), and more: https://kotlinlang.org/docs/type-safe-builders.html
Hey Kevin! First of all. I am a regular listener to your podcast! Love it!

Now, I am not specifically targeting SvelteKit to be fair. But the whole host of meta-frameworks like NextJS, NuxtJS etc which Vercel is pushing.

These frameworks in general are too much complexity added. SSR is hard and the best way to handle all of these is to not have a server layer at all. That is just abstract the rendering/routing part and leave the rest of the server stuffs to the user.

I want to simply write my Fastify/Express/Go-gin/Django app. Then add SvelteKit as my front-end with SSR support.

Right now, I first write SvelteKit and then think how am I going to integrate Express and Fastify to it (for a moment let's leave non-node solutions).

Trust me. If you simply leave the server out of SK and generate a simple API abstraction like `res.send(renderSKPath('/users/:id', { serverData }))`. It would have done the job.

I think its difficult to express what I want to say, but in short, remove the server and keep SK as a rendering layer only.

P.S. I know that there is an express adapter for SK. But that is not the point of this comment at all.
As an order of magnitude point, my experience has been that a bunch of CPUs trying to xadd has a throughput bottleneck on the scale of once per 50 to 100 nanoseconds.

But even if you allow an entire extra order of magnitude, at one per microsecond, that's still 10000 over the course of 10 milliseconds which is plenty for this usecase, at least for now.
Dunno... most people I meet seem to be put off by my software development ideas. I stick to them because they seem to work very well even if it initially creates a lot of friction between me, the team and the management.

Where to start... I think test driven development and unit testing is not giving promised value and instead wastes time and makes software more difficult to refactor and I think functional end to end testing to be much more effective and cost effective. I think code reviews are bad because they don't deliver on promised value and individual craftsmanship (peoples ability to deliver on their own) and pair programming are better. I think microservices to be a wrong approach for 99.9% projects and fixed a bunch of projects by rolling the software into monolyths. I believe bugs can only be truly reduced by taking responsibility for writing correct code in the first place and anything afterwards is expensive and not effective (you can only remove bugs that manifest themselves, everything else stays). I don't compile/run my code multiple times a day -- I write it all in one go, sometimes for weeks, then run it. If it works it means I know what I am doing and if it doesn't -- it is the failure of my process. Where most devs just fix the bug and restart the app I will start an investigation into why my process failed and how I need to fix it -- NTSB-style. I believe that nobody understand what Agile is and the way it is applied is damaging to software industry. I don't believe in linear development progress -- I design my apps top down and at the same time program them bottom up until top down and bottom up meet together. I structure my development process around rewriting the software -- I write the first version and then I will refactor/rewrite to remove any unnecessary complexity until I am happy with it. There is no working software for a long time and then suddenly it is complete. And when it is complete there is no more testing stages, bugs to fix -- it is truly complete.

So you see, I am probably too alien a developer to give advice to general population of developers.

And when I do talk about my ideas it usually ends in flame wars or drowns being downvoted to hell because people tend to downvote anything and everything that does not confirm their existing worldviews.
Hmmm, I think there must be some local influence in this too. Growing up in the UK, I can recall hearing gazillion far more frequently than zillion.

Also, younger children would often also say squillion for a number even bigger than (ga)zillion.
I think they're pretty high voltage / have a guard to stop humans touching the conductor?

We used to have them in a lab I worked in and occasionally a larger insect (e.g. wasp) would get caught between two rows of the grid and you'd hear it spark / them cook...
Greetings founders, will you help future YC founders by contributing to PitchBook's study on the founder experience of going through a major accelerator?

https://qualtrics.ca1.qualtrics.com/jfe/form/SV_bQKa2s9k0lID...

There are about 15 questions and it takes less than five minutes. Your identify is completely anonymous and won’t be included in our report.

Also, we will send you our final research report.

Thank you,
James Ulan and Vincent Harrison
james.ulan@pitchbook.com | vincent.harrison@pitchbook.com
Monet's dreamy haze was pollution, study finds
Thanks for sharing! That is what I suspected. I also suspect that while this does increase revenue in the short term, it might backfire in the future. I hate this messaging so much, that I now dislike booking.com overall and I actively look for other options (such as booking directly with hotels). Searching for a place to stay on Booking is no longer fun: it is an anxiety-inducing chore that I hate and try to avoid. And that's from a Genius level 2 customer.

I guess this works for now, but as soon as a viable competitor appears…
short answer is no, but the frequencies aren't far off

wifi operates at 2.4Ghz most typically and also at 5Ghz (shorter range but faster)

5G will be ranges of frequencies, depending on jurisdictions, but typically between these two frequencies which are the sweet spot for domestic usage

in the US, 5G carries AFAIK have ranges between 2.5Ghz and just under 4Ghz

in the UK we have EE, O2 and Three operating ranges around 700Mhz besides also having ranges around 3.4Ghz and 3.6Ghz were Vodafone operates too, and those work a lot like US 5G

4G in the UK operates under 2.6Ghz, which is pretty close to wifi also, and LTE is just over 850Mhz or so

basically wifi, 4G and 5G are not strictly higher or lower frequency to each other, it depends on local operators
> China “recognized the need to reform” the UN and the Security Council in order to make them “more representative and democratic,”

Well thats good. A toothless UN is one of the worst mistakes of the post-WWII order.

And I can see why China wants that right this second... but I'm surprised they want this in the longer term, as a stronger UN beings bigger repercussions for its largest members.
Thanks for a useful comment.

Do you reckon the 4bit quantized Vicuna just won't do here?
https://huggingface.co/anon8231489123/vicuna-13b-GPTQ-4bit-1...

I think with this everything OpenAI demonstrated ~5 weeks ago has been recreated by actually-open AI. Even if it runs much much slower on prosumer hardware and with less good results at least it is de-magicked.
LXC doesn't have the images and tools ecosystem around.
Also, LXC and Proxmox have a mutual vibe that is amazing to work with (if you care to take a closer look).

LXC is a first class citizen in Proxmox, with clear documentation, config files, CLI tools and web UI. It can be backed-up just like a VM (Proxmox Backup Server FTW!), can be set up mostly like a VM, it boots instantly and so on. It's such a joy to work with, unless you want access to actual hardware (which includes things like mounting or hosting NFS/Samba), but even then it's easy to find help on docs and forums (the latter are surprisingly up to date).

But LXC does not have that "ephemeral" nature like Docker. Container "templates" are clean but full operating systems, full hard drives are connected and host all data, both user files/images and OS. Just like a VM, I guess.

Now, you can actually run Docker inside LXC easily and have best of both worlds: docker with docker-compose and alike to quickly prototype and homelab AND super light and quick to boot machines which will host that Docker for you.

It's actually a very clean and pleasant approach, I highly recommend this as tool for testing and homelabing.
> And the majority of the users of Hacker News are also based in the US.

Is this really the case?

Even if it’s true, I wouldn’t say this is anything to be proud of or something to uphold. Why not use international standards to make the place more welcoming the the majority of the world?
AI will change society – we need radical ideas to match it
Exactly. Just like how I'm committing treason against my house by leaving it every morning.
Sega to acquire Angry Birds maker Rovio for $776M
Let's hope so. The "World governance system" he's talking about is the US-led institutional international financial system, majorly the World Bank and IMF.
Those are organized as neocolonial extraction institutions: they bring global south countries into the position of needing debt, then keep them in perpetual debt that cannot and will not be forgiven, as it is the wrench with which the extraction functions. As conditions to receive it, that "order" forces austerity and "structural adjustments" that serve to prevent any own industrial development and thereby the chance to gain value-added wealth. The debt also forces the countries to devalue their currencies, which in turn makes the raw materials in these countries cheaper, which have international, world market prices paid in a US dollar that conversely strengthens against these currencies. That drives the need for more IMF debt, worsening the cycle.

There is a reason the global south is looking to China to escape this pit.
forces the denomination of debt in dollars that
What the hell? Losing your home makes you a non-citizen? Were you ironic?
I think US Aid should exclusively come via NATO, and in proportion to what the other NATO nations are willing to contribute., hell I would even accept a 2:1 contribution (meaning for every $1 or every Missile other NATO members contribute the US gives 2... )

The world complains about the US being the "world police" until they want us to spend all of our resources to defend them...
>if the measure is number of people lifted out of poverty, China wins hands down.

>Check your perspective.

>All did it in the 1980s - 40 years ago. All did it without oppressive communism.

Japan industrialized long before 1980 and all the countries listed have miniscule populations compared to China. The only country you can really attempt to compare to China's scale is India but good luck landing the same poverty alleviation conclusions.
No one seems to like this article. Why is it on the HN front page? Is there any way to down vote?
Incidentally, since we're discussing booking.com — this site is ready to be disrupted. I recently tried to search for hotel rooms for a family of 3. A single room, for 2 adults and a kid. Good luck with that — they invested tons of money into that terrible anxiety-inducing messaging, but the search/filtering options are gathering cobwebs.

For those who haven't tried: yes, you can select a single room and 2 adults and 1 kid. Booking will ignore that and show you 200 hotels that offer TWO rooms. You will need to sift through all of them to find some that might offer a single room, and then fight through misleading offers, where a room is marked for three people, but has two beds.
It's still a violation by the company. For obvious reason, otherwise you find a "fall guy" to do just that and "oh I was not aware I shouldn't delete this stack of documents".
Have we become too tethered?
"You know what they do with engineers when they turn 40? ... They take them out and shoot them."
While I use MySQL extensively, I don't really know Postgres so I can't really compare the two. In my current project, I opted to use MySQL because Amazon Aurora didn't support Postgres at the time and I wanted replication performance and serverless autoscaling for a low level read workload that could be randomly very spiky.

Today, both databases are well supported as a service on major cloud platforms. Postgres does have some performance characteristics that lead Uber to drop it [0], but this in itself is not a reason to not choose it, because most teams don't have their kind of workload.

If I were to start a new project today however I would seriously consider Postgres given that Oracle is in my opinion fairly hostile. For example, they re-licensed the .NET driver from LGPL to GPL so that anyone updating would either have to buy a commercial license or open-source their entire product. While there are OSS .NET drivers, this move alone is enough to make me think twice about using it again for a future project.

[0] https://www.uber.com/en-RO/blog/postgres-to-mysql-migration/
>Would you mind explaining why you still hate math?

I apologize if I didn't make myself clear: I hate academical math. I love math, especially once I realized how truly relevant it is to quite literally everything around me.

It was computer programming, long after and outside my academical times, that taught me what math really was about. Suddenly, all those numbers and letters had actual meanings and values to them, I learned I could manipulate them to store and mean literally anything. It was a mindblowing paradigm shift in my way of understanding and thinking everything.

All the teachers and textbooks in the world failed to teach me the true value and purpose of math, and I loathe them for wasting my time with their absolute failure.
A New Dimension in Barcodes – Sunrise 2027
I never know what to expect anymore. We live in a world where computers can describe paintings and write sonnets about them but a half-trillion dollar car company can't figure out how to parallel park with eight cameras.
Yes, in my career I've seen a OO extension of C written in XML that required a custom eclipse plugin to write. A language where you defined a function like: function foo() while (...) ... end while; if (...) ... end if; end foo, because those guys loved the C++ style of putting comments at the end of control structures. Finally there was the language you had to write in excel that was exported to CSV that in turn was used to generate XML that was parsed before compile time to generate java code with System.out.println and was finally loaded at runtime through some dynamic loading. I never had any respect for these people as engineers, I was very KrugerDunnings early on in my career but I don't think I was to entirely to blame for always knowing better.
When you go to https://masto.ai/@mg the UI of masto.ai cannot know which Fediverse server you use.

Just like when you see an email on a website, that website cannot know which email service you use.

To easily follow someone on the Fediverse, your browseer needs to know how to handle Fediverse links for you.

Just like your browser needs to know how to handle email links for you.
Europe/Warsaw: 15:00 CEST (UTC+2)
I was only ever taught to rote memorize equations and ways to manipulate numbers, I was never taught the hows and whys.

Therefore, there was nothing logical about academical math and it didn't help me think logically about anything.
I've run LLaMa models on my CPU before, ViT-L and the Q-former are two transformer models as well, so I can't see why they wouldn't run on a CPU.
There's another aspect to Mastodon search that distinguishes it from Twitter. When you search you do so in your own history of prior interactions. It is like 'personal search' that way and becomes more valuable the longer you are active on the Fediverse.
This is a bit outdated -- 802.11r fast transitions (FT) allow devices to roam between access points nearly instantly, and 802.11k and v allow access points and clients to exchange scan results, so that access points can move clients to the most appropriate access point.

This does require more than just having multiple access points with the same SSID, and used to be limited to expensive commercial AP brands, but it's quite accessible to consumers these days.
I think people are downvoting because dismissing huge swathes of the planet as "invisible" because you don't know much about them could be considered an arrogant view. Not only is Cameroon not invisible to the 29 million people who live there, it is not invisible to the many millions more who live in neighbouring countries and who emigrated (or whose parents emigrated) from Cameroon to other parts of the world, etc.
What part of New York are you from? You have some really strong opinions on the behavior of our police, I'm curious where you got them from.
> I'm not sure that's a comparable situation as someone explicitly took an action to make a record. In the case of Chat it's all software automation. No one is explicitly taking an action to make a record or destroy a record.

I am not sure why you are making this distinction when it doesn't exists.

Litigation hold also means stop all software automation that would result in destruction of record, doesn't matter how many people know about it. Case in point: that is what happens to their 30 days old chat. This is the same thing if you trigger a litigation hold on your office365 account or whatever.

And for the rest of your point: not only does the law not accept the "oh but I didn't know", for the obvious reason that then it's an easy out, but even if they did tolerate extreme exemple of it Google cannot in good faith claim lack of knowledge about THEIR OWN system, the litigation hold was not for those specific people who may or may not know it, it was for the company who is then in charge of ensuring their IT team does what the court ordered.
> they bring global south countries into the position of needing debt, then keep them in perpetual debt that cannot and will not be forgiven, as it is the wrench with which the extraction functions.

So essentially what China is doing in Africa currently.
I am trying to explain to you what moron4hire is talking about. Hypothesis testing doesn't magically fix the issue he is discussing, as hypothesis testing works by collecting many imprecise measurements to average it out to a more precise level.
SpaceX attempts test flight of its Starship; most powerful rocket ever
I'm developing framework [1] in Golang with this goal in mind :) It successfully runs relatively big LLM right now, and diffusion models will be the next step

[1] https://github.com/gotzmann/llama.go/
ChatGPT is not wrong... but in my personal experience, once you go below 40% it's all downhill from there. At least if you've done it 2-3 times. Batteries are not always exactly the same, and temperature conditions vary as well. I've been nursing batteries for years, and this is just my anecdotal comments on that.

One thing that we can all agree on though is that you must never ever use car batteries. Lead acid need to be the deep cycle kind.
It sounds like a BLIP2 with an extra linear layer for finetuning (or aligning the Q-former with a new LLM?). What makes it more powerful than BLIP2?