skysight-inc/HackerNews huggingface dataset:
"Relational programming" pretty much explains what it is, I think. It also makes it clear that functional programming (at least abstractly) is a special case of relational programming, because functions are special cases of relations (namely those relations that are not one-to-many). It's perfectly possible to program in a functional style in a relational language. (In practice, Prolog lacks some of the amenities of say ML-descendant languages, but Curry has them!)

"Declarative" is in my eyes an umbrella term for logic/relational and functional programming, but the word gets used in many ways.
It's interesting that farming/agriculture and sailing both have left the legacy of their words into the language. It goes to show how important these industries are to civilization.
I remember thinking why didn’t they just use “boat left” or something, but then at the sailing coarse I took, I remember there was a boat heading toward us and I was skippering, had to communicate exactly how I wanted to pass the other ship - and saying “to port” was just soo simple and easy - a “to our boats left” would have been way too long and you had to communicate things quite quickly… That’s when it “clicked” how useful this shorthand really was.
Of course it’s open source. How else would anyone be able to just go in and edit any page?
A company is made of human beings but it's not the human beings, the human beings can all shift around, leave, new ones come, but the company as it is still exist and is not driven by human values but by profit. Profit motive dehumanises anything it touches.
The thing about Chinese law is that you can ignore most of what's written down, as well as most of the precedents.

Chinese law is basically whatever the judge says it is, and of course they can be heavily influenced by third parties -- criminals, businesses, government officials, etc.... So, you really need to know your judge and what/who their influences are.

Now, the judge could always decide to honor those precedents, or what is written down. Or not.
The article refers to gross monthly income, so it sounds like he has to pay a before-tax percentage with after-tax dollars. Ouch.
Those seem to be the same thing.
Sure, nobody is deceived by the reality of the execution engine. But it's hard not to see a pure statement that is fast in one mode but slow in a different mode, determined entirely by the logically arbitrary order of two clauses, and not wish that the computer could just figure out those details itself.
I actually agree with you mostly. You probably don't need the neurons in your gut to be your whole self.

But the point was more to explore what "whole self" really even means. Technically your brain is composed of many modular components. What decides the line for things that have to be included to be you and things that can be excluded? Is it just the close proximity?
No different than a house - you don't refer to the Left Wing, but the West Wing.
AI models with obvious, broad, real world applications always seem get reproduced in public. Nvidia’s result is obviously great, but it’s still a long way from being useful. It reminds me of image generation models maybe 4 years ago.

We need a killer application for video generation models first, then I’m sure someone will throw a $100k at training an open source version.
Whenever I see these text to video diffusion models, I always think that a much better result would come out of some sort of multi-modal vision-aware AI agent were able to use 3d modeling tools like blender, continuously iterate it, work with physics and particle simulation tools then refine the less realistic details with a diffusion model based filter. It would also allow all the assets created along the way to be reused and refined.

I imagine it will be the de-facto way AI generates video in the next few years, once huge models are smart enough to use tools and work in high breadth and depth jobs like humans do.
Also the BEAM bytecode compiler and runtime are incredibly slow and unoptimized. It doesn't matter much for process handling and IO dominant workloads, but you would not want to run it with normal tasks.

An AOT compiler with better optimizations will run circles around BEAM on benchmarks.
I think you should try a plain win32 program on a high dpi and just see for yourself.
Time to crank the monetizing tap, add a mandatory monthly subscription to everything and deprecate well-working gear
Fewer and fewer. Canada, for example, changed this year from life + 50 to life + 70. No copyrights will expire in Canada for the next 20 years.
> people complain about getting banned from the said subreddit for not following the rules

That's not at all what I'm saying. There are a few subreddits with fair mods who enforce the rules fairly, but the great majority doesn't - they are the rules, and if they don't like you, tough tiddies. Making it effectively a "mod and minions", not a real community with real rules.
ChatGPT is horrible example what happens when American West Coast morals are extended worldwide.

-- Fatshaming in Somalia is not an issue.
I agree with that, but it's hard for me to get excited with the knowledge that it'll almost certainly be discarded and forgotten. I've seen too many papers that looked interesting from a theoretical perspective, but were simply never brought to the public because of the barrier of dev+training.

In this case, you need someone that can implement the method as described (hard!), and then you need someone with a setup better than a rented 8xA100 (expensive and not available on many cloud providers) to actually reproduce the model.
“In the case of a taxpayer’s specified research or experimental expenditures for any taxable year” …

Seems pretty obvious to me that the section only applies to what is claimed as R&E. Software development doesn’t have to be claimed as R&E, but if it is, now it unambiguously qualifies.
…Unless you create some trivial Python code that connects to a llm. Or related vaguely to anything AI.
> Not sure, how only one party has ethical obligations.

Companies use humans to get profits. Humans are developed by society, at the expense of society, a company has social obligations to that society as it's exploiting a resource we all deem quite valuable: a life.

A company depends on the society it decided to build upon, for its market, for its human resources, if we completely extract a company from any social obligation what you have is an amoral corpus of people with no incentive at all to care for the people it exploits...

And there's no 2-way street in a massive power imbalance like that, a company might not depend on a single employee for its survival, an employee definitely depend on a company and job for its survival. Being aware and recognising this power imbalance is a pretty good step for you to learn about solidarity.
I think the comparison with piracy is stupid as well, but the warez scene themself like to embrace that romantic pirate image very much.

Roaming the oceans freely, how nice - but the rest is indeed bloody murder and theft, which copying is not.
Archive Snapshots : https://archive.is/https://www.ft.com/content/211a8577-a0b2-...
That’s not true unless you have a dependency map between all modules. (Note: that’s what I did in pytest-fastest to only retest modules that had changed, or that imported modules that had changed.) Otherwise, if you rename a function, you wouldn’t know what all broke.
Even under abnormal circumstances, it can be written off. You're more likely to win several lottery jackpots in a row than to be bitten by that.
Yep, it is the same thinking that runs heavily in the conspiracy theory crowd. Anything that they even vaguely suspect as evidence is proof of the theory.

It is a shame that we are now in the position of having to think like this but that is the new world we are in now.
> In Go, I found that using an interface was not free: it can make the code slower. In C++, if you implement the following type and call count on it, you find that optimizing compilers are able to just figure out that they need to return the size of the inner vector.

I'm surprised at this, do Go interfaces really introduce much overhead? Of course this depends on the level of performance you care about but surely, being a statically typed language, lots of the same optimisations are available.
I'd say these are all plot devices to look at singularity using "peripheral vision".
I mean you can't "look straight at it".

How do you write about things that are way beyond your ability to perceive or understand (by his definition of the singularity).

I recall him discussing -somewhere- using the the repressive regime in the Peace War as a device to slow down history enough to pin a plot on it.

In Tatja Grimm's world he also makes a really good attempt at writing about a human being who has a superhuman level of intelligence (relative to our current standards).
Sure absolutely, but would a human make this mistake? You can't pitch something that already exists (I mean in this context we're pretending, so maybe we can pretend we're pitching that book). But a human (and GPT-4 does) assumes you want an original book. It's still an assumption.

I was playing around with GPT-4 making it take the questions for an Economics exam the other day and it was missing a lot of context that a human would get or assume. It was still much better at economics than me, but was going down "wrong" paths that a human wouldn't go down.

If you told it to explain the the question and list assumptions you could work out where it was going off track, but it lacked the ability to step back and recognise it had taken a nonsense path.
I hear people use "at the helm" and "change tack" to mean being in charge of something and changing direction or approach, respectively. People also "hitch themselves" to things, although I'm not sure that comes directly from the nautical usage.
No, the community follows the rules of the moderators by definition. The community itself doesn't get a say.
Hey, thanks for digging in. The backend SDKs are really geared towards calling the management API, handling the auth flows and providing helpers for things like permissions / feature flags. We haven't baked in JWT verification just because there are already so many libraries which already handle this side of things. Although, it's definitely something we could extend the SDKs to include.
If I understand the image processing part [1] of the code correctly, each image is scaled down (max 448x224) and only uses <= 512 tokens. 14x14 pixels is one input token.

[1] https://github.com/haotian-liu/LLaVA/blob/ee175feb646f4673fe...
In other news: country with 800bn spending for military, has good tanks.
I'd be curious to know what you folks think of https://testmy.net/ and how that compares to other Speedtest type sites?

I like their comparison to other tests in other areas and other carriers, as well as their options for configuring the tests.

Anything else? Are there good toolkits out there for testing this sort of stuff?
After all, doctors are humans and also have a body. It would be strange for them to write books saying that the heart is [#] on the right side when they have it on their left, etc.

[%] usually, because this is HN
Individual MPs are not selected by local parties anymore, that ship sailed 30 years ago. Parachuting chums in safe seats it's been the accepted norm since (at least) Blair. Backbenchers do what they do because they're fighting among themselves, organized in gangs (sorry, "think-tanks" or "research groups") to bolster their own career opportunities.

There is no upper chamber that I know of (the Lords is legislatively dead, a strong government can simply ignore it), and the powers of the High Court, already diminished by recent reforms, are likely to be further curtailed very soon (read the tea leaves: the debate on "abusing judicial procedures to make law", once the remit of right-wing Americans, was the subject for an entire Reith Lecture cycle only a couple of years ago; after the Brexit saga, Tories will take an axe to the HC as soon as they can afford to do so).
(ACQ Bure is a SPAC.)
Ask HN: Best books to gain solid understanding in physics and math topics?
Which books should one choose as the first step towards understanding any topic X in mathematics or physics?
Very. They are a tiny Swedish company that pay for top talent, are quite active and hands-on in the netsec community. It's not a faceless corporation with a Chinese PO Box.
You could buy a programmable open source security key instead, they recently opened their shop. https://tillitis.se/ Some of the people behind Mullvad VPN are associated with it.
Ask HN: Do you think we can backup our memories by 2050?
https://www.bleepingcomputer.com/news/google/google-search-o...
Can I have a strong dislike of how America conducts its business or is that not allowed?
If anything all my comments are ANTI-nationalistic, where the nationalism is that sneaking in so many comments here that subscribe to an entitled, west-centric view of the world.
The fact that an always civil -albeit confrontational- discussion is seen as inflaming is quite worrying.

Edit: the entire thread this was an answer to was dismissive and partisan about Europe.
I find this kind of feels like a squeeze on one's attention.

Where every app or signup has this false premise seeded in a design that it alone is at the center of your digital existence and therefore you can do anything it takes to vie for and keep attention and engagement because the product may experience too much attrition otherwise.

1) Take color away from sites who abuse it and watch your attention and focus go through the roof.

Grayscale the Web is a handy extension. https://chrome.google.com/webstore/detail/grayscale-the-web-...

It has a setting to just turn off all color, or just a site.

2) Add a firewall layer when signing up. I recently registered a voip number and an extra email account to check out for things.

It stops explosions of emails and text messages on my space of the same try to chase people into engaging in a pipeline.

It's surprising how few of these well oiled machines can do without being able to interrupt you constantly.

3) Notifications off, and checking them scheduled.

A good way to test any product beyond it is to silence all notifications. Maybe I have a habit to keep going back, or not.
Human or Not? - A Social Turing Game
To put it in context, in almost all areas of research (physics, biology, chemistry, electronics, etc), running experiments is expensive. ML is in the category that there can still be advances done by amateurs at home. I don't think it's worth writing off everything that requires more resources than a hobbyist.
I have an irrational concern about using security products from a company post-merger or acquisition. It has never ended well for me as an anecdotal user. Going public is taking that worry even further.

Make keys, sell keys. The end. What's there to raise funding for? Build yet another password vault?
> It really boggles my mind why is this lang so popular.

You are thinking like a software engineer, understandably

If you looks at STEM research fields Python is a solid tool for the fact it is a utlility/scripting tool. All the issues you listed rarely occur in this instance.

Most of the Python I write has a very limited lifetime. Typically shorted than the development time

There are indeed better Python alternatives, but very few use them in comparison
Using TypeScript to build custom ESLint rules faster
> This Monthly Price [is/is not] an introductory rate. [if introductory rate is applicable, identify length of introductory period and the
rate that will apply after introductory period concludes] This Monthly Price [does not require s1 a [x vear/x monthl contract. [only required if applicable; if so, provide link to terms of
contract

Absolutely not. The big bold text needs to be the real rate. I’m tired of having to read small text to understand the real rate.

It will be much better for consumers if the big price is the real price.

I’m tied of cable companies slinging $40/mo. Plans that are really $140/mo.
They can do things we consider indicative of intelligence. To consistently deny the novel usefulness of large language models requires constraining intelligence to a smaller and more exclusionary definition until, I'm sure in the weeks before AGI hits, everyone bearish on AI will agree that the one true definition of intelligence is the ability to independently train and deploy an intelligence smarter than yourself.
You can export all your data from Netflix.
Time for an open source u2f token.
I recommend get one eye done, then the other a few months later (2nd only if you are happy with results). If you get both done at once, you have no objective way to independently compare whether the results are better than what you already have....

My doctor was pushing me to get both done at once, but I wanted to have a control to compare against, and I am fucking glad I did only one.

With a contact in my left eye, and the Lasiked right eye, the left eye has much better clarity even in day time. The surgery results on the right eye were normal (this situation isn't because the surgery was stuffed up).

The halo effect is due to uneveness/dimples/ripples created, so can never be corrected by lenses. Although perhaps results of surgery may be better on average now (it was a couple of decades ago).

Anyone that has both eyes done at one time cannot make an objective comparison of advantages/disadvantages. Most people you hear from that have done it will be unrealistically positive about a choice they can’t change (psychology). I never got the other eye done, so I can truely say what the benefits and downsides are, whereas most people will give you extremely biased points of view.

It is useful having one eye that doesn't need contacts. But it is also useful having one -6 eye because it makes close-up work easy (I can't use the right Lasik'ed eye for fine detailed work - it can't focus on anything closer than 30cm - like long sighted but actually isn't).

LASIK benefit: no hassle with contacts and risks of irritation, better for water sports, travelling, no ongoing costs.

LASIK downside: much worse night vision (stellation due to irregularities in uniformity of surface - not correctable). Need reading glasses as you age.
> It will drive itself straight into the ground and most of the rod's kinetic energy will be spent pulverizing bedrock and itself. Such a weapon would be great for taking out bunkers, but I think very wasteful for any other purpose.

Wonder if it could be precision enough for non-military applications? eg possibly faster for deep geothermal drilling than using the existing surface based borehole drilling approach.

For military applications though, it'd wonder if such a rod (or small sequence of them) could be effective when striking geological fault lines. eg the San Andreas Fault line

Aka the old "use the terrain" approach.
> A special purpose acquisition company (SPAC; /spæk/), also known as a "blank check company", is a shell corporation listed on a stock exchange with the purpose of acquiring a private company, thus making it public without going through the traditional initial public offering process and the associated regulations thereof.

https://en.wikipedia.org/wiki/Special-purpose_acquisition_co...
I'm yet to run into the limitations of either of these on free plans. Supabase seems to be making all the right decisions around feature set.

Also, congrats on launching. Best of luck in capturing the market you're looking for.
in the absence of serious conditions such as borderline personality disorder, it is actually possible to have thoughts that differ in connotation, implied tribal signals, or whether they intuitively paint some given thing as “good” or “bad”

for instance, it is possible to simultaneously think “draconian copyright legislation is bad” and “this particular guy was a crook”
Apparently it's possible to keep the key in the debug registers: https://en.wikipedia.org/wiki/TRESOR
PDF? I exported my Netflix data a couple months ago and I'm pretty sure it was either CSV, XML, or JSON.
> In Canada you have to live for 6 months with a knee injury before surgery just because of the wait to access an MRI.

That is insane. I dunno about the rest of Germany but in Berlin I can get a knee MRI appointment within two days.

I know this from personal experience, twice, in the last five years.
Maybe the caller is not accusing anyone of anything.

Imagine there's a stabbing. The police show up and immediately start questioning bystanders. No-one wants to talk. A detective hands out business cards, and says 'if you remember anything, then give me a call on my mobile'.

On the way home, one of the bystanders sees a bloody cloth next to a public bin a block or two away that looks like the knife might be wrapped up in it. They're scared that it might have been a gangland killing, so they call up and report what they saw in confidence, fearing retribution.

The caller's not made any accusation. The physical evidence stands for itself in court. There's no need for an illegal or warrantless search to find the knife, and neither does the tip-off form a basis for creating probable cause for a search.

In this case, at the very least I think it is reasonable for the caller to expect a level of privacy, and the police should be obliged to inform the caller that the call is being recorded.
I’ve done a couple of these they’re good fun and a nice way to explore, we often tie one in to a city break. https://www.treasuretrails.co.uk/
Elon Musk to create TruthGPT as ChatGPT rival
It's absolutely insane. I had a knee MRI in SF 5 ears ago, and the out of pocket cost, with insurance, was $900. Insurance paid around $2000. And the wait was 3 weeks. I found a private imaging place that could do it for $750 next day. Called the insurance company and told them that we could both save some money on this, and got "that's not how it works." Bureaucracy is societal cancer.
Come on, it’s like slapping a doge sticker on your research paper.

I think prompting is a bit past “trending on Artstation in the style of Greg Rutkowski” at this point..?
The tragedy of the commons is at play here. We could get amazing ML models rivaling the best if people interested could pool together money for a $100k or $1 million training run. But there doesn't seem to be the willingness, so we humbly rely on the benevolence of companies like Stability and Meta to release models to the public.
Is Your Workplace ‘Perkwashing’?
Hmbb: Wool Shop/ Amigurumi/ Crochet
Perhaps they bought their own pre-ground roasted beans to the café?
remember how a few short years ago reddit would guilt shame people into paying for "server costs" on a daily basis by buying awards?

People were literally paying to keep reddit afloat for their own use. Now they are reversing course and saying "well there are costs to pay".

the fuck is wrong with them. Users kept reddit afloat for all its life because they enjoyed it and got utility out of it. They paid for the access to all of reddit, api and all by awards and suddenly they want to charge money? what were people doing earlier?

No one asked reddit to selfhost images and videos. Remove that and you can get back to 10 year old reddit in an instant but no. They want to bring algorithmic video recommendations ala tiktok. utter shit
One I like is the phrase "the tell-tale signs", which refers to a sailing boat's tell-tales. These are small strings attached to the sails to indicate if the sail needs to be trimmed for optimal performance.