Newest at the top
2024-04-30 22:53:11 +0200 | causal | (~eric@50.35.88.207) |
2024-04-30 22:52:20 +0200 | <dminuoso> | Pretty much the equivalent of having to write general purpose programs in machine code directly. |
2024-04-30 22:52:18 +0200 | <monochrom> | One time we had a great undergrad student being a great TA and we didn't want to lose them when they graduated. My colleague joked about plans to block their graduation. I was like "that's the most inefficient way. get them into our grad school instead." |
2024-04-30 22:52:03 +0200 | <dminuoso> | But its incredibly crude and annoying to program them directly |
2024-04-30 22:51:53 +0200 | <dminuoso> | And there's plenty of P4 capable targets on the market already. |
2024-04-30 22:51:42 +0200 | <dminuoso> | Being able to ship reconfigurable high performance networking equipment is great. |
2024-04-30 22:51:31 +0200 | <dminuoso> | Or maybe a better comparison is: P4 is useful in networking for the same reason that machine code is useful in general purpose computing.b |
2024-04-30 22:51:28 +0200 | <tomsmeding> | monochrom: if it means I get to do fun things |
2024-04-30 22:51:26 +0200 | <lambdabot> | 2024 |
2024-04-30 22:51:25 +0200 | <xerox> | > 45^2 - 1 |
2024-04-30 22:50:54 +0200 | <tomsmeding> | (roughly) |
2024-04-30 22:50:49 +0200 | <tomsmeding> | (dunno why he did the thing twice) |
2024-04-30 22:50:38 +0200 | <tomsmeding> | all I know about P4 is what Nate Foster talked about in his keynote at POPL'24 (and ICFP'22, actually) |
2024-04-30 22:50:22 +0200 | monochrom | is a great consultant on how to get people stuck in academia. |
2024-04-30 22:50:05 +0200 | <dminuoso> | Or yeah, maybe. |
2024-04-30 22:49:34 +0200 | <dminuoso> | tomsmeding: Not quite higher than VHDL, no. |
2024-04-30 22:49:14 +0200 | <tomsmeding> | not yet >:D |
2024-04-30 22:49:02 +0200 | <tomsmeding> | but higher level than VHDL, right? |
2024-04-30 22:49:02 +0200 | <monochrom> | dminuoso: Try again with "tomsmeding: Got any postdoc plans?" >:) |
2024-04-30 22:48:51 +0200 | <dminuoso> | Roughly it is to networking ASICs as VHDL/Verilog is to FPGAs. |
2024-04-30 22:48:37 +0200 | <dminuoso> | monochrom: It is a domain specific language for controlling dataplanes in networking ASICs. |
2024-04-30 22:48:24 +0200 | <ncf> | hurray |
2024-04-30 22:48:22 +0200 | <lambdabot> | 4202 |
2024-04-30 22:48:20 +0200 | <ncf> | > 2024 & fromP' _Show %~ reverse |
2024-04-30 22:48:20 +0200 | xerox | hugs ncf |
2024-04-30 22:48:14 +0200 | <lambdabot> | Defined. |
2024-04-30 22:48:13 +0200 | <ncf> | @let fromP' p = withPrism p (\f g -> iso f (fromRight undefined . g)) |
2024-04-30 22:48:10 +0200 | <tomsmeding> | monochrom: DSL for writing software for networking machines |
2024-04-30 22:48:09 +0200 | <ncf> | fjldmjfmsdlj |
2024-04-30 22:48:02 +0200 | <lambdabot> | There's currently no way to undefine just one thing. Say @undefine (with no extra words) to undefine everything. |
2024-04-30 22:48:02 +0200 | <ncf> | @undefine fromP |
2024-04-30 22:47:55 +0200 | <tomsmeding> | dminuoso: I'm already in a phd program, one typically cannot do a phd in the same field twice |
2024-04-30 22:47:54 +0200 | <lambdabot> | Parse failed: TemplateHaskell language extension is not enabled. Please add ... |
2024-04-30 22:47:54 +0200 | <ncf> | @unlet fromP |
2024-04-30 22:47:54 +0200 | <monochrom> | Sorry, what is P4? |
2024-04-30 22:47:47 +0200 | <lambdabot> | In an equation for ‘fromP’: fromP p = ... |
2024-04-30 22:47:47 +0200 | <lambdabot> | Pattern match is redundant |
2024-04-30 22:47:47 +0200 | <lambdabot> | /sandbox/tmp/.L.hs:166:1: error: [-Woverlapping-patterns, -Werror=overlappin... |
2024-04-30 22:47:46 +0200 | <ncf> | @let fromP p = withPrism p (\f g -> iso f (fromRight undefined . g)) |
2024-04-30 22:47:31 +0200 | <ncf> | oh god damnit why are the arguments flipped |
2024-04-30 22:47:25 +0200 | <monochrom> | Naw I don't believe "no one has time => right thing". |
2024-04-30 22:47:25 +0200 | <dminuoso> | tomsmeding: Got any plans? :-) |
2024-04-30 22:47:17 +0200 | <dminuoso> | A Haskell-to-P4 compiler, that would be awesome! |
2024-04-30 22:47:07 +0200 | <dminuoso> | Oh I do have ideas for that. |
2024-04-30 22:46:45 +0200 | <tomsmeding> | if you have enough money you can hire a phd to do the right things |
2024-04-30 22:46:38 +0200 | <dminuoso> | Or are they just ill-conveiced notions of "right things"? |
2024-04-30 22:46:30 +0200 | <dminuoso> | Does that make them "the right things", then? |
2024-04-30 22:46:17 +0200 | <monochrom> | Generally, no one has time to do the right things anyway. :) |
2024-04-30 22:45:58 +0200 | <lambdabot> | • In the first argument of ‘(&)’, namely ‘2024’ |
2024-04-30 22:45:58 +0200 | <lambdabot> | • No instance for (Num String) arising from the literal ‘2024’ |