mathb
ghidra
mathb | ghidra | |
---|---|---|
17 | 4 | |
305 | 5 | |
- | - | |
2.9 | 7.5 | |
23 days ago | 7 months ago | |
Common Lisp | Java | |
MIT License | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
mathb
-
Understanding continuity across an entire interval (epsilon-delta)
Copy and paste this comment into mathb.in to render the LaTeX.
-
Why do we multiply probabilities of conditions to get the probability of both conditions happening? Like why does it work that way?
You can render the LaTeX with the Chrome extension TeX Anywhere or by copying and pasting the comment into the mathb.in
-
How do I take density out of this derivative?
You can use the Chrome extension TeX Anywhere to render the LaTeX or you can copy and paste this comment into mathb.in which will render the LaTeX.
-
Ask HN: Most interesting tech you built for just yourself?
https://mathb.in/
I wrote this 11 years ago for my friends and myself who were going through a phase in our lives where we used to challenge each other with mathematical puzzles.
The use of this tool spread from my friends to their friends and colleagues, then schools and universities, and then to IRC channels. Now it is the oldest mathematics pastebin that is still online and serving its community of users. Visit https://github.com/susam/mathb for the source code of this tool.
-
Equation website?
Depends on the format, but maybe something like mathb.in? You can share LaTeX fragments.
- MathB.in - Share Mathematics with LaTeX and Markdown
- Building a Startup on Clojure
- MathB.in – Share Mathematics on the Web
- MathB.in - Mathematics Pastebin written using Common Lisp and JavaScript
- Show HN: MathB.in – Mathematics pastebin written in Common Lisp
ghidra
-
Show HN: A Ghidra extension that turns programs back into object files
[1] https://github.com/boricj/ghidra/tree/feature/elfrelocatebleobjectexporter
-
Ask HN: Tell us about your project that's not done yet but you want feedback on
I've been working on a specific reverse-engineering technique called _unlinking_ [1] on-and-off for the past 16 months or so. I'm on my third prototype (first a set of Ghidra scripts written in Jython [2], then a fork of Ghidra [3] and now a Ghidra extension [4]) and I've started a blog in order to document it [5], which side-tracked into writing a whole series of articles on reverse-engineering to introduce the topic.
What for, you may ask? Basically I'm trying to decompile a PlayStation 1 video game and I've quickly decided that dealing alone with multiple +500 KiB executables of complete utter spaghetti code wasn't going to work. Instead, I've decided that I'd rather divide-and-conquer the problem, so I've been tooling up to split executables into relocatable object files, in order to decompile those one at a time and _Ship of Theseus_-style my way to success.
Ironically, all of that stuff is so not done that I don't even know what meaningful feedback there could be. My prototypes do work, but only for 32 bit little endian statically-linked MIPS executables. The articles on my blog are draft-quality. As for the decompilation project itself that started all of this, it hasn't seen much progress due to all of those side-quests. The overall topic is so esoteric that so far I've only managed to hear about one group of two persons that tried to do anything remotely similar and one another anecdotal account [6] that this particular skill is very uncommon among reverse engineers.
Personally, I'm starting to think that maybe I could've actually reverse-engineered and decompiled the game in the time I took to get here. I've also tried to engage with Ghidra to upstream the foundations of my modifications in my fork, but after some back-and-forth it became clear that my prototype-grade stuff wasn't industrial-grade and couldn't be merged in its current state, which is why I'm currently reworking the code in my fork as a Ghidra extension.
To those that want to provide feedback after reading all of this: beware, I've had a lot of fun going down that rabbit hole, but this is one hell of a time sink _and_ a particularly tricky mind-bender.
[1] I don't actually _know_ what's the actual name for this technique, given that there are so few resources on it out there. I do know I didn't invent it.
[2] https://github.com/boricj/ghidra-unlinker-scripts
[3] https://github.com/boricj/ghidra/tree/feature/elfrelocateble...
[4] https://github.com/boricj/ghidra-unlinker-extension
[5] https://news.ycombinator.com/item?id=36575081#36590078
[6] https://news.ycombinator.com/item?id=35729232&p=3#35740761
-
Ask HN: Most interesting tech you built for just yourself?
- The relocation synthesizer for MIPS: https://github.com/boricj/ghidra/blob/feature/elfrelocateble...
- The Ghidra analyzer that leverages this synthesizer: https://github.com/boricj/ghidra/blob/feature/elfrelocatebleobjectexporter/Ghidra/Features/Delinker/src/main/java/ghidra/app/analyzers/RelocationTableSynthesizerAnalyzer.java
What are some alternatives?
malten - Anonymous ephemeral messaging
depsdev - CLI client (and Golang module) for deps.dev API. Free access to dependencies, licenses, advisories, and other critical health and security signals for open source package versions.
sigslot - Signals & Slots implementation in Common Lisp
Pinout.xyz - Source files for the Raspberry Pi Pinout documentation website.
matrix - matrix (web-based green code rain, made with love)
SaunaControl - Makes a Sauna think it's a web server.
hunchentoot - Web server written in Common Lisp
dizquetv - Create live TV channels from your own media. Access the streams using the simulated HDHomerun tuner or the generated M3U URl.
hacker-scripts - Based on a true story
ratarmount - Access large archives as a filesystem efficiently, e.g., TAR, RAR, ZIP, GZ, BZ2, XZ, ZSTD archives
kanban.bash - commandline asciii kanban board for minimalist productivity hackers & managers (csv-based) #scriptable #nestable #statistics #singlefile #shellscript
cardboard - 💽 Cloud storage + management platform for analog video files