skysight-inc/HackerNews huggingface dataset:
I don't see why you can't write the closed form in a functional language as well. This only works for 1 =< N =< 70, for N >= 71 the approximation of Sqrt5 isn't good enough; you need to do more symbolic math so you can eliminate that term.

-module('fib').
-export([go/1]).

go(N) when N < 1 -> throw(badarg);
go(N) ->
Sqrt5 = math:sqrt(5),
round(1.0 / Sqrt5 * math:pow((1 + Sqrt5) / 2.0, N) - 1.0 / Sqrt5 * math:pow((1 - Sqrt5) / 2.0, N)).

rp(lists:map(fun fib:go/1, lists:seq(1, 71))).
[1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,
4181,6765,10946,17711,28657,46368,75025,121393,196418,
317811,514229,832040,1346269,2178309,3524578,5702887,
9227465,14930352,24157817,39088169,63245986,102334155,
165580141,267914296,433494437,701408733,1134903170,
1836311903,2971215073,4807526976,7778742049,12586269025,
20365011074,32951280099,53316291173,86267571272,
139583862445,225851433717,365435296162,591286729879,
956722026041,1548008755920,2504730781961,4052739537881,
6557470319842,10610209857723,17167680177565,27777890035288,
44945570212853,72723460248141,117669030460994,
190392490709135,308061521170130]

( 190392490709135 + 117669030460994 /= 308061521170130 )
> This may be controversial but I think this has the potential to be a brilliant metric because it measures some part of web UX that’s often neglected.

It also seems to be a metric that is very easily gamed.

If all that matters is instant feedback, then just draw that loader as soon as user clicks add to cart, do not wait for the request to start. It does not matter that it will take X or Y seconds.
You are talking about physical monitor unplugging, while others are talking about monitor power off, but still plugged in.

I agree that when monitor is physically removed, the windows should go back.

But if it is just powered off but still plugged in? I say windows should stay there, just like HDMI did. For example I sometimes turn off monitors for less distractions during regular conversations.. or to save power before leaving.. in this case windows jumping all over the screen are the last thing I want.
Sadly, it seems it is just hugo. He mentions hugo in a post[1].

[1]: https://andreyor.st/posts/2020-06-05-managing-background-pro...
Unfortunately, it is sometimes not even possible to say which solution should be preferred because different branches lead to different sets of packages having higher versions. There is not really an "ultimate" heuristic to determine which of the two sets is better.

However, users are always encouraged to add more constraints to shape the solution, and packagers encouraged to take good care of the metadata.

At prefix we are quite interested in figuring out how we can help packagers to determine e.g. compatibility ranges more correctly by doing static analysis and such things.
Related: https://xkcd.com/1172/
Finally Outgrowing CSS and XPath Selectors in 2023
I don't use ARC at all (all audio sources go through the receiver), so that's a non-issue for me.
I am using Nextcloud for sync in conjunction with PhotoPrism.
Read what you’ve quoted. They say the ecosystem is lacking, not that the issue is inherent in FP.
Being British seems really inconvenient
Bill G has said that this quote was misattributed to him.
GPT-4 is far more capable than LLaMA. Just as one area of impact - captchas would become permanently ineffective. If you're experienced in developing captchas and everything they do for us, you know the implications of that alone lead to a very dystopian internet and world.

I like to answer a question with a question: if you sit and think about it, what both unintentional misuses and intentional abuses can you think of? It helps to write down a list of known abilities, then thinking up several "what if..." negative utilities or implications of each, then iterating further to see second, third, fourth order effects.
i'm saying that chefs are more likely to be aware of what is happening when doing the whipping, baking, cooling, etc and why that's important vs just doing it as a step. so when they experiment with the menus, there's a bit more than basic understanding in why they think the experiments might work. cooks are just the kids in chemistry class following the directions, and depending on how well they follow the directions (and to a point how well the instructions are written), they might not blow up the lab (or burn the m.f. soufflé)
Maybe give it another go?
The 100th or so announcement of "Market driven company reduces expenditure in non-core business areas due to changing monetary environment".

They all start to blend together really, 0%IR BS washing away and revealing who's swimming naked.
One possibility is Mnemonics. You were memorizing the important letters in a text-based menu. Possibly even the keyboard shortcut mnemonics themselves. That's said to be one of the biggest losses in Windows user experience that keyboard mnemonics used to be highlighted at all times with an underline in text menus and then Windows UX switched to only highlighting them when Alt was pressed.

It's something I think about a lot with the Ribbon because it has some really good keyboard mnemonics in Office applications, but mostly only Power Users think to press the Alt button to let them "bubble in" on the Ribbon. The keyboard mnemonic bubbles make great landmarks, and I think that remains one of the reasons I rather like the Ribbon (as a power user) that a lot of people never discover. (In part because I was there a million years ago when Word first lost the underlines and was used to even then pressing Alt on its own just to see them so that behavior carried over to the Ribbon just fine for me, luckily enough.)
Past the limit: Studying how often drivers speed in San Francisco and Phoenix
What language, and kind of project do you work on? And what other tools have you compared to IntelliJ in your workflow that are better, or so much better?
Digggg
>As we’ll see, if AI turns out to be powerful enough to be a catastrophic threat, the proposal may not actually help. In fact it could make things much worse, by creating a power imbalance..

Power imbalance is not 'much worse' than extinction.

It's very clear how people start with the conclusion - "openess and progress have been good and will keep being the best choice" and then just contort their thinking and arguments to match the conclusion without really critically examining the counter arguments.
That's one of the messages of The Design of Everyday Things. It's too bad Apple hired the author and ignored him.
Sorry, that was phrased poorly; was in reference to the parent comment’s “For ScyllaDB you need to install Java, Python and several ScyllaDB related packages”.

Just meant to say it does have tooling which requires other languages/environment specifics.
This was magical really made my day. Thanks for this.
Tried, no luck
You phone will navigate without cell service. All you need is offline maps. No need for a dedicated GPS
In my weird dream, people will attach likes to everything :)
Is there a mac mini model that hits a sweet spot on price and performance? I’d love to run a little cluster of mac minis. Maybe one of the intel ones so you could just throw on linux and something like slurm or pbs?
I've done a few of those RHEL/CentOS/Ubuntu moves myself, and even though it was a pain I'm still somewhat impressed over how painless the actual move was when I had good documentation and also still terrified of what it feels like to try to transition undocumented boxes.

I dislike windows and the M$ ecosystem but as far as server management for undocumented servers it's much easier to deal with them than for Linux stuff. For an undocumented Windows server, you send out an email, wait 2 weeks, shut it down and listen for the screams.

For an undocumented Linux server, you send out an email, wait 2 weeks, prep the fire extinguishers, batten the hatches, and wait for the mob of angry villagers to storm the DC with pitchforks because thanks to you their print server for their paper checks is now printing in Klingon and it can't be fixed without resurrecting the guy that wrote the software 6 days before he died of terminal terminal disease.
I've had one for about 7 years now that's been my htpc. Nice, little, quiet, and it worked great. Was thinking about upgrading soon. Guess I'll have to figure something else out.
There are a lot of libraries for that. For example Pytorch Lightning, Accelerate are very mature
No that's the favorite color of old women.
Theorem proving like lean4. Ie programs that aren't about state manipulation
Body Doubling for ADHD – A Primer
I fell in love with Lenovo and HP SFF/'tiny pcs' a couple years ago. It can be tricky to find ample display outs in a preferred hardware configuration but otherwise they've been cheap, quiet, reliable and efficient. I realized as much as I like the tech and even idea of gaming, I don't game much anymore at all so without the need for a proper GPU these things have really simplified computing in my life to the point I have very capable extra hardware for projects and experiments ready to just plug in and go.
10/10 will buy more again
I mean, sorta? This would be like claiming that folks that enjoy a long bike ride are finding a way to lie about difficult physical tasks. (Or marathon runners, or any other difficult thing.)

That is, I'm pointing out that you can use unique tastes to imprint experiences. And if you do that, it is not surprising that you can grow to like the taste, as it is no longer an isolated thing, but a physical reminder of other things.
blind is very big tech and US centric, it's not really a replacement for glassdoor
Of course we can't have anything nice anymore. Soon the only free OTA channels will be the bible thumping happy hour crap. We use OTA to watch the local news, and it feels like this will be another blow to our ability to hear about what's going on in our community.
Because docker is made for server apps. Flatpak is for desktop apps. Docker comes with batteries included to keep things running 24 7
But then he'd have missed out on your conversational effervescence.
We bought a couple of i7 NUCs every time a new generation was launched, mainly to have access to the latest GPU features.

That is, we hoped to use Intel's MFX Media SDK for transcoding h264 (or even h265) video. Unfortunately both the SDK and the hardware were too much of a moving target, going from software to hardware only, Windows only then later linux only on CentOS, then only on Ubuntu, then (partially) open source. Dropping support for older generations, breaking API changes. Opaque licensing policies.

At some point we gave up and simply went with ffmpeg. Works great on AMD too, or ARM for that matter.

Still using a NUC as main development machine, extremely fast and mostly quiet.
You could argue that there is just one type (tensor) with some invalid operations between its values (e.g., when dimensions mismatch). Just like integer division by zero.
The point is to make sure there is always another console you could move to, and that there is a hundred other fps titles on the market.
Right, but we could still ask for Pareto optimality: no way to make one package better, while keeping the rest at least as good.
Ask HN: Insights on Computational Tools for Molecular Modeling?
I've recently delved into the complex field of computational biology and chemistry, specifically in the context of molecular modeling to understand potential biological activity of novel compounds. I'm interested in the available tools for tasks such as molecular modeling, ligand docking, virtual screening, and predictive modeling based on molecular geometry.

The field seems to be evolving rapidly. What are the most exciting advances or platforms that you've come across recently?

In particular, I'm curious about the idea of 'developing and validating' molecules in a way that mirrors the software suite of tests. Are we close to a reality where we could have a comprehensive suite of open-source or commercial computational tools to assist the entire research and development cycle from ideation to production?

Furthermore, are there any comprehensive libraries or platforms that serve as a "one-stop-shop" for these computational needs? I'm aware of big players like Nvidia developing ML libraries for this domain.

Finally, given the sensitivity of research data and the typical reluctance to let it leave local networks, what does a typical data pipeline look like in this context? Are there established best practices for setting up a data pipeline and facilitating collaboration in a secure and efficient manner?

Any insights, advice, or resources you could share would be greatly appreciated.

Thanks!
Yeah the ability to astroturf (at massive scale!) product reviews or political opinions as comments in reddit posts and the like will be sort of horrifying. The dead Internet hypothesis may yet come true.
What’s so hard about writing a training loop?
Congratulations for creating a product that I believe will most certainly find a market. Like the others, I believe you could dramatically simplify the architecture, but mad props for just publishing your MVP, and throwing it to the sharks of HN.

It seems very clear to me that many of these sharks have never tried to implement a similar system.
This post just made me check out XWidget support in Emacs, and oh my bejebus is this amazing.

Yes, it's not like running an actual browser, but this is so much better than anything I expected.

https://macowners.club/posts/using-xwidgets-on-macos/ gave me a quick and nice overview of how it looked.
Sounds like a Windows problem once again...
According to the FTC:

> The FTC insists the Nintendo Switch’s pricing, performance, and content make it an improper substitute at least for purposes of its preliminary injunction motion

I have to kinda agree with the FTC. I consider the Switch to be a very different device than the XBox/PS with different uses as far as the gaming experience I expect. The XBox or PS, on the other hand, I expect to have similar experiences.

As I understand it, but the rest of this is based on skimming the ruling, the judge has to take into account whether the merger will help or hinder customers. MS said "Call of Duty isn't even on all the consoles now, it's just on Playstation and XBox. Let the merger go through and we will port it to the Switch. See how we don't play favorites for our console.". The FTC's response was "there isn't real market for console players of games like COD released on Switch, the Switch isn't a competitor to the XBox for this game"
Yeah that's true. I get nagged to backup stuff to iCloud or to sign up for apple music but windows has more stuff.

I do see the windows stuff as more upselling to other microsoft apps like onedrive which to me doesn't seem so different form the icloud integration. I use both an haven't noticed much in win11 though.
Using it everyday and I can’t confirm this at all.

Worst case you can enable clippy to run in the background.
I found this too. They mention this:

Missing build dependencies must be installed manually as shown in our human-readable and versioned Dockerfile.

I haven't been able to find any dockerfile that lists dependencies. My guess is that the documentation is referring to some prior architecture or something similar
Teams first please!
Are you saying that V8 is reusing TCP connections between different browser tabs and websites? Seems like a timing/side-channel attack could be done with that.
Its not really well known what is the motivation for witholding funds, but in some cases, it has been shared that is stuff around AML and people have extrapolated.

Conventional payment processors like Wells Fargo, BoA, and others do the paperwork up front, and then give you access. They don't have the spiffy features that Stripe and Paypal has.

Ultimately, I think Paypal and Stripe could have a better system, but they profit immensely this way. Like you said, good for them, but sucks for the industry because it is one of the barriers to growth is getting hit like this as you are scaling is huge.
https://en.wikipedia.org/wiki/Rail_Baltica

https://en.wikipedia.org/wiki/Ch%C5%AB%C5%8D_Shinkansen
It’s improved a lot the last year. Check it out again
All black holes I've run into are cat-shaped, yet they have uniform gravity fields around them.
Does NUC stand for something? Is it an Intel sub-brand or a more general classification?
Understandable. Nintendo is full of exclusives + it's the best selling console too (by the court's admission) and that's ok so as MS buying Actiblizz. Otherwise I don't know how would Nintendo get a pass lol, they are the worst with exclusives (and what ends up on mobile is p2w thrash)

>If the Court was the final decisionmaker on the merits, it would likely find Nintendo
Switch part of the relevant market. But it is not. Instead, on a 13(b) preliminary injunction, the
FTC need only make a “tenable showing that the relevant market” is Gen 9 consoles. Given the plethora of internal industry documents and the acknowledged differences, the FTC has met its preliminary injunction burden to show the Switch is not included
in the relevant market.

>Nintendo made “technical decisions to enable an experience that they thought their customers would want to have, and it’s the best selling console right now in the market. So when I — when people try to tell me it’s not competition — competitive, for any number of reasons, I don’t believe
that because I just look at what’s selling
Type Inference: Bidirectional Constraint Generation
I don't see a mention of indentation there. Just:

> I would like to specify that multiple spaces be interpreted as such

The response is only

> Isn't it a violation of the SGML philosophy

This seems more relevant:

> spaces and tabs at the starts of lines are ignored, and extra space after
punctuation is handled separately

http://1997.webhistory.org/www.lists/www-talk.1993q2/0470.ht...
My way of doing private SSL (not necessarily the easiest):

* own CA, to be distributed to all systems via Ansible playbook or Dockerfile directives

* Hashicorp Vault with enabled PKI engine

* Ansible Hashivault module [1]

* Ansible role & playbook to tie it all together

* CI enviroment for automated deployment of SSL certs to target systems

Works flawlessly once set up, including restart/reload of affected services. Might do a writeup on my personal blog at some point.

[1] https://github.com/ansible-collections/community.hashi_vault
I personally love glm[1] and the way you can just

vec3 foo{1, 2, 3};
vec3 bar{2, 0, -2};
auto baz = foo + bar; // {3, 2, 1}

[1]: https://github.com/g-truc/glmhttps://github.com/g-truc/glm
I need to know if a video was captured or uploaded from gallery. A simple flag that is not provided through their messages API. Same thing for location: if location was selected from map or the user sent the current location.
OP asked about “f-strings like python has”, which is different from plain std::format().
Wait, so you're saying that somehow, transferring the responsibility for a service from an organization who merely need to achieve net zero, to a for-profit organization is not going to result in a better service? Wow, who'd have thought.. </LiberalSocialistScarcasm>
Perhaps that was MCC/Interim?
There is a flag to enable it, and the default is to run with the GIL.
This seems like a very specific situation, and you could disconnect the second monitor for it.

Not sure about the reliability of window restoration. It's at least better in the latest macOS than in older versions.
That sounds a lot like Google, but Intel doesn't throw as many things at the wall to see what sticks. NUCs have been around for 10+ years; that's much longer than Stadia or Reader.
Having to scroll back to the top of the modals to close them is infuriating. Should just be able to click in the gray surrounding them to close them.
I think it's getting more requests than the site owner expected.
They only targeted enthusiasts but there's incredible competition above and below.

Down market, there are way cheaper 1L business PCs which are mass produced for businesses but work great for consumers wanting small quiet (or not, 65w options also available) systems.

Up market, there's all manner of small form factor gaming PCs and others.

Intel did have a knack for having interesting twists & innovations, but they rarely were must have advantages. Building the whole PC on a card was an interesting & useful move, for their gaming Extreme series. Skull Canyon back in 2016 showed a power density and level of integration that the world didn't know had been possible. The price has always been high, too high for critical success, but I thanks Intel for pushing new things & pushing the market. https://www.anandtech.com/show/10343/the-intel-skull-canyon-...
Of all the NUCs they ever made; there is one singular model with 10G ethernet. And yeah good luck getting it.

The lack of any significant IO to the outside world crippled these things massively.

I tried to order 3 NUCs once; after waiting 6 months for stock, I gave up.

Seems nothing will actually be lost.

Anybody make ANYTHING that is nuc-like and has 10G+? HP Elitedesk 800 mini has a flexio option for a single 10g port, but it's the only similar thing I have discovered.
Yeah, my original comment was based on the "100x more expensive" assertion. a 5m DAC cable is $40 on Amazon, and 25GBe cards can be had for under $200. I think it's probably more than $2.40 for just a 5m DP cable, so 100x was a gross exaggeration.
This could be good news for Framework. For me, the ability to upgrade a laptop's main board and then use the old one like a NUC is a big selling point. As their userbase grows it will be easer to pickup used boards for cheap.
The question is if you can have a system that can derive the closed form from the definition. Not one you can feed it to. Right?

Similarly, it may be faster to use the repeated squares approach to get a large value fib, and I don't know any system that can get that from the recursive definition, either.
pg_dump --schema-only --table=tablename databasename
Only if the body is duplicated too. If I could just make my brain bigger, I don't think my odds would improve much. Quite to the contrary. An AI with higher dependency on compute power seems more vulnerable.
> If you're experienced in developing captchas and everything they do for us

What they have done, fairly overtly for a long time, is train AI to defeat captchas.

That this was self-limiting was somewhat obvious.
Same here with an lg monitor on dp
> There are also very specific nazi-servers. Defederating them is pretty essential to a lot of people who don't want to see nazis popping up in their comments or streams.

Then they're part of the problem. Just don't subscribe to them. I'd prefer to see the world how it is, including all idiots and extremists. Closing your eyes does nothing.
Constrained generation should not require calling supplemental functions. It's as simply as banning or reducing the weight of the naughty tokens. There are several libraries which enable this without function calling (microsoft guidance, jsonformer, lmql)
The second asahi is in a “finished” state im running Linux on my Mac.
The Next Unit of Computing. Pretty sure it's just an intel-ism that caught on.
No, this is in a serverless environment running on V8 isolates (specifically, Vercel Edge Functions).
Is Wine Fake? (2022)
This is a really cool sales prop
I run mine headless. It's a great little x86 box for Jellyfin/home automation/logging/anything I want to run inside my local network that doesn't need graphics and won't accidentally get turned off.
It stands for "Next Unit of Computing"
Imagine you are a jungle monkey. One day some other small hairless monkies want you to go extinct. Will they succeed.

It's not about 200 IQ, it's about when we reach bigger gaps than that. Though yes, I suspect if the 200 IQ guy can copy himself at will, get hardware to do years of 200IQ thinking in an hour, etc. he might succeed.
Oh, this is a neat technique - no need for those pesky \ at the end of each line. Thanks!