croemer

34 ms·

781.
by croemer 2y ago
Here are general docs for Lean4, which is what is taught here: https://lean-lang.org/lean4/doc/whatIsLean.html and another tutorial: https://leanprover.github.io/theorem_proving_in_lean4/intro
782.
by croemer 2y ago
Isn't it called Vimium, or is Viumium a new thing?
783.
by croemer 2y ago
Great write-up and theory, holds up well against the observations others have shared here
784.
by croemer 2y ago
Like issue search being not instant, it's impossible to find duplicates if it takes 5 seconds per search and not 500ms.
785.
by croemer 2y ago
I've emailed @dang
786.
by croemer 2y ago
They said they are pushed away from Linux and non-Chrome
787.
by croemer 2y ago
Wouldn't it be good to launch with at least a few bugs fixes? The launch is a bit thin, just mirroring, nothing to offer?
788.
by croemer 2y ago
Good chance that Google legal won't be happy and ask the website to be taken down. https://docs.flutter.dev/brand
789.
by croemer 2y ago
Since the announcement a week ago I've started contributing to the project myself. It's fun!
790.
by croemer 2y ago
There are a lot more details available now worth discussing. This thread shouldn't be deprioritized as dupe, it isn't.
791.
by croemer 2y ago
Bad luck, there just happens to be no prime number for a long time. The new prime exponent p is 136M, the old largest one was around 82M. So the overall effort to get from 82 to 136 was around 1.75 times the effort it took from 0 to 82 [cal
792.
by croemer 2y ago
I wonder where Luke Durant got the money from to fund the effort. He's a former NVIDIA employee, I wouldn't be surprised if this was funded by NVIDIA.
793.
Grafana SQL Expressions allow for remote code execution(grafana.com)
1 points by croemer 2y ago|0 comments
794.
by croemer 2y ago
The issues are still preserved by archive.org, e.g. https://web.archive.org/web/20241009234026/https://github.co...
795.
Purchased OpenAI credits expire after one year(community.openai.com)
4 points by croemer 2y ago|1 comments
796.
by croemer 2y ago
I purchased around $10 of OpenAI API credits with my credit card on September 26 2023. End of September 2024, I suddenly get HTTP 429 errors. I check the dashboard and it says I have -0.01$ in credits. I’m sure I didn’t use more than a few
797.
by croemer 2y ago
I think parent meant to have it pre installed in most distros, not just easily installable
798.
by croemer 2y ago
Like moreutils? yamu? Yet another moreutils?
799.
by croemer 2y ago
You can't put comments in package.json, JSON should never have been used for something maintained by humans.
800.
ArtiPACKED: Hacking Giants Through a Race Condition in GitHub Actions Artifacts(unit42.paloaltonetworks.com)
1 points by croemer 2y ago|1 comments
801.
by croemer 2y ago
Github's response was pretty bad. They changed the upload-artifacts workflow to no longer include hidden files _in a minor release_ and that broke thousands of workflows that required hidden files. Github issue with angry comments: ht
802.
Upcoming breaking change: Hidden Files will be excluded by default(github.com)
3 points by croemer 2y ago|1 comments
803.
by croemer 2y ago
Github pushed a breaking change in minor version to actions/upload-artefact that broke thousands of CI workflows. People are angry.
804.
Pathoplexus: An open-source pathogen sequence database(github.com)
3 points by croemer 2y ago|0 comments
805.
"No need for cookie banners" might be incorrect(github.com)
2 points by croemer 2y ago|1 comments
806.
by croemer 2y ago
The VS Code Python extension recently switched the default Python locator from "js" to "native" and this seems to break the extension for a lot of people. I'm surprised how long the issue has been open and how slow
807.
by croemer 2y ago
How can you be so sure? Never is a strong word unless you never use passwords in your side projects. And this here wasn't a side project. It's easier if only one person controls a code base than with complexity.
808.
by croemer 2y ago
Not as far off as the casual reader might think 20MB vs 1Gb sounds way more than the actuall 160Mb vs 1Gb - one shouldn't use Bytes and bits in a direct comparison together. One or the other, otherwise it's misleading/confusi
809.
by croemer 2y ago
Of course, because the managers have no idea about the cost-benefit tradeoffs of such a technical decision.
810.
by croemer 2y ago
This product is hardly in initial release though. FlightAware has been around since 2004 and has recently been migrating their stack away from Tcl (!)

More ›