profile
viewpoint
Brendan Zabarauskas brendanzab @yeslogic Melbourne, Australia http://voyager3.tumblr.com I'm a poly-paradigm developer, primarily interested in how how type systems can be used as tools for thought. he/him 👨‍🎨👨‍💻👨‍🔬

brendanzab/codespan 277

Beautiful diagnostic reporting for text-based programming languages.

brendanzab/approx 78

Approximate floating point equality comparisons and assertions

brendanzab/algebra 54

Abstract algebra for Rust (still very much a WIP!)

brendanzab/color-rs 44

A library that provides types and conversions for working with various color formats.

brendanzab/chronicle 33

An event sourced CQRS framework for Rust

brendanzab/bullet-rs 9

Bindings and wrapper for the Bullet physics C API.

brendanzab/elm-stlc 7

Bidirectional type checker for the simply typed lambda calculus

brendanzab/Derelict3 2

A collection of dynamic D bindings to C libraries, useful for multimedia and game development.

brendanzab/efl-rs 2

Servo-specific wrapper for the relevant components of the Enlightenment Foundation Libraries.

brendanzab/gfx-rs 2

A lightweight graphics device manager for Rust

startedbevyengine/bevy

started time in 2 hours

startedWelcome-To-Robins-Repo/blancmange

started time in a day

startedvmware/differential-datalog

started time in a day

issue commentyeslogic/fathom

Solver integration

This looks nifty - checks the witnesses that are returned from SMT solvers: https://github.com/smtcoq/smtcoq (via this twitter thread).

brendanzab

comment created time in 2 days

startedsmtcoq/smtcoq

started time in 2 days

push eventpikelet-lang/pikelet

Brendan Zabarauskas

commit sha 036aca50a1d88a305f2cac846be1eeb5d09207b4

Adjust function naming - argument -> input - parameter-> input - body -> output

view details

push time in 2 days

startedHerrmannM/eole

started time in 2 days

push eventpikelet-lang/pikelet

Brendan Zabarauskas

commit sha 94d2dabbc3183f2c513638bf4e822089d9d805d0

Rename crates for clarity

view details

push time in 2 days

push eventpikelet-lang/pikelet

Brendan Zabarauskas

commit sha 48746c8f08186a670494506f430a4b1309b3fa10

Improve doc comments

view details

push time in 2 days

startedHarvardPL/formulog

started time in 2 days

push eventyeslogic/fathom

Brendan Zabarauskas

commit sha e25fc55a4a7f792d0365be4655ec2511404f671b

Add explicit parameter types to lambdas in core

view details

Brendan Zabarauskas

commit sha 082366e5ac92593adb629526953d35aaabaca053

Add explicit labels to enumeration introductions

view details

Brendan Zabarauskas

commit sha 05352d8fbf38491c90bd307f84d3e82f838bed1d

Add explicit field types to record introductions

view details

Brendan Zabarauskas

commit sha 4f61c027e9926fc283080bd5a30af89003e85d22

Add type annotations to array introductions

view details

Brendan Zabarauskas

commit sha ec80918535af4d7fe57928637134b1b8f3ba8bed

Add type annotations to enumeration eliminations

view details

push time in 4 days

startedmmcqd/pure

started time in 5 days

create barnchbrendanzab/pikelet

branch : patterns

created branch time in 5 days

startedKixiron/rust-langdev

started time in 5 days

startedllee454/functional-algebra

started time in 6 days

startedbombomby/optick-rs

started time in 6 days

startedwebyrd/Barliman

started time in 7 days

startedeffekt-lang/effekt

started time in 7 days

startedAloxaf/silicon

started time in 7 days

startedboxdot/gurk-rs

started time in 8 days

startedkino-mc/rsmt2

started time in 8 days

startedericfinster/opetopic

started time in 8 days

startedKixiron/codespan-salsa

started time in 9 days

issue commentbrendanzab/codespan

Add examples of working with other libraries

Oh wow, this looks like a nice thing to learn from in general!

brendanzab

comment created time in 10 days

startedStupremee/kaleidoscope.rs

started time in 10 days

issue openedbrendanzab/codespan

Rethink release process and document it

Managing monorepos can sometimes be tricky! I've been trying to keep a single version between codespan-reporting, codespan, and codespan-lsp, and have been manually tagging + writing release notes, but unfortunately hadn't documented or communicated this process. It also ends up being a bit of work. And if I merge breaking changes into the main branch it means I need to do extra work if I get PRs for non-breaking changes, say, updating the version bounds of codespan-lsp.

I was a bit overwhelmed with stuff this past several weeks and @Marwes helpfully stepped in. This was most appreciated 😍, and why I add people as maintainers! But I'd not communicated the above process I was doing, so my current approach is now a bit messed up. So perhaps we can use this as a time to rethink our approach!

@Kixiron pointed me to cargo-release which looks handy for managing crate releases in cargo workspaces - perhaps we could use this to make our lives easier? 🤔 I'm also thinking it might be worth documenting the release process in a CONTRIBUTING.md file, or something like that.

created time in 10 days

startedsunng87/cargo-release

started time in 10 days

startedadam-mcdaniel/oakc

started time in 11 days

startedjfaure/Nimzo

started time in 12 days

push eventbrendanzab/codespan

dependabot-preview[bot]

commit sha e3f23763cd83153b20ab8d13681ba11624a59d38

Update lsp-types requirement from >=0.70, <0.79 to >=0.70, <0.80 Updates the requirements on [lsp-types](https://github.com/gluon-lang/lsp-types) to permit the latest version. - [Release notes](https://github.com/gluon-lang/lsp-types/releases) - [Changelog](https://github.com/gluon-lang/lsp-types/blob/master/CHANGELOG.md) - [Commits](https://github.com/gluon-lang/lsp-types/compare/vv0.70.0...v0.79.0) Signed-off-by: dependabot-preview[bot] <support@dependabot.com>

view details

Brendan Zabarauskas

commit sha c2c80ec23a96746a1e3eb5064ac1d865cca6ee49

Merge pull request #271 from brendanzab/dependabot/cargo/lsp-types-gte-0.70-and-lt-0.80 Update lsp-types requirement from >=0.70, <0.79 to >=0.70, <0.80

view details

push time in 12 days

PR merged brendanzab/codespan

Update lsp-types requirement from >=0.70, <0.79 to >=0.70, <0.80 dependencies

Updates the requirements on lsp-types to permit the latest version. <details> <summary>Changelog</summary> <p><em>Sourced from <a href="https://github.com/gluon-lang/lsp-types/blob/master/CHANGELOG.md">lsp-types's changelog</a>.</em></p> <blockquote> <h2>v0.79.0 (2020-07-26)</h2> <p><!-- raw HTML omitted --><!-- raw HTML omitted --></p> <h2>v0.77.0 (2020-07-15)</h2> <p><!-- raw HTML omitted --><!-- raw HTML omitted --></p> <h3>v0.76.1 (2020-07-14)</h3> <p><!-- raw HTML omitted --><!-- raw HTML omitted --></p> <h3>v0.74.2 (2020-05-30)</h3> <p><!-- raw HTML omitted --><!-- raw HTML omitted --></p> <h3>v0.74.1 (2020-05-01)</h3> <p><!-- raw HTML omitted --><!-- raw HTML omitted --></p> <h2>v0.74.0 (2020-04-26)</h2> <p><!-- raw HTML omitted --><!-- raw HTML omitted --></p> <h2>v0.74.0 (2020-04-26)</h2> <p><!-- raw HTML omitted --><!-- raw HTML omitted --></p> <h2>v0.72.0 (2020-03-02)</h2> <h4>Features</h4> <ul> <li>Add DeserializeOwned + Serialize bounds on request/notifications (<a href="https://github.com/gluon-lang/lsp-types/commit/fb945a9347b353dd9bc5aab99a86731bebd94c15">fb945a93</a>, closes <a href="https://github-redirect.dependabot.com/gluon-lang/lsp-types/issues/140">#140</a>)</li> </ul> <!-- raw HTML omitted --> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/gluon-lang/lsp-types/commit/ac9e55af3e05d17c14f60920ba2b9f9074bc6ef0"><code>ac9e55a</code></a> (cargo-release) version 0.79.0</li> <li><a href="https://github.com/gluon-lang/lsp-types/commit/d28bf60ff10a2efe87a205e10ab350660dcbe308"><code>d28bf60</code></a> Update changelog</li> <li><a href="https://github.com/gluon-lang/lsp-types/commit/0916b189f90f44f912f705724eedc486f3dd498c"><code>0916b18</code></a> Make release.sh executable</li> <li><a href="https://github.com/gluon-lang/lsp-types/commit/d102660238ec0885790e8a0b72b0edd6d8bc7d86"><code>d102660</code></a> Merge pull request <a href="https://github-redirect.dependabot.com/gluon-lang/lsp-types/issues/174">#174</a> from kjeremy/semantic-edits-correction</li> <li><a href="https://github.com/gluon-lang/lsp-types/commit/63d90307c3b24a333cc66510ff88a6e68cb54e1e"><code>63d9030</code></a> Return the correct type for SemanticTokensEditResult</li> <li><a href="https://github.com/gluon-lang/lsp-types/commit/2f1ef0cc6da3759f7e59ae1996837db0f684abba"><code>2f1ef0c</code></a> (cargo-release) version 0.78.0</li> <li><a href="https://github.com/gluon-lang/lsp-types/commit/1f0b46b517239a66ea1e697c100b12317d868743"><code>1f0b46b</code></a> Merge pull request <a href="https://github-redirect.dependabot.com/gluon-lang/lsp-types/issues/173">#173</a> from kjeremy/tag-support</li> <li><a href="https://github.com/gluon-lang/lsp-types/commit/2e6eb8da251c9cf53a709dafce1b1c280d811336"><code>2e6eb8d</code></a> Add tag support</li> <li><a href="https://github.com/gluon-lang/lsp-types/commit/ccea2bd2ca906d82e886a109f908c09b06ef55e5"><code>ccea2bd</code></a> Rename symbol capabilities to match spec</li> <li><a href="https://github.com/gluon-lang/lsp-types/commit/0e81812c49c8b84a1e0321e05aba9cccc14b806b"><code>0e81812</code></a> Merge pull request <a href="https://github-redirect.dependabot.com/gluon-lang/lsp-types/issues/172">#172</a> from bergercookie/master</li> <li>Additional commits viewable in <a href="https://github.com/gluon-lang/lsp-types/compare/vv0.70.0...v0.79.0">compare view</a></li> </ul> </details> <br />

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

Dependabot will not automatically merge this PR because this dependency is pre-1.0.0.


<details> <summary>Dependabot commands and options</summary> <br />

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
  • @dependabot use these labels will set the current labels as the default for future PRs for this repo and language
  • @dependabot use these reviewers will set the current reviewers as the default for future PRs for this repo and language
  • @dependabot use these assignees will set the current assignees as the default for future PRs for this repo and language
  • @dependabot use this milestone will set the current milestone as the default for future PRs for this repo and language
  • @dependabot badge me will comment on this PR with code to add a "Dependabot enabled" badge to your readme

Additionally, you can set the following in your Dependabot dashboard:

  • Update frequency (including time of day and day of week)
  • Pull request limits (per update run and/or open at any time)
  • Automerge options (never/patch/minor, and dev/runtime dependencies)
  • Out-of-range updates (receive only lockfile updates, if desired)
  • Security updates (receive only security updates, if desired)

</details>

+1 -1

0 comment

1 changed file

dependabot-preview[bot]

pr closed time in 12 days

startedRazrFalcon/ttf-explorer

started time in 13 days

startedaposwolsky/delphin

started time in 13 days

startedfelixrieseberg/macintosh.js

started time in 13 days

push eventyeslogic/fathom

Brendan Zabarauskas

commit sha 6022d7a9f29bde4940ec1c587103def82db0423d

Remove pairs

view details

push time in 14 days

push eventyeslogic/fathom

Brendan Zabarauskas

commit sha c81f9cd9a7c5ef262d8b8f787931f26510bc6d6b

Implement rest of record elaboration rules

view details

push time in 14 days

push eventyeslogic/fathom

Brendan Zabarauskas

commit sha a592da139eca2a36158b7dcac8eb63124fd8ce9b

Add more stub elaboration rules

view details

push time in 14 days

push eventyeslogic/fathom

Brendan Zabarauskas

commit sha 8ca5a03d9a5b5b915a2c2ca93df5e37b272266d2

Implement function type elaboration

view details

Brendan Zabarauskas

commit sha 96ac1bf1a405d3b9d21b663664a4265ff4897bc7

Add name elaboration tests

view details

Brendan Zabarauskas

commit sha c1bb207a9004742a2b4cff7370b8562de163705b

Add some more names

view details

Brendan Zabarauskas

commit sha 5eab1b4dbdac5dee0487d705ad903dab1d8dfa7d

Use patterns in function binders

view details

push time in 14 days

startednoamz/linlam

started time in 15 days

push eventpikelet-lang/pikelet

Brendan Zabarauskas

commit sha 43085c11bef70f0f79c36e4d2ea6ca5ef0975c67

Bump dependencies

view details

Brendan Zabarauskas

commit sha f3d17d810c2bc3caaa578479109bdb8906c2ba57

Move typing messages into submodule

view details

Brendan Zabarauskas

commit sha 5187dbef37c28800580f3380ea219ec83ad45b62

Add pikelet-ide crate

view details

push time in 15 days

created tagpikelet-lang/pikelet

tagamethyst-archive

(Please don’t repost, this is still a WIP) A friendly little systems language with first-class types and unboxed data.

created time in 15 days

created tagpikelet-lang/pikelet

tagglium-archive

(Please don’t repost, this is still a WIP) A friendly little systems language with first-class types and unboxed data.

created time in 15 days

issue commentrust-hosted-langs/runtimes-WG

Discussion platform options

I've switched from Gitter to Matrix for Pikelet (#pikelet:matrix.org), for what it's worth. I've enjoyed the federated nature of it because it means I don't need a bunch of tabs open for different projects, as has been the case with Zulip.

pliniker

comment created time in 15 days

startedLnL7/nix-darwin

started time in 15 days

startednmattia/niv

started time in 15 days

startedproject-oak/oak-hardware

started time in 15 days

startedrust-analyzer/lsp-server

started time in 15 days

startedDominicKramer/mathlingua

started time in 15 days

startedratmice/ubergraph

started time in 16 days

startedymherklotz/vericert

started time in 16 days

startedorangeduck/mpc

started time in 16 days

startedRussellSprouts/ice-forth

started time in 17 days

startedur0/lolcat

started time in 17 days

starteddigital-ember/elmMPS

started time in 17 days

starteditnef/mps-lambda

started time in 17 days

startedSomewhatML/sml-analyzer

started time in 18 days

startedmaekawatoshiki/yacht

started time in 19 days

startedmaekawatoshiki/naglfar

started time in 19 days

delete tag pikelet-lang/pikelet

delete tag : amethyst-archive

delete time in 19 days

delete tag pikelet-lang/pikelet

delete tag : glium-archive

delete time in 19 days

push eventpikelet-lang/pikelet

Brendan Zabarauskas

commit sha eceb7cd9811617a87702d3e40478ef10b65cc2b9

Fix copy-paste error

view details

push time in 19 days

startedSuperTails/langcraft

started time in 19 days

starteda2aaron/BROKEN_FIELD

started time in 19 days

push eventpikelet-lang/pikelet

Brendan Zabarauskas

commit sha 8ca8927fbb61c40297c6975353e3e8574d90311f

Promote Matrix room in README

view details

Brendan Zabarauskas

commit sha 6be62f2d277ffcff3271827fdb20a9cdbc47a4d3

Update Code of Conduct Uses the contributor covenant v.1.4 as a base

view details

push time in 19 days

starteddbuenzli/cmdliner

started time in 19 days

startedcarlini/printf-tac-toe

started time in 19 days

delete branch brendanzab/pikelet

delete branch : glued-eval

delete time in 19 days

push eventpikelet-lang/pikelet

Brendan Zabarauskas

commit sha 1afb4761667825afb5b380534392f4450194addd

Use gluing in interpreter This uses glued evaluation to improve the terms returned from readback. For more information you can have a look at the following links: - [AndrasKovacs/smalltt](https://github.com/AndrasKovacs/smalltt/) - [ollef/sixty](https://github.com/ollef/sixty/) - [Non-deterministic normalization-by-evaluation](https://gist.github.com/AndrasKovacs/a0e0938113b193d6b9c1c0620d853784) - [Example of the blowup that can occur when reading back values](https://twitter.com/brendanzab/status/1283278258818002944)

view details

Brendan Zabarauskas

commit sha c754e5f9a47c860a5acbeb126c93d0d629ecf2e9

Assorted cleanups to the semantics module

view details

Brendan Zabarauskas

commit sha 4e7209eb851dcc101f17b2e40bcc30603fb2a300

Add fast path for subtyping checks

view details

Brendan Zabarauskas

commit sha e449cd5b617c68ee7fcb30679d233b94579a2d88

Avoid allocations in definitional equality checks

view details

Brendan Zabarauskas

commit sha 65b2331539dc45e1e3a4a0174ed1b129eefaff59

Merge pull request #210 from brendanzab/glued-eval Interpreter improvements

view details

push time in 19 days

PR merged pikelet-lang/pikelet

Interpreter improvements

This uses glued evaluation to improve the terms returned from readback. This will allow us to create an explicitly typed core language without worrying about potential term-size blowups that can occur from excessive unfolding of definitions.

+443 -178

0 comment

5 changed files

brendanzab

pr closed time in 19 days

push eventbrendanzab/pikelet

Brendan Zabarauskas

commit sha 964fa8d734a1c2f67c9364527f739e41281a9de7

Fix clippy errors

view details

Brendan Zabarauskas

commit sha 1afb4761667825afb5b380534392f4450194addd

Use gluing in interpreter This uses glued evaluation to improve the terms returned from readback. For more information you can have a look at the following links: - [AndrasKovacs/smalltt](https://github.com/AndrasKovacs/smalltt/) - [ollef/sixty](https://github.com/ollef/sixty/) - [Non-deterministic normalization-by-evaluation](https://gist.github.com/AndrasKovacs/a0e0938113b193d6b9c1c0620d853784) - [Example of the blowup that can occur when reading back values](https://twitter.com/brendanzab/status/1283278258818002944)

view details

Brendan Zabarauskas

commit sha c754e5f9a47c860a5acbeb126c93d0d629ecf2e9

Assorted cleanups to the semantics module

view details

Brendan Zabarauskas

commit sha 4e7209eb851dcc101f17b2e40bcc30603fb2a300

Add fast path for subtyping checks

view details

Brendan Zabarauskas

commit sha e449cd5b617c68ee7fcb30679d233b94579a2d88

Avoid allocations in definitional equality checks

view details

push time in 19 days

push eventpikelet-lang/pikelet

Brendan Zabarauskas

commit sha 964fa8d734a1c2f67c9364527f739e41281a9de7

Fix clippy errors

view details

push time in 19 days

push eventbrendanzab/pikelet

Brendan Zabarauskas

commit sha b6c799a0b8ebf00e8f4cf621cd77973e048594cf

Fix clippy errors

view details

Brendan Zabarauskas

commit sha b339cf5a10a7c0c975bf6d297d596413ef1e1a0d

Use gluing in interpreter This uses glued evaluation to improve the terms returned from readback. For more information you can have a look at the following links: - [AndrasKovacs/smalltt](https://github.com/AndrasKovacs/smalltt/) - [ollef/sixty](https://github.com/ollef/sixty/) - [Non-deterministic normalization-by-evaluation](https://gist.github.com/AndrasKovacs/a0e0938113b193d6b9c1c0620d853784) - [Example of the blowup that can occur when reading back values](https://twitter.com/brendanzab/status/1283278258818002944)

view details

Brendan Zabarauskas

commit sha 0a3c6fb24e876bf79031795abd5de27e47f0b07b

Assorted cleanups to the semantics module

view details

Brendan Zabarauskas

commit sha f1da6774b1ad3c3df2c95250d615bb4b711cbe61

Add fast path for subtyping checks

view details

Brendan Zabarauskas

commit sha dc8af132ca0b10f6bfeaeaba5ab0983dc94c6315

Avoid allocations in definitional equality checks

view details

push time in 19 days

push eventpikelet-lang/pikelet

Brendan Zabarauskas

commit sha b6c799a0b8ebf00e8f4cf621cd77973e048594cf

Fix clippy errors

view details

push time in 19 days

delete branch pikelet-lang/pikelet

delete branch : dependabot/npm_and_yarn/editors/code/lodash-4.17.19

delete time in 19 days

push eventpikelet-lang/pikelet

dependabot[bot]

commit sha 37d2bd8c74ff3e4d3938591691284a76d67afc42

Bump lodash from 4.17.11 to 4.17.19 in /editors/code Bumps [lodash](https://github.com/lodash/lodash) from 4.17.11 to 4.17.19. - [Release notes](https://github.com/lodash/lodash/releases) - [Commits](https://github.com/lodash/lodash/compare/4.17.11...4.17.19) Signed-off-by: dependabot[bot] <support@github.com>

view details

Brendan Zabarauskas

commit sha a43aacf6043a73e3387288c7a4d22a6a88914fa9

Merge pull request #209 from pikelet-lang/dependabot/npm_and_yarn/editors/code/lodash-4.17.19 Bump lodash from 4.17.11 to 4.17.19 in /editors/code

view details

push time in 19 days

PR merged pikelet-lang/pikelet

Bump lodash from 4.17.11 to 4.17.19 in /editors/code dependencies

Bumps lodash from 4.17.11 to 4.17.19. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/lodash/lodash/releases">lodash's releases</a>.</em></p> <blockquote> <h2>4.17.16</h2> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/lodash/lodash/commit/d7fbc52ee0466a6d248f047b5d5c3e6d1e099056"><code>d7fbc52</code></a> Bump to v4.17.19</li> <li><a href="https://github.com/lodash/lodash/commit/2e1c0f22f425e9c013815b2cd7c2ebd51f49a8d6"><code>2e1c0f2</code></a> Add npm-package</li> <li><a href="https://github.com/lodash/lodash/commit/1b6c282299f4e0271f932b466c67f0f822aa308e"><code>1b6c282</code></a> Bump to v4.17.18</li> <li><a href="https://github.com/lodash/lodash/commit/a370ac81408de2da77a82b3c4b61a01a3b9c2fac"><code>a370ac8</code></a> Bump to v4.17.17</li> <li><a href="https://github.com/lodash/lodash/commit/1144918f3578a84fcc4986da9b806e63a6175cbb"><code>1144918</code></a> Rebuild lodash and docs</li> <li><a href="https://github.com/lodash/lodash/commit/3a3b0fd339c2109563f7e8167dc95265ed82ef3e"><code>3a3b0fd</code></a> Bump to v4.17.16</li> <li><a href="https://github.com/lodash/lodash/commit/c84fe82760fb2d3e03a63379b297a1cc1a2fce12"><code>c84fe82</code></a> fix(zipObjectDeep): prototype pollution (<a href="https://github-redirect.dependabot.com/lodash/lodash/issues/4759">#4759</a>)</li> <li><a href="https://github.com/lodash/lodash/commit/e7b28ea6cb17b4ca021e7c9d66218c8c89782f32"><code>e7b28ea</code></a> Sanitize sourceURL so it cannot affect evaled code (<a href="https://github-redirect.dependabot.com/lodash/lodash/issues/4518">#4518</a>)</li> <li><a href="https://github.com/lodash/lodash/commit/0cec225778d4ac26c2bac95031ecc92a94f08bbb"><code>0cec225</code></a> Fix lodash.isEqual for circular references (<a href="https://github-redirect.dependabot.com/lodash/lodash/issues/4320">#4320</a>) (<a href="https://github-redirect.dependabot.com/lodash/lodash/issues/4515">#4515</a>)</li> <li><a href="https://github.com/lodash/lodash/commit/94c3a8133cb4fcdb50db72b4fd14dd884b195cd5"><code>94c3a81</code></a> Document matches* shorthands for over* methods (<a href="https://github-redirect.dependabot.com/lodash/lodash/issues/4510">#4510</a>) (<a href="https://github-redirect.dependabot.com/lodash/lodash/issues/4514">#4514</a>)</li> <li>Additional commits viewable in <a href="https://github.com/lodash/lodash/compare/4.17.11...4.17.19">compare view</a></li> </ul> </details> <details> <summary>Maintainer changes</summary> <p>This version was pushed to npm by <a href="https://www.npmjs.com/~mathias">mathias</a>, a new releaser for lodash since your current version.</p> </details> <br />

Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


<details> <summary>Dependabot commands and options</summary> <br />

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
  • @dependabot use these labels will set the current labels as the default for future PRs for this repo and language
  • @dependabot use these reviewers will set the current reviewers as the default for future PRs for this repo and language
  • @dependabot use these assignees will set the current assignees as the default for future PRs for this repo and language
  • @dependabot use this milestone will set the current milestone as the default for future PRs for this repo and language

You can disable automated security fix PRs for this repo from the Security Alerts page.

</details>

+3 -3

0 comment

1 changed file

dependabot[bot]

pr closed time in 19 days

startedxnning/EvEff

started time in 19 days

push eventbrendanzab/pikelet

Brendan Zabarauskas

commit sha 082ab3b0d46923212481ea0a4f03257728f2cc33

Use gluing in interpreter This uses glued evaluation to improve the terms returned from readback. For more information you can have a look at the following links: - [AndrasKovacs/smalltt](https://github.com/AndrasKovacs/smalltt/) - [ollef/sixty](https://github.com/ollef/sixty/) - [Non-deterministic normalization-by-evaluation](https://gist.github.com/AndrasKovacs/a0e0938113b193d6b9c1c0620d853784) - [Example of the blowup that can occur when reading back values](https://twitter.com/brendanzab/status/1283278258818002944)

view details

Brendan Zabarauskas

commit sha 53f5c678c1be7ca0bbb0eac1ca733ed1a0a2ed4a

Assorted cleanups to the semantics module

view details

Brendan Zabarauskas

commit sha 71bcef7352742215359a38ce37b9aba366bb17fe

Add fast path for subtyping checks

view details

Brendan Zabarauskas

commit sha c7dd1e3f1a051a78ba15ef14d5cc39d202b45026

Avoid allocations in definitional equality checks

view details

push time in 19 days

push eventbrendanzab/pikelet

Brendan Zabarauskas

commit sha 733df9dbd2159b60b3448470bb260b4719b52efa

Assorted cleanups to the semantics module

view details

Brendan Zabarauskas

commit sha dcc21ae05a022441cbe5e544c61f65022ff9ccd4

Add fast path for subtyping checks

view details

push time in 20 days

push eventbrendanzab/pikelet

Brendan Zabarauskas

commit sha 403499f63fcab90e5e86138899bcfed436d657d1

Assorted cleanups to the semantics module

view details

Brendan Zabarauskas

commit sha 023fb9e9ac43cda2af927c71d936457d763e3fc1

Add fast path for subtyping checks

view details

push time in 20 days

push eventbrendanzab/pikelet

Brendan Zabarauskas

commit sha e3563809a20ea1f6527b8ec10a07760c8a58fad0

Implement unstuck values This uses glued evaluation to improve the terms returned from readback. For more information you can have a look at the following links: - [AndrasKovacs/smalltt](https://github.com/AndrasKovacs/smalltt/) - [ollef/sixty](https://github.com/ollef/sixty/) - [Non-deterministic normalization-by-evaluation](https://gist.github.com/AndrasKovacs/a0e0938113b193d6b9c1c0620d853784) - [Example of the blowup that can occur when reading back values](https://twitter.com/brendanzab/status/1283278258818002944)

view details

push time in 20 days

push eventbrendanzab/pikelet

Brendan Zabarauskas

commit sha 1b6866723574d30621b5184653cd12c2abc0dbd6

Implement unstuck values This uses glued evaluation to improve optimize the output of readback. For more information you can have a look at the following links: - [AndrasKovacs/smalltt](https://github.com/AndrasKovacs/smalltt/) - [ollef/sixty](https://github.com/ollef/sixty/) - [Non-deterministic normalization-by-evaluation](https://gist.github.com/AndrasKovacs/a0e0938113b193d6b9c1c0620d853784) - [Example of the blowup that can occur when reading back values](https://twitter.com/brendanzab/status/1283278258818002944)

view details

push time in 20 days

PR opened pikelet-lang/pikelet

Implement unstuck values

This uses glued evaluation to improve optimize the output of readback.

For more information you can have a look at the following links:

+232 -110

0 comment

5 changed files

pr created time in 20 days

push eventbrendanzab/pikelet

Brendan Zabarauskas

commit sha 1101dee4d613b4675ea575c0b6b4890316aeb4ae

Implement unstuck values This uses glued evaluation to improve optimize the output f readback for presentation or conversion checking.

view details

push time in 20 days

push eventbrendanzab/pikelet

Brendan Zabarauskas

commit sha 74e3f0c80defa9a9ff528742548bc67aa82fd891

Implement unstuck values This uses glued evaluation to improve optimize the output f readback for presentation or conversion checking.

view details

push time in 20 days

push eventbrendanzab/pikelet

Brendan Zabarauskas

commit sha 180b5eabe3871e3a1ef8598309927557c1499304

Implement unstuck values This uses glued evaluation to improve optimize the output f readback for presentation or conversion checking.

view details

push time in 20 days

push eventbrendanzab/pikelet

Brendan Zabarauskas

commit sha 07fdb445be94908ec3ef9004b0fef8b055c5ab42

Implement unstuck values This uses glued evaluation to improve optimize the output f readback for presentation or conversion checking.

view details

push time in 20 days

push eventbrendanzab/pikelet

Brendan Zabarauskas

commit sha 27a88e7d9f0240671aa7a2b050b2e5b36893013b

Add unstuck values

view details

push time in 20 days

push eventbrendanzab/pikelet

Brendan Zabarauskas

commit sha de88fd0e3e8ad31f070fa2df444537e37f3a0693

WIP: Add unstuck values

view details

push time in 20 days

startedtersesystems/jvmsounds

started time in 21 days

create barnchbrendanzab/pikelet

branch : glued-eval

created branch time in 21 days

push eventpikelet-lang/pikelet

Brendan Zabarauskas

commit sha 0d180e2fc73cb1923c71f3134ca4605f6e8f6ea5

Fix sorting of dependencies

view details

Brendan Zabarauskas

commit sha b0e0dcfad3d90940e4dbeffdd74e6908237dc35a

Fix outdated error message in tests

view details

push time in 21 days

startedjsmaniac/scribble-math

started time in 22 days

startedNerdyPepper/dijo

started time in 22 days

push eventpikelet-lang/pikelet

Brendan Zabarauskas

commit sha 7997f6ed858994674e6eab9737f3d48056de8aae

Avoid passing around types in normalization We’ll be able to do eta conversion during unification, once this is added.

view details

push time in 24 days

startedjcreedcmu/lambda-maps

started time in 24 days

issue commentastampoulis/makam

Constant definitions in Makam

I've been wishing for this too - eg. for having a default typing context for my language. This is a bit related to #100 I think?

d4hines

comment created time in 24 days

startedvilterp/datalog-ts

started time in 25 days

startedsbp/idris-bi

started time in a month

startedprobe-rs/probe-rs

started time in a month

more