Compare commits

..

No commits in common. "19e444998af06d1cd39be5514e1f24bfc6180995" and "ddbd8bdab70af7f9f7af34f6cda65a905983d804" have entirely different histories.

8 changed files with 0 additions and 58 deletions

View file

@ -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.

5
fs2.md
View file

@ -1,5 +0,0 @@
# fs2
- https://fs2.io
- A library that allows abstracting data transmission and control into a shared
concept called a `Stream`.

View file

@ -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"

View file

@ -1,5 +0,0 @@
# Java
- Programming language.
- Compiled to bytecode that is executed on a Virtual Machine.
- Effectively platform-independent.

View file

@ -1,20 +1,7 @@
# 2020-10-31 # 2020-10-31
- Set up this journal. See the [[readme]]. - 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" [//begin]: # "Autogenerated link references for markdown compatibility"
[readme]: ..\README "Aly's digital garden" [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" [//end]: # "Autogenerated link references"

View file

@ -1,3 +0,0 @@
# MASM Assembly
- The dialect of assembly used by Microsoft's assembler.

View file

@ -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"

3
zig.md
View file

@ -1,3 +0,0 @@
# Zig
- https://ziglang.org/