home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.logic      Logic -- math, philosophy & computationa      262,912 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 261,469 of 262,912   
   Ross Finlayson to All   
   Re: Meta: a usenet server just for sci.m   
   29 Nov 25 03:54:06   
   
   [continued from previous message]   
      
   Slique data structure (unbounded in simulator)   
   Mock devices (NIC, disk, timer)   
      
   Phase 2 (Weeks 5-8): TTASM compiler   
      
   Parser for TTASM syntax   
   Code generator for x86-64 GNU AS   
   Template library for common operations   
   Cross-validation against simulator   
      
   Phase 3 (Weeks 9-12): Test harness   
      
   100+ unit tests for re-routines   
   Property-based testing (QuickCheck-style)   
   Trace segment validation   
   Cycle-accurate performance tests   
      
   Phase 4 (Weeks 13-16): Concrete adapter   
      
   Minimal x86-64 boot code (UEFI → kernel)   
   Intel I225 NIC driver (single RX queue)   
   NVMe driver (single submission queue)   
   Integration test: Echo packet in QEMU   
      
   Deliverable: Proof-of-concept that boots, receives one packet, echoes it   
   back, shuts down cleanly. Fully instrumented with trace segments. Cycle   
   counts documented.   
   This is achievable in 16 weeks with a single skilled developer.   
   Ready to proceed, RF?   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca