skysight-inc/HackerNews huggingface dataset:
googling i found https://gist.github.com/amalex5/541dc739201bbd8e26037b6738cd... although it's missing the type declaration

http://5outh.blogspot.com/2013/05/symbolic-calculus-in-haske... is more complete and also includes an explanation and a bunch of algebraic simplifications you'd usually want along with the symbolic differentiation itself
Just because something is human readable doesn't mean there isn't value in making it even more readable? I would certainly prefer to read a markdown file rendered like this than completely raw.
https://superwhisper.com

a macos menu bar app that uses whisper.cpp under the hood.
You can turn off background scans in your group settings without getting rid of the entire thing.

1. Run gpedit.msc

2. Navigate to administrative templates -> windows components -> Microsoft defender antivirus -> real-time protection -> turn off real-time protection

3. Set 'enabled'
Which language did you use to code the application?
Very nice! Now make one with ratio googolplex : 1.

;)
Another thing that was somewhat relevant at the time was ability to do arithmetic directly on tagged fixnum values. For example SPARC includes (somewhat unusable unless you write the Lisp implementation as a whole OS) instructions for that.
Did you often run into proper components ? beside Eclipse layer-0 and academic research I've never seen one (but I stopped caring around 2010 to be honest).

The majority of OO around is very mutation based.
A full terminal web browser is a bit more than I was looking for, but this is definitely an option. Was thinking more something I could pipe text into to get an extraction and/or a simpler pager interface.

The browsh repo front page is just insanely impressive[0]. `links` is impossible to query the web for the project, so if you had more guidance on that one, it would be appreciated.

[0] https://github.com/browsh-org/browsh

Edit: Noted I was querying for something more feature anemic, plus Browsh link
4000 followers on twitter with zero tweets. None seem to be software developers. This project is giving me more red flags than it should.
She says elsewhere in that testimony that the reports in which civilians were killed, raped, and sexual assaults mostly had to do with the police and military of the host countries (Iraq and Afghanistan). This lines up with my experience as well; we were repeatedly advised to stay out of the locals business, or how they run their judicial system is up to them. This same judicial system is how you have multi-time trigger men and bomb makers that somehow left Kabul unphased after leaving their courts.

> "I'm unhappy so let's make a grand move" than "let's get revenge on the military for my unhappiness."

I don't really see a difference between the two besides intent. Intent isn't really something that matters in today's world.

What I would've liked to have seen is if she joined the service members trying to whistleblow on ineffective and dangerous ROEs, the lies told by the Obama administration about the success of the Iraqi and Afghani police and military, etc... Instead, she released just enough vague and sensational stuff to spur conspiracy theories.

To be clear, I understand the frustration that inspired Chelsea to do what she did, but I think how you do these things both affords (or removes) protections, and matters a great deal more if you're actually trying to make a difference. That along side the content of what's released; in the case of Snowden there absolutely wasn't anyone to appeal to. In Chelsea's case there certainly was.
> Methane breaks down into CO2, which is a part of the Carbon Cycle.

So it's pretty disingenuous to act as if methane emissions are unrelated to CO2 emissions, isn't it? That methane released in agriculture eventually does turn in to CO2 emissions. You even drew a graph showing my point. Thanks!

> You're mixing up or conflating total cost vs marginal cost

I'm going by total cost, because ultimately that's what society will pay. We can't just act like building a nuclear power plant costs $0.
And it's on the inside of those shitty new papers straws.

Blows my mind, we've replaced relatively inert pieces of plastic with paper coated in this PFAS stuff and we're acting like it's good for us and the environment.

plastic straws were a rounding error on a rounding error of plastic waste.
if the government was just a little more powerful, every problem will be solved

One more lane argument level
Minetest is nowhere near Minecraft… but it’s still fun, and I wish the developers the best (especially as Minecraft gets more and more heavy-handed).

I would strongly recommend that anyone playing Minetest get a texture pack, basically any would do, because the stock textures do not leave a good impression.
That is also true, but most people committing suicide like this want an audience. Otherwise, they'd simply do it alone. Many times they kind of even want someone to stop them. That gives you time.

We could have changed nothing after 9/11 and it couldn't have been repeated. The fourth plane is an example of that.
There's a fantastic post-rock cover of the film's best-known song (Prophecies) at https://www.youtube.com/watch?v=hwolSFreL3M . I can't find anything about this band but I love this version of it.
Requiring politicians to be (essentially) volunteers does NOT insulate the system from corruption. It also seems likely to guarantee well-off people will become members, but perhaps that's not a change from what you see elsewhere in the country.
Probably really soon, especially on iOS/macos their implementation is awful.

Until then... https://superwhisper.com
"I'm expecting removal of dead code will enable faster delivery of new features"

Well, for sure it does. Getting rid of bloat is always freeing energy - but only if it is really dead code. Otherwise you can introduce rare bugs, or break things in unexpected ways. And yes, sometimes the fastest way is to just try it out and see how things run. If it is not medical equipment, it might be fine even on a live system. It really depends on your project and users. But most users really like stability. Especially if they need that software at that moment, because they have deadlines as well.
How common is the expression "Qur'an of X" instead of Bible?
VSCode is my main tool from day to day - I use it extensively for coding, documenting, writing papers, drafting e-mails, writing my work log/diary. However I was intrigued by this tool as I've already have open 4-6 tabs in my VSCode, so I think this would be neat to reduce the resource use a bit.
Honestly, we have not extensively thought about prompt injection attacks -- the equivalent of SQL injection attacks in AI-Relational database systems :)

If you have any thoughts on addressing this, please do share! We will incorporate that in the LLM-based functions in EVA.
Is there a static library implementation with easy to use interface?
Also think llama.cpp would benefit from having a lib release. It would be great to easily integrate both projects in existing c++ projects.
https://nypost.com/2023/04/27/jerry-springer-dead-at-79-was-... (Jerry Springer was funny, smart and never took himself too seriously)

Linda Shafran, Springer’s publicist for 30 years, shared this piece as capturing him as she knew him.
> Its pretty obvious to me that the "sources" are the Investor Relations team at Arm and "leaking" the confidential information was done with permission all the way to the top.

How is this obvious?

The links you provide do not contain any evidence at all.
Why do you ask? I didn't even intimate that.
Sudan’s Descent into Chaos
maybe has something to do with the military leadership advising the senate recently about lithium deposits “in our backyard” aka south america
You need to consider relativistic effects, if you want to turn the first wheel fully around in your life time.
> the latter in the absurdly skewed prison population the US is known for.

Are you sure? Since most homicides are intra-racial [1] (despite the impression one gets from those the media choose to focus on), we can use victim race as proxy for offender race (I'd use offender race directly, but then you'd just blame it on police racism). Since it's hard to manufacture a corpse, or fake its race, we can further assume that data is largely free of police bias.

So white+Hispanic are 50% of homicide victims [2] (which we use as proxy for perpetrators), and 58% of the prison population [3]. For blacks, its 44% and 37%, respectively. Doesn't look particularly skewed to me. There is some anti-white+Hispanic bias, but since we're looking only at homicide to avoid police bias, we're not seeing the whole picture, which may explain the disparity.

[1] In approximately ninety percent of all murders committed in the U.S. over the years, the victim and perpetrator are of the same race - https://www.psychologytoday.com/us/blog/wicked-deeds/201602/...

[2] https://ucr.fbi.gov/crime-in-the-u.s/2019/crime-in-the-u.s.-... (for some reason the FBI groups whites with Hispanics)

[3] https://www.worldatlas.com/articles/incarceration-rates-by-r... (white and Hispanic are again grouped)
Any query made by the FBI of this sort of data would at minimum be CJI exempt from most disclosure. For FISA stuff, even more controls would be in place
11/12 should be enough to convict for this very reason: there’s quite possibly one holdout who is totally inane. States have tried allowing non-unanimous juries but the Supreme Court has said it is unconstitutional. The process should be revisited. I actually think it might make more sense to have pods of 3 jurors discuss independently (to avoid groupthink) then require like 11/12 or something along those lines.
I've found elinks to be really good. It preserves colors and has really nice navigation controls for interactive use (you can press dot to toggle numbered links). Here is a screenshot of this page: https://i.imgur.com/mP1T0H3.png

If you're just looking to format a page, it has a -dump option.
If you want to preserve colors as well, use -dump-color-mode 4
I'm on Windows 10, 3.5GHz AMD CPU (dual core, iGPU), 8gb RAM and I get about 3 tokens per second with the smallest model (ggml-alpaca-7b-q4).
this. I would love to have a cli-based barebones obsidian vault browser
> How does keeping secrets help any of those situations?

>“I’m manipulating you for your own good!” sounds like you’re validating their delusions and fears.

Do you not see the obvious one here? The secret is not telling them exactly what would heighten their delusions.
Apple's famously very secretive, so who knows what they've spent money on internally that has never seen the light of day.

There have been rumours for the last 10 years that a bunch of people are working on a self driving and/or electric car, with little to show for it so far. I doubt anyone outside a select few in the company would know how much.
As a fan of older minecraft versions I'm looking forward to messing around with this with friends
Prior art: https://www.arthurganson.com/concrete-1
> 37,461 people were killed on the roads. Given how frequent are hit-and-runs with accidents, I expected it to be more common in deadly situations, but it seems to be the opposite: 2,049 fatalities that resulted from hit-and-run crashes in 2016.

Fatal collisions are more likely to disable the perpetrator and/or their vehicle, rendering them unable to hit-and-run even if they were so inclined.

If this is true then I expect hit-and-run to be more common in fatal car-vs-pedestrian crashes than for fatal car-vs-car crashes.
E=mc^2, all matter is just energy. We only don't know how to release it. Sure you can claim that does not violate laws of thermodynamics, but eradicates concept of Dyson spheres as useless.
Koyaaniscafe, surely?
The word "Bible" comes from the greek word "τὰ βιβλία", which quite literally just means "the books". I don't see any issue.
Struggling to see it. Think this might just be a you thing? Maybe talk to a religious leader in your community, they might help you with a different perspective that'll speak to you.
I cannot source this, despite significant effort. It appears I've fallen victim to Disney's dramatizations.
https://grist.org/article/forget-colonizing-mars-we-can-all-...
How Reed-Solomon Codes Enable Advanced Communication (2022)
The installation process includes downloading precompiled binaries from this repo:

https://github.com/mlc-ai/binary-mlc-llm-libs

Is the code from which these are built available somewhere? How does one go about building one for their own model?
Well, now you know how not-religious people feel about "their" word.
486 vs ARM is a good comparison as both are the extreme cases of CISC and RISC designs. So much that for a real instruction mix generated by reasonably modern compilers (think gcc3 and up), 486 is actually more of an RISC than ARM with its bunch of variants of ldm/stm.
I have a lovely old Kindle DX -- it's at least 10 years old. What I love is it's got a larger screen -- I think it's the largest one I've ever seen. The only thing better than an e-ink screen is more of it...
The problem is that telling people that you didn’t attempt suicide and that you are not currently suicidal is also consistent with someone who is, in fact, currently suicidal and wants another opportunity. that is to say, what he told his lawyers is not at all inconsistent with what supposedly happened later.

It’s also worth noting that it was the cellmate’s lawyer who asked that the camera footage of their cell be preserved.

Lastly, Epstein trying and failing to kill himself seems more likely than that particular cellmate trying and failing to kill Epstein.

I don’t think what really happened will ever be clearer than mud, unfortunately.
What? You appear to be saying nonsense.
Well, to some degree I think we are considering this approach to social media to have been a mistake, and are looking not to make that mistake again. I mean, at the very least, AI is going to amplify all the same stuff that social media did and push it a lot further.

> I've yet to see any AI catastrophist address the fact that the training set for current state of the art LLMs is already effectively "the whole internet". It's difficult to see how an LLM which sets out to improve itself overcomes this limitation.

Honestly, I think that even with AI at GPT-4 level, we could be in for a bad time. This tech is going to accelerate everything -- and it's a lot harder for a society to steer itself when things are changing so quickly.

But I think you may be basing your viewpoint on some shaky assumptions here:

* that LLMs are the smartest model architecture we can come up with
* that the size of the training set is the limiting factor

I think it's very likely that there will be more breakthroughs, even if it's just combining LLMs with other types of existing AI in novel ways, at first. As for the second, humans clearly learn much more than AI without reading the entire internet, so it seems likely that there's something else limiting LLMs. And that a different design could far surpass what LLMs can do.

> We haven't even seen the early stages of models able to reason or develop and retain new knowledge independently.

Maybe not with a pure LLM, but people have hooked up LLMs to a sort of notebook, where they can note down stuff they want to remember for later, just like a person with a not-so-great memory. And that's just kinda duct-taped on - I can imagine it being much better integrated and faster to access in future.

> Maybe at that point I would agree it's time to apply the brakes, but at the moment regulation would be tantamount to strangling AI in the crib.

I guess the question is, are we developing something that's going to be really bad for humanity? Because maybe that's the right thing to do. If at some point we research and figure out how to make AI that doesn't screw things up a lot, it's not too hard to allow it again. But it's hard to stop now, and it's going to be even harder to stop once companies start using AI lobbyists to influence policy.

*edit -- and given how many people involved in AI have expressed concerns about where things are going, I wouldn't say that this would be out of ignorance. I see Moloch's (<https://slatestarcodex.com/2014/07/30/meditations-on-moloch/>) dirty fingerprints -- slowing down or stopping is a nasty coordination problem, where individual incentives are all to keep going as fast as you can.
Are you aware that many homes don't have in-ground sprinkler systems or garbage disposals?
> current GPT style AI does not “think” in the way we think of humans thinking

On the contrary, isn't "step by step" reasoning exactly what we tell students to do to become better at solving complicated problems?
> Everything they're doing is "legal" because they get to decide what is and isn't legal

No, phone metadata collection was ruled illegal. Ingesting court ordered FBI wiretaps on foreigners living outside the US who are of interest to national security has never been illegal in the US or in any other country.

> That doesn't mean it's ethical or should be hidden from the American public.

It isn't hidden from the American public. The documents describing the data ingested into PRISM have been declassified.
Made me think of the scene in the "Pirates of Silicon Valley" movie.

Steve Jobs: "We're better than you."

Bill Gates: "You don't get it, do you. That doesn't matter."
The "Torah of X" is fairly common.
The data (a chart) shows widespread death of the reef. No refutation; just support.
record a voice memo and receive it as email: https://whispermemos.com

Uses OpenAI API so really fast
Thermal hydrolysis (raising water/sewage to very high temperatures and pressures) can also break down PFAS and other bad stuff like pharmaceutical compounds. The Washington, D.C. Blue Plains water treatment plant uses this technology to safely convert septic sludge to fertilizer, sold under the brand name Bloom:

https://en.wikipedia.org/wiki/Blue_Plains_Advanced_Wastewate...

https://bloomsoil.com/faqs/#what-is-bloom

edit: As I Google to double-check my recollection, I'm finding mixed but encouraging reports on this technique's effectiveness. For instance this 2021 paper:

https://www.sciencedirect.com/science/article/abs/pii/S22133...

>To our best knowledge, there are only two studies that have evaluated fate of PFAS in sludge before and after HTL. In a report presented by Mitroshkov et al. [19], 15 PFAS were quantified in five sludge samples before HTL. After HTL, concentrations of the majority of these PFAS were below detection limit of the GC/MS/MS. However, the authors did not report the HTL operating conditions used in this study. In addition, PFSAs including PFOS, the commonly recognized most recalcitrant PFAS, were not targeted in this work.

>In another study, degradation of five PFAS (i.e., PFOA, 7:3 FTCA, 8:2 FTUCA, 8:2 FTS, PFOS) in sludge by HTL was conducted [35]. Among the five, each spiked at 1000 µg/kg, the first three were degraded > 99% at 350 °C for 90 min. Degradation of 8:2 FTS and PFOS was 34% and 67%, respectively. It was found that undegraded PFAS partitioned to the biocrude phase, which may negatively impact the quality and use of these biocrude in the real world.

>Compared to PFAS in water only, more degradation was observed when these PFAS were spiked to sludge. It was speculated that metal ions and mineral solids in the sludge might have contributed to enhanced PFAS degradation [35].
Via http://amiga-news.de/en/news/AN-2023-04-00114-EN.html
I get it, but I see so many possibilities here. Fitter Happier and Climbing up the Walls have string arrangements performed by an orchestra. Can you imagine writing a score and spinning up a virtual orchestra to play it? There are so many subtleties in phrasing, dynamics, and intonation that make the difference between just Ok and excellent. It doesn’t seem impossible to imagine giving your score to your virtual musicians and communicating with them in natural language and hummed phrases in an iterative process until they get things just right. You’d have to agree this would be democratizing, right?
You ask for this in the snarkiest of ways but... Yes? You actually have a right to all of this, and in many countries, while not ideal, you have such a form of things. You're polish, so you have a right to social security, to a guaranteed amount of money during retirement, a bunch of allowances (zasilek staly/okresowy/celowy and a lot more)

So, why would you work? Aside from the fact that you can legitimately ask that question (productivity has increased a hundredfold in the past years, yet your salary has not. Clearly someone has pocketed that difference, and sadly we can't blame PiS for everything), the right to laziness being an actively debated subject in many circles, from economic to philosophical, note that it says "adequate". If you are content with a basic house, heating and food, sure, stay at home. If you intend to have things like a TV, a PC, books, vacations outside, a social life, you might want to work to pay for them. And with basic needs covered, you can actually work and do something you enjoy, instead of holding a miserable job because you have no choice but to.

>Now, who do I sue so that it's actually delivered? :)

I would recommend Ministerstwo Rodziny, Pracy i Polityki Społecznej as well as Parlament Rzeczypospolitej Polskiej. Good luck :)
Meta had a nice helping hand in it. Maybe they should take blame too?
I tend to call ARM a load/store architecture to emphasise that difference and it seems to get my point across without derailing the conversation into a RISC-or-not debate.

(Note that I'm endorsing this as working in human to human communication rather than for absolute correctness)
Skipping an ad using SponsorBlock has no impact on how much money the creator already received to do the ad.
I don't know. This is an English-speaking site.

From the Cambridge Dictionary definition of the English word "bible":

> a book, magazine, etc. that gives important advice and information about a particular subject: Vogue magazine quickly became the bible of fashionable women.
Encode 20.5 tok/s and decode 6.6 tok/s on my 14 Pro (non-Max)

Did pretty good on an okonomiyaki recipe

Edit: the coding capabilities are pretty hilarious. I asked about partials in Turbo streams and it correctly answered, but then when I asked about a code sample it gave me a PHP+MySQL query? Who knows what happened there.
> That's the problem. They were bulk collecting all data going in/out of data centers, not specific named accounts

That's not what PRISM was. As Snowden's slides clearly explain, PRISM was a data integration project to ingest wiretap data from the FBI. That wiretap data came from court orders for specific accounts belonging to non-US citizens living outside the US.
Not really. That quote alone could simply mean that as already black-majority schools become more black, that is, "increases of time," they get less total funding. But that doesn't mean that total per pupil expenditures of majority black schools are lower than white ones. In fact that would directly contradict that "on average, both Black and Latinx total per pupil expenditures exceed White total per pupil expenditures by $229.53 and $126.15, respectively" which is stated explicitly rather than "shift in ways that disfavor the typical Black student’s district relative to the typical White student’s district" which is ambiguous. I didn't read the whole paper but this quote alone doesn't mean anything. The fact is that black schools get more money according to that study.
It's a summary of the most famous models, not exhaustive by any means.
One crying-wolf person? That's "the environmentalists"?

The data (not hyperbole) was that the reef was in trouble and in decline. It continues to be in trouble and in decline.

"Begin recovering after disturbances" is double-talk for "continues it's alarming decline." A bit of coral growing over the sterile corpses of hundreds of miles of dead reef is maybe romantic and hopeful. But not anything to justify the "recovery" word.
Mocking science for a sound-byte by one academic is corrosive nonsense.
Defective Sign and Encrypt in S/MIME, PKCS#7, Moss, PEM, PGP, and XML