diff --git a/decompilation.md b/decompilation.md deleted file mode 100644 index 882b342..0000000 --- a/decompilation.md +++ /dev/null @@ -1,7 +0,0 @@ -# Decompilation - -- The process of rewriting assembly into a target-independent programming - language. -- "Matching" decompilation aims to be able to produce the exact same assembly - output given the same compiler and libraries as a way of proving that the - decompilation is correct. diff --git a/fs2.md b/fs2.md deleted file mode 100644 index ec83458..0000000 --- a/fs2.md +++ /dev/null @@ -1,5 +0,0 @@ -# fs2 - -- https://fs2.io -- A library that allows abstracting data transmission and control into a shared - concept called a `Stream`. diff --git a/ghidra.md b/ghidra.md deleted file mode 100644 index 30d8148..0000000 --- a/ghidra.md +++ /dev/null @@ -1,10 +0,0 @@ -# Ghidra - -- SRE (Software Reverse Engineering) tool. -- Has a [[Java]]-based plugin system. -- Typically used to assist in [[decompilation]]. - -[//begin]: # "Autogenerated link references for markdown compatibility" -[Java]: java "Java" -[decompilation]: decompilation "Decompilation" -[//end]: # "Autogenerated link references" diff --git a/java.md b/java.md deleted file mode 100644 index f22d10f..0000000 --- a/java.md +++ /dev/null @@ -1,5 +0,0 @@ -# Java - -- Programming language. -- Compiled to bytecode that is executed on a Virtual Machine. -- Effectively platform-independent. diff --git a/journal/2020-10-31.md b/journal/2020-10-31.md index f028c60..5833c92 100644 --- a/journal/2020-10-31.md +++ b/journal/2020-10-31.md @@ -1,20 +1,7 @@ # 2020-10-31 - Set up this journal. See the [[readme]]. -- Looked into writing a [[Ghidra]] plugin to generate [[MASM Assembly]] for a - [[decompilation]] project. -- Explored whether or not it's possible to write recursive algorithms in - constant space using [[fs2]], and how it applies to [[sledge]]. - - It was discussed in the Scala Discord whether or not there exists an - algorithm to generate moves for the Dragon Fractal in constant space. The - current theory is that there can't be an algorithm that uses less than - linear space. [//begin]: # "Autogenerated link references for markdown compatibility" [readme]: ..\README "Aly's digital garden" -[Ghidra]: ..\ghidra "Ghidra" -[MASM Assembly]: ..\masm-assembly "MASM Assembly" -[decompilation]: ..\decompilation "Decompilation" -[fs2]: ..\fs2 "fs2" -[sledge]: ..\sledge "sledge" [//end]: # "Autogenerated link references" diff --git a/masm-assembly.md b/masm-assembly.md deleted file mode 100644 index e51d4b8..0000000 --- a/masm-assembly.md +++ /dev/null @@ -1,3 +0,0 @@ -# MASM Assembly - -- The dialect of assembly used by Microsoft's assembler. diff --git a/sledge.md b/sledge.md deleted file mode 100644 index 4a1a569..0000000 --- a/sledge.md +++ /dev/null @@ -1,12 +0,0 @@ -# sledge - -- Work-in-progress programming language. -- Meant to look like [[fs2]]-based programs, but with a [[Zig]]-like paradigm. -- Completely disallows mutability in the source code to allow for better - optimizations, and to allow for returning variably-sized objects like - buffers or closures on the stack instead of the heap. - -[//begin]: # "Autogenerated link references for markdown compatibility" -[fs2]: fs2 "fs2" -[Zig]: zig "Zig" -[//end]: # "Autogenerated link references" diff --git a/zig.md b/zig.md deleted file mode 100644 index 34a1c67..0000000 --- a/zig.md +++ /dev/null @@ -1,3 +0,0 @@ -# Zig - -- https://ziglang.org/