![[syndicated profile]](https://www.dreamwidth.org/img/silk/identity/feed.png){kind=small}
jobsacuk_math_feedjobsacuk_math_feedjobsacuk_math_feedjobsacuk_math_feedjobsacuk_math_feedjobsacuk_math_feedjobsacuk_math_feedjobsacuk_math_feedjobsacuk_math_feedjobsacuk_math_feed![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
chaourcereddit_haskell_feedOriginally the distributors library was only intended to be a vehicle for studying some profunctor theory with grammar as a neat demo. Since then I've delved a bit more in depth into Chomsky's grammar hierarchy, Kleene algebras, Brzozowski's derivative and more. I also learned about Li-yao Xia's development of monadic profunctors for invertible parsing. Distributors synthesizes this into a complete optics bases grammar library.
vakДля начала конвертнул три сотни тестов, по одному из каждой категории. Много интересного узнал. Про неиспользуемые биты регистра флагов, про недокументированные коды операций, про плохо описанные команды типа AAA.TEST_F(MachineTest, adc_al_45h)
{
// Initial CPU State
cpu.set_ax(0xADEE);
cpu.set_bx(0xFD34);
cpu.set_cx(0xA1B4);
cpu.set_dx(0x4038);
cpu.set_cs(0xD271);
cpu.set_ss(0xF076);
cpu.set_ds(0x8702);
cpu.set_es(0xCE41);
cpu.set_sp(0x5BDF);
cpu.set_bp(0xD8D9);
cpu.set_si(0x0000);
cpu.set_di(0x2DB1);
cpu.set_ip(0x8490);
cpu.set_flags(0xF4C3);
machine.trace_registers();
// Initial RAM entries
machine.mem_store_byte(0xDABA0, 0x3E);
machine.mem_store_byte(0xDABA1, 0x14);
machine.mem_store_byte(0xDABA2, 0x45);
machine.mem_store_byte(0xDABA3, 0x90);
machine.mem_store_byte(0xDABA4, 0x90);
machine.mem_store_byte(0xDABA5, 0x90);
// Single-step.
cpu.step();
// Final CPU State
EXPECT_EQ(cpu.get_ax(), 0xAD34);
EXPECT_EQ(cpu.get_ip(), 0x8493);
EXPECT_EQ(cpu.get_flags(), 0xF413);
// Final RAM entries
EXPECT_EQ(memory.load8(0xDABA0), 0x3E);
EXPECT_EQ(memory.load8(0xDABA1), 0x14);
EXPECT_EQ(memory.load8(0xDABA2), 0x45);
EXPECT_EQ(memory.load8(0xDABA3), 0x90);
EXPECT_EQ(memory.load8(0xDABA4), 0x90);
EXPECT_EQ(memory.load8(0xDABA5), 0x90);
}
posicvit_r
jobsacuk_math_feedjobsacuk_math_feedjobsacuk_math_feedjobsacuk_math_feedjobsacuk_math_feedjobsacuk_math_feed - PhD Studentship: Advanced Monte Carlo methods for glassy dynamics and complex materialsjobsacuk_math_feed - PhD Studentship: Bottom-up Decoding of Protein Conformational Landscapes: from Gas-phase to Solutionjobsacuk_math_feed - PhD Studentship: Cracks and Code: From High-Fidelity Simulations to Fast Scientific Machine Learningjobsacuk_math_feed - PhD Studentship: Air blade runner: controlling liquid films with high-precision gas jetsjobsacuk_math_feed - Research Assistant/Associatejobsacuk_math_feed - PhD Studentship: Electromagnetic Sensing for High-Temperature Microstructural Evolutionjobsacuk_math_feed - Postdoctoral Research Associate in Paleoclimate Statistics and Dynamics (Fixed Term)jobsacuk_math_feed - Research Associatejobsacuk_math_feed - Lecturer Data Analystjobsacuk_math_feed - Research Fellow in Combinatoricschaource - Наука экономика умѣетъ много гитикъreddit_haskell_feed - New version of distributors grammar & parsing libraryvak - Тестируем 8086posic - Математика в старших классах в школе для слабых учениковvit_r - Хроники Попокалипсисаjobsacuk_math_feed - Statisticianjobsacuk_math_feed - Cambridge Philosophical Society Henslow Research Fellowship 2026jobsacuk_math_feed - Postdoctoral Research Associate in Work, Welfare & Mental Healthjobsacuk_math_feed - Cognia Junior Fellowsjobsacuk_math_feed - Postdoctoral Research Associate in Health Data Sciencetimeasmymeasure