Today, John Tromp - creator of the Binary λ-Calculus, and one of the smartest functional wizards alive - ported his famous prime number generator (first published 12 years ago!) to HVM:
Discover gists
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /******************************************************************************* | |
| * | |
| * A minimal Forth compiler in C | |
| * By Leif Bruder <leifbruder@gmail.com> http://defineanswer42.wordpress.com | |
| * Release 2014-04-04 | |
| * | |
| * Based on Richard W.M. Jones' excellent Jonesforth sources/tutorial | |
| * | |
| * PUBLIC DOMAIN | |
| * |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| # | |
| # https://docs.docker.com/build/buildkit/ | |
| # https://github.com/docker/buildx/releases/ | |
| # https://github.com/docker/buildx | |
| mkdir -p $HOME/.docker/cli-plugins | |
| wget https://github.com/docker/buildx/releases/download/v0.11.2/buildx-v0.11.2.linux-amd64 | |
| chmod +x buildx-v0.11.2.linux-amd64 | |
| mv buildx-v0.11.2.linux-amd64 $HOME/.docker/cli-plugins/docker-buildx |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <html> | |
| <head> | |
| <style> | |
| h1 { | |
| text-align: center; | |
| color: blueviolet; | |
| } | |
| h2 { | |
| text-align: center; |
VictorTaelin
/ simple_fast_functional_sieve.md
Last active
May 21, 2024 03:15
Can a simple functional sieve be fast? Optimizing Tromp's algorithm on HVM.
- No proxy for:
*.apache.org, *.github.com, *.github.io, *.githubusercontent.com, *.gitlab.com, *.google.com, *.gradle.org, *.jetbrains.space, *.maven.org, *.micronaut.io, *.quarkus.io, *.scala-sbt.org, *.schemastore.org, *.spring.io, cache-redirector.jetbrains.com, cloudconfig.jetbrains.com, download-cdn.jetbrains.com, download.jetbrains.com, downloads.marketplace.jetbrains.com, ea-report.jetbrains.com, github.com, gitlab.com, google.com, gradle.org, jcenter.bintray.com, jitpack.io, micronaut.io, plugins.jetbrains.com, quarkus.io, repo.papermc.io, resources.jetbrains.com, spring.io, www.jetbrains.com
Activation Key:
UX394X3HLT-eyJsaWNlbnNlSWQiOiJVWDM5NFgzSExUIiwibGljZW5zZWVOYW1lIjoiSG9uZ2lrIFVuaXZlcnNpdHntmY3snbXrjIDtlZnqtZAiLCJsaWNlbnNlZVR5cGUiOiJDTEFTU1JPT00iLCJhc3NpZ25lZU5hbWUiOiLkvJfliJvkupEg5bel5L2c5a6kIiwiYXNzaWduZWVFbWFpbCI6ImhhbmF6YXdhbWl0b0BnbWFpbC5jb20iLCJsaWNlbnNlUmVzdHJpY3Rpb24iOiJG
ad8e
/ glfw_ship.cpp
Last active
May 21, 2024 03:10
instructions to use skia and glfw together. (download, installation, first program). as of Sept 2023, Windows is broken but this is still sadly the best starting resource for skia on Windows too.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* Note: this Google copyright notice only applies to the original file, which has large sections copy-pasted here. my changes are under CC0 (public domain). | |
| * Copyright 2015 Google Inc. | |
| * | |
| * Use of this source code is governed by a BSD-style license that can be | |
| * found in the LICENSE file. | |
| */ | |
| /* | |
| The official instructions don't work well. These alternative instructions are intended to be the shortest path to get a minimal setup running. |
jatrost
/ Top SPF Includes 2LDs from all top domain lists (via SPF).csv
Created
July 5, 2020 15:35
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| includes_registered_domains | domain | |
|---|---|---|
| outlook.com | 606741 | |
| google.com | 403872 | |
| mcsv.net | 135641 | |
| websitewelcome.com | 132545 | |
| ovh.com | 83291 | |
| mandrillapp.com | 83021 | |
| mailchannels.net | 78685 | |
| sendgrid.net | 72738 | |
| bluehost.com | 70342 |
jatrost
/ Domains with 4 or more Email Security Providers (via SPF).csv
Created
July 6, 2020 02:23
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| domain_alexa_rank | domain | num_email_security_providers | email_security_providers | |
|---|---|---|---|---|
| - | mqsadvisors.com | 4 | ZixMail,AppRiver,fusemail,Protonmail | |
| - | primo.com.au | 4 | Mimecast,Mcafee,Symantec,Proofpoint | |
| - | fera.co.uk | 4 | Symantec,Forcepoint,fusemail,Protonmail | |
| 110703.0 | pivotal.io | 4 | Cisco Ironport,Mimecast,Symantec,Proofpoint | |
| - | premiercu.org | 4 | Mimecast,Cisco Ironport,Fortinet,Proofpoint | |
| - | pendletonplace.org | 4 | AppRiver,Mimecast,Mcafee,ZixMail | |
| - | mysolutions.biz | 4 | AppRiver,Reflexion,Can-It Pro,ZixMail | |
| - | tracintermodal.com | 4 | Mimecast,ZixMail,AppRiver,BAE Systems | |
| 220653.0 | pallet-track.co.uk | 4 | the email laundry,hornetsecurity,ZixMail,AppRiver |
Sidenote: you will still need one, but by the end of the guide you should only need to deal with this process once per year, assuming nothing changes.
So, if you're like me you used ProtonVPN as a way to get around the most recent DMM block beginning in August of 2023.
Of course, you can't always have your cake & eat it too. So, what Proton did, some months later: no more server choices even with their already limited country selection for free users, and no more split tunneling either.
That's what most people think at least. Me, personally, I found a solution.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // | |
| // This code parses binary format of WebM file. | |
| // recognizes only some important TAGs | |
| // | |
| // Limitation: | |
| // This programs reads all binary at once in memory (100MB). | |
| // It is very bad imprementation, but it is still enough for some small WebM file. | |
| // | |
| // Usage: | |
| // node parse_webm.js filename |
NewerOlder