![[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_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);
}
jobsacuk_math_feed - PhD Studentship: Extreme Weather Storylines via Generative AIjobsacuk_math_feed - PhD Studentship: From Brittle to Ductile: Machine Learning 3D Fracture Simulations for Extreme Envirjobsacuk_math_feed - Phd Studentship: From Microdrops to Forecasts: Multiscale Modelling of Cloudsjobsacuk_math_feed - PhD Studentship: Fast and Flexible Nested Sampling via Collective Move Dynamics for Molecular Systemjobsacuk_math_feed - PhD Studentship: Generative AI-enabled Molecular Design for Optoelectronic Applicationshettie_feed - The Silver Summit – rebloggingjobsacuk_math_feed - PhD Studentship: Developing a Theory of the Magnetic Fingerprint of Stress in Materialsjobsacuk_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 - Тестируем 8086timeasmymeasure
