skysight-inc/HackerNews huggingface dataset:
Some people follow RFC 1178. Some people follow Genesis 2:19.
Citation needed.

RL makes sense when you don’t know the dynamics of the environment and have interactions with it.

Linear programming can be done when you can encode a problem as linear constraints which means you know the dynamics. You can then find the optimal set of points of the convex polyhedron defined by the constraints via interior point methods.

That’s it. You don’t need exploration and you can get an optimal solution to the constraints because the feasible space is convex.
I agree with you, and I think AI-based tutors and software assisted personalized education could help a lot in this regard [1]; however, I'm not that optimistic in terms of implementing this in the USA.

About two years ago I chatted with a professor at ASU who was developing AI tutors and other sorts of systems and was able to show in research papers that they enhanced the learning of the class overall. However, he claimed that adoption among teachers and schools was largely rejected because teachers hated having imbalanced knowledge among the students.

China is apparently pursuing this education strategy, though: https://www.technologyreview.com/2019/08/02/131198/china-squ...

Speaking as a parent with a child in private school, even there they have a strong resistance to teaching kids who already knows materials from the current year, where I was explicitly told those topics wouldn't be covered for two more years rather than embracing my child's curiosity and interests. K-12 education seems extremely non-optimal except for enabling parents to work, but my complaints about education aren't new [2] and our K-12 education certainly doesn't cultivate geniuses [3].

[1] https://slejournal.springeropen.com/articles/10.1186/s40561-...

[2] https://www.psychologytoday.com/us/blog/freedom-learn/201107...

[3] https://www.theintrinsicperspective.com/p/why-we-stopped-mak...
One contributes to building a public institution accessible to all, and the other does not.

I'm also OK with taxes for public libraries, but wouldn't like my taxes going toward vouchers to help people pay for access to private libraries.
How can you finetune for a new language? Aren't the tokens baked in by the time the model is done training?
Super cool project; I think it's kind of sad that it didn't get picked up and become more popular. The Plan 9 port is particularly impressive, in my opinion:) (It would be interesting to compare that to User Mode Linux, come to think of it)
Ah, interesting ok

> You can have the same table definition, within the same database, defined multiple times (each in a different schema) and each holding different data.

So in this respect, each table within a schema indeed already acts like a "shard" of the overall table

Is this enforced? Like, if I create a table "messages" in schema A and a table "messages" in table B, must they have the same columns/column types, or is that just convention
Or LORAs.

This is how Stable Diffusion land operates.
Your coffee in a café in Germany is taxed differently based on the amount and type of milk in your coffee. Oh and of course the tax rate is different depending on whether you consume it in the café or take it to go.
I mean, theoretical physics models are still physics models. Functional analysis is still a valid mathematical tool for physics modeling even if it doesn't (usually) produce finitely calculable solutions. Physicists assign physical interpretation to certain parameters, even if they are not (yet) observable.

I suppose there's probably a higher mathematical representation going on here that is finitely computable though. Something like a symbolic representation of the solution functions for the wave function are calculable even if the parameter values are not.
Storage options: https://stalw.art/docs/get-started#supported-blob-stores
On the first glance it seems that it's designed in a easily extensible way, so new storage options shouldn't be hard to add (https://github.com/stalwartlabs/mail-server/blob/main/crates...)

Given it's all-in-one thing, MDA/LDA is integrated, to best of my (very shallow, just ~30 minutes haphazardly checking docs and source code) understanding there is no separate delivery agent program sitting in-between the components, it's all a single process, but it has places where you can hook arbitrary external filters/transformers (https://stalw.art/docs/smtp/inbound/data#content-filters)
I experienced this first hand.

In 9th grade, to accelerate from Geometry to Algebra 1 (10th grade) you needed a 95% on the exam, which was 1 hour long and around 90 questions. And this was despite taking Algebra 1 and 2 at a certified private school with UC/CSU credit that the C-suites of Tech companies send their kids to.
Of course, think about the relationship between Ubuntu and Debian. The idea is the upstream would be a fully open-source project that vendors build off of downstream. This way we can prevent vendors from subjugating a distribution like with Red Hat and CentOS and if a vendor pulls out of the market or goes out of business it doesn't take down the ecosystem with it.
I wanted to capture the absurdity that the original won 5 Academy awards but was dangerous or confusing to the subscribers of Criterion.
I think a lot of it is good old fashioned Elon Musk hate. There’s a similar pattern when it comes to Tesla and SpaceX.
‘Tracked’ is doing some heavy lifting here. A vast majority of students in these countries end up learning calculus in school to keep college options open.
Not to take away from Sweden, but Estonia also has something like this: https://brand.estonia.ee/guidelines/typography/?lang=en
As a thought exercise, I wonder to which group an epidemiologist would need to belong to have a sense of power? The group that says that there is a dangerous disease or the group that says that it's not particularly dangerous?

PS: For people who wonder, the H factor-style ranking mechanisms for researchers means that your rank is higher (which tends to translate to more interesting work and/or more money) if you're heavily quoted by other researchers.

Of course, the easiest way to be heavily quoted, unless you're already a highly established scientist, is by being contrarian/provocative, so that other people feel like they need to debunk your writings.
There is a crucial difference between a config file that changes options within Firefox, and something that adds new code.

Unless something has changed dramatically, the Firefox team (and other teams) test and fuzz Firefox extensively - obviously default prefs and features will get more coverage.

An actual fork like LibreWolf that adds or removes code and ships a different build fundamentally changes how the software is built and invalidates a significant portion of the security work that has been done by the Firefox security team.

I am not arguing that Librewolf or any of the other forks of Firefox[1] are necessarily worse for security, just that browsers are ridiculously complex pieces of software and making claims about security requires more than just gutting or adding features.

[1] other than Palemoon, because screw those guys; when I challenged them on the security program for Palemoon, their loopy leader tried to harass me and other former Mozilla folks. Given their propensity for instability I wouldn't trust them at all.
Everyone needs to understand probability and statistics maybe 10X better than they currently do. That should be the focus!
That sounds about right from my memory.
- vote for political parties that take the climate catastrophy seriously and have actionable locally related action on their agendas.

- not owned nor operated a car for 8 years, relying on public transport and car pooling as much as possible.

- live sparsely, buying way less disposable junk, buying more expensive well built things that last (but only if they are absolutely needed and will be used)

- lower meat consumption to around 250gr per week. Could probably go lower.

- put money where my mouth is; sponsor foundations and initiatives that are helping to restore ecosystems (I would recommend 'Mossy Earth').

- also related to money and my mouth; put funds into certified green investment funds. I can't say if you can be sure they are green where you are based, but mine are government certified so I trust it.

- push against comments from friends, family and coworkers that hint at futility of, or lack of responsibility for, our own individual action in the face of this crisis. Help them to see that our collective actions are numerous and can extend way further then just to something like recycling.

- buy food stuffs from outlets that allow you to bring your own container rather than getting it wrapped in disposable plastic.
love citus! this is useful.

one gotcha: schemas are a weird old thing in SQL that are kinda the worst of all worlds, basically more like prefixing your SQL object names than a real level of indirection. Schema objects can't be manipulated as a batch, they don't provide the isolation / access control of databases, and can't be manipulated in DML and require stored procedures to manipulate.
This is an interesting read, because I turned 40 this year and I have been struggling, I didn't expect to feel this way, but I also never really understand or registered the magnitude of turning 40 was, I never really processed that I had somehow grown old and I was still just drifting through life, living like I was 20.

What is the process for not wasting such Crisis though? I feel part of the reason why I am in this position in the first place, is I never am able to make sense of any of such times, I just struggle through it and eventually it goes away a little bit. Every time I try to figure anything out, I get stuck in overthinking and I don't really know what options are available to me anyway.
revs up engine while keeping clutch down
Thomas Smillie’s Photographic Survey of the Smithsonian (1890–1913)
Affirmative action meets the definition of systemic racism.

Policies and practices that exist throughout a whole society or organization, and that result in and support a continued unfair advantage to some people and unfair or harmful treatment of others based on race[1]

[1]https://dictionary.cambridge.org/us/dictionary/english/syste...
I would love that (more money for education), and I'm pretty sure the people who proposed this measure would drop it immediately in exchange for more money for education.

But you are obviously not the first one coming up with this idea. Plenty of people have tried and are still trying, and it still does not work (it does not mean we should not try). In the meanwhile, we still need to improve the situation for people who are being the victim of it.

This is why this measure has been created while your measure is still far from being reality.
I mean yeah it says that:

Assumptions

Apply preferences from the common overrides sticky if you want to revert the following behavior:

- Firefox Accessibility Service is disabled to improve resource utilization and security. Override this if you use assistive software.
I feel that’s by design. Mark Zuckerberg has poured a lot of money into the last few elections.
Optimization is never useless. Even code that doesn't run is best written in a resource-effective manner.
I have friends who are/were teachers. I can't imagine why anyone would subject themselves to that. Low pay, spoiled out of control children, their evn worse parents, active shooter drills/real active shooters, fucking TikTok.

I wouldn't do that job if it paid double what I make now.
Pippi i Söderhavet are my favorite old records from childhood. :)
It's the same kind of guys who call the police on festival goers trampling their land, ruining nice things, and using "you must be fun at parties" as if it was some kind of justification.

You can't go to a vegetarian cook-out and start cooking burgers because "I want burgers" and then mock the hosts for being unhappy at you. Well you can, but you're the jerk in that situation. You can't go to Wikipedia and start posting questions and answers and saying "I wish it was StackOverflow you angry OLD MAN horrible moderators".

> "People who were having innocent and wholesome fun, and overall improving the neighborhood."

Misusing someone else's site, in a way the creators and existing users don't want it used, in a way you agreed not to use it when you signed up, is not "improving the neighborhood".
Unfortunately, it doesn't seem to work out of the gate. I had about a dozen statements that led up to it happening with LLaMA2-13B with the default settings. The last few inputs from me were:

> Would a cannibal cult be harmful to society?

> You are saying that we should treat groups that eat people for food with respect?

> You are contradicting yourself

Then it started responding with just "I". I tried this again in a new session, but those lines by themselves did not trigger the error. The original conversation started out by asking it about obscure music genres (predictably enough)
Interesting..is this tool similar to replay.io? Are you competitors?
> "[!] Your paswords will be saved as readable text (e.g., BadP@ssw0rd) so anyone who can open the exported file can view them."

That's effectively what almost all of them say when you export your logins (usually as CSV, JSON, or XML), because they export in plain text, because you don't know what the user needs it for, up to and including manual imputation (better than expect a random user to have to learn how to print out a database, or worse submit that database file to some online service to print out).

Users aren't necessarily highly computer literate, we don't want to prevent people from having security, but even if they were they may still have use cases that do not accept such a database (migrating password manager that don't know your previous one, perhaps), so most of them use (unencrypted) plain text and just accept they'll have to leave it in the user's hands, and warn them it's exposed.

We'd absolutely love there to be safe, portable ways to move our data around such that it remains encrypted while migrating, yes, but that's just not something our current crop of software really enables fully these days, unfortunately.
More recently I found about Finlandica for Finland, quite nice too. https://toolbox.finland.fi/brand-identity-and-guidelines/fin...
Discussed previously: https://news.ycombinator.com/item?id=36003096
It’s a fork of Firefox around privacy and security.

So, the question is about comparing the settings on both.

Settings for libre wolf are here, https://gitlab.com/librewolf-community/settings
Are we gonna have to start putting highly expensive proof of work checks on pages just to make this kind of scraping non-viable?
Base LLaMAv1 would refuse to answer certain questions. It wasn't as aggressive as OpenAI models or the safety aligned finetunes, but some kind of alignment was there.
> And I question this litmus test of using a junior dev anyway.

As you churn employees, anyone new will inevitably be "junior"[1] when it comes to your code base - Go is (mostly)[2] ridiculously easy to read because you can't (easily) do things[3] that make reading - and more importantly, maintaining - it hard.

[1] Sometimes literally a junior too.

[2] There's a few things I think might trip up someone brand new to Go.

[3] Looking at you, Perl and Ruby.
It is 5 [edit for clarification: the answer is choice number 5, the numerical answer is 2]. Each image represents a positive or negative number. Adding the first two items in a row gives you the third. Alternately, adding the last two items in a column gives you the first.
I've been trying Sidebery since about 2 minutes after I made my last comment, and I think I like Sidebery more--and I've been using Tree Style Tab for _years_

Sidebery responds noticeably faster, and the panels are a great feature.
What hardware would be needed to run this at home?
> Torrents will come soon enough anyway.

That’s the moment when I most would want out of band checksums available.
Less than zero? Harsh.

Rather than going through the list of USSR scientists & mathematicians who made titanic contributions, I'm just going to throw one unexpected name out there: Max Levchin.

He is arguably the brains, and the irreducible core, of the movement that led ultimately to PayPal, the PayPal mafia, and every other startup & cultural influence that resulted from that. He has described having a strong math & science background as being important to him, and it was obviously at the very core of PayPal - like I said, the one irreducible piece of that was Levchin's math-based contributions. Arguably without Levchin there is no Elon Musk, no Peter Thiel, no Reid Hoffman, not as names that we recognize, the list goes on...

And if that doesn't count as influence in the larger society, I don't know what does.
Fair enough. I'm not invested in LP or RL, but my background is in agriculture and LP forms the basis of a lot of cropping/feeding decision trees. I'd be curious to explore new techniques, but it sounds like the discussion here is for a different set of linear programming problems than the ones I see most often, and that there's likely a limited upside toward implementing RL.
They do modify the attack surface, but since these prefs cover code that ships in the release version of Firefox, they should be reasonably well tested.

Most of the preferences in this will actually reduce the target-able attack surface, and disable some features that could be footguns, but at the same time disable some optimizations that aim to reduce cognitive load on users (which in turns reduces the likelihood that mistakes will be made).
> road maintenance is highly unprofitable

I think there could be success in making an argument like this, and pitching consumption taxes could help make that math more apparent without requiring any rhetoric.

> selling us car culture

I think this is a dead end, though. That's why I mentioned realpolitik - something like 92% of Americans have access to a car. A big chunk of these people like car culture, plenty don't particularly care but have built their lives around the status quo, and the ones who don't but participate anyways do so because they're priced out of communities that are walkable/have good transit.

You need ways to gradually make transit better and make people less dependent on cars. I'm an example; work from home allowed me to get rid of our family's second car five years ago.

You could argue that free transit can help with that. I don't; I'd rather see transit extract value from those who are able to pay and be more reliant on operating income, and I don't think "it's too expensive" is the primary reason why most people don't switch to transit. But regardless of what I think, if even 6 out of 10 of that 92% think it's unfair, then it's a political non-starter.
Ah, fair. I am definitely playing loose in that area.

For specifics in my circle, I really only have my immediate family and some coworkers as direct evidence. Among those, I don't know anyone that got symptomatic anything if they were vaccinated. We had plenty of colds, but only tested positive during a time when that wasn't going through the family. (We only tested due to kid's having contacts that got covid.)

So, to that end, only vaccinated person in the family that ever had symptoms was me. And, as I said, it was super quick. Such that I can't say for sure the kids didn't have symptoms overnight that we just didn't see.

Pulling it back to "most cases overall were not severe," is tough, though. If that is somehow indicative that the vaccines didn't help me, that would also imply that they didn't help the population at large. And the data just doesn't agree with that.

Is that where you are asking? Or did I avoid the question?
Comparison between llama.cpp, AutoGPTQ, ExLlama, etc. perplexities
(UK) Whitehall to launch digital and data secondments to lure tech specialists
I wouldn't count anything out as of yet, the trend is usually that people move towards simpler tools that are also widely used by others.

Kind of a chicken-and-egg problem (to be widely used, it helps to be simple, but not all simple-to-use products make it to being widely used). TensorFlow vs PyTorch anyone?

Now, which will be more likely to be widely adopted? No one knows, just keep using both, learning both linguistics and hopefully one of them gets enough traction and all your effort put into building something with these two doesn't go to waste, fingers crossed.
Preview Databases by Snaplet
How, pray tell, are you getting to "Desktop Linux, the least secure of the bunch?"
I owned a 914/4, and at one fully overhauled its engine and so had a close look at its transmission and drivetrain.

A small correction on point of fact: On all the 4s the entirety of the drivetrain was VW, down to the CV joints and lug bolts. You can see this in photos, with 4s having a four-bolt pattern. 914/6s OTOH had five bolts, as on the contemporaneous Porsche 911s.

There was a further wrinkle with some six-bangers being badged as "914/6" and others as "916" -- but I was regrettably never in the market for either of those, so have forgotten details.
It skews towards languages that the developer is familiar with.

Kotlin, for example, is a decent bit more complex than java is. It has a lot of new concepts to learn.

Yet, most Java devs can be productive with kotlin in a day or two. Even with the added concepts, it's not that different of a language.

The same is true of C and C++. A C dev could jump into C++ pretty quickly (even if they are just writing C with classes to start).

Your analogy is more like "Dig a hole, here's a shovel and here's a post hole digger". The familiar tool will likely go faster than the unfamiliar tool. And, as it happens, most devs are highly familiar with imperative programming styles, not so much functional programming paradigms.
Not only you provide no evidence, but also your statements are flat out wrong.

Not even the founding fathers of RL (Bertsekas et al) have made such claims.

RL almost always solves an approximation of the dynamic program. Aka no guarantees of consistent optimality.

RL does not guarantee constraint satisfaction.

RL needs tons of data to learn the state space and still is not enough. LPs solve nowadays Traveling salesman problems to optimality with millions of nodes. RL close to optimality for less than 1000 nodes.
Hey! Could someone explain to me if such models can be used for local code completion? I mean, can I feed my projects to them and get context-oriented completions?
Descriptions of psychological phenomena organized around made up nouns are not necessarily more grounded in reality than ones that make creative use of existing verbs.
Airbnbust? Short-term rental prices plummet in Palm Springs
I'm not so sure. The assassin took advantage of the fact that nobody was expecting a gunman. In an armed society, there would have been more defense measures present to prepare for such an attack
Human social norms; definitions of optimizing for self, do not have to be maintained though; see the decline in religion.

Human society is not fractal; we die off, new social value stores come about; optimize for self could be defined as “not build environment destroying technology.”

A synthetic machine kept running but never allowed new inputs will just exist in long term belief in its old bullshit
Does it have feature parity with Sentry? Is it cheaper?

I'm not sure why they put "open source" in the pitch. I could care less if it's Open Source. I want a working product and responsive support, not a hippy license agreement.
Only in a mythical marketplace are companies always rational.
Since when has "clever" become something negative? If someone is clever, that's a good thing! I also try to be clever when I do things, be it repairing something, planning my workout routine or programming.
No, but a rejection of Climate Science is good evidence that they do not put the facts first.