Blogs
Hi, I am now at the inference and firing of rules in the unter theorem prover parser. Later on, that one will be used for the Scheme theorem prover built on top of it.
I have just a recognition of and, or, not, which I have to match using e.g. prolog variables in the form of ?x, ?y, ?p, ?q, ?r...
This has been one of my biggest annoyances every time I've tried to use Linux and no matter how much googling I did I could never get anything working quite right. For whatever reason it's really annoying to change the mouse scroll speed in literally every Linux distro I've ever tried and most...
The Scheme theorem prover has started for the symbols API (to store Scheme variables in the running system), so the symbols (variables, lambdas) parser is not far away anymore.
The file can be found at sf.net/projects/gremlin-scheme/files/
A minor RGB mod on my Nintendo 64 this weekend:
Before:
After:
The result is a a more sharp image with much more vibrant colors. The trees look more pixelated because there were pixels you just couldn't see before. Noticeable improvement in the arrows and the bubbles, and I'd say...
After searching for many of my old (mostly broken) laptops I finally found one that worked! I plugged in the charger and was shocked to find a MacBook with Windows XP built-in. The last time I had shown off a laptop in my blog, it barely worked and it was tedious to get it running However, this...
Hi, gremlin scheme's latest version has been ported to amiga workbench 2.x, amiga 2000. It's here in the files section : sf..net/projects/gremlin-scheme/files/
Compiled using vbcc (m68000 version) on windows.
I found an old Windows XP (well it was updated to 7 later on) laptop. It's extremely slow. I have an issue where I have to change the calendar every time so it works with websites. I installed Pale Moon browser on it and it does seem to work with lightweight websites. However, there's one minor...
Now, before the funko pop collectors start going feral and rip ME apart, let me tell you; I not only do have a spare Ozobot Evo Avengers Iron Man Action Skin by Evollve, Inc. that I'll be keeping as safe as I can, but the one I ripped apart (the one that I've had for a few years (and had already...
Recently, I started to wonder if I'm way too behind the times. Like, maybe I've gotten too used to what I have that I haven't noticed how everything evolved.
But I did notice. Ray-Tracing, VR, stuff that were known for years such as 4k resolution and HDR, 120FPS...
Meanwhile, yours truly is...
Hello,
The file loading and working system bootstrapping stubs are in place so I need to bootstrap the theorem prover, lexer and parser. The theorem prover still needs its validities parser, the lexer its file grepping for parsing Scheme files then the parser itself (BNF or something) still...
This is a question that I’ve been asking myself since January and I’ve been wondering how I can answer this question. I guess the best answer would be an introduction! I am Felix the Catboy, I was named after a Glaceon named after Felix from Re:Zero. What I am mostly known for in this system is...
Well? What is it?
This is a question I ask myself often. The simplest answer I can give to you is - I’m a thinker. I always think. Constantly contemplating. I’m pointlessly pondering about my past, my future, my current position and my final destination. You, the reader, may believe this is a...
Hi,
I've made the symbols API and start of the theorem prover code compilable. I'm now going to start (later) on a compile of a Scheme variable set such as "(define x 5)". The theorem prover should later on detect anomalies in the Scheme entry files such as proving unbalanced delimiters and...
I am working on a Scheme language to GB assembler/microcode, there's somewhat a base in the code, the lexer and parser are coming later on, the code is at sf.net/projects/gremlin-scheme/files/
Latest comments
-
How Swap Magic & Action Replay discs are madeIf you put it into a computer drive then it will struggle to list the contents because of these rings but this doesn't happen all of the time with... -
How Swap Magic & Action Replay discs are madeSimilar to what the Bleem! team made on their CD's for the DreamCast. They use a lot of concentric rings after the 1st track. if you put the... -
-
How Swap Magic & Action Replay discs are madeTried to explain it the best I could, but still, all of this is very interesting to me no less.
-
Blogs statistics
- Categories
- 1
- Blogs
- 4,868
- Blog entries
- 16,531
- Views
- 10,758,242
- Comments
- 229,737
- Ratings
- 103
- Reviews
- 34