Commit Graph

942 Commits

Author SHA1 Message Date
Joseph Bryan
4bae655fd7 updates ++ept to transitively verify map constraints 2016-10-05 12:14:02 -04:00
Joseph Bryan
d12044ab31 updates ++apt to transitively verify set constraints 2016-10-05 12:02:30 -04:00
Raymond Pasco
2433a3f101 Merge remote-tracking branches 'ohaitch/robots-back-in-eyre', 'Fang/oust', 'ohaitch/warn-pump-blocked', 'joemfb/moon-talk', 'yebyen/master', 'ohaitch/fix-login-css' and 'ray/repope-rep'
Reinstate robots.txt hardcoded into eyre hack
Add ++oust, arm to remove items from a list
Pump blocked printf for security driver requests
Allow moons to link to parent's talk
Rekey ~del for new crypto era
Use absolute path for login page CSS
Rekey ~rep for new crypto era
2016-08-26 17:03:08 -04:00
Raymond Pasco
bbc8381e60 Fix lingering @p bug
It was stupid, as expected
2016-08-11 19:39:37 -07:00
Raymond Pasco
904cc31891 Double system entropy size 2016-08-11 19:39:37 -07:00
Fang
f608612b12 Implemented ++oust, for deleting elements from lists. 2016-08-11 21:04:56 +02:00
Raymond Pasco
7423392cba Merge branch 'scrambler' into breaching-inception
We need new @p
2016-08-11 10:40:59 -07:00
Raymond Pasco
c24c77bc16 Merge remote-tracking branches 'ray/murmur3-hoon', 'ray/full-crub', 'dhaffey/electroll', 'joemfb/talk-foreign', 'joemfb/key-val', 'joemfb/gaf-by', 'dhaffey/peg-zero', 'joemfb/head-tail-electro', 'ohaitch/gall-boot-fixes', 'ohaitch/eyre-no-double-spacing', 'dhaffey/burn-zeroing' and 'philipcmonk/less-clay-sugar'
Correct Murmur3 hash implementation
Fully implemented AES and crub in zuse
Electroplate faces off ++roll etc.
Reject foreign pokes in talk
Arms to retrieve keys and values from maps
Add gas:by variant that rejects collisions
Fix ++peg axis 0 behavior
Electroplate faces off ++head/++tail
Improve type validation in gall
Don't double-space eyre stack traces
Fix improper ^~ zeroing of values
Fix clay bug caused by above fix
2016-08-10 17:11:51 -07:00
Raymond Pasco
ba38f7700d Fix lack of key expansion bug in shar:ed 2016-08-10 12:17:41 -07:00
Dan Haffey
fb670851e1 Prevent ++burn:ut from zeroing non-constants. 2016-08-09 02:16:20 -07:00
Joseph Bryan
7d7d70655b electroplates ++head and ++tail 2016-08-05 23:36:32 -04:00
Raymond Pasco
37de0c8ad8 Fix murmur3 implementation 2016-08-05 09:29:09 -07:00
Dan Haffey
cc470a3023 Fix ++peg discrepancy with jet. 2016-08-03 23:01:46 -07:00
Joseph Bryan
d2acbc2d04 adds ~| printf to +-gaf:by 2016-08-01 14:59:26 -04:00
Joseph Bryan
40a232e642 adds +-gaf:by (non-colliding gas) 2016-07-30 22:20:23 -04:00
Joseph Bryan
9ab8241e78 adds ++key:by and ++val:by 2016-07-29 04:27:25 -04:00
Raymond Pasco
166343139c Fix up parser validity
leading ~doz is ok if it's not the only word
leading ~dozzod is never ok
2016-07-26 10:15:17 -07:00
Dan Haffey
9f82c20647 Apply electroplating to roll and reel results. 2016-07-21 11:53:13 -07:00
Raymond Pasco
26c674e9ae Merge remote-tracking branches 'ray/nonbreaching-crypto', 'ohaitch/tree-8c94e48', 'joemfb/indx', 'joemfb/dedupe-history', 'ohaitch/userspace-robots-txt', 'philipcmonk/sso-fix', 'dhaffey/da-parser' and 'galenwp/prs'
Conflicts:
	web/talk/main.js

Add ++aes to zuse, and ++crub frontend (unrelated to previous ++crub)
Superseded tree update, merged for historical purposes
Library gates to search lists
Deduplication of dojo history
robots.txt no longer hardcoded in eyre
Fix crash caused by bad eyre cookie
Fix @da parser crash
talk@2ba76c1, tree@ca059b5
2016-07-06 05:42:14 -04:00
Joseph Bryan
057227eca1 adds ++find/++fand (tape/list search) 2016-07-05 12:36:40 -04:00
Dan Haffey
2de8328b4c Fix @da parser crash (#139) 2016-07-03 19:29:36 -07:00
Raymond Pasco
40365667c7 Merge remote-tracking branches 'joemfb/run-in', 'max19/master', 'chc4/spin', 'cgyarvin/docs-issue-28' and 'ray/galactic-transactions'
Actually valid +-run:in "map over set" arm
Less loopy ++og PRNG (TODO: better PRNG)
++spin/++spun, "stateful ++turn" arms
Remove syntactically impossible %$ regular form for bunt
Galactic transactions
2016-06-26 00:51:33 -04:00
C. Guy Yarvin
cb5d4b6e6b Add :bunt to fix docs issue 28. 2016-06-22 13:44:23 -07:00
Charlie Cummings
906411c06c spin and spun 2016-06-21 12:33:50 -04:00
Joseph Bryan
9911308996 fixes run:in (map over a set, producing a set) 2016-06-18 22:29:20 -04:00
Max G
643041bcbe Improve random continuation in ++og 2016-06-18 03:53:09 -04:00
Raymond Pasco
f045872ff6 Switch ++ob from aesc to muk 2016-05-23 15:20:11 -04:00
Raymond Pasco
e94a08e4dd Refactor murmur3 into ++muk and ++mum 2016-05-23 15:19:40 -04:00
Raymond Pasco
e4c37ed9f3 Squash subtract-underflow bug in ++ob 2016-05-23 15:17:52 -04:00
Raymond Pasco
a0cd05f889 Add new asymmetric cryptosystem as ++cruc 2016-05-23 15:15:35 -04:00
Raymond Pasco
fbb8c542b8 Merge branch 'web-stream-r', remote-tracking branches 'ohaitch/eyre-absolutish-paths', 'ohaitch/sorted-pick-dole', 'rsaarelm/fix-mug-hoon', 'cgyarvin/bugfix' and 'ray/sec-names'
Fixed web-stream branch (see that branch for details)
Minor eyre tweaks for more liberal url resolution
Sort clauses of $fork type pretty-printing
Return 31-bit value for pair mug
Fix type-fail in ;;
Rename security driver arms
2016-04-14 17:52:57 -04:00
C. Guy Yarvin
1018191d8e Added cast to noun to ;;. 2016-04-02 14:21:49 -07:00
Anton Dyudin
b6f3a1939d stop faces falling off of pretty-printed types
while i'm in here. ++meet alone is a bit general
2016-03-31 15:12:36 -07:00
Risto Saarelma
3ee968557b Return 31-bit value for pair mug 2016-03-28 11:24:34 +03:00
Anton Dyudin
676aa77afd sort clauses of $fork type pretty-printing
- fixing unit/tree special cases
- generally show atom before cells and $% cases alphabetically
2016-03-24 17:33:39 -07:00
Raymond Pasco
e736516911 Change remaining $-(* *) in arvo to gate
because these ones represent gates to apply, not molds
2016-03-04 21:17:06 -05:00
Raymond Pasco
96b39223a5 Add ++mold synonym for $-(* *)
This is to aid the readability of higher-order molds. Now one can have

|*  a/mold
{p/a q/a}

instead of using $- directly.

The old arvo ++mold becomes ++wind. Cards are like the mathematical dual
to stack frames - they're instructions on whether to wind or unwind the
implicit stack.
2016-03-04 21:15:58 -05:00
Raymond Pasco
a0358c17d9 Merge branches 'breach-20160302' and 'cgyarvin-teaching', remote-tracking branches 'ohaitch/talk-read-component', 'ohaitch/virtualize-pact-hoon' and 'ohaitch/eyre-sec'
Conflicts:
	arvo/eyre.hoon

Breaching changes for 2016-03-02
Language/dojo improvements for teaching.
add web/listen.hoon module for listening to comment changes
virtualize ++pact %hoon side-path
Eyre security drivers
2016-03-02 21:21:23 -05:00
Raymond Pasco
64f7f58143 Add ++lune/++nule Unix textfile arms
++lune parses a cord to a list of lines, which must all be terminated by
a newline. The cord can be the empty string; this gives an empty list of
zero lines. Make sure to validate that any cords you use ++lune on are
either the empty string or end in a final newline; noeol textfiles are
invalid and you must use ++lore on them.

++nule is the inverse operation to ++lune; it takes a list of cords and
joins them into a single cord, with each line in the list terminated by
a newline character. This list can be empty, which will produce the
empty cord.
2016-02-29 17:04:06 -05:00
C. Guy Yarvin
7b5ad6a307 Reverse =/ and =;. Fix a =^ issue. 2016-02-27 17:04:43 -05:00
C. Guy Yarvin
4a75bfd569 Add :moar syntax. 2016-02-26 11:09:41 -08:00
C. Guy Yarvin
43b4303a88 Some changes for basic doc: naked trap/call, var/rev/:;/:/. 2016-02-26 11:09:41 -08:00
Raymond Pasco
9a0167c99c Merge remote-tracking branches 'philipcmonk/init-reset', 'ohaitch/tree-perf' and 'galenwp/tree-fixes'
Recompile the kernel on initial merge
Profiling-guided performance fixes
Frontend bugfixes
2016-02-25 23:47:37 -05:00
Anton Dyudin
342b88a020 swap from: and into: in pi-tell; remove unneeded precision 2016-02-23 12:56:27 -08:00
Raymond Pasco
d690fa46f0 Merge branch 'repoll'
Change profiler hint syntax: ~$(a ~) to ~$(%a ~)
2016-02-23 15:33:04 -05:00
C. Guy Yarvin
440ebc4e19 Change ~$(a ~) to ~$(%a ~). 2016-02-23 11:35:16 -08:00
Anton Dyudin
93ccd6e151 Rounder profile counts through fixpoint arithmetic
Since arms getting sampled is stochastic, there isn't actually much of a benefit to displaying them as raw counts and not "price" percentage point format.
2016-02-22 23:44:11 -08:00
Anton Dyudin
42dbcefc0c from: treshold tweak, move more things to bottom of profile 2016-02-22 18:18:32 -08:00
Anton Dyudin
4bcf3219fc snip samples of price <10% 2016-02-22 17:11:41 -08:00
Anton Dyudin
87316451d8 sort profiler in increasing order of importance 2016-02-22 15:58:02 -08:00